Points of order two on theta divisors (Q713969)

Let \(A\) be a principally polarized complex abelian variety of dimension \(g\) and let \(\Theta\subset A\) be a theta divisor. In this paper, the projective representation of the theta group is used to show that any translated \(t_a^ *\Theta\) contains at most \(2^ {2g}-2^ g\) points of order \(2\). When \(A\) is the Jacobian of a curve \(C\), this result is applied to estimate the number of effective square roots of a fixed line bundle on \(C\).