Forme differenziali e funzioni algebriche. (Q568706)

Ist eine algebraische Hyperfläche \(f(x_0, \dots x_n) = 0\) gegeben, so heißt im zugehörigen Körper der algebraischen Funktionen \(R(x_0, \dots x_n)\) jedes System \[ x_i(u_1, \dots u_n) \quad (i = 0, \dots, n), \] das die Gleichung \(f = 0\) befriedigt aus analytischen Funktionen der \(u_1, \dots, u_n\) besteht, die in der Umgebung von \(u_1 = \dots = u_n = 0\) meromorph sind, ein Element des Körpers. Mit diesen Elementen bildet man nach Bezeichnung von \textit{Cartan} die Differentialformen \[ \omega = \sum _{i_1,\dots i_p}^{1\dots n} A_{i_1\dots i_p}(x_0, \dots, x_n) \cdot d(x_{i_1},\dots, x_{i_p}) \tag{*} \] \(p\)-ten Grades, worin \(A\) rationale Funktionen der \(x_0,\dots, x_n\) sind; werden für jedes Element des Körpers beim Einsetzen der \(u_1,\dots, u_n\) die Koeffizienten der Differentialform holomorph in der Umgebung von \(u_1 = \dots = u_n = 0\), so heißt die Form (*) von erster Gattung; dieser Begriff ist invariant gegenüber birationalen Transformationen der Hyperfläche \(V\); man kann diese Formen auch dadurch kennzeichnen, daß\ die Pole ihrer Koeffizienten aus einem Punkte der \(V\) durch eine Homographie wegtransformiert werden können. Auf jeder in \(V\) enthaltenen \(V_r\) induziert \(\omega \) wieder eine Form erster Gattung. Aus dem Satz von \textit{Hodge} über die Nichtexistenz periodenfreier Integrale erster Gattung folgt die wichtige Tatsache, daß\ \(\omega \) integrabel ist, d. h. daß\ das Integral von \(\omega \) über einen nullhomologen \textit{p}-dimensionalen Zykel verschwindet. Läßt man in \(\omega \) die Symmetrie fallen und ersetzt \(d(x_{i_1},\cdots, x_{i_p})\) durch \(\frac {\partial x_{i_1}}{\partial s_1}, \cdots, \frac {\partial x_{i_p}}{\partial s_p}\), so zeigt eine birationale Transformation, daß\ wir es mit einer tensoriellen Differentialform zu tun haben; diese Formen liefern neue birationale Invarianten von \(V\). Insbesondere ist die Zahl der linear-unabhängigen Differentialformen des Typs \[ A(x_0 \dots x_n) \cdot \left \{ \frac {\partial (x_1,\dots,x_n)}{\partial (s_1,\dots,s_n)} \right \}^k \] identisch mit den \(k\)-Geschlecht \(P_k\) der \(V\). (V 5 F.).