Der Existenzsatz für ein wesentliches System bei Invarianten von Differentialformen. (Q1833771)

Eine algebraische Funktion \[ I\,\biggl(a_{ikl\ldots},\frac{\partial a_{ikl\dots }} {\partial x_r},\dots,\frac{\partial ^m a_{ikl\dots }} {\partial x_{r_1}\partial x_{r_2}\dots \partial x_{r_m}}\biggr) \] der Tensorkomponenten eines Tensors und deren Ableitungen \[ f=a_{ikl\dots }\,dx^i\,dx^k\,dx^l\dots \] ist eine algebraische Differentialinvariante \(m\)-ter Ordnung, wenn bei den Transformationen \[ \overline{x}_i=\overline{x}_i(x_1,x_2,\dots,x_n) \] die Gleichung \[ \overline{I}=\biggl|\,\frac{\partial \overline{x}_i} {\partial x_k}\,\biggr|^p\cdot I \] gilt. Es gibt zu jeder Differentiationsordnung \(m\) eine endliche algebraische Basis, ja selbst eine endliche Integritätsbasis für ganze rationale \(I\). Bei absoluten Differentialinvarianten existiert ein Endlichkeitssatz, der auch von der Differentiationsordnung \(m\) unabhängig ist: Es existiert ein \textit{wesentliches} System \(I_1\), \(I_2\), \dots, \(I_\sigma\) mit der Eigenschaft, daß jedes \(I\) rational durch diese \(I_\nu\) und deren Aleitungen \(\dfrac{\partial I_\nu}{\partial x_r}\), \(\dfrac{\partial ^2I_\nu}{\partial x_r\,\partial x_s}\), \dots ausdruckbar wird. Die Existenz eines wesentlichen Systems wurde zuerst auf analytischem Wege von \textit{A. Tresse} bewiesen (Acta Math. 18 (1894), 1-88; F. d. M. 25, 641-642). Hier gibt der Verf. ein wesentliches System, das rational aus \(n\) unabhängigen absoluten Invarianten \(_hI\,\)(\(h=1\), 2, \dots, \(n\)) auf sehr einfache Weise konstruiert wird. (Haben die Tensoren nur \(m < n\) absolute Differentialinvarianten, so bilden diese schon das wesentliche System.) Aus den \(n\) absoluten \(_hI\) erhält man nämlich \(n\) kovariante Vektoren \[ _hc_i=\frac{\partial _hI}{\partial x_i}. \] Ist dann z. B. \(g^{\alpha\beta}\) ein kontravarianter Tensor, so bilden die \(_hI\) zusammen mit \[ _{hk}I=_hc_\alpha\;_kc_\beta g^{\alpha\beta} \] ein wesentliches System. Analog für kovariante Tensoren, wobei die aus den \(_hc_i\) ableitbaren kontravarianten Vektoren \(_hc^i\) benützt werden. Die höheren Ableitungen werden dann durch kovariante Ableitungen ersetzt, letztere gebildet mit den \(n\) Vektoren \(_hc_i\). Am Schlusse gibt Verf. eine einfache Anwendung auf die Differentialinvarianten der euklidischen Bewegungsgruppe bei Flächen im \(R_3\).