The (2,3,7)(2,3,7) hypergeometric-family Hodge-structure conjecture

Let E7E_7 be an elliptic curve with complex multiplication by Q(21)\mathbb{Q}(\sqrt{-21}), and let

X7,t:y84=x13(x1)43(xt)29X_{7,t}: y^{84}=x^{13}(x-1)^{43}(x-t)^{29}

be a fiber of the hypergeometric family. The (2,3,7)(2,3,7) Hodge-structure conjecture. For every fiber X7,tX_{7,t}, the Hodge structure

(H1(X7,t,Q)3QH1(E7,Q)2)(2)\left(H^1(X_{7,t},\mathbb{Q})^{\otimes 3}\otimes_{\mathbb{Q}}H^1(E_7,\mathbb{Q})^{\otimes 2}\right)(2)

has a summand isomorphic to H1(C7,t,Q)H^1(C_{7,t},\mathbb{Q}). The source proposes this as a conjectural realization of the relevant Hodge structure; no resolution is given.

Sources & referencesView supporting material

Primary source

Thomas Bouchet, Jeroen Hanselman, Andreas Pieper and Sam Schiavone, “Mumford-type Shimura curves contained in the Torelli locus”, arXiv:2510.00093 (2025).

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.