# Appell–Humbert theorem

In mathematics, the Appell–Humbert theorem describes the line bundles on a complex torus or complex abelian variety. It was proved for 2-dimensional tori by Appell (1891) and Humbert (1893), and in general by Lefschetz (1921)

## Statement

Suppose that T is a complex torus given by V/U where U is a lattice in a complex vector space V. If H is a Hermitian form on V whose imaginary part is integral on U×U, and α is a map from U to the unit circle such that

$\alpha(u+v) = e^{i\pi E(u,v)}\alpha(u)\alpha(v)\$

then

$\alpha(u)e^{\pi H(z,u)+H(u,u)\pi/2}\$

is a 1-cocycle on U defining a line bundle on T.

The Appell–Humbert theorem (Mumford 2008) says that every line bundle on T can be constructed like this for a unique choice of H and α satisfying the conditions above.

## Ample line bundles

Lefschetz proved that the line bundle L, associated to the Hermitian form H is ample if and only if H is positive definite, and in this case L3 is very ample. A consequence is that the complex torus is algebraic if and only if there is a positive definite Hermitian form whose imaginary part is integral on E×E.

## References

• Appell, P. (1891), "Sur les functiones périodiques de deux variables", J. de math Sér IV 7: 157–219
• Humbert, G. (1893), "Théorie générale des surfaces hyperelliptiques", J. de math Sér IV 9: 29–170, 361–475
• Lefschetz, Solomon (1921), "On Certain Numerical Invariants of Algebraic Varieties with Application to Abelian Varieties", (Providence, R.I.: American Mathematical Society) 22 (3): 327–406, ISSN 0002-9947, JSTOR 1988897
• Lefschetz, Solomon (1921), "On Certain Numerical Invariants of Algebraic Varieties with Application to Abelian Varieties", (Providence, R.I.: American Mathematical Society) 22 (4): 407–482, ISSN 0002-9947, JSTOR 1988964
• Mumford, David (2008) [1970], Abelian varieties, Tata Institute of Fundamental Research Studies in Mathematics 5, Providence, R.I.: American Mathematical Society, ISBN 978-81-85931-86-9, MR 0282985, OCLC 138290
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 2, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.7531222701072693, "perplexity_flag": "middle"}