Knowledge

Projective connection

Source 📝

752: 509: 1265:
Une variété (ou espace) à connexion projective est une variété numérique qui, au voisinage immédiat de chaque point, présente tous les caractères d'un espace projectif et douée de plus d'une loi permettant de raccorder en un seul espace projectif les deux petits morceaux qui entourent deux points
1500:
A variety (or space) with projective connection is a numerical variety which, in the immediate neighbourhood of each point, possesses all the characters of a projective space and is moreover endowed with a law making it possible to connect in a single projective space the two small regions which
1501:
surround two infinitely close points. Analytically, we choose, in a way otherwise arbitrary, a frame defining a projective frame of reference in the projective space attached to each point of the variety. .. The connection between the projective spaces attached to two infinitely close points
747:{\displaystyle \left({\begin{matrix}\lambda &v^{i}\\w_{j}&a_{j}^{i}\end{matrix}}\right),\quad (v^{i})\in {\mathbb {R} }^{1\times n},(w_{j})\in {\mathbb {R} }^{n\times 1},(a_{j}^{i})\in {\mathbb {R} }^{n\times n},\lambda =-\sum _{i}a_{i}^{i}} 420: 1149: 1236: 1045: 896: 1307:
La variété sera dite à "connexion affine" lorsqu'on aura défini, d'une manière d'ailleurs arbitraire, une loi permettant de repérer l'un par rapport à l'autre les espaces affines attachés à deux points
1518:
The variety will be said to "affinely connected" when one defines, in a way otherwise arbitrary, a law making it possible to place the affine spaces, attached to two arbitrary infinitely close points
958: 501: 1485: 780: 448: 350: 318: 819: 291: 189: 110: 259: 169: 1526:
of the variety, in correspondence with each other; this law will make it possible to say that a particular point of the affine space attached to the point
359: 1051: 1279:
définissant un système de coordonnées projectives. ... Le raccord entre les espaces projectifs attachés à deux points infiniment voisins
1155: 964: 1693: 1640: 831: 66:. Rather they are projectively parametrized, meaning that their preferred class of parameterizations is acted upon by the group of 67: 1534:, in such a way that a vector of the first space is parallel or equipollent with the corresponding vector of the second space. 1688: 908: 1672: 1488: 81:
The first step in defining any Cartan connection is to consider the flat case: in which the connection corresponds to the
1381: 1667: 1271:
Analytiquement, on choisira, d'une manière d'ailleurs arbitraire, dans l'espace projectif attaché à chaque point
1450: 423: 117: 40: 1662: 1254:) in a unique manner. Furthermore, an infinitesimal neighborhood of each point is equipped with a class of 28: 456: 1456: 761: 429: 331: 299: 1550:"Sur les variétés à connexion affine, et la théorie de la relativité généralisée (première partie)" 1432:
Cartan's approach was to derive the structural equations from the volume-preserving condition on
1299: 82: 1328:, que tel vecteur du premier espace es parallèle ou équipollent à tel vecteur du second espace. 785: 1636: 1374: 1294: 899: 86: 55: 36: 1618: 1588: 1561: 1320:
de la variété; cete loi permettra de dire que tel point de l'espace affine attaché au point
1256: 63: 47: 17: 1342: 1250:
on a manifold in which two nearby points are connected by a line (i.e., an unparametrized
73:
Like an affine connection, projective connections have associated torsion and curvature.
1345:
modelled on projective space, where the latter is viewed as a homogeneous space for PSL(
1658: 1549: 276: 208: 174: 95: 214: 122: 1682: 1576: 51: 415:{\displaystyle {\mathfrak {g}}={\mathfrak {s}}{\mathfrak {l}}(n+1,{\mathbb {R} })} 1389: 321: 451: 1530:
corresponds to a particular point of the affine space attached to the point
59: 1633:
Differential Geometry: Cartan's Generalization of Klein's Erlangen Program
1509:
will result analytically in a homographic (projective) transformation. ..
821:. Relative to the matrix representation above, the Maurer-Cartan form of 1609:
Cartan, Élie (1926), "Les groupes d'holonomie des espaces généralisés",
1144:{\displaystyle da_{j}^{i}+a^{i}\wedge a_{j}+a_{k}^{i}\wedge a_{j}^{k}=0} 1623: 1593: 1566: 46:
The structure of a projective connection is modeled on the geometry of
1287:
se traduira analytiquement par une transformation homographique. ...
1440:+1) so that explicit reference to the Lie algebra was not required. 58:. Much like affine connections, projective connections also define 1231:{\displaystyle da^{i}+\zeta \wedge a^{i}+a^{k}\wedge a_{k}^{i}=0} 1040:{\displaystyle da_{j}+a_{j}\wedge \zeta +a_{j}^{k}\wedge a_{k}=0} 1298:, in which nearby points are thus connected and have an affine 891:{\displaystyle (\xi ,\alpha _{j},\alpha _{j}^{i},\alpha ^{i})} 1324:
correspond à tel point de l'espace affine attaché au point
1302:
which is transported from one to the other (Cartan, 1923):
1487:
can be defined using only the Maurer-Cartan form, by the
898:
satisfying the structural equations (written using the
518: 1459: 1158: 1054: 967: 953:{\displaystyle d\xi +\alpha ^{i}\wedge \alpha _{i}=0} 911: 834: 788: 764: 512: 459: 432: 362: 334: 302: 279: 217: 177: 125: 98: 1554:
Annales Scientifiques de l'École Normale Supérieure
92:In the projective setting, the underlying manifold 1479: 1230: 1143: 1039: 952: 890: 813: 774: 746: 495: 442: 414: 344: 312: 285: 253: 183: 163: 104: 1333:In modern language, a projective structure on an 112:of the homogeneous space is the projective space 1384:to the stabilizer of a point in projective space 1449:A point of interest is this last equation is 1423:) is more convenient because it is connected. 8: 1292:This is analogous to Cartan's notion of an 422:. As matrices relative to the homogeneous 1622: 1592: 1577:"Sur les varietes a connexion projective" 1565: 1469: 1458: 1392:induced by these data is an isomorphism. 1216: 1211: 1198: 1185: 1166: 1157: 1129: 1124: 1111: 1106: 1093: 1080: 1067: 1062: 1053: 1025: 1012: 1007: 988: 975: 966: 938: 925: 910: 879: 866: 861: 848: 833: 796: 787: 766: 765: 763: 738: 733: 723: 695: 690: 689: 688: 675: 670: 648: 643: 642: 641: 628: 606: 601: 600: 599: 586: 561: 556: 544: 530: 517: 511: 458: 434: 433: 431: 404: 403: 402: 381: 380: 374: 373: 364: 363: 361: 336: 335: 333: 304: 303: 301: 278: 216: 176: 152: 133: 124: 97: 1601:Hermann, R., Appendix 1-3 in Cartan, E. 1400: 1605:, Math Sci Press, Massachusetts, 1983. 77:Projective space as the model geometry 7: 782:consists of all these matrices with 1581:Bulletin de la Société Mathématique 767: 435: 382: 375: 365: 337: 305: 62:. However, these geodesics are not 1242:Projective structures on manifolds 25: 1453:, which means that the fibres of 496:{\displaystyle (n+1)\times (n+1)} 68:fractional linear transformations 1480:{\displaystyle G\rightarrow G/H} 1407:It is also possible to use PGL( 1260:. According to Cartan (1924), 775:{\displaystyle {\mathfrak {h}}} 578: 443:{\displaystyle {\mathfrak {g}}} 345:{\displaystyle {\mathfrak {h}}} 313:{\displaystyle {\mathfrak {g}}} 1463: 1353:). In other words it is a PSL( 885: 835: 802: 789: 681: 663: 634: 621: 592: 579: 490: 478: 472: 460: 409: 387: 248: 218: 158: 126: 1: 1635:. Springer-Verlag, New York. 1603:Geometry of Riemannian Spaces 1489:Frobenius integration theorem 900:Einstein summation convention 1382:reduction of structure group 1246:A projective structure is a 116:which we shall represent by 18:Complex projective structure 1668:Encyclopedia of Mathematics 1710: 814:{\displaystyle (w_{j})=0} 1694:Connection (mathematics) 1266:infiniment voisins. ... 293:as a homogeneous space. 171:. The symmetry group of 1663:"Projective connection" 1361:)-bundle equipped with 118:homogeneous coordinates 41:differentiable manifold 1481: 1232: 1145: 1041: 954: 892: 815: 776: 748: 497: 444: 416: 346: 314: 287: 255: 185: 165: 106: 1689:Differential geometry 1631:Sharpe, R.W. (1997). 1575:Cartan, Élie (1924). 1548:Cartan, Élie (1923). 1482: 1451:completely integrable 1233: 1146: 1042: 955: 893: 816: 777: 749: 498: 445: 417: 347: 315: 288: 256: 186: 166: 107: 64:affinely parametrized 33:projective connection 29:differential geometry 1457: 1156: 1052: 965: 909: 832: 786: 762: 510: 457: 430: 360: 332: 300: 277: 215: 175: 123: 96: 54:corresponding to an 1221: 1134: 1116: 1072: 1017: 871: 743: 680: 566: 1624:10.1007/BF02629755 1594:10.24033/bsmf.1053 1567:10.24033/asens.751 1477: 1373:)-connection (the 1310:infiniment voisins 1300:frame of reference 1275:de la variété, un 1228: 1207: 1141: 1120: 1102: 1058: 1037: 1003: 950: 888: 857: 811: 772: 744: 729: 728: 666: 569: 552: 493: 440: 412: 342: 310: 283: 251: 181: 161: 102: 83:Maurer-Cartan form 50:, rather than the 1375:Cartan connection 1295:affine connection 1257:projective frames 719: 286:{\displaystyle M} 184:{\displaystyle M} 105:{\displaystyle M} 87:homogeneous space 56:affine connection 37:Cartan connection 16:(Redirected from 1701: 1675: 1646: 1627: 1626: 1611:Acta Mathematica 1598: 1596: 1571: 1569: 1535: 1516: 1510: 1498: 1492: 1486: 1484: 1483: 1478: 1473: 1447: 1441: 1430: 1424: 1405: 1237: 1235: 1234: 1229: 1220: 1215: 1203: 1202: 1190: 1189: 1171: 1170: 1150: 1148: 1147: 1142: 1133: 1128: 1115: 1110: 1098: 1097: 1085: 1084: 1071: 1066: 1046: 1044: 1043: 1038: 1030: 1029: 1016: 1011: 993: 992: 980: 979: 959: 957: 956: 951: 943: 942: 930: 929: 897: 895: 894: 889: 884: 883: 870: 865: 853: 852: 820: 818: 817: 812: 801: 800: 781: 779: 778: 773: 771: 770: 753: 751: 750: 745: 742: 737: 727: 706: 705: 694: 693: 679: 674: 659: 658: 647: 646: 633: 632: 617: 616: 605: 604: 591: 590: 574: 570: 565: 560: 549: 548: 535: 534: 502: 500: 499: 494: 449: 447: 446: 441: 439: 438: 421: 419: 418: 413: 408: 407: 386: 385: 379: 378: 369: 368: 351: 349: 348: 343: 341: 340: 319: 317: 316: 311: 309: 308: 292: 290: 289: 284: 260: 258: 257: 254:{\displaystyle } 252: 190: 188: 187: 182: 170: 168: 167: 164:{\displaystyle } 162: 157: 156: 138: 137: 111: 109: 108: 103: 48:projective space 21: 1709: 1708: 1704: 1703: 1702: 1700: 1699: 1698: 1679: 1678: 1657: 1654: 1649: 1643: 1630: 1608: 1574: 1547: 1543: 1538: 1517: 1513: 1499: 1495: 1455: 1454: 1448: 1444: 1431: 1427: 1406: 1402: 1398: 1343:Cartan geometry 1248:linear geometry 1244: 1194: 1181: 1162: 1154: 1153: 1089: 1076: 1050: 1049: 1021: 984: 971: 963: 962: 934: 921: 907: 906: 875: 844: 830: 829: 825:is a system of 792: 784: 783: 760: 759: 687: 640: 624: 598: 582: 568: 567: 550: 540: 537: 536: 526: 524: 513: 508: 507: 455: 454: 428: 427: 358: 357: 330: 329: 298: 297: 275: 274: 213: 212: 173: 172: 148: 129: 121: 120: 94: 93: 79: 23: 22: 15: 12: 11: 5: 1707: 1705: 1697: 1696: 1691: 1681: 1680: 1677: 1676: 1653: 1652:External links 1650: 1648: 1647: 1641: 1628: 1606: 1599: 1572: 1544: 1542: 1539: 1537: 1536: 1511: 1493: 1476: 1472: 1468: 1465: 1462: 1442: 1425: 1399: 1397: 1394: 1388:such that the 1386: 1385: 1378: 1331: 1330: 1290: 1289: 1268: 1243: 1240: 1239: 1238: 1227: 1224: 1219: 1214: 1210: 1206: 1201: 1197: 1193: 1188: 1184: 1180: 1177: 1174: 1169: 1165: 1161: 1151: 1140: 1137: 1132: 1127: 1123: 1119: 1114: 1109: 1105: 1101: 1096: 1092: 1088: 1083: 1079: 1075: 1070: 1065: 1061: 1057: 1047: 1036: 1033: 1028: 1024: 1020: 1015: 1010: 1006: 1002: 999: 996: 991: 987: 983: 978: 974: 970: 960: 949: 946: 941: 937: 933: 928: 924: 920: 917: 914: 887: 882: 878: 874: 869: 864: 860: 856: 851: 847: 843: 840: 837: 810: 807: 804: 799: 795: 791: 769: 756: 755: 741: 736: 732: 726: 722: 718: 715: 712: 709: 704: 701: 698: 692: 686: 683: 678: 673: 669: 665: 662: 657: 654: 651: 645: 639: 636: 631: 627: 623: 620: 615: 612: 609: 603: 597: 594: 589: 585: 581: 577: 573: 564: 559: 555: 551: 547: 543: 539: 538: 533: 529: 525: 523: 520: 519: 516: 492: 489: 486: 483: 480: 477: 474: 471: 468: 465: 462: 437: 411: 406: 401: 398: 395: 392: 389: 384: 377: 372: 367: 339: 307: 282: 250: 247: 244: 241: 238: 235: 232: 229: 226: 223: 220: 209:isotropy group 180: 160: 155: 151: 147: 144: 141: 136: 132: 128: 101: 78: 75: 24: 14: 13: 10: 9: 6: 4: 3: 2: 1706: 1695: 1692: 1690: 1687: 1686: 1684: 1674: 1670: 1669: 1664: 1660: 1656: 1655: 1651: 1644: 1642:0-387-94732-9 1638: 1634: 1629: 1625: 1620: 1617:(1–2): 1–42, 1616: 1612: 1607: 1604: 1600: 1595: 1590: 1586: 1582: 1578: 1573: 1568: 1563: 1559: 1555: 1551: 1546: 1545: 1540: 1533: 1529: 1525: 1521: 1515: 1512: 1508: 1504: 1497: 1494: 1490: 1474: 1470: 1466: 1460: 1452: 1446: 1443: 1439: 1435: 1429: 1426: 1422: 1418: 1414: 1410: 1404: 1401: 1395: 1393: 1391: 1383: 1379: 1376: 1372: 1368: 1364: 1363: 1362: 1360: 1356: 1352: 1348: 1344: 1340: 1336: 1329: 1327: 1323: 1319: 1315: 1309: 1305: 1304: 1303: 1301: 1297: 1296: 1288: 1286: 1282: 1276: 1274: 1269: 1267: 1263: 1262: 1261: 1259: 1258: 1253: 1249: 1241: 1225: 1222: 1217: 1212: 1208: 1204: 1199: 1195: 1191: 1186: 1182: 1178: 1175: 1172: 1167: 1163: 1159: 1152: 1138: 1135: 1130: 1125: 1121: 1117: 1112: 1107: 1103: 1099: 1094: 1090: 1086: 1081: 1077: 1073: 1068: 1063: 1059: 1055: 1048: 1034: 1031: 1026: 1022: 1018: 1013: 1008: 1004: 1000: 997: 994: 989: 985: 981: 976: 972: 968: 961: 947: 944: 939: 935: 931: 926: 922: 918: 915: 912: 905: 904: 903: 901: 880: 876: 872: 867: 862: 858: 854: 849: 845: 841: 838: 828: 824: 808: 805: 797: 793: 739: 734: 730: 724: 720: 716: 713: 710: 707: 702: 699: 696: 684: 676: 671: 667: 660: 655: 652: 649: 637: 629: 625: 618: 613: 610: 607: 595: 587: 583: 575: 571: 562: 557: 553: 545: 541: 531: 527: 521: 514: 506: 505: 504: 487: 484: 481: 475: 469: 466: 463: 453: 425: 399: 396: 393: 390: 370: 355: 327: 323: 294: 280: 272: 268: 264: 245: 242: 239: 236: 233: 230: 227: 224: 221: 211:of the point 210: 206: 202: 198: 194: 178: 153: 149: 145: 142: 139: 134: 130: 119: 115: 99: 90: 88: 84: 76: 74: 71: 69: 65: 61: 57: 53: 49: 44: 42: 38: 35:is a type of 34: 30: 19: 1666: 1632: 1614: 1610: 1602: 1584: 1580: 1557: 1553: 1531: 1527: 1523: 1519: 1514: 1506: 1502: 1496: 1445: 1437: 1433: 1428: 1420: 1416: 1412: 1408: 1403: 1387: 1370: 1366: 1358: 1354: 1350: 1346: 1338: 1334: 1332: 1325: 1321: 1317: 1313: 1312:quelconques 1311: 1306: 1293: 1291: 1284: 1280: 1278: 1272: 1270: 1264: 1255: 1251: 1247: 1245: 826: 822: 757: 450:consists of 356:. Note that 353: 325: 295: 270: 266: 262: 204: 200: 196: 192: 113: 91: 80: 72: 52:affine space 45: 32: 26: 1587:: 205–241. 1560:: 325–412. 1415:), but PSL( 1390:solder form 322:Lie algebra 1683:Categories 1659:Ü. Lumiste 1541:References 1337:-manifold 503:matrices: 452:trace-free 1673:EMS Press 1661:(2001) , 1464:→ 1205:∧ 1179:∧ 1176:ζ 1118:∧ 1087:∧ 1019:∧ 998:ζ 995:∧ 936:α 932:∧ 923:α 916:ξ 877:α 859:α 846:α 839:ξ 721:∑ 717:− 711:λ 700:× 685:∈ 653:× 638:∈ 611:× 596:∈ 522:λ 476:× 273:presents 240:… 143:… 60:geodesics 1252:geodesic 352:that of 261:. Thus, 827:1-forms 320:be the 207:be the 203:). Let 1639:  1365:a PSL( 1277:repére 328:, and 195:= PSL( 1396:Notes 1341:is a 424:basis 85:on a 39:on a 1637:ISBN 1522:and 1505:and 758:And 296:Let 31:, a 1619:doi 1589:doi 1562:doi 1419:+1, 1411:+1, 1369:+1, 1357:+1, 1349:+1, 1316:et 1283:et 902:): 324:of 199:+1, 191:is 43:. 27:In 1685:: 1671:, 1665:, 1615:48 1613:, 1585:52 1583:. 1579:. 1558:40 1556:. 1552:. 1528:m' 1524:m' 1507:a' 1434:SL 1380:a 1322:m' 1318:m' 1285:a' 426:, 265:= 114:RP 89:. 70:. 1645:. 1621:: 1597:. 1591:: 1570:. 1564:: 1532:m 1520:m 1503:a 1491:. 1475:H 1471:/ 1467:G 1461:G 1438:n 1436:( 1421:R 1417:n 1413:R 1409:n 1377:) 1371:R 1367:n 1359:R 1355:n 1351:R 1347:n 1339:M 1335:n 1326:m 1314:m 1281:a 1273:a 1226:0 1223:= 1218:i 1213:k 1209:a 1200:k 1196:a 1192:+ 1187:i 1183:a 1173:+ 1168:i 1164:a 1160:d 1139:0 1136:= 1131:k 1126:j 1122:a 1113:i 1108:k 1104:a 1100:+ 1095:j 1091:a 1082:i 1078:a 1074:+ 1069:i 1064:j 1060:a 1056:d 1035:0 1032:= 1027:k 1023:a 1014:k 1009:j 1005:a 1001:+ 990:j 986:a 982:+ 977:j 973:a 969:d 948:0 945:= 940:i 927:i 919:+ 913:d 886:) 881:i 873:, 868:i 863:j 855:, 850:j 842:, 836:( 823:G 809:0 806:= 803:) 798:j 794:w 790:( 768:h 754:. 740:i 735:i 731:a 725:i 714:= 708:, 703:n 697:n 691:R 682:) 677:i 672:j 668:a 664:( 661:, 656:1 650:n 644:R 635:) 630:j 626:w 622:( 619:, 614:n 608:1 602:R 593:) 588:i 584:v 580:( 576:, 572:) 563:i 558:j 554:a 546:j 542:w 532:i 528:v 515:( 491:) 488:1 485:+ 482:n 479:( 473:) 470:1 467:+ 464:n 461:( 436:g 410:) 405:R 400:, 397:1 394:+ 391:n 388:( 383:l 376:s 371:= 366:g 354:H 338:h 326:G 306:g 281:M 271:H 269:/ 267:G 263:M 249:] 246:0 243:, 237:, 234:0 231:, 228:0 225:, 222:1 219:[ 205:H 201:R 197:n 193:G 179:M 159:] 154:n 150:x 146:, 140:, 135:0 131:x 127:[ 100:M 20:)

Index

Complex projective structure
differential geometry
Cartan connection
differentiable manifold
projective space
affine space
affine connection
geodesics
affinely parametrized
fractional linear transformations
Maurer-Cartan form
homogeneous space
homogeneous coordinates
isotropy group
Lie algebra
basis
trace-free
Einstein summation convention
projective frames
affine connection
frame of reference
Cartan geometry
Cartan connection
reduction of structure group
solder form
completely integrable
Frobenius integration theorem
"Sur les variétés à connexion affine, et la théorie de la relativité généralisée (première partie)"
doi
10.24033/asens.751

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.