BICERCHE DI GEOMETBIA SULLE SUPERFICIE ALGEBRICHE 217 



Dunque : 



Se da un sistema (K) se ne deduce xm altro furo (C) come residuo di una curva 

 C che non abbia punti midtìpli in punti semplici della superficie (né ipermolteplicità nei 

 suoi punti multipli), la differenza fra la sovrabbondanza e l'indice di specialità di (C) 

 è uguale all'analoga differenza per (K) aumentata dalla differenza fra il difetto di com- 

 pletezza e l'indice di specialità della serie che le curve K segano sulla C. 



Di questo teorema è utile il corollario: 



La differenza fra la sovrabbondanza e l'indice di specialità d'un sistema (C) re- 

 siduo della curva C rispetto ad un sistema regolare non speciale (K) è uguale alla dif- 

 ferenza fra il difetto dì completezza e l'indice di specialità della serie segata dalle curve 

 K {di (K)) sulla C. 



Per il nostro scopo occorre ancora dimostrare il lemma: 



n sistema aggiunto ad un sistema puro (C) è regolare. 



Questo si verifica immediatamente. Infatti se tt, r, n, sono i caratteri del sistema 

 (C), e TT, R, N, Q quelli del suo aggiunto, si ha: 



n = u + ^(1) + 2(tt — 1) — w — 1 



R =^ + IT — 1 



N == « -f p<i) — 1 + 2j 2(tt — 1) — w( 

 e quindi : 



n — 1 — N + R = |), 

 ed 



Q = 0. cdd. 



Deduciamo che sopra una superficie F di Sg d'ordine «, senza curve eccezionali, 

 le superficie aggiunte d'ordine ^ n — 3 segano un sistema regolare; infatti abbiamo 

 già avuto occasione di osservare che le aggiunte d'ordine n — 3 -|- *' segano sulla F 

 il sistema aggiunto a quello rplo delle sezioni piane. 



Ora si consideri sulla F un sistema (C) segato da superficie aggiunte d'ordine 



> n — 4. Sappiamo che il sistema segato da tutte le superficie aggiunte d'ordine 



> w — 4 ha la dimensione che si può calcolare in base alle formule di postulazione 

 di Noether, le quali in base alla convenzione ^, = p (cap. Ili, § 3) ed al corollario 

 di Castelnuovo secondo il quale si ha l'espressione della differenza fra il numero 

 delle superficie aggiunte di un dato ordine e quello delle superficie aggiunte dell'ordine 

 consecutivo, debbono riguardarsi come valevoli anche per le superficie dotate di singo- 

 larità straordinarie. Se vogliamo calcolare secondo queste formule di postulazione la 

 dimensione che dovrebbe competere al sistema (C), dobbiamo far passare per una curva C 

 (di (C)) un'aggiunta d'ordine n — 3 -)- ? (Z > 0), i|)„_3+j, la quale seghi ulteriormente 

 la F in una curva C (che possiamo supporre non avente punti multipli in punti sem- 

 plici della superficie) e vedere quante condizioni la C, unita al gruppo base, imponga 

 ad una \\)n-3+i che debba contenerla. Possiamo dire che il numero così calcolato (che, 

 per così dire dovrebbe esprimere la dimensione del sistema (C)) è la dimensione vir- 

 tuale del sistema (C); ma può sorgere il dubbio che questo numero vari con l, o 

 muti rifacendo la costruzione per una superficie trasformata. 



Serie IL Tom. XLIV. c' 



to 



