Determinantal expressions for hyperelliptic functions in genus three (Q1768103)

The elliptic functions \(\sigma(u)\) and \(\wp(u)\) of Weierstrass are related by the two determinantal formulae (1.1) (due to Frobenius and Stickelberger) and (1.2) (due to Kiepert). If \((x(u),y(u))\) denotes the coordinates of the elliptic curve to which \(\sigma(u)\) and \(\wp(u)\) are attached, then in (1.1) and (1.2) \(\wp\) (and its derivatives) can be replaced by expressions involving \(x\) and \(y\) (and their derivatives), giving formulae (1.3) and (1.4), respectively. In this paper the author generalizes these latter formulae to genus 3. Let \(C\) be a hyperelliptic curve of genus 3, \(\Lambda\subset\mathbb C^{3}\) the lattice associated to \(C\), \(\iota:C\hookrightarrow\mathbb C^{3}/\Lambda\) the embedding into the Jacobian variety, \(\kappa:\mathbb C^{3}\rightarrow\mathbb C^{3}/\Lambda\) the natural projection, and \(\sigma(u)\) the generalized sigma function attached to \(C\). An algebraic function on \(C\), called a hyperelliptic function, is regarded as a function on a universal abelian covering \(\kappa^{-1}\iota(C)\) of \(C\), and it is key to the approach to consider \(u=(u_1,u_2,u_3)\) not as a variable in \(\mathbb C^{3}\) but as a set of dependent variables in \(\kappa^{-1}\iota(C)\). The main results are Theorem 3.2, which generalizes (1.3) and is proved (roughly) by comparing divisors on the two sides of the equation, and Theorem 4.2, which generalizes (1.4) and is deduced from Theorem 3.2 by a limiting process. The author remarks that the paper under review is closely related to his work on the genus 2 case [Glasg. Math. J. 44, 353--364 (2002; Zbl 1101.14312)], and that it has the advantage of being explicit despite the fact that a later preprint (which extends the results to all hyperelliptic curves) contains all its results.