MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\mathcal{A}_g$ be the moduli space of principally polarized abelian varieties over $\mathbb{C}$.

There exists a compactification, the Satake compactification, which is minimal and has the property that $$\overline{\mathcal{A}}_g=\mathcal{A}_g\coprod\overline{\mathcal{A}}_{g-1}.$$

It's well known that for a space in $\mathcal{A}_{g-1}$, the projectivized normal cone of the boundary in the whole thing is the Kummer of the point.

What about the higher codimension strata? For instance, what is the projectivized normal cone at a point for the embedding $\overline{\mathcal{A}}_1\subset \overline{\mathcal{A}}_g$, or $\overline{\mathcal{A}}_2\subset \overline{\mathcal{A}}_g$?

Is there a good general method for computing these?

share|cite|improve this question
Fixed LaTeX. For future reference: when something does not render, put the math part within backward quotation marks. See "How to write math" on the side $\longrightarrow$ – Sándor Kovács May 6 '11 at 16:26
Thanks, I used to know that, but had forgotten – Charles Siegel May 6 '11 at 16:40

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.