uniwersalna właściwość odmiany albańskiej
Gdzie mogę znaleźć dowód na uniwersalną właściwość odmiany albańskiej?
( Uniwersalna właściwość odmiany albańskiej ): Dla każdej (gładkiej odmiany rzutowej)$X$ nad polem $k$istnieje odmiana abelowa $Alb(X)$ i morfizm $\alpha: X → Alb(X)$ o następującej uniwersalnej właściwości: dla każdej odmiany abelowej $T$ i jakikolwiek morfizm $f : X → T$istnieje wyjątkowy morfizm (do tłumaczenia) $ \tilde{f}: A → T$ takie że $\tilde{f} \circ α = f$.
Odpowiedzi
Taka jest definicja odmiany albańskiej. Prawdopodobnie masz na myśli coś takiego, jak dlaczego podwójny z$\mathrm{Pic}^0$czy odmiana albańska jest w dobrych sytuacjach? Zawsze podobał mi się dodatek do tego artykułu Mochizukiego. W szczególności spójrz na Propozycję A.6.
Dowód można znaleźć w: A. Beauvile Complex Algebraic Surface , Twierdzenie V.13, strona 61.