On hyperelliptic \(\varTheta\)-functions with rational characteristics. (Q1441234): Difference between revisions

Für eine hyperelliptische Kurve \(y^2=f(x)\) ist sowohl \(\Theta((0))\) wie \(\Theta_{[\varepsilon]_2}((0))\) als Produkt einer algebraischen Funktion der Verzweigungspunkte \(k_j\) und eines aus den Perioden der Integrale erster Gattung gebildeten, von der Charakteristik unabhängigen Ausdrucks darstellbar. Dieses Ergebnis von \textit{Thomae} wird auf alle \(\Theta_{[\varepsilon]_r}((0))\), \(r>2\), ausgedehnt. Läß\ t man die \(k_j\) wandern und sich dadurch vertauschen, so entspricht das einer Vertauschung des \(\Theta_{[\varepsilon]_r}((0))\) mit gewissen anderen Thetas. Das Produkt aller dieser zusammengehörigen Thetas ist, abgesehen von einem bekannten transzendenten Faktor, eine symmetrische ganze Funktion \(F_r\) der \(k_j\). \(F_r\) ist darstellbar als Produkt einer Potenz der Diskriminante \(D\) von \(f(x)\) mit dem Quadrat einer Invariante \(I_r\). Der Exponent von \(D\) wird aus dem Verhalten der \(\Theta\) für \(k_i \to k_j\) erschlossen. Man kann dann den Grad von \(I_r\) angeben. Dies wird für den Fall, daß\ \(r\) Primzahl ist, durchgeführt. Das Verschwinden von \(I_r\) kann algebraisch und geometrisch gedeutet werden.