The Torelli map $\tau\colon M_g \to A_g$ sends a curve C to its Jacobian (along with the canonical principal polarization associated to C); see this question for a description which works for families.

Theorem (Torelli): If $\tau(C) \cong \tau(C')$, then $C \cong C'$.

If one prefers to work with coarse spaces (instead of stacks) it is okay to just say that $\tau$ is injective.

Question: Is $\tau$ an immersion?

(One remark: $\tau$ isn't a closed immersion -- the closure of its image consists of products of Jacobians!)

The Torelli map $\tau\colon M_g \to A_g$ sends a curve C to its Jacobian (along with the canonical principal polarization associated to C); see this question for a description which works for families.

Theorem (Torelli): If $\tau(C) \cong \tau(C')$, then $C \cong C'$.

If one prefers to work with coarse spaces (instead of stacks) it is okay to just say that $\tau$ is injective.

Question: Is $\tau$ an immersion?

(One remark: $\tau$ isn't a closed immersion -- the closure of its image consists of products of Jacobians!)