New identities in conforme geometry. (Q2612436)

Verf. gibt eine Darstellung der vollständigen Reihe aller Identitäten, welche für die Komponenten \(G_{IJ}\) des konformen Fundamentaltensors, sowie für die Komponenten \({}^0 B_{jkl}^i\); \({}^0 B_{IJKL, M}\) des vollständigen Konformkrümmungstensors bestehen \((i, j, k, l = 0, 1, 2, \ldots \!, n, \infty; \, I, \, J, \ldots = 1, \ldots \!, n)\). Es handelt sich um die Relationen: (1) \(\quad {}^0 B_{ABCD} + {}^0 B_{BACD} = 0\), (2) \(\quad {}^0 B_{ABCD} + {}^0 B_{ABDC} = 0\), (3) \(\quad {}^0 B_{ABCD} + {}^0 B_{ACDB} + {}^0 B_{ADBC} = 0\), (4) \(\quad G^{BC} \cdot {}^0 B_{ABCD} = 0\), (5) \(\quad {}^0 B_{k00}^i = {}^0 B_{kA0}^i = {}^0 B_{\infty A B}^0 = {}^0 B_{0AB}^{\alpha} = {}^0 B_{iAB}^{\infty} = 0\), (6)\(\quad {}^0 B_{\infty BC}^I = G^{IA} {}^0 B_{ABC}^0\), (7) \(\quad {}^0 B_{k0 \infty}^i = {}^0 B_{k \infty 0}^i = {}^0 B_{k \infty \infty}^i = 0\), (8) \(\quad {}^0 B_{0A \infty}^i = {}^0 B_{AB \infty}^{\infty} = {}^0 B_{\infty A \infty}^{\infty} = {}^0 B_{\infty A \infty}^{0} = 0\), (9) \(\quad {}^0 B_{IJK \infty} = {}^0 B_{KIJ}^0\), (10) \(\quad {}^0 B_{IJK}^0 = - {}^0 B_{IKJ}^0, \;\; {}^0 B_{IJK}^0 + {}^0 B_{JKI}^0 + {}^0 B_{KIJ}^0 = 0, \;\; G^{IJ0} \, B_{IJK}^0 = 0\), (11) \(\quad {}^0 B_{IJKL, M} = - {}^0 B_{IJLK, M}, \;\; {}^0 B_{IJKL, M} = - {}^0 B_{JIKL, M}\), (12) \(\quad {}^0 B_{IJKL, M} + {}^0 B_{IJLM, K} + {}^0 B_{IJMK, L} = 0\), (13) \(\quad {}^0 B_{IJKL, M} + {}^0 B_{IKJL, M} + {}^0 B_{ILJK, M} = 0\), (14) \(\quad G^{IJ} ({}^0 B_{IKJL, M} + {}^0 B_{IKJM, L} + {}^0 B_{ILJM, K}) = 0\), (15) \(\quad G^{ST} {}^0 B_{SABC, T} = - \dfrac{3}{n} {}^0 B_{ABC}\), (16) \(\quad G_{IJ} = G_{JI}, \;\; |\, G_{IJ} \,| = 1\). \noindent Dabei ist \(G_{IJ}\) durch \(\dfrac{g_{IJ}}{|\, g_{IJ} \,|^{\frac{1}{n}}}\) definiert. Die Komponenten \({}^0 B_{IJ \infty}^0\) und \({}^0 B_{\infty J \infty}^I\) führen auf derart ausgedehnte Rechnungen, daß Verf. auf die Darstellung der für diese geltenden Identitäten verzichtet, nicht ohne zum Schluß auf Methoden hinzuweisen, deren man sich in diesen Fällen bedienen kann. Ferner besteht für alle hier angeführten Relationen die Ungleichung \(n \neq 4\). In Terminologie und Bezeichnungsweise stützt sich Verf. auf \textit{T. Y. Thomas} bekanntes Werk über Differentialinvarianten (vgl. \textit{T. Y. Thomas}, Differential invariants of generalized spaces, Cambridge University Press, 1934; F.~d.~M. 60\(_{\text{I}}\), 363). (V6.)