Does the compactified Torelli map extend to a proper map of stacks? Let $M_g^{ct}$ denote the moduli stack of compact type genus $g$ stable curves and $A_g$ the moduli stack of principally polarized $g$-dimensional abelian varieties. 
Can someone provide a reference for the fact that the Torelli map extends to a map $M_g^{ct} \to A_g$ which is proper?
Here are some comments: This is stated, for example, in Section 1.3 of "The Torelli locus and special subvarieties" by Ben Moonen and Frans Oort. I believe I have found a reference, but am not completely certain if I'm interpreting things correctly. In "Compactified Jacobians and the Torelli Map" by Alexeev
http://alpha.math.uga.edu/~valery/preprints/cjtm.pdf
Corollary 5.4, it is stated that there are compactifications $\overline{M}_g$ and $\overline{A}_g$ such that the Torelli map extends to a map of their coarse spaces. I believe the constructed map actually defines a map on stacks (and not just coarse spaces) which would imply the map $M_g^{ct} \to A_g$ (which is the restriction of $\overline{M}_g \to \overline{A}_g$) is also proper. So it would be enough to answer the following question affirmatively: Is it correct that the map in Corollary 5.4 is actually coming from a map of stacks and not just a map of coarse spaces?
 A: I wrote an answer to the question above on my website. It is currently available at http://web.stanford.edu/~aaronlan/assets/properness-of-compact-type.pdf.
The main points were explained in the comments above, but let me say them again. One can first extend the usual Torelli map by the general fact that over a normal noetherian base, principal polarizations uniquely extend from a dense open to the whole base. The key point here is that ampleness is (perhaps surprisingly) a closed condition. This can be deduced from the Riemann-Roch theorem and vanishing theorem for abelian varieties (cf. p. 159 of Mumford's book on Abelian varieties).
Then, to verify properness, one can use the valuative criterion. The key inputs in applying the valuative criterion are properness of the Deligne Mumford compactification $\overline{M_g}$, and the fact that a smooth separated semi-abelian group scheme over a the spectrum of a dvr is necessarily an open subscheme of its Neron model. In a little more detail, given a family of abelian varieties over the spectrum of a dvr $T$, if the generic fiber is the Jacobian of a curve $C$, we want to show that after extending $T$ to some spectrum of a dvr $T'$, the whole family is the Jacobian of a relative compact type curve over $T'$. We can find such a stable curve by properness of $\overline{M_g}$. We have to check this is actually a compact type curve. However, its Jacobian is proper using the above fact, and so it must be a compact type curve. Finally, its principally polarized Jacobian agrees with the ppav over $T'$ because they have the same generic fiber.
