Irreducibility conjecture for the class polynomial of χ∗\chi^*

About 9 years old · traced to

Let χ∗\chi^* be the level 11 almost holomorphic modular function defined by

χ∗=1728⋅E2∗E4E6E43−E62,\chi^*=1728\cdot\dfrac{E_2^*E_4E_6}{E_4^3-E_6^2},

where E4E_4 and E6E_6 are the usual Eisenstein series and E2∗(τ)=E2(τ)−3πIm⁡τE_2^*(\tau)=E_2(\tau)-\dfrac{3}{\pi\operatorname{Im}\tau}. For a discriminant δ\delta, let Pδ1P^1_\delta denote the relevant set of level 11 positive definite quadratic forms, and let τQ\tau_Q be the associated quadratic point. Define the class polynomial

Hδχ∗=∏Q∈Pδ1(X−χ∗(τQ)).H^{\chi^*}_\delta=\prod_{Q\in P^1_\delta}\left(X-\chi^*(\tau_Q)\right).

Irreducibility conjecture for the class polynomial of χ∗\chi^*. The polynomial Hδχ∗H^{\chi^*}_\delta is irreducible over Q\mathbb{Q}, and hence

Q(j(τ))=Q(χ∗(τ)).\mathbb{Q}(j(\tau))=\mathbb{Q}(\chi^*(\tau)).

Masser proved that χ∗(τ)\chi^*(\tau) is algebraic for quadratic τ\tau and that Q(χ∗(τ))⊆Q(j(τ))\mathbb{Q}(\chi^*(\tau))\subseteq\mathbb{Q}(j(\tau)); the conjecture asserts equality of these fields via irreducibility of the class polynomial.

References

Primary source

Haden Spence, “A Note on the Degree of Field Extensions Involving Classical and Nonholomorphic Singular Moduli”, arXiv:1702.01950 (2017).

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.