Odmiana albańska

W matematyce odmiana albańska , nazwana na Giacomo Albanese jest jakobiańskiej krzywej

Precyzyjne stwierdzenie

Odmiana albańska przez odmianę dany tożsamości istnieje morfizm od odmiany do jej odmiany albańskiej , tak że każdy morfizm z do odmiany abelowej (biorąc dany punkt do tożsamości) czynniki jednoznacznie przez . W przypadku rozmaitości złożonych André Blanchard ( { Displaystyle \ operatorname każdy morfizm do czynników torusa jest unikalny na tej mapie. (W tym przypadku jest to odmiana analityczna; nie musi być algebraiczna).

Nieruchomości

W przypadku zwartych rozmaitości Kählera wymiarem rozmaitości albańskiej jest liczba Hodge'a przestrzeni pierwszego rodzaju na , który dla powierzchni nazywa się nieregularnością powierzchni . Jeśli chodzi o formy różniczkowe , każda holomorficzna forma 1 na wycofaniem niezmiennej dla translacji formy 1 na albańskiej, pochodzącej z holomorficznej cotangensowej przestrzeni Alb w swoim elemencie tożsamości. jak w przypadku krzywej, wybierając punkt bazowy na (z którego „całkować”), albański

jest zdefiniowana, wzdłuż której formy 1 wycofują się. Ten morfizm jest wyjątkowy aż do tłumaczenia odmiany albańskiej. dodatniej charakterystyce wymiar odmiany albańskiej może być mniejszy niż liczby Hodge'a godz (które nie muszą być równe). Aby zobaczyć to pierwsze, należy zauważyć że odmiana albańska jest dualna w stosunku do odmiany Picard , której przestrzeń styczna w tożsamości jest dana przez To jest wynikiem Jun-ichi Igusa w bibliografii.

Twierdzenie Roitmana

Jeśli pole podstawowe k jest algebraicznie domknięte , można pokazać, że mapa albańska uwzględnia homomorfizm grupowy (zwany także mapą albańską ) )

od grupy Chow 0-wymiarowych cykli na V do grupy punktów wymiernych , która jest grupą abelową od jest odmianą abelową.

Twierdzenie Roitmana , wprowadzone przez AA Rojtmana ( 1980 ), stwierdza, że ​​dla l prim to char( k ), mapa Albanese indukuje izomorfizm w podgrupach l -torsji. Ograniczenie dotyczące pierwszeństwa rzędu skręcania względem charakterystyki pola podstawowego zostało wkrótce potem usunięte przez Milne'a: ​​podgrupa skrętna i podgrupa torsyjna punktów o wartości k albańskiej odmiany X pokrywają się.

Zastąpienie grupy Chow przez algebraiczną homologię osobliwą Suslina-Voevodsky'ego po wprowadzeniu kohomologii Motivic Twierdzenie Roitmana zostało otrzymane i przeformułowane w ramy motywiczne. Na przykład podobny wynik odnosi się do nieosobliwych odmian quasi-rzutowych. Dalsze wersje twierdzenia Roitmana są dostępne dla schematów normalnych. W rzeczywistości najbardziej ogólne sformułowania twierdzenia Roitmana (tj. homologiczne, kohomologiczne i Borela-Moore'a ) obejmują motywiczny kompleks albański i zostały udowodnione przez Luca Barbieri- Viale i Bruno Kahn (patrz odnośniki III.13).

Połączenie z odmianą Picarda

Odmiana albańska jest podwójna z odmianą Picarda ( połączony składnik zera schematu Picarda klasyfikującego odwracalne snopy na V ):

W przypadku krzywych algebraicznych twierdzenie Abela-Jacobiego implikuje, że odmiany Albanese i Picard są izomorficzne.

Zobacz też

Uwagi i odniesienia