Systems of \(K\)-dimensional manifolds in an \(N\)-dimensional space. (Q574335)

Gelegentlich einer früheren Untersuchung (1928; F. d. M. 54, 757 (JFM 54.0757.*)-758) hat Verf. die allgemeine Theorie der Geometrie der Bahnkurven als Konfiguration eines Systems analytischer Kurven in \(S_N\), analytisch abhängig von \(2N - 2\) Parametern, derart, daß ein jedes Punktepaar bei nicht zu großer Entfernung der beiden Punkte durch nur eine Kurve des Systems verbunden wird, entwickelt und durch Differentialsysteme der Art \[ \dfrac{d^2 x^i}{d t^2} = H^i\bigg(x,\dfrac{dx}{dt} \bigg) \qquad (i=1,2,\ldots,N) \] mit homogenen rechten Seiten vom Grad zwei in \(\dfrac{dx}{dt}\) charakterisiert. Die vorliegende Arbeit verallgemeinert diese Theorie, indem Verf. eine Konfiguration \(K\)-dimensionaler Mannigfaltigkeiten in \(S_N\) betrachtet, analytisch derart verteilt, daß \(K + 1\) Punkte allgemeiner Lage genau eine Mannigfaltigkeit bestimmen, die diese Punkte enthält. Für \(K = 1\) enthält diese Theorie wiederum diejenige der Bahnkurven. Indessen treten gewisse Eigenschaften ihrer Objekte erst für \(K > 1\) deutlich hervor. Das so skizzierte Programm beginnt Verf. zunächst mit einer Übersicht über die zur Verwendung gelangenden Koordinaten, Parameter und Transformationsgruppen durchzuführen, um daran sogleich die partiellen Differentialgleichungen des affinen Raumes der \(K\)-Mannigfaltigkeiten \[ \dfrac{\partial^2x^i}{\partial u^\alpha\partial u^\beta} = H^i_{\alpha\beta}(x,p) \tag{*} \] zu knüpfen und ihre Homogenitätseigenschaften zu diskutieren. Dabei ergibt sich eine weitgehende Verallgemeinerung des \textit{Euler}schen Satzes über homogene Funktionen. Führt man mittels \[ \varGamma^i_{jk} = \dfrac1{K(K+1)} \dfrac{\partial^2 H^i_{\alpha\beta}} {\partial p^j_\alpha\partial p^k_\beta} \] im affinen Raum der \(K\)-Mannigfaltigkeiten eine Übertragung ein, so führen deren Integrabilitätsbedingungen auf die Relationen \[ B_{jkl}^i p_\alpha^j p_\beta^k p_\gamma^l = 0, \] worin \(B_{jkl}^i\) den aus \(\varGamma_{jk}^i\) gebildeten Krümmungstensor darstellt. Sodann entsteht die Frage, wann ein gegebenes Funktionensystem \(\varGamma_{jk}^i(x,p)\) die Komponenten eines affinen Zusammenhanges darstellt. Verf. findet dafür die folgenden charakteristischen Bedingungen: \[ \varGamma_{jk}^i = \varGamma_{kj}^i, \quad p_\sigma^a \dfrac{\partial\varGamma_{jk}^i}{\partial p_\varrho^a} = 0, \quad B_{jkl}^i p_\alpha^j p_\beta^k p_\gamma^l = 0, \quad \varGamma^i_{jk} = \dfrac1{K(K+1)} \dfrac{\partial^2 \varGamma^i_{rs} p_\alpha^r p_\beta^s} {\partial p^i_\alpha\partial p^k_\beta}. \] Nach einer Untersuchung der Transformationseigenschaften des Systems \[ \dfrac{\partial^2 x^i}{\partial u^\alpha \partial u^\beta} = H^i_{\alpha\beta}\bigg(x,\dfrac{\partial x}{\partial u}\bigg) \] gegenüber \[ u^\alpha = u^\alpha(v, a) \;\text{bzw.} \;v^\alpha = v^\alpha (u, a), \] insbesondere gegenüber ``volumentreuen'' Transformationen \[ \bigg|\dfrac{\partial u}{\partial v}\bigg| = \operatorname{const}, \] entwickelt Verf. eine Theorie ``deskriptiver'' und ``volumentreuer'' Differentialinvarianten. Für ''deskriptive'' Invarianten gilt: \[ {}'\varGamma^i_{jk} = \varGamma^i_{jk} + \delta_j^iA_k + \delta_k^iA_j + p_\lambda^i B^\lambda_{jk}; \] für ``volumentreue'' verschwindet \(A_k\). Für beide Begriffe werden Äquivalenzkriterien entwickelt. Ein Raum von \(K\)-Mannigfaltigkeiten heißt \textit{``affin''-eben}, wenn sich vermöge einer Koordinatentransformation (*) auf \(\dfrac{\partial^2x^i}{\partial u^\alpha\partial u^\beta}= 0\) reduziert, \textit{``volumentreu''-eben}, wenn für diese Reduktion die Koordinatentransformation noch mit einer ``volumentreuen'' Parametertransformation ergänzt werden muß, und \textit{``deskriptiv-eben''}, wenn die Reduktion in allgemeiner Weise durch Koordinaten- und Parametertransformation durchführbar wird. Für alle Fälle findet Verf. invariante Kriterien, die im allgemeinen durch das Verschwinden der entsprechenden Krümmungstensoren gegebensind. Zum Schluß überträgt und verwertet Verf. die \textit{O. Veblen}sche Theorie der Normalkoordinaten auf die Methoden und Objekte der vorliegenden Arbeit. (V 6 C.)