{"entities":{"Q1449436":{"pageid":1460176,"ns":120,"title":"Item:Q1449436","lastrevid":70426926,"modified":"2026-04-13T14:41:30Z","type":"item","id":"Q1449436","labels":{"en":{"language":"en","value":"On Riemannian geometries admitting an absolute parallelism."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2588313"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1449436$EF64AB72-8F80-486E-B10F-135E5F9F1B40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa61d7cd9c03e909934bdcbac644b54d47ffc42e","datavalue":{"value":{"text":"On Riemannian geometries admitting an absolute parallelism.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1449436$751D3718-7C16-4977-852B-BEA21430F074","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f55ca8ac0dc0d707fe78f79dad4514b50d0e0ac","datavalue":{"value":"52.0744.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1449436$28B8B746-A375-4763-84AB-4B693A3B6F21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2b9b7956a89849c436ff208ce873b239210a45a","datavalue":{"value":{"entity-type":"item","numeric-id":561265,"id":"Q561265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1449436$36738558-6B3B-4576-BC70-F7FF4E44EC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5856d955404bb20d86ea9d45a716d72d583611e4","datavalue":{"value":{"entity-type":"item","numeric-id":6481084,"id":"Q6481084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1449436$0E40E8AB-3376-4C89-9B66-1602AB87F0C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"765c89dd0d5f700881ed8e06991d69ac07bbaf6c","datavalue":{"value":{"entity-type":"item","numeric-id":561164,"id":"Q561164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1449436$ED56780D-D831-41A6-A73A-D7F56151931C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dd745ff93b31145e75d180e6d28b5d93f81438","datavalue":{"value":{"time":"+1926-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1449436$F6088220-1893-4993-90B5-1E8803FEAFFB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a18d6945985aa4f86824ec0f34486e4f76542fda","datavalue":{"value":"Auch in dieser Untersuchung (wie ebenso in der vorhergehenden) erweist sich der differentialgeometrische Begriff der ``\u00dcbertragung'' urspr\u00fcnglicher und allgemeiner als derjenige der ``Metrik'', und man erkennt das Bestreben der Verf., letzthin (auf h\u00f6herer Differentiationsstufe) wieder das Ordnungsprinzip einer gruppentheoretischen Begr\u00fcndung aller Arten von Differentialgeometrien zu gewinnen, wie es bald nachher durch die Theorie der ``Holonomiegruppen'' erreicht wurde (vgl. \\textit{\u00c9. Cartan}, 1926 ; F. d. M. 52, 723 (JFM 52.0723.01)).  Dies f\u00fchrt auch zu einer tieferen Begr\u00fcndung absoluter (integrabler) Parallelismen, wie sie -- vom euklidischen trivialen Falle abgesehen -- namentlich aus der Theorie der \\textit{Clifford}schen Parallelen im elliptischen dreidimensionalen Raum \\(S_3\\) bekannt sind. So kann man jeder einfachen oder halbeinfachen ``Fundamentalgruppe'' eine \\textit{Riemann}sche Geometrie zuordnen, und insbesondere im Falle einfacher Gruppen die Existenz jeweils zweier absoluter Parallelismen nachweisen. Sind dann die Parameter der \\textit{Riemann}schen symmetrischen \u00dcbertragung durch \\(\\overset {0}  \\varGamma{}_{\\lambda\\mu}^\\nu\\), diejenigen \\(\\overset {-}  \\varGamma{}_{\\lambda\\mu}^\\nu\\) der ``\u00fcberlagerten'' (nichtsymmetrischen) linearen \u00dcbertragung, welcher die gleichen Geod\u00e4tischen zukommen wie \\(\\overset {0}  \\varGamma{}_{\\lambda\\mu}^\\nu\\), allgemein durch  \\[  \\overset {-}  \\varGamma{}_{\\lambda\\mu}^\\nu = \\overset {0}  \\varGamma{}_{\\lambda\\mu}^\\nu + p_\\lambda A_\\mu^\\nu + p_\\mu A_\\lambda^\\nu + S_{\\lambda\\mu}^{\\,\\cdots \\;\\nu}  \\]  gegeben, so besteht zun\u00e4chst die Forderung  \\[  \\overline \\nabla _\\omega g_{\\lambda\\mu}=0,  \\]  d. h. der metrische Fundamentaltensor soll sich f\u00fcr die \u00dcbertragung \\(\\overset {-}  \\varGamma{}_{\\lambda\\mu}^\\nu\\) wie eine Konstante verhalten. Das hat das Verschwinden von \\(p_\\lambda\\) und den Trivektorcharakter von \\(S_{\\lambda\\mu\\nu}\\) zur Folge. Weiter besteht die Forderung der Integrabilit\u00e4t der \u00dcbertragung \\(\\overset {-}  \\varGamma{}_{\\lambda\\mu}^\\nu\\), welche das Verschwinden von \\(\\overline R_{\\omega\\mu\\lambda}^{\\;\\cdots \\;\\nu}\\) bedingt und auf die Beziehung  \\[  \\overset {0}  \\nabla_\\omega K_{\\mu\\lambda}=0  \\]  f\u00fchrt. D. h. Der verj\u00fcngte zu \\(\\overset {0}  \\varGamma{}_{\\lambda\\mu}^\\nu\\) geh\u00f6rige Kr\u00fcmmungstensor \\(K_{\\mu\\lambda}\\) verh\u00e4lt sich unter den bestehenden Voraussetzungen gegen\u00fcber der \u00dcbertragung \\(\\overset {0}  \\varGamma{}_{\\lambda\\mu}^\\nu\\) notwendig wie eine Konstante. So gelangen die Verf. zu dem wichtigen Ansatz  \\[  K_{\\mu\\lambda}=cg_{\\mu\\lambda},  \\]  wo \\(c\\) eine (um den trivialen Fall \\(K_{\\omega\\mu\\lambda\\nu}= 0\\) auszuschlie\u00dfen) nichtverschwindende Konstante bedeutet. Eine weitere Beziehung liefert die \\textit{Bianchi}sche Identit\u00e4t  \\[  g_{\\lambda\\mu\\nu}=\\varrho S_{\\lambda\\mu\\nu}\\quad (g_{\\lambda\\mu\\nu} =S_{\\alpha\\lambda}^{\\cdots \\;\\beta}S_{\\beta\\mu}^{\\cdots \\;\\gamma}S_{\\gamma\\nu}^{\\cdots \\;\\alpha})  \\]  und f\u00fcr die beiden Konstanten die Relation  \\[  c = \\pm 2\\varrho.  \\]  W\u00e4hrend nun das positive Zeichen auf die bekannten und bereits behandelten F\u00e4lle -- insbesondere f\u00fcr \\(r = 3\\) auf den \\textit{Clifford}schen Parallelismus im elliptischen \\(S_3\\) -- zur\u00fcckf\u00fchrt, ergibt die Wahl \\(c = - 2\\varrho\\) eine neue Geometrie, welche sich im elliptischen \\(S_7\\) realisieren l\u00e4\u00dft. Ihre Holonomiegruppe \\(\\varGamma\\) ist durch die Gruppe aller Rotationen, welche die Kr\u00fcmmungsform  \\[  R = K_{ijkl}x^iy^jx^ky^l  \\]  invariant lassen, oder eine ihrer Untergruppen gegeben. Die Gruppe \\(\\varGamma\\) l\u00e4\u00dft unter den getroffenen Voraussetzungen keine \\(p\\)-Richtung invariant; sie ist ferner eine einfache Gruppe und von der Ordnung \\(r = 2n\\). Es kommt dann nur noch darauf an, zu zeigen, welche Typen einfacher Gruppen, die eine nichtsingul\u00e4re quadratische Form, aber keine lineare Mannigfaltigkeit invariant lassen, die Ordnung \\(3n\\) besitzen. Diese Frage wird mit Methoden fr\u00fcherer Untersuchungen eines der beiden Verf. (vgl. \\textit{\u00c9. Cartan}, Bulletin S. M. F. 41 (1913), 53-96; F. d. M. 44, 170 (JFM 44.0170.*)) entschieden und f\u00fchrt auf die Identit\u00e4t der Gruppe \\(\\varGamma\\) (f\u00fcr \\(c = - 2\\varrho\\)) mit der orthogonalen Gruppe in sieben Variablen. Wie der entsprechende Ausdruck f\u00fcr die Form \\(R\\) verr\u00e4t, handelt es sich um die Geometrie eines elliptischen siebendimensionalen Raumes. Um in Analogie zur Quaternionendarstellung elliptischer dreidimensionaler Bewegungen auch hier eine elegante hyperkomplexe Darstellung zu gewinnen, bedienen sich die Verf. der \\textit{Graves-Cayley}schen hyperkomplexen Zahlen:  \\[  \\begin{gathered} X = x_0 +\\sum_{i=1}^7 x_ie_i; \\\\ e_i^2=-1, \\;e_i=e_{i+1}e_{i+3}=-e_{i+3}e_{i+1}=e_{i+2}e_{i+6},\\\\ -e_{i+6} e_{i+2}=e_{i+4}e_{i+5}=-e_{i+5}e_{i+4}; \\;e_i=e_{i+7}\\\\ (i=1,2, \\ldots,7) \\end{gathered}  \\]  mit dem Modul: \\(\\sqrt {x_0^2+x_1^2+ \\cdots +x_7^2}\\,=1\\). (Die \\(x_0, x_1,\\ldots, x_7\\) sind projektive Koordinaten in \\(S_7\\).) In diesem Kalk\u00fcl kann jeder Parallelismus des \\(S_7\\) in einer der beiden Formen  \\[  Y'(X'{}^{-1}A) = Y(X^{-1}A),\\quad (AX'{}^{-1})Y'=(AX^{-1})Y  \\]  dargestellt werden \\((X^{-1}= x_0-\\sum_{i=1}^7 x_ie_i)\\), wobei unter \\(A\\) eine beliebige feste Zahl des \\textit{Graves-Cayley}schen Systems zu verstehen ist. Man erh\u00e4lt so zwei kontinuierliche Scharen absoluter Parallelismen. Auch hier stehen die entwickelten Verh\u00e4ltnisse in enger Beziehung zu Transformationseigenschaften der absoluten \\(M_6^2\\) des \\(S_7\\)  \\[  x_0^2 + x_1^3+ \\cdots x_7^2 = 0,  \\]  insbesondere zu denen ihrer linearen dreidimensionalen Mannigfaltigkeiten (\\(P_3^+\\)) bzw. (\\(P_3^-\\)). Man gelangt auf diesem Wege zu einem ``Trialit\u00e4tsprinzip'', mit dessen Hilfe Entfernungen von Paaren von (+) oder (\\(-\\)) Parallelismen definiert werden k\u00f6nnen und anderes mehr (vgl. \\textit{\u00c9. Cartan}, Bulletin sc. Math. 49 (1925), 361-374; F. d. M. 51, 322 (JFM 51.0322.02).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1449436$24558A9F-A9BF-46C5-B15C-14004568FB53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7885be8a0b01278e9fccce5154b7bdd47fb539c9","datavalue":{"value":"2588313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1449436$B4C6D4B8-0650-4719-8D91-8AF303F6AB57","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1449436$84F3783B-9B3C-4D7A-8A28-7D77C04517B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Riemannian geometries admitting an absolute parallelism.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Riemannian_geometries_admitting_an_absolute_parallelism."}}}}}