Expressions for the coordinates of an algebraic curve in terms of Fuchsian functions of one parameter. (Q1549277)

Nach einem Satze des Herrn Poincaré existirt zwischen zwei Fuchs'schen Functionen derselben Gruppe stets eine algebraische Beziehung. Für die umgekehrte Aufgabe, die algebraische Gleichung \(F(u,v)= 0\) durch Fuchs'sche Functionen desselben Parameters aufzulösen, giebt der Verfasser folgenden Weg an: Es sei \(\int \frac{f(u,v)}{F'_v(u,v)}du\) ein Abel'sches Integral erster Gattung. Sind nun \(u\) und \(v\) zwei durch die Gleichung \(F(u, v)= 0\) verknüpfte meromorphe Functionen einer Variablen \(z\) in einem gewissen Gebiete der \(z\)-Ebene, so ist \[ G(z)= \frac{f(u,v) \frac{du}{dz}}{F'_v(u,v)} \] in demselben Gebiete eindeutig und continuirlich, und es gilt für irgend eine Substitution der Fuchs'schen Gruppe die Gleichung \[ G \left( \frac{az+b}{cz+d}\right)= (cz+d)^2G(z). \] Ist \(n\) die Anzahl der Nullpunkte von \(G(z)\) in einem Fundamentalpolygon, so zeigt man, dass \(G(z)\) die Form hat: \[ G(z)= A_0G_0(z)+A_1G_1(z) \ldots +A_nG_n(z), \] wo die \(A\) Constanten und \(G_0,\ldots G_n\;n+ 1\) linear unabhängige durch die angegebenen Relationen charakterisirte Functionen sind. Für \(\geqq 3\) (\(p\) das Geschlecht von \(F(u,v)= 0\)) schlägt man alsdann folgenden Weg ein: Es sei z.B. \(p= 3\), dann erhält man den drei Abel'schen Integralen erster Gattung entsprechend: \[ \frac{f_1(u,v)}{F'_v(u,v)} \frac{du}{dz}= \sum^n_0 A_iG_i(z),\quad\frac{f_2(u,v)}{F'_v(u,v)} \frac{du}{dz}= \sum^n_0 B_iG_i(z), \] \[ \frac{f_3(u,v)}{F'_v(u,v)} \frac{du}{dz}= \sum^n_0 C_iG_i(z) \] und hieraus: \[ \frac{f_2(u,v)}{f_1(u,v)}= \frac{\sum B_iG_i}{\sum A_iG_i}= \lambda,\quad\frac{f_3(u,v)}{f_1(u,v)}= \frac{\sum C_iG_i}{\sum A_iG_i}= \mu. \] Eliminirt man \(u\) und \(v\) aus diesen Gleichungen in Verbindung mit \(F(u, v)= 0\), so erhält man eine Gleichung zwischen \(\lambda\) und \(\mu\). Da \(\lambda\). und \(\mu\) aber Fuchs'sche Functionen sind, so besteht zwischen ihnen eine algebraische Gleichung. Man muss demnach die \(A, B, C\) so bestimmen können, dass diese beiden Gleichungen coincidiren. \(u\) und \(v\) lassen sich alsdann im Allgemeinen als rationale Functionen von \(\lambda\) und \(\mu\), also von Fuchs'schen Functionen ausdrücken. Der Fall \(p= 2\) erfordert eine besondere Behandlung, auf die wir hier nicht näher eingehen.