6
$\begingroup$

Let $A_g$ denote the moduli space of principally polarized abelian varieties of dimension $g$. For any partition of $g$, one can consider the corresponding locus inside $A_g$ of products of lower-dimensional abelian varieties.

My question is: can one describe explicitly the closure of this locus in (some) compactification?

I guess part of this question is what compactification one should use. For instance, if one simply chooses a toroidal compactification $\widetilde{A}_g$, one can also extend the universal family to a family of semistable abelian varieties. Can one describe necessary and sufficient conditions for a semistable abelian variety at the boundary for it to be in the closure of such a product locus? Or perhaps if one restricts attention to rank-one degenerations, so it does not depend on a choice of toroidal compactification?

Alternatively, one could choose a point in the closure of $A_g$ inside Alexeev's space of stable semi-abelic pairs -- are there necessary and sufficient conditions in this situation?

Improve this question
$\endgroup$
2
  • $\begingroup$ Of course a ppav in A(g) is a product iff its theta divisor is singular in codimension one. Maybe that has a generalization to semi abelian varieties. $\endgroup$
    – roy smith
    Commented Jan 10, 2011 at 23:05
  • 1
    $\begingroup$ @roy smith: The most obvious generalization does not work. The semi-abelic varieties of Alexeev are typically singular in codimension $1$, hence every Cartier divisor (e.g., the theta divisor) is singular in codimension $1$. $\endgroup$
    – jlk
    Commented Jan 12, 2011 at 20:17

1 Answer 1

Reset to default
2
$\begingroup$

This isn't really an answer, but perhaps a suggestion for where to get some ideas. Michael van Opstall studied moduli spaces of products of stable curves (of general type) in this and this papers. While his focus is on curves of genus $g>1$, some of the general deformation theoretic arguments might help you. Also, after all, a polarized abelian variety is of log general type, so possibly the arguments in this paper can be extended to pairs and then applied à la Alexeev.

Improve this answer
$\endgroup$
1
  • $\begingroup$ The links to springerlink.com are broken. I'm also unable to find any snapshots saved on the Wayback Machine. $\endgroup$
    – The Amplitwist
    Commented Oct 1, 2022 at 20:42

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .