The Euler product conjecture for parabolic rigid Gross GG-motives

At least 3 years old · documented by

Let XX be a smooth proper curve over Fp\mathbb{F}_p, let G→XG\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),Frob−1,E(t):=det(1−tFrob−1∣H∗(X‾,M(G)EGross,Parabolic)−1=∏x∈Xdet(1−tFrobx−1∣H∗(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.

References

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.