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

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

χ=1728E2E4E6E43E62,\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δχ=QPδ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.

Sources & referencesView supporting material

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.