SOPRA LE CURVE DI DA.TO ORDINE, ECC. 



3(55 



Sistemi lineari di quadriche di dimensione (V) — 3. 

 Loro varietà basi. — Superfìcie di ordine r-j-1. 



19. — Lo stesso teorema del n° 9 ci da ancora, per i = 3 : 

 Se nello spazio S r (r > 5) si ha un gruppo di 2r -4- 3 -f- x (x > 4) punti indipen- 

 denti e tali che le quadriche passanti per 2r -4- 3 qualunque fra essi passino sempre 

 di conseguenza pei rimanenti, questi punti staranno tutti su di una W z ~ 2 = co 1 razio- 

 nale normale di piani (che sarà anche segata in una rigata R r ~ 3 daU'S r _ 2 di r — 1 

 fra quei punti). 



Si può mostrare anche qui che le quadriche passanti per quei primi 2r -(- 3 

 punti dovranno averne comuni di conseguenza non solo x, ma infiniti altri. — Sup- 

 poniamo infatti che il loro sistema lineare abbia soltanto un numero finito 2r -j- 3 -f- x 

 di punti basi. Per questi punti passano certo ( r ^ 2 ) — 2r — 3 ossia (0 — 2 quadriche 

 indipendenti, mentre per la varietà Mj~* non ne passano che Ci"*); vi sarà dunque 

 un sistema lineare (almeno) co 2r_6 (e quindi, se r > 5, di dimensione certo > 0) di 

 quadriche passanti per i punti proposti e non per la varietà M^ -2 . Fra queste pren- 

 diamone, possibilmente, una che seghi la M^ 2 stessa in una superficie irriduttibile ; 

 superficie che risulterà di ordine 2r — 4 e colle sezioni iperellittiche di genere r — 3, 

 e passerà per quei certi punti. Si seghi ancora questa superficie con una quadrica 

 che non la contenga, ma passi per questi stessi punti; si avrà così una curva di 

 ordine 4r — 8, per la quale passeranno ( r 7 2 ) -4- 2 quadriche indipendenti. Su questa 

 le quadriche di S r segheranno una glr-ìe', e obbligando queste stesse quadriche a 

 passare per quei primi 2r -4- 3 punti , rimarrà una gf r Z% che dovrà avere x punti 

 fissi. Se noi dimostreremo che questa serie (supposta almeno la C 4r_8 irriduttibile) 

 non può avere più di tre punti fìssi, potremo dunque concluderne che, nel nostro 

 caso, la superfìcie o la curva di cui sopra saranno necessariamente riduttibili, e che 

 perciò le quadriche passanti per i punti proposti avranno certo infiniti punti a 

 comune (1). Supposto pertanto che la g%z\$ possa avere anche tre punti fissi, basterà 

 mostrare che la g^-li ottenuta astraendo da questi ultimi non può averne più alcuno. 

 E questo appunto che ora faremo. 



La superficie considerata di ordine 2r — 4 si può infatti rappresentare sul piano 

 col sistema delle curve di un certo ordine r — 1 -j- u (u < r — 3) aventi a comune 

 un punto (/• — 3 -f- (a) pl ° — che chiameremo P — e poi ancora |n punti doppi infi- 



ci) Infatti, se la superficie F 2r i fosse necessariamente riduttibile , la cosa sarebbe quasi evi- 

 dente, perchè in ogni iperpiano — e precisamente sulla sezione determinata da questo nella M 3 

 — vi sarebbe qualche punto comune a tutte quelle quadriche. Che se poi la superficie potesse 

 prendersi irriduttibile, ma non così la curva sua sezione con una quadrica, le sezioni così ottenute 

 (non potendo, come si vede facilmente, spezzarsi in curve di un fascio) avrebbero certo tutta una 

 parte a comune (parte che passerebbe per alcuni almeno fra i punti proposti). 



