Weil's product formula for the moduli stack of GG-bundles

Let XX be a smooth proper curve over Fp\mathbb{F}_p, let GXG\to X be a smooth affine group scheme with semisimple simply connected generic fiber and connected fibers, and let BundleG(X)\mathrm{Bundle}_G(X) denote the moduli stack of GG-bundles. For xXx\in X, let BundleG({x})\mathrm{Bundle}_G(\{x\}) be the corresponding local classifying stack and let κ(x)\kappa(x) be the residue field. Weil's conjecture. The following equality is well-defined:

BundleG(X)(Fp)qdimBundleG(X)=xXBundleG({x})(κ(x))qdimBundleG(κ(x)).\frac{|\mathrm{Bundle}_G(X)(\mathbb{F}_p)|}{q^{\mathrm{dim}\mathrm{Bundle}_G(X)}}=\prod_{x\in X}\frac{|\mathrm{Bundle}_G(\{x\})(\kappa(x))|}{q^{\mathrm{dim}\mathrm{Bundle}_G(\kappa(x))}}.

The claim is presented as the function-field analogue of the Tamagawa-number product formula, but the supplied text does not state whether it is proved.

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.