The Clifford algebra isomorphism conjecture for geometric Waldspurger periods

About 13 years old · traced to

Let XX be a smooth projective curve and let EE be an irreducible SL⁡2\operatorname{SL}_2-local system on XX such that, for every d\ts0d\ts 0 and every covering ϕ:Y→X\phi:Y\to X in RCov⁡d\operatorname{RCov}^d, one has H⁡0(Y,ϕ∗E)=0\operatorname{H}^0(Y,\phi^*E)=0. Let CLE(X)⊗CLEdCL_E(X)\otimes CL_E^d be the corresponding sheaf of Z/2Z\mathbb Z/2\mathbb Z-graded Clifford algebras on RCov⁡d\operatorname{RCov}^d, and let FE{\cal F}_E be the associated local system, with End⁡(FE)≃FE⊗2\operatorname{End}({\cal F}_E)\simeq {\cal F}_E^{\otimes 2}. Clifford algebra isomorphism conjecture. Under these assumptions, the isomorphism CLE(X)⊗CLEd≃End⁡(FE)CL_E(X)\otimes CL_E^d\simeq \operatorname{End}({\cal F}_E) is an isomorphism of Z/2Z\mathbb Z/2\mathbb Z-graded sheaves of algebras on RCov⁡d\operatorname{RCov}^d. This is a stronger compatibility statement identifying the Clifford algebra action with the full graded endomorphism algebra of the geometric Waldspurger local system; the source does not provide evidence resolving it.

References

Primary source

Sergey Lysenko, “Geometric Waldspurger periods II”, arXiv:1308.6531 (2020).

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.