On space curves of fourth degree and first kind and the affiliated elliptic functions. (Q1535307)

Während von verschiedenen Seiten, wie von Westphal (Math. Ann. XIII) und Harnack (Math. Ann. XV), die Parameterdarstellung dieser Curven geleistet worden ist, wir hier das umgekehrte Problem behandelt: die elliptischen Functionen von längs der Curve hin erstreckten Integralen durch die Coordinaten der als Integralgrenzen auftretenden Punkte in eindeutiger Form auszudrücken. Die dabei zur Verwendung kommenden Methoden sind dieselben, wie sie der Verfasser in seinen Untersuchungen im ternären Gebiet bereits angewandt hat (Wien. Ber. 1886 und 1888; Math. Ann. XXVIII), wobei es jedoch nötig wurde, die Invariantentheorie zweier quaternären quadratischen Formen des näheren zu studiren, um die erforderlichen Hülfsmittel zu erlangen. Es werden nun zuerst einige Sätze über simultane Invarianten und Covarianten zweier quaternären Formen \(f = a_x^2\), \(f' = a_x'^2\) entwickelt, um die Darstellung sämtlicher irreducibler Invarianten und Covarianten der beiden Formen aus 10 Hauptformen zu ermöglichen, die sich bereits bei Westphal angegeben finden. Dann werden die Invarianten und Covarianten mit Combinanteneigenschaft untersucht, und es wird aus dem Aronhold'schen Process eine einfache Regel zur Bildung von Combinanten abgeleitet. Endlich wird eine Operation \[ \vartheta = \varSigma \varphi_{i\kappa}\;\frac{\partial}{\partial a_{i \kappa}} + \varSigma \varphi_{i \kappa}'\;\frac{\partial}{\partial a_{i \kappa}'}\,, \] worin \(a_{i \kappa}\) und \(a_{i \kappa}'\) die wirklichen Coefficienten von \(f\) und \(f'\) und \(\varphi_{i\kappa}, \varphi_{i\kappa}'\) dieselben von gewissen aus den Hauptformen abgeleiteten Formen \(\varphi\) und \(\varphi'\) bedeuten, in ihrer Wirkung auf jene 10 Hauptformen studirt. Die Aufstellung der einzigen zwischen den Invarianten und Covarianten der Formen \(f\) und \(f'\) bestehenden Relation, die aus gewissen kanonischen Gestalten der Grundformen aufgestellt wird, sowie der Hinweis auf die Analogie des erhaltenen Formensystems mit dem einer ebenen Curve dritter Ordnung beschliessen die Voruntersuchungen. Die nun folgende Darstellung der elliptischen Transcendenten als Covarianten der Raumcurve liefert für \(\wp(u)\) den Ausdruck: \[ \wp(u; g_2, g_3) = \frac{P(h, k, x, y)}{(hkxy)^2}, \] wo \[ \begin{aligned} 12 & P(h, k, x, y) = [hk, xy]^2 + [hx, ky]^2 + [kx, hy]^2 - [h^2, xy][k^2,xy]\\ & - [hx, hy] [kx, ky] + 2\{ [h^2, kx] - [hk, hx] \} . [ky, xy]\\ & + 2\{ [k^2, hx] - [hk, kx]\} . [hy, xy] + 2\{ [h^2, ky] - [hk, hy]\}. [kx, xy]\\ & + 2\{ [k^2, hy] - [hk, ky]\} . [hx, xy] + 10 [hx, kx] \; [hy, ky] \end{aligned} \] und allgemein: \[ [pq, rs] = \left| \begin{matrix} a_p & a_q,\\ a_p' & a_q'\end{matrix}\quad \begin{matrix} a_r a_s\\ a_r a_s'\end{matrix} \right| \] ist. Ferner folgt für die \(\sigma\)-Function: \[ \sigma^2 \left( \int_y^x dw_{\xi} \right) = \frac{(hkxy)^2}{[hx, kx] [hy, ky]} \cdot e^{\int_y^x \int_y^x dw_\xi dw_{\xi'} \left( \frac{Q(h, k, \xi, \xi')}{(hk\xi \xi')^2} \right)}, \] wobei: \[ dw_\xi = \frac{(hk \xi d \xi}{a_\xi a_\xi' (a_h a_k' - a_k a_h')}\,, \quad Q (h, k, \xi, \xi') = [h\xi, k \xi ] [h \xi', k \xi'] - P \] ist. Schliesslich wird noch die Function \(\wp\) für ein viergliedriges Argument berechnet und der interessante Specialfall \[ u = 4 \int_o^x dw_\xi \] untersucht, in welchem \(o\) einen der 16 Wendeberührungspunkte bedeutet. Die Abhandlung ist nicht nur für die moderne Theorie der elliptischen Functionen von Interesse, sondern es enthalten namentlich die vorbereitenden Betrachtungen einen schätzenswerten Beitrag zur Aufstellung des vollständigen Systems zweier quaternären quadratischen Formen. Dieses vollständige Formensystem ist inzwischen in einer dem k. bayerischen Unterrichtsministerium im Frühjahr 1890 eingereichten Specialprüfungsarbeit von Herrn J. Kleiber in sehr eleganter Weise aufgestellt worden.