Sui complessi di rette del primo ordine dello spazio a quattro dimensioni. (Q1490216)

Der Zweck dieser Arbeit ist die Durchführung einer ersten summarischen Forschung über die Geradenkomplexe erster Ordnung des vierdimensionalen Raumes, d. h. der algebraischen Systeme \(\infty^1\) von Strahlen, die einen solchen Raum einfach derart anfüllen, daß durch jeden beliebigen Punkt desselben ein einziger Strahl des Systems geht. Die Komplexe werden deshalb in verschiedene Typen geteilt, je nach der Art, wie sie von der Brennfläche ausgehen; auch die Annahme wird betrachtet, nach welcher sich von der Mannigfaltigkeit der Brennpunkte eine Kurve abtrennt. Über den Gegenstand ist eine Untersuchung von \textit{Ascione} vorhanden (F. d. M. 28, 593, 1897, JFM 28.0593.02, JFM 28.0593.03) unter einer einfacheren Annahme, nämlich wenn die Brennfläche des Komplexes irreduzibel ist, wobei die dreifachen Sekanten die Geradendes Komplexes sind. Diese Untersuchung ist dann in einer Arbeit von \textit{Severi} vervollständigt worden (F. d. M. 32, 648, 1901, JFM 32.0648.04); in ihr findet man neben anderen bemerkenswerten Resultaten einen Komplex, der \textit{Ascione} entgangen war. Diesem ersten Komplextypus ist das erste Kapitel der vorliegenden Abhandlung gewidmet; doch wird in ihm der Gegenstand kurz erledigt, .da es sich um bekannte Dinge handelt, die hier nur eingereiht sind, damit die ganze Arbeit eine gewisse Ebenmäßigkeit erhalte. Was die anderen Typen anlangt, so ist die Zahl der projektiv verschiedenen, die jeder Typus umfaßt, so groß, daß unsere Studie sich nunmehr auf einige allgemeine Tatsachen und auf die Vertiefung jener nicht sehr beschränkten Fälle zurückziehen muß, welche aus irgendwelchem Grunde als zu beachtende sich darbieten. Im zweiten Kapitel wird von den Komplexen gehandelt, die von den Sehnen einer irreduziblen Oberfläche \(\varphi\) erzeugt werden, welche einer anderen irreduziblen Oberfläche \(\varphi_1\) inzident sind. Zuerst wird der Fall betrachtet, bei welchem \(\varphi_1\) eine Ebene ist, und es werden die projektiv verschiedenen Typen von Komplexen angegeben, welche der Annahme entsprechen, daß \(\varphi\) von den durch \(\varphi_1\) gehenden Räumen in kubischen Raumkurven geschnitten wird und außerdem keinen oder einen einzigen uneigentlichen Doppelpunkt in dieser Ebene hat. Hiernach werden die projektiv verschiedenen Typen von Komplexen angegeben, welche der Annahme entsprechen, daß \(\varphi\) von den durch \(\varphi_1\) gehenden Räumen in zwei windschiefen Geraden geschnitten wird und außerdem keinen, einen oder zwei vielfache Punkte in \(\varphi_1\) hat. Hierauf wird bewiesen, daß, wenn \(\varphi_1\) nicht eine Ebene ist, dann \(\varphi\) eine kubische Regelfläche ist, und es werden die projektiv verschiedenen Typen durchforscht, die gewissen vorgeschriebenen Bedingungen genügen. Im dritten Kapitel werden Komplexe behandelt, welche von den in drei irreduziblen Flächen \(\varphi,\varphi_1,\varphi_2\) inzidenten Geraden erzeugt werden.Zuerst wird die Annahme betrachtet, daß \(\varphi_1\) und \(\varphi_2\) Ebenen sind, und es werden die Komplexe durchforscht, welche der Annahme entsprechen, daß \(\varphi\) rationale oder elliptische räumliche Durchschnitte besitzt. Danach wird angenommen, daß nur die Oberfläche \(\varphi_2\) eine Ebene ist. Dann ist beispielsweise \(\varphi_1\) eine Regelfläche, die von den Räumen durch \(\varphi_2\) in einer einzigen Erzeugenden geschnitten wird. Untersucht werden die Annahmen \(c_1=m-1, c_1=m-2, c_1=m-3\), wo \(c_1\) die Ordnung der Kurve \(\varphi\varphi_2\) ist und \(m\) die Ordnung von \(\varphi\). Schließlich wird bewiesen, daß es keine Komplexe von der Ordnung 1 gibt, welche als Brennfläche drei irreduzible Oberflächen haben, von denen keine eine Ebene ist. Im vierten Kapitel werden Komplexe behandelt, die von den in einer irreduziblen Kurve \(f\) und einer irreduziblen Oberfläche \(\varphi\) inzidenten Geraden erzeugt werden. Es wird bewiesen, daß, wenn \(f\) zu \(\varphi\) gehört, sie eine Gerade oder ein Kegelschnitt ist; in diesem Falle ist \(\varphi\) eine Regelfläche, die \(f\) zur Leitlinie hat, von der Art, daß jeder durch die letztere gehende Raum sie außerdem in einer einzigen Erzeugenden schneidet. -- Wenn dann \(f\) nicht zu \(\varphi\) gehört oder letztere eine Ebene ist, so ist \(f\) entweder eine Gerade oder eine (ebene) Kurve von der Ordnung \(\mu\) mit einem \((\mu-1)\)-fachen Punkte. Bei dieser letzten Annahme ist \(\varphi\) ein Kegel von der Ordnung \(m\) mit dem Scheitel in dem singulären Punkte von \(f\) und hat \(m-1\) Erzeugende in der Ebene von \(f\). -- Nach dieser ersten Arbeit muß auf den Gegenstand zurückgekommen werden zur Prüfung und Unterscheidung aller projektiv verschiedenen Komplexe von Fall zu Fall.