The addition law attached to a stratification of a hyperelliptic Jacobian variety (Q946979)

Let \(C_g\) be a hyperelliptic curve of genus \(g\). The authors introduce the hyperelliptic \(\theta\) and \(\sigma\) function generalizing the corresponding objects from the classical theory of elliptic functions. For this purpose they consider the Abel map \(\phi_k\) from the \(k\)-th symmetric product \(\mathrm{Sym}^k(C_g)\) to the Jacobian \(J(C_g)\), and introduce the stratification \(\Theta^{[k]} := \phi_k(\mathrm{Sym}^k(C_g))\) of \(J(C_g)\). Let \(\kappa : \mathbb{C}^g \to J(C_g)\) be the natural map. The main equality obtained by the authors is \[ \frac{\sigma_{\sharp^{m+n}}(u+v)\sigma_{\sharp^{m+n}}(u-v)}{\sigma_{\sharp^{m}}(u)^2\sigma_{\sharp^{n}}(v)^2} = (-1)^{\delta(g,n)} \prod^m_{i=1}\prod^n_{j=1}(x_i-x'_j), \] where \(m\) and \(n\) are positive integers such that \(m+n \leq g+1\), \[ u = \sum^m_{i=1}\int^{(x_i,y_i)}_\infty (\omega_1, \ldots,\omega_g) \in \kappa^{-1}(\Theta^{[m]}), v = \sum^n_{j=1}\int^{(x'_j,y'_j)}_\infty (\omega_1, \ldots,\omega_g) \in \kappa^{-1}(\Theta^{[n]}), \] \(\delta(g,n) = \frac{1}{2}n(n-1)+gn\), and \(\sigma_{\sharp^l}\) denotes certain partial derivative of \(\sigma\) associated with multi-index \(\sharp^l\). This generalizes the well-known addition formula \[ \frac{\sigma(u+v)\sigma(v-u)}{\sigma(u)^2\sigma(v)^2} = \wp(v) - \wp(u) \] for elliptic \(\sigma\) and \(\wp\)-functions. The authors discuss also possible applications of their results.