On the class of a covariant tensor. (Q1446318)

Aufstellung notwendiger und hinreichender Bedingungen dafür, daß die Differentialform der Variablen \(x^1,\ldots, x^n\) \[ A_{i_1i_2\ldots i_m}dx^{i_1}\ldots dx^{i_m} \qquad (m\leqq n) \tag{"(A)"} \] die ``Klasse'' \(K\) besitzt, d. h. durch Transformation der Variablen auf eine Form mit \(k\) (und nicht weniger) Veränderlichen reduzierbar sei. Die Bedingungen lauten: Das lineare System in \(dx^{i1},\ldots , dx^{in}\) \[ \begin{aligned} & A_{si_2\ldots i_m} dx^s = 0, \quad A_{i_1si_3\ldots i_m} dx^s = 0, \ldots, A_{i_1\ldots i_{m-1}s} dx^s = 0, \\ &\varGamma_{i_1\ldots i_ms} dx^s = 0 \end{aligned} \tag{"(C)"} \] hat den Rang \(k\). Dabei sind die \(A_{i_1i_2\ldots i_m}\) als symmetrisch in den beiden Indizes vorausgesetzt; in dem ``charakteristischen System'' (C) durchlaufen \(i_1,\ldots, i_m\) alle möglichen Werte und es ist: \[ \varGamma_{i_1\ldots i_ms} = \dfrac{\partial A_{si_2\ldots i_m}}{\partial x^1} + \dfrac{\partial A_{i_1si_3\ldots i_m}}{\partial x^2} + \cdots \dfrac{\partial A_{i_1\ldots i_{m-1}s}}{\partial x^{i_m}} \dfrac{\partial A_{i_1i_2\ldots i_m}}{\partial x^s}. \] (C) ist ein ``vollständiges System'' Pfaffscher Gleichungen. Diese Verallgemeinerung eines Hauptsatzes der Theorie des Pfaffschen Problems findet ihren Abschluß in dem Satz: Ist \[ dx^i = X^i \] ein Lösungssystem von (C), so ist die Form (A) im Sinne von Cartan eine Differentialinvariante für das System \[ \frac{dx^1}{X^1} = \frac{dx^2}{X^2} = \cdots = \frac{dx^n}{X^n} \] und umgekehrt. (IV 8, IV 12.)