Conformally separable quadratic differential forms. (Q2588366)

In einem Riemannschen Raum \(V_{n}\), \(ds^2=g_{\lambda \mu }du^\lambda du^\mu \) (\(\lambda \), \(\mu \), \(\nu \),\dots \(= 1\), 2,\dots, \(n\)) werden die \(V_{n-m}\) \(u^a =\) const (\(a\), \(b\), \(c\),\dots \(= 1\), 2,\dots, \(m\)) und die \(V_{m}\) \(u^h =\) const (\(h\), \(k\), \(i\), \(j\),\dots \(= m + 1\),\dots , \(n\)) als zueinander orthogonal vorausgesetzt \((g_{ai}=0)\). Die notwendige und hinreichende Bedingung dafür, daß die betrachteten \(V_{n-m}\) und \(V_{m}\) total geodätisch sind, ist die Separierbarkeit von \(ds^2\), d. h. \(ds^2=g_{ab}(u^c)\,du^adu^b+g_{jk}(u^i)\,du^j\,du^k\) (\textit{E. Bompiani}, Rend. Circ. mat. Palermo 48 (1924), 121-134 (F. d. M. 50, 498), und zwar S. 124). Verf. behandelt eine analoge Frage der Konformgeometrie des Riemannschen Raumes. Setzt man \[ B_j^{\,.\,\lambda }=\frac{\partial u^\lambda }{\partial u^i}\;\;\text{und}\;\;H_{jk}^{\,.\,.\,\lambda }=B_{j;k}^{\,.\;\lambda }= \frac{\partial B_j^{.\lambda }}{\partial u^k}+B_j^{.\mu }{\lambda \brace \mu \nu }B_k^{.\nu }-B_i^{.\lambda }\overline{{i\brace jk}}, \] wo die \(\displaystyle \overline{{i\brace jk}}\) die Christoffelsymbole bezüglich des Tensors \(\overline{g}_{ik}\) der \(V_{n-m}\) sind, so haben die Komponenten eines Konformtensors des \(V_{n-m}\) die Gestalt \[ M_{jk}^{.\,.\,\lambda }=H_{jk}^{.\,.\,\lambda }-\frac{1} {n-m}\overline{g}^{ih}H_{ih}^{.\,.\,\lambda }\overline{g}_{jk} \] (\textit{K. Yano}, Proc. Acad., Tokyo, 15 (1939); 247-252, 340-344; F. d. M. 65; 797, 798). Eine \(V_{n-m}\) heißt vollständig nabelpunktig, wenn \(M_{jk}^{..\lambda }\) gilt. Notwendig und hinreichend dafür, daß die \(V_{m}\) und die \(V_{n-m}\) vollständig nabelpunktig sind im \(V_n\)(\(n - m\geqq 2\), \(m\geqq 2\)), ist die konforme Separierbarkeit von \(ds^2\), d. h. \[ ds^2=\varrho (u^\lambda )\,g_{ab}(u^c)\,du^a\,du^b+\sigma (u^\lambda )\,g_{ij}(u^h)\,du^i\,du^j. \] Wenn \(V_{n}\) konstante Krümmung besitzt und konform separabel ist, so ist es auch jede der Formen \(g_{ab}(u^c)\,du^a\,du^b\) bzw. \(g_{ij}(u^h)\,du^i\,du^j\).