The Euler product conjecture for parabolic rigid Gross GG-motives

Let XX be a smooth proper curve over Fp\mathbb{F}_p, let GXG\to X satisfy the stated hypotheses, fix a parabolic subgroup PP, and let E\mathcal{E} be an augmented commutative E\mathbb{E}_\infty-algebra. Let M(G)EGross,Parabolic\mathcal{M}(G)^{\mathrm{Gross,Parabolic}}_{\mathcal{E}} be the associated parabolic rigid Gross GG-motive and let Frob\mathrm{Frob} and Frobx\mathrm{Frob}_x denote global and local Frobenius. The parabolic Euler-product conjecture.

LM(G),Frob1,E(t):=det(1tFrob1H(X,M(G)EGross,Parabolic)1=xXdet(1tFrobx1H(X,M(Gx)ExGross,Parabolic)1.L_{\mathcal{M}(G),\mathrm{Frob}^{-1},\mathcal{E}}(t):=\mathrm{det}(1-t\mathrm{Frob}^{-1}|\mathrm{H}^*(\overline{X},\mathcal{M}(G)^{\mathrm{Gross,Parabolic}}_{\mathcal{E}})^{-1} =\prod_{x\in X}\mathrm{det}(1-t\mathrm{Frob}_x^{-1}|\mathrm{H}^*(\overline{X},\mathcal{M}(G_x)^{\mathrm{Gross,Parabolic}}_{\mathcal{E}_x})^{-1}.

This is presented as a weaker Euler-product consequence of the proposed parabolic Gross-motive theory; the supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

Xin Tong, “-Categorical Perverse p-adic Differential Equations over Stacks”, arXiv:2201.05003 (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.