Intorno alla teoria delle serie di equivalenza sulle curve riducibili. (Q2597572)

Ist \(C= C_1+ \cdots + C_t\) eine reduzible algebraische Kurve des \(S_d\), so kann jede Äquivalenzschar \(g_n^r\) auf \(C\) durch lineare Formensysteme \(\varSigma\) des \(S_d\) ausgeschnitten werden, die die gleiche Dimension \(r\) haben und durch jede allgemeine Gruppe der Schar nur eine Form hindurchschicken; \(\varSigma\) heißt zur \(g_n^r\) assoziiert. Da die birationale Korrespondenz zwischen den Elementen der \(g_n^r\) und denen von \(\varSigma\), außer im Falle einer Linearschar, keine Projektivität sein kann, besitzt sie notwendig Fundamentalelemente. Es ist bei der Einführung der assoziierten Systeme \(\varSigma\) nicht möglich, zu erreichen, daß gleichzeitig mit \(g_n^r\) auch alle ihre Teilscharen durch Linearsysteme aus \(\varSigma\) ausgeschnitten werden. Man wird daher zur Einführung sogenannter adjungierter linearer Formensysteme gezwungen, die die Eigenschaft haben, daß auf \(C\) die Schar \(g_n^r\) und alle in ihr enthaltenen Teilscharen durch \(\varSigma\) und in \(\varSigma\) enthaltene Linearsysteme ausgeschnitten werden; ihre Dimension ist also \(> r\). Ist \(g_n^r\) insbesondere die kleinste Summe der Linearscharen \(g_{n_1}^{r_1}, \ldots \!, g_{n_t}^{r_t}\) auf \(C_1, \ldots \!, C_t\) so hat das adjungierte System kleinster Dimension die Dimension \(r_1+\cdots + r_t+t-1\) und enthält keine Formen, die durch \(C\) laufen. Daher braucht eine unirationale involutorische Schar von Punktgruppen auf einer reduziblen Kurve nicht Äquivalenzschar zu sein; immer sind die Gruppen einer solchen Schar Summen homologer Gruppen von Linearscharen auf \(C_1, \ldots \!, C_t\), die durch eine plurilineare Korrespondenz aufeinander bezogen sind; damit aber eine Äquivalenzschar entsteht, muß diese Korrespondenz weitere einschränkende Eigenschaften haben.