Geometric Sen perfectoidness conjecture

Let XX be an fs log smooth adic space over (C,C+)(C,C^+) with normal crossing divisors. Let GG be a compact pp-adic Lie group, and let X~X\widetilde{X}\to X be a pro-Kummer-étale GG-torsor. The geometric Sen operator is the morphism

θX~:(LieG)keˊtQ^pO^XΩX1(log)OXO^(1).\theta_{\widetilde{X}}:(\operatorname{Lie} G)^{\vee}_{\mathrm{k\acute{e}t}}\otimes_{\widehat{\mathbb{Q}}_p}\widehat{\mathscr{O}}_X\to \Omega_X^1(\log)\otimes_{\mathscr{O}_X}\widehat{\mathscr{O}}(-1).

Geometric Sen perfectoidness conjecture. The morphism θX~\theta_{\widetilde{X}} is surjective if and only if X~\widetilde{X} is a perfectoid space.

This conjecture proposes that the geometric Sen operator detects precisely the directions in which XX becomes perfectoid. It is presented as a geometric generalization of Sen's theorem that a pp-adic Galois representation of a pp-adic field has vanishing Sen operator if and only if it is potentially unramified; the conjecture's resolution is not specified here.

Sources & referencesView supporting material

Primary source

J. E. Rodríguez Camargo, “Geometric Sen theory over rigid analytic spaces”, arXiv:2205.02016 (2025).

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.