Zur Differentialgeometrie der Gruppe der Berührungstransformationen. I. Doppelthomogene Behandlung von Berührungstransformationen. II. Normalform und Haupttheorem der doppelthomogenen Berührungstransformationen. III. Infinitesimale doppelthomogene Berührungstransformationen und ihre Beziehungen zur Mechanik und Elektrodynamik. (Q2603869)

\textbf{I.} Eine allgemeine Berührungstransformation in den \((2n - 1) \) Variablen \(\xi^1,\,\ldots,\, \xi^n\), \(\zeta_2,\,\ldots,\, \zeta_n\) kann man nach \textit{Lie} (Theorie der Transformationsgruppen II (1890; F. d. M. 23, 364 (JFM 23.0364.*)), 139) homogen in den \(2n\) Variablen \(\xi^1,\,\ldots,\, \xi^n\), \(\eta_1,\,\ldots,\, \eta_n\) mit \(\zeta_2 = -\dfrac{\eta_2}{\eta_1}\) usw. schreiben, wobei die transformierten \(\xi\) und \(\eta\) homogene Funktionen nullten bzw. ersten Grades in den alten \(\eta\) aber keineswegs homogen in den alten \(\xi\) sind. Eine \textit{vollkommen dualistische} Behandlung ergibt sich dagegen, wenn man statt der Punktkoordinaten \(\xi^h\) die aus der Geometrie der Strahlenmanniaialtigkeiten \(H_n\) bekannten homogenen Punktkoordinaten \(x^0,\, x^1,\,\ldots, x^n\); \(\xi^1 =\dfrac{x^1}{x^0}\) usw. (vgl. \textit{D. van Dantzig}, Math. Ann., Berlin, 106 (1932), 400-454; F. d. M. \(58_{\text{I}}\), 757) und statt der ``Facettenkoordinaten'' \(\eta_1,\,\ldots,\,\eta_n\) die Koordinaten \(p_0,\, p_1,\,\ldots,\, p_n\) wählt, welche den Gleichungen \(p_1:\cdots :p_n = \eta_1:\cdots :\eta_n\) und \(x^0p_0 + \cdots + x^np_n = 0\) genügen. In der ersten Mitteilung wird der Aufbau dieser dualistischen Methode skizziert. Es seien \(x^\varkappa\), \(\varkappa = 0,\, 1,\,\ldots,\, n\) homogene Koordinaten in einem \(n\)-dimensionalen Raum und \(p_\lambda\), \(\lambda= 0,\, 1,\,\ldots,\, n\) homogene lokale Facettenkoordinaten. Bedeutet \(\boldsymbol\lfloor\)~\(\boldsymbol\rfloor\) abgesehen von einem beliebigen Faktor, so stellt \(\boldsymbol\lfloor x^\varkappa\boldsymbol\rfloor\) einen Punkt und die Kombination \(\boldsymbol\lfloor x^\varkappa\boldsymbol\rfloor\), \(\boldsymbol\lfloor p_\lambda\boldsymbol\rfloor\) ein Element dar, sofern \(x^\varrho p_\varrho = 0\) ist. Zwei benachbarte Elemente \(\boldsymbol\lfloor x^\varkappa\boldsymbol\rfloor\), \(\boldsymbol\lfloor p_\lambda\boldsymbol\rfloor\) und \(\boldsymbol\lfloor x^\varkappa+dx^\varkappa\boldsymbol\rfloor\), \(\boldsymbol\lfloor p_\lambda+dp_\lambda\boldsymbol\rfloor\) liegen vereinigt, wenn \(p_\varrho dx^\varrho = 0\), also auch \(x^\varrho dp_\varrho= 0\) ist. Eine Transformation der Elemente, die 1) jedes Element in ein Element überführt, 2) die vereinigte Lage zweier benachbarter Elemente nicht zerstört und 3) eine eindeutige Umkehrung besitzt, heißt Berührungstransformation. Jede Koordinatentransformation, die eine Berührungstransformation ist, läßt sich schreiben: \[ \begin{matrix} x^{\varkappa'}=\varphi^{\varkappa'}(x^\varrho,p_\sigma),\\ \\ \noalign{\vskip0.6ex} p_{\lambda'}=\psi_{\lambda'}(x^\varrho,p_\sigma), \end{matrix} \qquad \left|\begin{matrix} \dfrac{\partial \varphi^{\varkappa'}}{\partial x^\varkappa} &\dfrac{\partial \varphi^{\varkappa'}}{\partial p_\lambda} \\ \noalign{\vskip0.6ex} \dfrac{\partial \psi_{\lambda'}}{\partial x^\varkappa} &\dfrac{\partial \psi_{\lambda'}}{\partial p_\lambda} \end{matrix}\right| \neq 0, \] wo die \(\varphi^{\varkappa'}\) und \(\psi_{\lambda'}\) homogene Funktionen ersten bzw. nullten Grades in \(x^\varkappa\) und nullten bzw. ersten Grades in \(p_\lambda\) sind und folgenden Bedingungen genügen: \[ \begin{gathered} \begin{matrix} p_{\lambda'}=T^{\lambda}_{\lambda'}p_{\lambda};\qquad\hfill &p_{\lambda}=T^{\lambda'}_{\lambda}p_{\lambda'};\qquad\hfill &V^{\phantom{\varrho'}}_{\varrho'[\mu}T^{\varrho'}_{\lambda]}=0;\qquad\hfill &V^{\phantom{\varrho}}_{\varrho[\mu'}T^{\varrho}_{\lambda']}=0;\hfill \\ \noalign{\vskip0.6ex} x^{\varkappa'}=T^{\varkappa'}_{\varkappa}x^{\varkappa};\qquad\hfill &x^{\varkappa}=T^{\varkappa}_{\varkappa'}x^{\varkappa'};\qquad\hfill &T^{[\nu}_{\varrho'}U^{\varkappa]\varrho'}_{\phantom{\varrho'}}=0;\qquad\hfill &T^{[\nu'}_{\varrho}U^{\varkappa']\varrho}_{\phantom{\varrho}}=0;\hfill \end{matrix} \\ \noalign{\vskip0.8ex} \begin{matrix} U^{\varkappa'\lambda}p_{\lambda}=0;\qquad\hfill &U^{\varkappa\lambda'}p_{\lambda'}=0;\qquad\hfill &T^{\varkappa}_{\varrho'}T^{\varrho'}_{\lambda} -V_{\lambda\varrho'}U^{\varkappa\varrho'}=A_{\lambda}^{\varkappa};\hfill \\ \noalign{\vskip0.6ex} V_{\lambda'\varkappa}x^{\varkappa}=0;\qquad\hfill &V_{\lambda\varrho'}x^{\varkappa'}=0;\qquad\hfill &T^{\varkappa'}_{\varrho}T^{\varrho}_{\lambda'} -V_{\lambda'\varrho}U^{\varkappa'\varrho}=A_{\lambda'}^{\varkappa'};\hfill \end{matrix} \end{gathered} \] mit den Abkürzungen: \[ \begin{matrix} T^\varkappa_{\lambda'}=\dfrac{\partial x^\varkappa}{\partial x^{\lambda'}}=\dfrac{\partial p_{\lambda'}}{\partial p_\varkappa},\qquad\hfill &\hfill U^{\nu\varkappa'}=-U^{\varkappa'\nu}=\dfrac{\partial x^{\varkappa'}} {\partial p_\lambda}=-\dfrac{\partial x^\nu}{\partial p_{\varkappa'}}, \\ \noalign{\vskip0.6ex} V_{\mu\lambda'}=-V_{\lambda'\mu}=\dfrac{\partial p_{\lambda'}}{\partial x^\mu} \rlap{\({}=-\dfrac{\partial p_\mu}{\partial x^{\lambda'}};\)}\hfill &\hfill A^\varkappa_\lambda=\dfrac{\partial x^\varkappa}{\partial x^\lambda} =\dfrac{\partial p_\lambda}{\partial p_\varkappa}. \end{matrix} \] Diese Transformationen bilden eine Gruppe \(\mathfrak K_{2n+2}\). Bei dieser Gruppe ist der Ausdruck \(p_\varrho x^\varrho\) und unter der Bedingung \(p_\varrho x^\varrho=0\) sowohl \(x^\varrho dp_\varrho\) als auch \(p_\varrho dx^\varrho\) invariant. Es wird gezeigt, daß eine doppelt-homogene Berührungstransformation in \(x^\varkappa\), \(p_\lambda\) eine homogene Berührungstransformation im \textit{Lie}schen Sinne in \(\xi^h\), \(\eta_i\) ist, umgekehrt läßt sich eine solche auch stets doppelt-homogen schreiben. \textbf{II.} Es wird gezeigt, daß man eine doppelt-homogene Berührungstransformation stets, ohne die Transformation der durch \(x^\varrho p_\varrho = 0\) charakterisierten Elemente zu ändern, ersetzen kann durch eine Transformation, die auch für den allgemeinen Fall \(x^\varrho p_\varrho\neq 0\) den Bedingungen \(p_{\varrho'}dx^{\varrho'} = p_\varrho dx^\varrho\), \(x^{\varrho'}dp_{\varrho'}=x^\varrho dp_\varrho\) genügt. Die so erhaltene Form wird \textit{Normalform} genannt. Von der allgemeinsten Form einer homogenen Berührungstransformation nach \textit{Lie} ausgehend wird mit Übergang zu den \(x\), \(p\) folgender Hauptsatz bewiesen: Die allgemeinste doppelthomogene Berührungstransformation von \(x^\varrho\), \(p_\lambda\) in \(x^{\varkappa'}\), \(p_{\lambda'}\) von den Graden 1, 0 bzw. 0, 1 in \(x^\varkappa\) und \(p_\lambda\) in der Normalform wird erhalten, indem man ausgeht, von \(q +1\) (\(1\leqq q \leqq n\)) Gleichungen \(\overset{\mathfrak p} X (x^\varkappa, x^{\varkappa'}) = 1\); \(\mathfrak p =0,\, 1,\,\ldots,\, q\) wo die \(\overset{\mathfrak p} X\) homogene Funktionen von \(x^\varkappa\), \(x^{\varkappa'}\) or von den Graden \(+ 1\), \(- 1\) sind, so gewählt, daß die Determinante \[ \left|\begin{matrix} \dfrac{\partial\overset{\mathfrak p} X}{\partial x^\lambda} &0 \\ \noalign{\vskip0.6ex} \underset{\mathfrak p} \mu \dfrac{\partial}{\partial x^{\lambda'}} \dfrac{\partial}{\partial x^\lambda} \overset{\mathfrak p} X &\dfrac{\partial}{\partial x^{\lambda'}} \overset{\mathfrak p} X \end{matrix}\right| \] infolge \(\overset{\mathfrak p} X =1\) nicht identisch in den \(\underset{\mathfrak p}\mu\) verschwindet, und sodann die \(\underset{\mathfrak p}\mu\) aus den Gleichungen \(\overset{\mathfrak p} X =1\) und \(p_\lambda = -\underset{\mathfrak p}\mu \dfrac{\partial}{\partial x^\lambda} \overset{\mathfrak p} X\); \(p_{\lambda'} = +\underset{\mathfrak p}\mu \dfrac\partial{\partial x^{\lambda'}} \overset{\mathfrak p} X\) eliminiert und diese Gleichungen nach \(x^{\varkappa'}\), \(p_{\lambda'}\) bzw. \(x^\varkappa\), \(p_\lambda\) auflöst. Ein Beispiel erläutert diese Rechnung. \textbf{III.} Von der allgemeinsten infinitesimalen Berührungstransformation nach \textit{Lie} (Transformationsgruppen II, S. 252) wird der Übergang zu den entsprechend doppelt homogenen in den Variablen \(x\), \(p\) durchgeführt. Man erhält den Hauptsatz, daß die allgemeinste infinitesimale doppelthomogene Berührungstransformation die Form hat: \[ \frac{d x^\varkappa}{d\tau}=\frac{\partial T}{\partial p_\varkappa},\qquad \frac{dp_\lambda}{d\tau}=-\frac{\partial T}{\partial x^\lambda}, \] wo \(T\) eine beliebige homogene Funktion ersten Grades in \(x^\varkappa\) und \(p_\lambda\) ist. Die Bewegungsgleichungen eines mechanischen Problems lassen sich nun ebenso wie die elektrodynamischen Bewegungsgleichungen in der projektiven Feldtheorie durch doppelte Homogenisierung in der Gestalt einer infinitesimalen doppelthomogenen Berührungstransformation schreiben. (IV 7.)