Di una rete di monoidi. (Q1459380)

Nach Cayley nennt man ``Monoid'' eine Fläche \(C\) \(n\)-ter Ordnung, die einen (\(n-1\))-fachen Punkt \(O\) besitzt; durch Projektion aus \(O\) wird die Fläche eindeutig auf eine Ebene \(\omega\) abgebildet, in der Weise, daß den ebenen Schnitten von \(C\) Kurven \(n\)-ter Ordnung entsprechen, welche durch \(n(n-1)\) feste Punkte \(A_i\) gehen. Zwei Monoide \(C_1\), \(C_2\) mit demselben vielfachen Punkt \(O\) schneiden sich in einer Raumkurve \(g\) der Ordnung \(n\), welche in \(O\) die Vielfachheit (\(n-1\)) hat und aus \(O\) auf \(\omega\) in eine Kurve \(g'\) der Ordnung \(2n-1\) projiziert ist. Jede Fläche \(n\)-ter Ordnung, welche \(g\) enthält, ist ein Monoid des Büschels \(C_1C_2\). Wenn aber \(g'\) eine durch \(A_i\) gehende Gerade enthalt, so ist die Restkurve \(c'\) das Bild einer Raumkurve \(c\); die Monoide, welche \(c\) enthalten, bilden ein Netz. Auf einem dieser Monoide entspricht der Geraden \(A_1^\prime A_2^\prime\) eine ebene Kurve \(gd\) der Ordnung \(n-2\). Ort aller \(d\)-Kurven des Netzes ist eine Fläche der Ordnung \((n-2)(n^2+n-1)\), worauf \(O\) und \(c\) die Vielfachheiten \(n^3-2n^2-2n+3\) und \(n^2-n-2\) haben.