Double binary forms with the closure property. (Q1449000)

Eine doppelt-binäre Form \[ F_{k, \varkappa} = \alpha_t^k a_\tau^\varkappa \] ordnet, gleich Null gesetzt, jedem Punkte \(t = t_1 : t_2\) \(\varkappa\) Punkte des binären Gebietes (\(\tau\)) und jedem Punkte \(\tau = \tau_1 : \tau_2\) \ \(k\) Punkte des binären Gebietes (\(t\)) zu. Gibt es in (\(t\)) \ \(n\) Punkte \(t^{(1)}, t^{(2)},\ldots, t^{(n)}\) und in (\(\tau\)) \ \(\nu\) Punkte \(\tau^{(1)}, \tau^{(2)},\ldots, \tau^{(\nu )}\) derart, daß erstens \(n\varkappa = \nu k\) und daß zweitens jedem Punkte \(t^{(i)}\) vermöge \(F_{k,\varkappa}=0\) \(\varkappa\) Punkte \(\tau^{(j)}\) und umgekehrt jedem Punkte \(\tau^{(j)}\) auch \(k\) Punkte \(t^{(i)}\) zugeordnet sind, so sagt Verf., die Form \(F_{k,\varkappa}\) ``gestatte'' die Konfiguration \(\Delta_{n,\nu}^{k,\varkappa}\). Gestattet \(F_{k,\varkappa}\) \(\infty^1\) solche Konfigurationen, so heißt \(F_{k,\varkappa}\) ``poristisch''. So ist z. B. durch die Ponceletschen Polygone mit \(n\) Seiten, die einem Kegelschnitte \(K\) umgeschrieben, einem zweiten \(C\) eingeschrieben sind, eine poristische Form \(F_{2, 2} = \alpha_t^2a_\tau^2\) festgelegt mit \(\infty^1\) Konfigurationen \(\Delta_{n,n}^{2,2}\). Dabei ist \(t\) ein binärer Parameter auf \(C\), \(\tau\) ein solcher auf \(K\). Eine poristische Form \[ F_{3,3} = \alpha_t^3a_\tau^3 \] mit einer zugehörigen Konfiguration \(\Delta_{7,7}^{3,3}\) wurde von \textit{H. S. White} angegeben [Proc. Natl. Acad. Sci. USA 1, 464--466 (1915; JFM 45.0793.02); 2, 337--338 (1916; JFM 46.1013.05)]. Hier laufen \(t\) bzw. \(\tau\) auf zwei Raumkurven dritter Ordnung \(C\) bzw. \(K\). \(\Delta_{7,7}^{3,3}\) besteht aus \(7\) Punkten \(t^{(i)}\) auf \(C\) und \(7\) Schmiegungsebenen \(\tau^{(j)}\) auf \(K\); durch je einen Punkt \(t^{(i)}\) gehen drei Schmiegungsebenen, und in jeder Schmiegungsebene \(\tau^{(j)}\) liegen drei der Punkte \(t^{(i)}\). Verf. hat in einer früheren Arbeit [Am. J. Math. 43, 1--19 (1921; JFM 48.0101.01)] einige allgemeine Sätze über die \(\Delta_{n,\nu}^{k,\varkappa}\) und die dazugehörigen poristischen Formen \(F_{k,\varkappa}\) angegeben. Hier werden zwölf neue Typen poristischer Formen konstruiert. Es wird gezeigt, daß die ``Doppelsechs'' \(\Delta_{6,6}^{3,3}\) von \textit{Luise D. Cummings} [Bull. Am. Math. Soc. 31, 266--274 (1925; JFM 51.0492.02); Proc. Congr. Toronto 1, 725--727 (1928; JFM 54.0698.04)] zu einer poristischen Form \(F_{3, 3}\) gehört, die in das Produkt \(F_{1,1}\cdot F_{2,2}\) zerfällt. Dieses Zerfallen tritt insbesondere bei den poristischen Formen \(F_{r,r}\) für \(r > 2\) auf, deren zugehörige Konfigurationen \(\Delta_{n,n}^{r,r}\) durch die verallgemeinerten \textit{Poncelet}schen Polygone dargestellt sind. Hierbei laufen \(t\) und \(\tau\) längs zwei Normkurven \(C^r\) bzw. \(K^r\) des \(r\)-dimensionalen Raumes. Im besonderen werden poristische Formen \(F_{3, 3}\) untersucht, denen Konfigurationen \(\Delta_{n,n}^{3,3}\) zugeordnet sind. Es wird bewiesen, daß für \(n < 10\) nur drei nicht zerfallende \(F_{3,3}\) existieren. Ihnen entsprechen die ``Doppel-Vier'' \(\Delta_{4,4}^{3,3}\) von \textit{Meyer}, die \(\Delta_{7,7}^{3,3}\) von \textit{White} und eine neue ``Doppel-Acht'' \(\Delta_{8,8}^{3,3}\), die ausführlich untersucht wird.