zbMATH — the first resource for mathematics

A theta relation in genus 4. (English) Zbl 0987.11035
The \(2^g\) theta constants of second kind generate a ring of dimension \(g(g+1)/2+1\). In the case \(g\leq 2\) they are algebraically independent. In the case \(g=3\) there is a relation in degree 16, which is related to the so-called Schottky relation. In this paper, the authors investigate the case \(g=4\) and find a relation whose degree is 24. The relation has two remarkable properties. Namely, it is invariant under the full Siegel modular group, and it is mapped to a nontrivial relation under Siegel’s \(\Phi\)-operator. The proof is based on the theory of codes. The relation is obtained as a linear combination of code polynomials of the 9 self-dual doubly-even codes of length 24.

11F46 Siegel modular groups; Siegel and Hilbert-Siegel modular and automorphic forms
11F27 Theta series; Weil representation; theta correspondences
94B05 Linear codes (general theory)
Full Text: DOI
[1] DOI: 10.1016/0012-365X(94)00271-J · Zbl 0854.11071
[2] Nagoya Math. J 138 pp 179– (1995) · Zbl 0824.11031
[3] J. reine angew. Math 436 pp 57– (1993)
[4] DOI: 10.1017/S0004972700017779 · Zbl 0865.11039
[5] des Mathématiciens (Nice 1970), Tome 3 pp 211Р(1971)
[6] Int. Math. Research Notoces pp 125– (1993)
[7] J. reine angew. Math 494 pp 141– (1998)
[8] Osaka J. Math 34 pp 53– (1997)
[9] J. Comb. Th A18 pp 313– (1975)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.