- Source: Albanese variety
In mathematics, the Albanese variety
A
(
V
)
{\displaystyle A(V)}
, named for Giacomo Albanese, is a generalization of the Jacobian variety of a curve.
Precise statement
The Albanese variety is the abelian variety
A
{\displaystyle A}
generated by a variety
V
{\displaystyle V}
taking a given point of
V
{\displaystyle V}
to the identity of
A
{\displaystyle A}
. In other words, there is a morphism from the variety
V
{\displaystyle V}
to its Albanese variety
Alb
(
V
)
{\displaystyle \operatorname {Alb} (V)}
, such that any morphism from
V
{\displaystyle V}
to an abelian variety (taking the given point to the identity) factors uniquely through
Alb
(
V
)
{\displaystyle \operatorname {Alb} (V)}
. For complex manifolds, André Blanchard (1956) defined the Albanese variety in a similar way, as a morphism from
V
{\displaystyle V}
to a torus
Alb
(
V
)
{\displaystyle \operatorname {Alb} (V)}
such that any morphism to a torus factors uniquely through this map. (It is an analytic variety in this case; it need not be algebraic.)
Properties
For compact Kähler manifolds the dimension of the Albanese variety is the Hodge number
h
1
,
0
{\displaystyle h^{1,0}}
, the dimension of the space of differentials of the first kind on
V
{\displaystyle V}
, which for surfaces is called the irregularity of a surface. In terms of differential forms, any holomorphic 1-form on
V
{\displaystyle V}
is a pullback of translation-invariant 1-form on the Albanese variety, coming from the holomorphic cotangent space of
Alb
(
V
)
{\displaystyle \operatorname {Alb} (V)}
at its identity element. Just as for the curve case, by choice of a base point on
V
{\displaystyle V}
(from which to 'integrate'), an Albanese morphism
V
→
Alb
(
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 numbers
h
1
,
0
{\displaystyle h^{1,0}}
and
h
0
,
1
{\displaystyle h^{0,1}}
(which need not be equal). To see the former note that the Albanese variety is dual to the Picard variety, whose tangent space at the identity is given by
H
1
(
X
,
O
X
)
.
{\displaystyle H^{1}(X,O_{X}).}
That
dim
Alb
(
X
)
≤
h
1
,
0
{\displaystyle \dim \operatorname {Alb} (X)\leq h^{1,0}}
is a result of Jun-ichi Igusa in the bibliography.
Roitman's theorem
If the ground field k is algebraically closed, the Albanese map
V
→
Alb
(
V
)
{\displaystyle V\to \operatorname {Alb} (V)}
can be shown to factor over a group homomorphism (also called the Albanese map)
C
H
0
(
V
)
→
Alb
(
V
)
(
k
)
{\displaystyle CH_{0}(V)\to \operatorname {Alb} (V)(k)}
from the Chow group of 0-dimensional cycles on V to the group of rational points of
Alb
(
V
)
{\displaystyle \operatorname {Alb} (V)}
, which is an abelian group since
Alb
(
V
)
{\displaystyle \operatorname {Alb} (V)}
is an abelian variety.
Roitman's theorem, introduced by A.A. Rojtman (1980), asserts that, for l prime to char(k), the Albanese map induces an isomorphism on the l-torsion subgroups.
The constraint on the primality of the order of torsion to the characteristic of the base field has been removed by Milne shortly thereafter: the torsion subgroup of
CH
0
(
X
)
{\displaystyle \operatorname {CH} _{0}(X)}
and the torsion subgroup of k-valued points of the Albanese variety of X coincide.
Replacing the Chow group by Suslin–Voevodsky algebraic singular homology after the introduction of Motivic cohomology Roitman's theorem has been obtained and reformulated in the motivic framework. For example, a similar result holds for non-singular quasi-projective varieties. Further versions of Roitman's theorem are available for normal schemes. Actually, the most general formulations of Roitman's theorem (i.e. homological, cohomological, and Borel–Moore) involve the motivic Albanese complex
LAlb
(
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
The Albanese variety is dual to the Picard variety (the connected component of zero of the Picard scheme classifying invertible sheaves on V):
Alb
V
=
(
Pic
0
V
)
∨
.
{\displaystyle \operatorname {Alb} V=(\operatorname {Pic} _{0}V)^{\vee }.}
For algebraic curves, the Abel–Jacobi theorem implies that the Albanese and Picard varieties are isomorphic.
See also
Intermediate Jacobian
Albanese scheme
Motivic Albanese
Notes & references
Barbieri-Viale, Luca; Kahn, Bruno (2016), On the derived category of 1-motives, Astérisque, vol. 381, SMF, arXiv:1009.1900, ISBN 978-2-85629-818-3, ISSN 0303-1179, MR 3545132
Blanchard, André (1956), "Sur les variétés analytiques complexes", Annales Scientifiques de l'École Normale Supérieure, Série 3, 73 (2): 157–202, doi:10.24033/asens.1045, ISSN 0012-9593, MR 0087184
Griffiths, Phillip; Harris, Joe (1994). Principles of Algebraic Geometry. Wiley Classics Library. Wiley Interscience. pp. 331, 552. ISBN 978-0-471-05059-9.
Igusa, Jun-ichi (1955). "A fundamental inequality in the theory of Picard varieties". Proceedings of the National Academy of Sciences of the United States of America. 41 (5): 317–20. Bibcode:1955PNAS...41..317I. doi:10.1073/pnas.41.5.317. PMC 528086. PMID 16589672.
Parshin, Aleksei N. (2001) [1994], "Albanese_variety", Encyclopedia of Mathematics, EMS Press
Kata Kunci Pencarian:
- Bahasa Albania
- Ras manusia
- Percobaan pembunuhan Donald Trump
- Academy Awards ke-82
- The Daily Show
- Golden Globe Awards ke-67
- Albanese variety
- Albanese
- Giacomo Albanese
- Abelian variety
- Jacobian variety
- Differential of the first kind
- Rory Albanese
- Picard group
- Dual abelian variety
- List of algebraic geometry topics
