Singular-weight dimension conjecture for E8-invariant holomorphic Jacobi forms

Let H(t)H(t) be the dimension of the space of W(E8)W(E_8)-invariant holomorphic Jacobi forms of weight 44 and positive index tt. Let N(t)N(t) be the number of distinct Weyl orbits of vectors of norm tt, where norm means 12(v,v)=t\frac{1}{2}(v,v)=t. For a Weyl orbit orb(m)\operatorname{orb}(m) of norm tt, write orb(m)\operatorname{orb}(m) for the corresponding orbit sum in a Fourier expansion. Singular-weight conjecture.

H(t)=N(t).H(t)=N(t).

Equivalently, for every such Weyl orbit there exists a unique W(E8)W(E_8)-invariant holomorphic Jacobi form of weight 44 and index tt with Fourier expansion

Φt,m=1+240orb(m)qorb(m)+O(q2).\Phi_{t,m}=1+\frac{240}{|\operatorname{orb}(m)|}q\cdot\operatorname{orb}(m)+O(q^2).

The conjecture has been proved for indices t11t\leq11; the source reports consistency with computations at indices 1212 and 1313, but the general statement remains open.

Sources & referencesView supporting material

Primary source

Kaiwen Sun and Haowu Wang, “Weyl invariant E_8 Jacobi forms and E-strings”, arXiv:2109.10578 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.