Zur Meromorphismentheorie der elliptischen Funktionenkörper. (Q2579806)

Aufgabe des Verf. ist, im Anschluß an \(Hasse\) (J. reine angew. Math. 175 (1936); 55-61, 69-88, 193-208; F. d. M. \(62_{\text{I}}\), 117; kurz als Hasse I, II, III zitiert) einen elliptischen Funktionenkörper \(K = k(x, y)\) über einem algebraisch abgeschlossenen Körper \(k\) der Charakteristik \(p\) mit der erzeugenden Gleichung \[ F (x, y) = y^3 + f(x) y + g(x) = 0 \] zu untersuchen. Hierbei ist \(f\) ein Polynom höchstens vom Grade 1, \(g\) ein Polynom genau vom Grade 3. Ist \(\mathfrak o\) ein fester Primdivisor in \(K\), so habe \(x\) den genauen Nenner \(\mathfrak o^2\), \(y\) den genauen Nenner \(\mathfrak o^3\), \(\mu\), \(\nu\), \(\varrho\) seien Meromorphismen von \(K\), also entweder eigentliche Meromorphismen, d. h. die Isomorphismen von \(K\) auf einen Teilkörper \(K\lambda\), wo \(k\) fest bleibt, mit der Norm \(N (\lambda) = [K : K\lambda]\) oder uneigentliche Meromorphismen, d. h. isomorphe Abbildungen von \(K\) auf \(k\). Letztere haben die Norm null. Produkt und Summe zweier Meromorphismen sind in Hasse II, S. 79 und 72 definiert. Nun zeigt Verf., wie eine weitreichende Analogie zwischen den Formeln aus dem Gebiete der Meromorphismen und dem der elliptischen Funktionen besteht. Die in Hasse III nur unter gewissen Einschränkungen über die Inseparabilitätskoeffizienten bewiesene Gleichung \[ x\mu - x\nu \cong \frac {\mathfrak o (\mu + \nu)\mathfrak o (\mu - \nu)}{ (\mathfrak \mu \mathfrak o \nu )^2} \] wird lediglich unter der Bedingung (wie bei Hasse), daß \(\mu\), \(\nu\), \(\mu+\nu \), \(\mu - \nu \not = 0\) sind, bewiesen. Mit \[ D(\mu, \nu, \varrho ) = \begin{vmatrix} 1 & x\mu & y\mu \\ 1 & x\nu & y\nu \\ 1 & x \varrho & y \varrho \end{vmatrix} \] wird \[ D(\mu, \nu, \varrho ) \cong \frac {\mathfrak o (\mu + \nu + \varrho)\;\mathfrak o (\mu - \nu) \;\mathfrak o (\mu - \varrho)\;\mathfrak o (\nu - \varrho) }{ (\mathfrak o \mu \;\mathfrak o\nu \;\mathfrak o \varrho)^2} . \tag{A} \] Das ist das Analogon zur Formel, \[ \begin{vmatrix} 1 & \varphi (u_1) & \varphi^\prime (u_1) \\ 1 & \varphi (u_2) & \varphi^\prime (u_2) \\ 1 & \varphi (u_3) & \varphi^\prime (u_3) \end{vmatrix} = c \frac {\sigma (u_1 + u_2 + u_3)\;\sigma (u_1 - u_2) \;\sigma (u_1 - u_3) \;\sigma (u_2 - u_3)}{(\sigma (u_1) \,\sigma (u_2)\, \sigma (u_3))^2} \] Ist \(z_1, \dots, z_n\) eine Basis der ganzen Multipla von \(\mathfrak o^{-n}\), so gilt \[ \begin{vmatrix} z_1\mu_1 & \cdots & z_n\mu_1 \\ \cdot & \cdots & \cdot \\ z_1\mu_n & \cdots & z_n\mu_n \end{vmatrix} \cong \frac {\mathfrak o \sum\limits_{i=1}^n \mu_i \prod\limits_{i?j} \mathfrak o (\mu_i - \mu_j)}{\prod\limits_{}^n (\mathfrak o\mu_i)^2} \] Zur Formel \[ \begin{vmatrix} \varphi^\prime (u) & \varphi^{\prime\prime} (u) & \cdots & \varphi^{(n-1)} (u) \\ \varphi^{\prime\prime} (u) & \varphi^{\prime\prime\prime} (u) & \cdots & \varphi^{(n)} (u) \\ \cdot & \cdots & \cdots & \cdot \\ \varphi^{(n-1)} (u) & \varphi^{(n)} (u)& \cdots & \varphi^{(2n-3)} (u) \end{vmatrix} = (-1)^{n-1} \prod_{i=1}^{n-1} i! \frac {\sigma (nu)}{ \sigma^{n^2}(u)} \] gibt Verf. das Analogon der Divisorendarstellung der Differentialdeterminante \[ \varDelta (\mu )= \begin{vmatrix} z_1 \mu & \cdots & z_n \mu \\ D^{(1)} z_1\mu \cdots & D^{(1)} z_n \mu \\ \cdot & \cdots & \cdots \end{vmatrix}, \] nämlich \[ \varDelta (\mu )\cong \frac {\mathfrak o (n\mu)}{(\mathfrak o\mu)^2}. \] Dabei sind die Größen \(D^{(i)}\) die für die Primcharakteristik \(p\) modifizierten höheren Differentiale. Noch sei bemerkt, daß aus der Formel (A) für die Meromorphismennormen die Additionsformel \[ N(\mu + \nu + \varrho ) - [N(\mu + \nu ) + N(\mu + \varrho ) + N(\nu + \varrho )] + N(\mu ) +N( \nu ) +N( \varrho ) = 0 \] folgt.