1 Definitions and notations
$$\begin{array}{c}\begin{array}{c}\theta (\tau ,z+\frac{\tau \varepsilon +\delta}{2})={\sum}_{m\in {\mathbb{Z}}^{g}}\mathbf{e}\left[(m,\tau m)+2\left(m,z+\frac{\tau \varepsilon +\delta}{2}\right)\right]\\ ={\sum}_{m\in {\mathbb{Z}}^{g}}\mathbf{e}\left[\left(m+\frac{\varepsilon}{2},\tau (m+\frac{\varepsilon}{2})\right)+2\left(m+\frac{\varepsilon}{2},z+\frac{\delta}{2}\right)-(\frac{\varepsilon}{2},\tau \frac{\varepsilon}{2})-\left(\varepsilon ,z+\frac{\delta}{2}\right)\right]\\ =(-1{)}^{(\varepsilon ,\delta )}\mathbf{e}\left[-\frac{1}{4}(\varepsilon ,\tau \varepsilon )-(\varepsilon ,z)\right]\theta \left[\begin{array}{c}\varepsilon \\ \delta \end{array}\right](\tau ,z).\end{array}\end{array}$$ | (1) |
$$\begin{array}{c}\Theta \left[\varepsilon \right](\tau ,z+{e}_{j}+\tau {e}_{k})=\mathbf{e}(-2({e}_{k},\tau {e}_{k})-4({e}_{k},z\left)\right)\Theta \left[\varepsilon \right](\tau ,z),\end{array}$$ | (2) |
$$\begin{array}{c}\theta \left[\begin{array}{c}\varepsilon \\ \delta \end{array}\right]\left(z\right)\theta \left[\begin{array}{c}\varepsilon \\ \delta \end{array}\right]\left(w\right)={\sum}_{\sigma \in (\mathbb{Z}/2\mathbb{Z}{)}^{g}}(-1{)}^{(\delta ,\sigma )}\Theta [\sigma +\varepsilon ]\left(\frac{z+w}{2}\right)\Theta [\sigma ]\left(\frac{z-w}{2}\right).\end{array}$$ | (3) |
Acknowledgements
2 Addition formula and multisecants
$$\begin{array}{c}+{\sum}_{k=1}^{g}\frac{\theta \left(R\right)\theta (Q+{A}_{k}+R)\theta (Q-{A}_{k}+2z+R)\Theta \left[\sigma \right]({A}_{k}+z+R)}{\theta (2{A}_{k}+R)}]\Theta \left[\sigma \right]\left(w\right)\end{array}$$ | (4) |
$$\begin{array}{c}{\sum}_{i=0}^{g+1}{c}_{i}\left(z\right)K({A}_{i}+z)=0\forall z\in {\mathbb{C}}^{g},\end{array}$$ | (5) |
3 Characterizing Jacobians by families of multisecants
$$\begin{array}{c}{\sum}_{i=0}^{g+1}{\frac{\partial {c}_{i}\left(z\right)}{\partial v}K({A}_{i}+z)+{c}_{i}\left(z\right)\frac{\partial K}{\partial v}({A}_{i}+z)|}_{y}\end{array}$$ |
$$\begin{array}{c}=\lambda \left(K\right({A}_{k}+y)-K({A}_{l}+y\left)\right)+\left(\frac{\partial K}{\partial v}\right({A}_{k}+y)-\frac{\partial K}{\partial v}({A}_{l}+y\left)\right)\end{array}$$ |
$$\begin{array}{c}=2\frac{\partial K}{\partial v}({A}_{k}+y)=0,\end{array}$$ |
$$\begin{array}{c}\begin{array}{c}{\sum}_{\varepsilon}\Theta \left[\varepsilon \right](Q+z+R)\Theta \left[\varepsilon \right]\left(z\right)\Theta \left[\sigma \right](z+R)-\Theta \left[\varepsilon \right](z+R)\Theta \left[\varepsilon \right]\left(z\right)\Theta \left[\sigma \right](Q+z+R)\\ +{\sum}_{k,\varepsilon}\frac{\theta \left(R\right)}{\theta (2{A}_{k}+R)}\Theta \left[\varepsilon \right](Q+z+R)\Theta \left[\varepsilon \right](z-{A}_{k})\Theta \left[\sigma \right]({A}_{k}+z+R)=0.\end{array}\end{array}$$ | (6) |
4 Addition formula for the hyperelliptic case
$$\begin{array}{c}\begin{array}{c}\Theta \left[\delta \right]\left(\tau ,z+\frac{\tau a+b}{2}\right)=\theta \left[\begin{array}{c}\delta \\ 0\end{array}\right](2\tau ,2z+\tau a+b)\\ =\theta (2\tau ,2z+\tau \delta +\tau a)\mathbf{e}\left[\frac{1}{2}(\delta ,\tau \delta )+2(\delta ,z)+(\delta ,\tau a)+(\delta ,b)\right]\\ =\theta \left[\begin{array}{c}\delta +a\\ 0\end{array}\right](2\tau ,2z)\mathbf{e}\left[-\frac{1}{2}(\delta +a,\tau (\delta +a\left)\right)-2(\delta +a,z)\right]\\ \cdot \mathbf{e}\left[\frac{1}{2}(\delta ,\tau \delta )+2(\delta ,z)+(\delta ,\tau a)+(\delta ,b)\right]\\ =(-1{)}^{(\delta ,b)}\mathbf{e}\left[-\frac{1}{2}(a,\tau a)-2(a,z)\right]\Theta [\delta +a\left]\right(\tau ,z).\end{array}\end{array}$$ | (7) |
$$\begin{array}{c}\begin{array}{cc}& {\sum}_{\varepsilon}(-1{)}^{(\varepsilon ,\beta +{\beta}_{0})}\Theta [\varepsilon +\alpha +{\alpha}_{0}\left]\right(z)\Theta [\varepsilon \left]\right(z)\Theta [\sigma +\alpha \left]\right(z)\\ =& {\sum}_{e,k}(-1{)}^{(\varepsilon ,\beta +{\beta}_{0}+{\beta}_{k})+(\sigma ,{\beta}_{k})}\Theta [\varepsilon +\alpha +{\alpha}_{0}\left]\right(z)\Theta [\varepsilon +{\alpha}_{k}\left]\right(z)\Theta [\sigma +\alpha +{\alpha}_{k}\left]\right(z)\\ +& {\sum}_{\varepsilon}(-1{)}^{(\varepsilon ,\beta )+(\sigma ,{\beta}_{0})}\Theta [\varepsilon +\alpha \left]\right(z)\Theta [\varepsilon \left]\right(z)\Theta [\sigma +\alpha +{\alpha}_{0}\left]\right(z).\end{array}\end{array}$$ | (8) |
5 Cubic equations for the hyperelliptic locus
$$\begin{array}{c}\begin{array}{cc}& {\sum}_{\varepsilon}\Theta \left[\varepsilon \right]\left(z\right)\Theta \left[\varepsilon \right]\left(z\right)\Theta \left[\sigma \right]\left(z\right)\\ =& {\sum}_{\varepsilon}{\sum}_{k=0}^{g}(-1{)}^{(\varepsilon +\sigma ,{e}_{k+1})}\Theta [\varepsilon \left]\right(z)\Theta [\varepsilon +{s}_{k}]\Theta [\sigma +{s}_{k}\left]\right(z),\end{array}\end{array}$$ | (9) |
$$\begin{array}{cc}& \left[00\right]\left[00\right]\left[00\right]+\left[01\right]\left[01\right]\left[00\right]+\left[10\right]\left[10\right]\left[00\right]+\left[11\right]\left[11\right]\left[00\right]\end{array}$$ |
$$\begin{array}{cc}=& \left[00\right]\left[00\right]\left[00\right]+\left[01\right]\left[01\right]\left[00\right]-\left[10\right]\left[10\right]\left[00\right]-\left[11\right]\left[11\right]\left[00\right]\end{array}$$ |
$$\begin{array}{cc}+& \left[00\right]\left[10\right]\left[10\right]-\left[01\right]\left[11\right]\left[10\right]+\left[10\right]\left[00\right]\left[10\right]-\left[11\right]\left[01\right]\left[10\right]\end{array}$$ |
$$\begin{array}{cc}+& \left[00\right]\left[11\right]\left[11\right]+\left[01\right]\left[10\right]\left[11\right]+\left[10\right]\left[01\right]\left[11\right]+\left[11\right]\left[00\right]\left[11\right]\end{array}$$ |
$$\begin{array}{cc}& \Theta \left[000\right]\left(z\right)\Theta \left[101\right]\left(z\right)\Theta \left[101\right]\left(z\right)+\Theta \left[011\right]\left(z\right)\Theta \left[101\right]\left(z\right)\Theta \left[110\right]\left(z\right)\end{array}$$ |
$$\begin{array}{cc}=& \Theta \left[010\right]\left(z\right)\Theta \left[101\right]\left(z\right)\Theta \left[111\right]\left(z\right)+\Theta \left[001\right]\left(z\right)\Theta \left[100\right]\left(z\right)\Theta \left[101\right]\left(z\right),\end{array}$$ |
$$\begin{array}{c}\Theta \left[101\right]\left(z\right)\cdot \theta \left[\begin{array}{c}101\\ 111\end{array}\right]\left(2z\right)\cdot \theta \left[\begin{array}{c}101\\ 111\end{array}\right]\left(0\right)=0.\end{array}$$ | (10) |
$$\begin{array}{c}0000\cdot 1001\cdot 1001+0000\cdot 1010\cdot 1010+0000\cdot 1011\cdot 1011+0000\cdot 1101\cdot 1101\end{array}$$ |
$$\begin{array}{c}0011\cdot 1101\cdot 1110+0101\cdot 1000\cdot 1101+0101\cdot 1011\cdot 1110+0110\cdot 1010\cdot 1100\end{array}$$ |
$$\begin{array}{c}0111\cdot 1001\cdot 1110+0111\cdot 1011\cdot 1100=0001\cdot 1000\cdot 1001+0001\cdot 1100\cdot 1101\end{array}$$ |
$$\begin{array}{c}0010\cdot 1000\cdot 1010+0010\cdot 1101\cdot 1111+0011\cdot 1000\cdot 1011+0100\cdot 1010\cdot 1110\end{array}$$ |
$$\begin{array}{c}0100\cdot 1011\cdot 1111+0101\cdot 1001\cdot 1100+0101\cdot 1010\cdot 1111+0110\cdot 1001\cdot 1111,\end{array}$$ |
$$\begin{array}{c}0000\cdot 1000\cdot 1001+0000\cdot 1100\cdot 1101+0010\cdot 1001\cdot 1010+0011\cdot 1001\cdot 1011\end{array}$$ |
$$\begin{array}{c}0011\cdot 1100\cdot 1110+0100\cdot 1000\cdot 1101+0100\cdot 1011\cdot 1110+0101\cdot 1010\cdot 1110\end{array}$$ |
$$\begin{array}{c}0101\cdot 1011\cdot 1111+0111\cdot 1000\cdot 1110=0001\cdot 1000\cdot 1000+0001\cdot 1010\cdot 1010\end{array}$$ |
$$\begin{array}{c}0001\cdot 1011\cdot 1011+0001\cdot 1100\cdot 1100+0010\cdot 1100\cdot 1111+0100\cdot 1001\cdot 1100\end{array}$$ |
$$\begin{array}{c}0100\cdot 1010\cdot 1111+0110\cdot 1000\cdot 1111+0110\cdot 1010\cdot 1101+0111\cdot 1011\cdot 1101.\end{array}$$ |