2
$\begingroup$

In Mumford's GIT, the definition of level $n$ structure ($n \geq 2)$ is $2g$ sections $\{\sigma_1, \dots, \sigma_{2g}\} : S \rightarrow A$ such that two conditions hold: (i) For geometric points the sections form a basis for the $n$-torsion points and (ii) $n_A \circ \sigma_i= \varepsilon$.

My question is: Doesn't (i) imply (ii)? Corollary 6.2 implies that since the two maps are equal on geometric fibers by (i), they must be equal everywhere.

$\endgroup$

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy