Doua teoreme de rigiditate si aplicatii
Posted: Wed Mar 12, 2008 12:54 am
1. Fie X varietate completa si Y, Z varietati. Probabil ca vrem totul ireductibil (Z nu conteaza de fapt).
Presupunem ca aplicatia algebrica \( f:X\times Y\to Z \) contracta o fibra de forma \( X\times\{y\} \). Atunci f le contracta pe toate, adica f factorizeaza prin proiectia \( \pi:X\times Y\to Y \).
2. Rezulta din prima, dar poate e mai usoara. Daca f contracta o X-fibra si o Y-fibra (se vede usor ca in acelasi punct din Z), atunci f e constanta.
Le-am luat din surse diferite, iar pentru a doua apar ipotezele X si Y ireductibile si Z separata. Pentru mine separarea apare in definitia varietatii, asa ca trebuie presupusa si pentru prima teorema. Observati ca nu cer ca si Y sa fie completa nici in a doua teorema.
Aplicatii:
O varietate algebrica care este grup algebric complet se numeste varietate abeliana.
a) Aratati ca o varietate abeliana este grup abelian.
b) Orice morfism de varietati abeliene (adica morfism intre varietatile algebrice respective, nici o presupunere despre structura de grup) este pana la o translatie un morfism de grupuri algebrice (adica si morfism de grupuri).
Presupunem ca aplicatia algebrica \( f:X\times Y\to Z \) contracta o fibra de forma \( X\times\{y\} \). Atunci f le contracta pe toate, adica f factorizeaza prin proiectia \( \pi:X\times Y\to Y \).
2. Rezulta din prima, dar poate e mai usoara. Daca f contracta o X-fibra si o Y-fibra (se vede usor ca in acelasi punct din Z), atunci f e constanta.
Le-am luat din surse diferite, iar pentru a doua apar ipotezele X si Y ireductibile si Z separata. Pentru mine separarea apare in definitia varietatii, asa ca trebuie presupusa si pentru prima teorema. Observati ca nu cer ca si Y sa fie completa nici in a doua teorema.
Aplicatii:
O varietate algebrica care este grup algebric complet se numeste varietate abeliana.
a) Aratati ca o varietate abeliana este grup abelian.
b) Orice morfism de varietati abeliene (adica morfism intre varietatile algebrice respective, nici o presupunere despre structura de grup) este pana la o translatie un morfism de grupuri algebrice (adica si morfism de grupuri).