On different expressions for invariants of hyperelliptic curves of genus 3 (Q2134213)

Consider, once and for all, \(C\) an hyperelliptic curve of genus 3 over a field \(K\) of characteristic not 2 given by \[ C_f:y^2=f(x) \] where \(f(x)\) is a polynomial in the variable \(x\) with coefficients in \(K\) of degree 8. \textit{T. Shioda} [Am. J. Math. 89, 1022--1046 (1967; Zbl 0188.53304)] associated invariants in order to determine for given two \(f's\) if the curves \(C_f\)'s are \(\overline{K}\)-isomorphic or not, where \(\overline{K}\) means a separable closure of \(K\). Also \textit{S. Tsuyumine} [Am. J. Math. 108, 755--862 (1986; Zbl 0602.10015)] obtained different invariants in the same direction. Moreover we are interested when such invariants are modular in some sense. First, in the paper under review, the author obtains ``a passage formula'' from Tsuyumine invariants to Shioda ones and viceversa. She also introduced a notion of modularity for such invariants inspired by the works in [\textit{A. I. Zykin} et al., Dokl. Math. 81, No. 2, 233--235 (2010; Zbl 1211.14033); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 431, No. 3, 313--315 (2010)] and [\textit{S. Ionica} et al., Res. Number Theory 5, No. 1, Paper No. 9, 22 p. (2019; Zbl 1420.14063)] in the direction that such invariant come from certain geometric Siegel modular form. In particular, from the work in [\textit{S. Tsuyumine}, Am. J. Math. 108, 755--862 (1986; Zbl 0602.10015)], (that computes the image of Siegel modular forms) by an Igusa map [\textit{J.-i. Igusa}, Am. J. Math. 89, 817--855 (1967; Zbl 0159.50401)], the author obtains in the paper under review Shioda invariants which are modular. Secondly, the author wishes to construct for \(\tau'\in \mathbb{H}_3:=\{ \tau\in\mathbb{C}^{g\times g}:\tau^t=\tau,\Im(\tau)>0\}\), (a period matrix for an hyperelliptic curve \(C\) of genus 3) an equation for \(C\) theoretically (numerically is constructed in [\textit{J. S. Balakrishnan} et al., LMS J. Comput. Math. 19A, 283--300 (2016; Zbl 1404.11085)]). The author obtains such result under \(C\) having CM. A key ingredient at the last part of the paper (with \(g=3\)) is inspired from Mumford in [\textit{R. Lercier} et al., Contemp. Math. 770, 223--237 (2021; Zbl 07605569)] taking \(X_{\tau'}:=\mathbb{C}^g/(\mathbb{Z}^g+\tau'\mathbb{Z}^g)\) which associated integral algebraic theta constants from classical theta function (which controls such constants the reduction of the curve \(C\), see [\textit{S. Ionica} et al., Res. Number Theory 5, No. 1, Paper No. 9, 22 p. (2019; Zbl 1420.14063)]) controlling also if is a Jacobian of certain type of genus \(g\) curve \(C\) with \(K=\mathbb{C}\) in [\textit{J. P. Glass}, Compos. Math. 40, 123--137 (1980; Zbl 0385.14011)], which is generalized for \(K\) in the paper (always assuming \(X_{\tau'}\) is a principal polarized abelian variety, i.e. p.p.a.v.). Moreover, under certain hypothesis of the Jacobian of \(C\) the author obtains a criteria for determining the type of bad reduction for \(C\).