What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the structure of the ring of Weyl - invariant weak Jacobi forms of type \(E_8\). Specifically, the author attempts to prove that the ring of Weyl - invariant weak Jacobi forms of type \(E_8\) is isomorphic to the joint covariation ring of binary quartic forms and binary sextic forms, and further explore its finitely - generated property. ### Problem Background 1. **Definition and Properties of Jacobi Forms**: - Jacobi forms are a combination of elliptic functions and modular form characteristics. - In 1992, Wirthmüller studied Jacobi forms invariant under the Weyl groups of classical root systems and proved that for all irreducible root systems except \(E_8\), the ring of Weyl - invariant weak Jacobi forms is a bigraded polynomial algebra. - For the Weyl group of type \(E_8\) (denoted as \(W(E_8)\)), its structure has not been clarified since then. 2. **Existing Research Progress**: - Researchers have constructed basic meromorphic and holomorphic Jacobi forms based on the Seiberg - Witten curves in string theory. - Wang initiated a systematic study of the space of \(W(E_8)\)-invariant Jacobi forms and proved that \(JE_{8}^{*,*}\) is not a polynomial algebra. - Subsequent research shows that this ring has a complex structure and is expected to be finitely generated over the complex field, but lacks proof. ### Main Contributions of the Paper 1. **Main Theorems**: - **Theorem 4.18**: Proved that the ring of Weyl - invariant weak Jacobi forms of type \(E_8\), \(JE_{8}^{*,*}\), is isomorphic to the joint covariation ring of binary quartic forms and binary sextic forms. - **Theorem 3.13 and Theorem 4.17**: Established that the intersection of two polynomial rings \(R\) and \(\tilde{R}\) is \(JE_{8}^{*,*}\), and proved that \(JE_{8}^{*,*}\) is a finitely - generated ring. 2. **Applications and Algorithms**: - Proposed a new algorithm for constructing \(W(E_8)\)-invariant weak Jacobi forms of a given weight and index, which is more efficient than previous algorithms. - Used the isomorphism relationship to verify the lower - bound conjecture of Sun and Wang regarding the weights of non - zero \(W(E_8)\)-invariant weak Jacobi forms. ### Conclusion By introducing the joint covariation ring of binary quartic forms and binary sextic forms and establishing an explicit isomorphism with the ring of Weyl - invariant weak Jacobi forms of type \(E_8\), the author not only proved the finite - generation of this ring but also provided a minimal generating basis consisting of 194 generators. This provides a solid theoretical basis and practical tool for future research. ### Formula Summary - **Seiberg - Witten Curve**: \[ y^2 = 4x^3 - 4\sum_{i = 0}^4 a_i(\tau,z)u^{4 - i}x - 6\sum_{j = 0}^6 b_j(\tau,z)u^{6 - j} \] - **Eisenstein Series**: \[ E_4(\tau)=1 + 240\sum_{n = 1}^\infty\sigma_3(n)q^n \] \[ E_6(\tau)=1 - 504\sum_{n = 1}^\infty\sigma_5(n)q^n \] - **Dedekind Eta Function**: \[ \eta(\tau)=q^{1/24}\prod_{n = 1}^\infty(1 - q^n) \] These formulas and conclusions show the complexity and beautiful structure of the ring of Weyl - invariant weak Jacobi forms of type \(E_8\).

The ring of Weyl invariant $E_8$ Jacobi forms

Waring ranks of sextic binary forms via geometric invariant theory

Generalized Witten Genus and Vanishing Theorems

The W(E6) ‐invariant birational geometry of the moduli space of marked cubic surfaces

The ring of projective invariants of eight points on the line via representation theory

Witten genus and vanishing results on complete intersections

Open Gromov–Witten Theory of $$K_{{\mathbb {P}}^2}, K_{{{\mathbb {P}}^1}\times {{\mathbb {P}}^1}}, K_{W{\mathbb {P}}\left[ 1,1,2\right] }, K_{{{\mathbb {F}}}_1}$$ K P 2 , K P 1 × P 1 , K W P 1 , 1 , 2 , K F 1 and Jacobi Forms

The $W(E_6)$-invariant birational geometry of the moduli space of marked cubic surfaces

The Witten Equation, Mirror Symmetry and Quantum Singularity Theory

Genus Two Siegel Quasi-Modular Forms and Gromov–Witten Theory of Toric Calabi–Yau Threefolds

Bounds for the Hilbert-Kunz Multiplicity of Singular Rings

Explicit reciprocity laws and Iwasawa theory for modular forms

Rings of Siegel-Jacobi forms of bounded relative index are not finitely generated

Higher Genus FJRW Invariants of a Fermat Cubic

Cohomological relation between Jacobi forms and skew-holomorphic Jacobi forms

Weyl Invariant Polynomial and Deformation Quantization on Kähler Manifolds

Covexillary Schubert varieties and Kazhdan-Lusztig Polynomials

Jacobi Forms of Critical Weight and Weil Representations

Iwasawa theory and ranks of elliptic curves in quadratic twist families

Open Gromov–Witten Theory of $$K_{{\mathbb {P}}^2}, K_{{{\mathbb {P}}^1}\times {{\mathbb {P}}^1}}, K_{W{\mathbb {P}}\left[ 1,1,2\right] }, K_{{{\mathbb {F}}}_1}$$ and Jacobi Forms

Grothendieck Ring of Pairs of Quasi-Projective Varieties