Theorie der Divisorenkongruenzen. (Q2595718)

Gegeben ist ein algebraischer Funktionenkörper \(K/k\), ein ganzer Divisor \(\mathfrak G\) von \(K\), zwei beliebige Divisorenklassen \(A\) und \(B\) von \(K\) und ein beliebiger zu \(\mathfrak G\) primer Divisor \(\mathfrak C\) aus \(AB^{-1}\). Die ganzen Divisoren \(\mathfrak A\) aus \(A\) mit \[ \mathfrak A\equiv \mathfrak{CB}\;\text{mod}^+\mathfrak G\qquad (\mathfrak B \;\text{ganzer Divisor aus} \;B) \] bilden einen additiven \(k\)-Modul \(A_B\). Die Gesamtheit aller ganzen Divisoren aus \(A \mod A_B\) bilden den Modul \(A/A_B\). \(\overline{\mathfrak A}\) und \(\overline{\mathfrak B}\) seien die ganzen Divisoren aus den ``Ergänzungsklassen'' \(\overline{A}=\mathfrak G\cdot W\cdot A^{-1}\), \(\overline{B}=\mathfrak G\cdot W\cdot B^{-1}\) (\(W\) Differentialklasse von \(K\)). Mittels der ``Ergänzungskongruenz'' \[ \overline{\mathfrak B}\equiv\mathfrak C\overline{\mathfrak A} \mod^+\mathfrak G \] wird der Modul \(\overline{B}/\overline{B}_{\overline{A}}\) definiert. Dann gilt der Satz: \[ \dim (A/A_B)= \dim \overline{B}/\overline{B}_{\overline{A}}, \] der als \textit{Riemann-Rochscher Satz} für Divisorenkongruenzen bezeichnet werden kann. Der Beweis erfolgt mit den von \textit{F. K. Schmidt} für den Beweis des Riemann-Rochschen Satzes entwickelten Methoden (\textit{F. K. Schmidt}, Math. Z. 41 (1936), 415-442; F. d. M. \(62_{\text I}\), 115). Die Analogie geht noch weiter: Der Riemann-Rochsche Satz hat im Falle von endlich vielen Konstanten die Funktionalgleichung der \(\zeta\)-Funktion zur Folge. Der hier bewiesene Satz hat im endlichen Falle die Funktionalgleichung der \(L\)-Reihen (die von \textit{E. Witt} schon im März 1936 mit anderen Methoden bewiesen worden ist) zur Folge. Dies wird im letzten Abschnitt ausgeführt.