Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Albanese variety

From Wikipedia, the free encyclopedia
Generalisation of Jacobian variety

Inmathematics, theAlbanese varietyA(V){\displaystyle A(V)}, named forGiacomo Albanese, is a generalization of theJacobian variety of a curve.

Precise statement

[edit]

The Albanese variety of a smooth projective algebraic varietyV{\displaystyle V} is an abelian varietyAlb(V){\displaystyle \operatorname {Alb} (V)} together with a morphismVAlb(V){\displaystyle V\to \operatorname {Alb} (V)} such that any morphism fromV{\displaystyle V} to an abelian variety factors uniquely through this morphism. For complex manifolds, André Blanchard (1956) defined the Albanese variety in a similar way, as a morphism fromV{\displaystyle V} to a complex torusAlb(V){\displaystyle \operatorname {Alb} (V)} such that any morphism to a complex torus factors uniquely through this map. (The complex torusAlb(V){\displaystyle \operatorname {Alb} (V)} need not be algebraic in this case.)

Properties

[edit]

ForcompactKähler manifolds the dimension of the Albanese variety is theHodge numberh1,0{\displaystyle h^{1,0}}, the dimension of the space ofdifferentials of the first kind onV{\displaystyle V}, which for surfaces is called theirregularity of a surface. In terms ofdifferential forms, any holomorphic 1-form onV{\displaystyle V} is apullback of translation-invariant 1-form on the Albanese variety, coming from the holomorphiccotangent space ofAlb(V){\displaystyle \operatorname {Alb} (V)} at its identity element. Just as for the curve case, by choice of abase point onV{\displaystyle V} (from which to 'integrate'), anAlbanese morphism

VAlb(V){\displaystyle V\to \operatorname {Alb} (V)}

is defined, along which the 1-forms pull back. This morphism is unique up to a translation on the Albanese variety. For varieties over fields of positive characteristic, the dimension of the Albanese variety may be less than the Hodge numbersh1,0{\displaystyle h^{1,0}} andh0,1{\displaystyle h^{0,1}} (which need not be equal). To see the former note that the Albanese variety is dual to thePicard variety, whose tangent space at the identity is given byH1(X,OX).{\displaystyle H^{1}(X,O_{X}).} ThatdimAlb(X)h1,0{\displaystyle \dim \operatorname {Alb} (X)\leq h^{1,0}} is a result ofJun-ichi Igusa in the bibliography.

Roitman's theorem

[edit]

If the ground fieldk isalgebraically closed, the Albanese mapVAlb(V){\displaystyle V\to \operatorname {Alb} (V)} can be shown to factor over a group homomorphism (also called theAlbanese map)

CH0(V)Alb(V)(k){\displaystyle CH_{0}(V)\to \operatorname {Alb} (V)(k)}

from theChow group of 0-dimensional cycles onV to the group ofrational points ofAlb(V){\displaystyle \operatorname {Alb} (V)}, which is an abelian group sinceAlb(V){\displaystyle \operatorname {Alb} (V)} is an abelian variety.

Roitman's theorem, introduced by A.A. Rojtman (1980), asserts that, forl prime to char(k), the Albanese map induces an isomorphism on thel-torsion subgroups.[1][2]The constraint on the primality of the order of torsion to the characteristic of the base field has been removed by Milne[3] shortly thereafter: the torsion subgroup ofCH0(X){\displaystyle \operatorname {CH} _{0}(X)} and the torsion subgroup ofk-valued points of the Albanese variety ofX coincide.

Replacing the Chow group by Suslin–Voevodsky algebraic singular homology after the introduction ofMotivic cohomologyRoitman's theorem has been obtained and reformulated in the motivic framework. For example, a similar result holds for non-singular quasi-projective varieties.[4] Further versions ofRoitman's theorem are available for normal schemes.[5] Actually, the most general formulations ofRoitman's theorem (i.e. homological, cohomological, andBorel–Moore) involve the motivic Albanese complexLAlb(V){\displaystyle \operatorname {LAlb} (V)} and have been proven by Luca Barbieri-Viale and Bruno Kahn (see the references III.13).

Connection to Picard variety

[edit]

The Albanese variety isdual to thePicard variety (theconnected component of zero of thePicard scheme classifyinginvertible sheaves onV):

AlbV=(Pic0V).{\displaystyle \operatorname {Alb} V=(\operatorname {Pic} _{0}V)^{\vee }.}

For algebraic curves, theAbel–Jacobi theorem implies that the Albanese and Picard varieties are isomorphic.

See also

[edit]

Notes & references

[edit]
  1. ^Rojtman, A. A. (1980). "The torsion of the group of 0-cycles modulo rational equivalence".Annals of Mathematics. Second Series.111 (3):553–569.doi:10.2307/1971109.ISSN 0003-486X.JSTOR 1971109.MR 0577137.
  2. ^Bloch, Spencer (1979)."Torsion algebraic cycles and a theorem of Roitman".Compositio Mathematica.39 (1).MR 0539002.
  3. ^Milne, J. S. (1982)."Zero cycles on algebraic varieties in nonzero characteristic : Rojtman's theorem".Compositio Mathematica.47 (3):271–287.
  4. ^Spieß, Michael; Szamuely, Tamás (2003). "On the Albanese map for smooth quasi-projective varieties".Mathematische Annalen.325:1–17.arXiv:math/0009017.doi:10.1007/s00208-002-0359-8.S2CID 14014858.
  5. ^Geisser, Thomas (2015). "Rojtman's theorem for normal schemes".Mathematical Research Letters.22 (4):1129–1144.arXiv:1402.1831.doi:10.4310/MRL.2015.v22.n4.a8.S2CID 59423465.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Albanese_variety&oldid=1277935659"
Category:
Hidden categories:

[8]ページ先頭

©2009-2026 Movatter.jp