← Back to arXiv
arXivAlgebraic GeometryarXiv:2607.10078

Duals of log abelian varieties

Ordinary abelian varieties are a central object in modern number theory and algebraic geometry. Think of them as higher-dimensional generalizations of elliptic curves, which are themselves shaped like a donut. One of the most important features of an abelian variety is that it has a "dual," another abelian variety built from it that captures information about how the original object can be mapped into other geometric spaces. The existence and properties of this dual are foundational to much of what we know about abelian varieties, including their role in the study of number fields and the arithmetic of curves.

Log abelian varieties are a more modern and technically sophisticated generalization. The "log" refers to logarithmic geometry, a framework developed over the past few decades to handle situations where geometric objects degenerate or develop singularities, such as when a smooth donut-shaped curve pinches into a figure-eight at some special point. Log abelian varieties allow mathematicians to work with families of abelian varieties even as they degenerate at the boundary, which is essential for compactifying moduli spaces, the geometric spaces that parametrize all abelian varieties of a given type. However, because of the added complexity of the logarithmic setting, basic constructions that are routine for ordinary abelian varieties become highly non-trivial.

This paper proves that polarizable log abelian varieties also have duals. A polarization is a kind of extra structure, analogous to choosing an embedding into projective space, that makes the object well-behaved enough to work with. The authors show that under this condition, the dual construction goes through in the logarithmic world. This matters because the existence of duals is a prerequisite for developing a full theory of log abelian varieties in parallel with the classical theory, enabling tools like the study of isogenies, Weil pairings, and the arithmetic of degenerating families to be extended into this more general and practically important setting.

Read original →