Finite-dimensionality of cotangent cohomology for GG-bundle stacks

Let XX be a smooth proper curve over Fp\mathbb{F}_p, let GXG\to X satisfy the stated hypotheses, and let E\mathcal{E} be an augmented commutative E\mathbb{E}_\infty-algebra. Define the cotangent cochain object of the GG-bundle stack with coefficients by

cotC(BundleG(X×SpecFpSpecFp),hBundleGE).\mathrm{cot}\mathrm{C}^*(\mathrm{Bundle}_G(X\times_{\mathrm{Spec}\mathbb{F}_p}\mathrm{Spec}\overline{\mathbb{F}}_p),h_{\mathrm{Bundle}_G}^*\mathcal{E}).

Finite-dimensionality conjecture. Its cohomology

H(cotC(BundleG(X×SpecFpSpecFp),hBundleGE))\mathrm{H}^{*}(\mathrm{cot}\mathrm{C}^*(\mathrm{Bundle}_G(X\times_{\mathrm{Spec}\mathbb{F}_p}\mathrm{Spec}\overline{\mathbb{F}}_p),h_{\mathrm{Bundle}_G}^*\mathcal{E}))

is finite dimensional over Qp\mathbb{Q}_p. The claim is motivated by the infinite-degree cohomology of the stack and the proposed cotangent-complex refinement; no proof or resolution is supplied.

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.