224 



FEDERIGO ENRIQUES 



Dunque si può enunciare il teorema: 



Se il sistema (C) possiede una curva fondamentale K di genere TT {priva di com- 

 ponenti multiple), ed avente come residuo il sistema (C), fra i caratteri 9, 9', dei sistemi 

 (C), (C) sussiste la relazione 



6 — 9' — TT 



(ossia uj — i — (u/ — i') = TT). 



3. Sistemi regolari. — Suppongasi in questo § che se il sistema canonico è irre- 

 duttibile con p > 2 , la sua serie caratteristica sia completa; i resultati più restrittivi 

 a cui si perviene prescindendo da questa ipotesi si stabiliranno facilmente in modo 

 analogo riferendosi al cap. IV, § 5. 



La relazione stabilita nel precedente § stabilisce un interessante legame fra la 

 sovrabbondanza d'un sistema ed i generi delle sue curve fondamentali quando p. es. 

 il sistema residuo delle curve fondamentali sia non speciale, e perciò basta che la 

 sua dimensione sia > p — 1, o il suo grado > p w — 1. Noi vogliamo trarre da 

 quella relazione alcuni utili corollari. 



Se un sistema (C) di dimensione > p ha una curva fondamentale K di genere TT, 

 il residuo (C) ha la dimensione > p — le quindi è non speciale; allora i carat- 

 teri 9, 9', di (C), (C) sono le loro sovrabbondanze uu, uu' (sempre positive); in questo 

 caso la relazione precedente ci dà: 



uu > TT. 



Di qui il corollario : 



Un sistema regolare di dimensione > p non ha curve fondamentali di genere > 0. 



Per trarre la deduzione enunciata bastava conoscere in qualsiasi modo la non 

 specialità di (C), e quindi sapere per es. che il suo grado è > p [1) — 1 ; per ciò 

 basta che il grado di (C) superi p ni — 1 aumentato del grado di K. 



Di qui il teorema: 



Se un sistema regolare (C) ha una curva fondamentale K, tale che il grado di (G) 

 supera il grado di K aumentato di p (1) — 1, la curva fondamentale K è di genere 0. 



Se un sistema regolare ha una curva fondamentale di genere TT, il residuo (C) 

 ha il carattere 



9' = 9 — TT, 



ma 



9 = uu — i, uj = 0, 

 e quindi 9 < 0, sicché 9' < — TT; ora 



9' = uu' — i' (tu' > 0), 



quindi 



i' — uj' > TT, i' > TT. 



Dunque : 



Se un sistema regolare ha una curva fondamentale di genere TT, il residuo è spe- 

 ciale con un indice di specialità maggiore del precedente almeno di TT. 



