Torsion points on theta divisors and semihomogeneous vector bundles (Q2239236)

Let \((A,\Theta)\) be a principally polarized abelian variety, where \(\Theta\) denotes one fixed symmetric theta divisor. For any \(x\in A\) one can consider the translate \(\Theta_x\), and for any positive integer \(n\) one can consider the number \(\Theta_x(n)\) of \(n\)-torsion points contained in \(\Theta_x\). \textit{G. R. Kempf} proved in [Am. J. Math. 110, No. 4, 765--773 (1988; Zbl 0681.14023)] that the number \(\Theta_{y-x}(2)\) corresponds to the corank of the multiplication map \[ H^0(A,t_x^*\mathcal{O}(2\Theta)) \otimes H^0(A,t_y^*\mathcal{O}(2\Theta)) \longrightarrow H^0(A,t_x^*\mathcal{O}(2\Theta)\otimes t_y^*\mathcal{O}(2\Theta)) \] In this nice paper, the author generalizes this statement to torsion points of arbitrary order. Here the roles of the bundle \(\mathcal{O}(2\Theta)\) is taken by certain semihomogeneous vector bundles \(W_{a,b}\) introduced by [\textit{D. Oprea}, J. Reine Angew. Math. 654, 181--217 (2011; Zbl 1223.14033) ]. The author then uses results on multiplication maps for semihomogeneous bundles on abelian varieties to prove that \[ \Theta_x(n) \leq n^{2g}- (n^2 -1)^g \quad \text{ for all } x\in A \] with equality if and only if \(A\) is a product of elliptic curves \(E_i\) and \(\mathcal{O}_x(\Theta) \cong \boxtimes \mathcal{O}_{E_i}(z_i)\), where each \(z_i\) is an \(n\)-torsion point on \(E_i\). In particular, this settles in the affirmative a conjecture of [\textit{R. Auffarth} et al., Proc. Am. Math. Soc. 145, No. 1, 89--99 (2017; Zbl 1360.14114)].