Inmathematics, theAlbanese variety, named forGiacomo Albanese, is a generalization of theJacobian variety of a curve.
The Albanese variety of a smooth projective algebraic variety is an abelian variety together with a morphism such that any morphism from 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 from to a complex torus such that any morphism to a complex torus factors uniquely through this map. (The complex torus need not be algebraic in this case.)
ForcompactKähler manifolds the dimension of the Albanese variety is theHodge number, the dimension of the space ofdifferentials of the first kind on, which for surfaces is called theirregularity of a surface. In terms ofdifferential forms, any holomorphic 1-form on is apullback of translation-invariant 1-form on the Albanese variety, coming from the holomorphiccotangent space of at its identity element. Just as for the curve case, by choice of abase point on (from which to 'integrate'), anAlbanese morphism
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 numbers and (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 by That is a result ofJun-ichi Igusa in the bibliography.
If the ground fieldk isalgebraically closed, the Albanese map can be shown to factor over a group homomorphism (also called theAlbanese map)
from theChow group of 0-dimensional cycles onV to the group ofrational points of, which is an abelian group since 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 of 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 complex and have been proven by Luca Barbieri-Viale and Bruno Kahn (see the references III.13).
The Albanese variety isdual to thePicard variety (theconnected component of zero of thePicard scheme classifyinginvertible sheaves onV):
For algebraic curves, theAbel–Jacobi theorem implies that the Albanese and Picard varieties are isomorphic.