O suprafață hipereliptică sau bieliptică este o suprafață al cărei morfism albanez este un fascicul eliptic . Orice astfel de suprafață poate fi scrisă ca coeficientul produsului a două curbe eliptice în raport cu un grup abelian finit . Suprafețele hipereliptice formează una dintre clasele cu dimensiunea Kodaira 0 în clasificarea Enriques-Kodaira .
Dimensiunea Kodaira este 0.
Rhombus Hodge:
unu | ||||
unu | unu | |||
0 | 2 | 0 | ||
unu | unu | |||
unu |
Orice suprafață hipereliptică este un factor , unde , F sunt curbe eliptice, iar G este un subgrup al grupului F ( acționând asupra F prin transferuri). Există șapte familii de suprafețe hipereliptice.
Comanda K | G | Acțiunea lui G asupra E | |
---|---|---|---|
2 | Orice | ||
2 | Orice | ||
3 | |||
3 | |||
patru | |||
patru | |||
6 |
Aici este rădăcina cubă primitivă a lui 1 și i este a patra rădăcină primitivă a lui 1.
Un spațiu cvasi-hipereliptic este o suprafață al cărei divizor canonic este echivalent numeric cu zero, a cărui hartă albaneză se mapează la o curbă eliptică, iar toate fibrele sale sunt curbe cusped raționale . Ele există doar în caracteristicile 2 sau 3. Al doilea număr Betti este 2, al doilea număr Chern este zero, la fel ca și caracteristica holomorfă Euler . Clasificarea a fost realizată de Bombieri și Mumford [1] , care au găsit șase cazuri în caracteristica 3 (în acest caz 6 K = 0) și opt cazuri în caracteristica 2 (în acest caz 6 K este egal cu zero sau 4 K ). Orice suprafață cvasi-eliptică este un factor , unde E este o curbă rațională cu o cuspidă, F este o curbă eliptică și G este o subschemă de grup finit a grupului F (acționând asupra F prin transferuri).