Die konformen Differentialinvarianten eines kovarianten symmetrischen Tensors vierter Stufe im binären Gebiet. (Q2607805)

Es handelt sich darum, die konformen Differentialinvarianten eines Tensors der Valenz 4 (oder die Differentialinvarianten eines Pseudotensors der Valenz 4) abzuleiten für \(n = 2\). In einer früheren Arbeit (Compositie math., Groningen, 1 (1934), 238-247; JFM 60.0369.*-371) hat Verf. gezeigt, daß dieses Problem im allgemeinen gelöst ist, wenn man die Differentialinvarianten zweier Pseudotensoren \(a_{\lambda\varkappa }\) und \(b_{\lambda\varkappa }\) bestimmt hat. Für beliebiges \(n\) wird aus zwei Pseudotensoren vom Range \(n\) und den zugehörigen \textit{Christoffel}symbolen eine Übertragung \((\varGamma _{\mu\lambda }^\varkappa,\varGamma _\mu \)) für Pseudogrößen abgeleitet. Dies gelingt nur für \(a^{\lambda\varkappa }b_{\lambda\varkappa }b^{\varrho\sigma } a_{\varrho\sigma }\neq n^2\). Es gilt dann der Reduktionssatz: Differentialinvarianten zweiter Ordnung von \(a_{\lambda\varkappa }\) und \(b_{\lambda\varkappa }\) sind affine Invarianten von \(a_{\lambda\varkappa }\), \(b_{\lambda\varkappa }\), \(F_{\mu\lambda }=\partial_{[\mu }\varGamma _{\lambda ]}\), dem Krümmungsaffinor, \(\nabla _\mu b_{\lambda\varkappa }\), \(\nabla _\nu \nabla _\mu b_{\lambda\varkappa }\), \ (\(\nabla _\mu a_{\lambda\varkappa }=0\), dem Affinor \(D_{\mu\lambda }^\varkappa \) und \(\nabla _\mu D_{\mu\lambda }^\varkappa \), wo \[ D_{\mu\lambda }^\varkappa = \Biggl\{ \underset{{ \mu\lambda }} {^{^{ \varkappa}}}\Biggr\} _a \Biggl\{ \underset{{ \mu\lambda }} {^{^{ \varkappa}}}\Biggr\} _b + \frac {1}{2}\,(a^{\varkappa\varrho }\,a_{\mu\lambda } b^{\varkappa\varrho }\,b_{\mu\lambda })\,\varGamma _\varrho \] ist. In analoger Weise werden die Differentialinvarianten eines Systems von \(n\) kovarianten Pseudovektoren bestimmt und daraus die Differentialinvarianten eines Pseudotensors der Valenz 4 im binären Gebiet für Spezialfälle abgeleitet. (V 7.)