pith. sign in

arxiv: 2604.09116 · v1 · submitted 2026-04-10 · 🧮 math.NT · math.AG

Differential operators on locally analytic Shimura varieties

Yuanyang Jiang This is my paper

Pith reviewed 2026-05-10 17:03 UTC · model grok-4.3

classification 🧮 math.NT math.AG
keywords Shimura varietiesperfectoid spacesGrothendieck-Messing theoryRiemann-Hilbert correspondencedifferential operatorslocally analyticinfinite levelJacquet-Langlands correspondence
0
0 comments X

The pith

The locally analytic infinite-level Shimura variety can be fully reconstructed purely from its perfectoid counterpart and its B_dR^+-thickening via Grothendieck-Messing theory and a reformulated Riemann-Hilbert correspondence.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops smooth, completed, locally analytic, and de Rham realizations of infinite-level Shimura varieties inside the analytic stacks framework. It formulates a Grothendieck-Messing-Hodge-Tate period map and establishes a Grothendieck-Messing theory for the locally analytic case. Together with a reformulation of the Riemann-Hilbert correspondence, this theory shows that the locally analytic infinite-level Shimura variety is completely determined by its perfectoid counterpart plus the B_dR^+ thickening. The author then uses the resulting geometric structure to construct differential operators that generalize earlier examples and to define a Bernstein-Gelfand-Gelfand-Fontaine complex based on dual BGG complexes, conjecturing automorphic properties that will support a locally analytic Jacquet-Langlands correspondence.

Core claim

The locally analytic infinite-level Shimura variety can be fully reconstructed purely from its perfectoid counterpart and its B_dR^+-thickening, via the Grothendieck-Messing theory combined with a reformulation of the Riemann-Hilbert correspondence.

What carries the argument

Grothendieck-Messing theory for locally analytic infinite-level Shimura varieties, which employs a Hodge-Tate period map to connect the analytic and perfectoid structures and thereby enables the reconstruction from perfectoid data plus thickening.

If this is right

  • Differential operators generalizing those of Pan can be systematically constructed on these varieties.
  • A Bernstein-Gelfand-Gelfand-Fontaine complex based on dual BGG complexes can be introduced, with its automorphic properties conjectured.
  • The geometric structure supports the proof of a locally analytic Jacquet-Langlands correspondence in a companion paper.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The reconstruction method could be tested on other p-adic moduli spaces that admit perfectoid models but lack direct locally analytic descriptions.
  • The new differential operators might yield explicit formulas for cohomology classes or Hecke actions that were previously inaccessible.

Load-bearing premise

The analytic stacks framework together with the reformulated Riemann-Hilbert correspondence produces a faithful reconstruction of the locally analytic Shimura variety from the perfectoid counterpart and the B_dR^+ thickening.

What would settle it

An explicit infinite-level Shimura variety in which the object obtained by applying the Grothendieck-Messing reconstruction to the perfectoid data and B_dR^+ thickening differs from the original locally analytic variety would disprove the central claim.

read the original abstract

We investigate infinite-level Shimura varieties within the framework of analytic stacks of Clausen-Scholze, developing their smooth, completed, locally analytic, and de Rham realizations. We formulate a Grothendieck-Messing-Hodge-Tate period map, and establish a Grothendieck-Messing theory for locally analytic infinite-level Shimura varieties. This theory, combined with a reformulation of Riemann-Hilbert correspondence, implies that the locally analytic infinite-level Shimura variety can be fully reconstructed purely from its perfectoid counterpart and its $\mathbb{B}_{\mathrm{dR}}^{+}$-thickening. Building upon this geometric structure, we systematically construct differential operators generalizing those of Pan, and we introduce a Bernstein-Gelfand-Gelfand-Fontaine complex based on dual BGG complexes, conjecturing its automorphic properties. These constructions will be used to establish a locally analytic Jacquet-Langlands correspondence in a companion paper ([Jia26a]).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper develops smooth, completed, locally analytic, and de Rham realizations of infinite-level Shimura varieties in the analytic stacks framework of Clausen-Scholze. It formulates a Grothendieck-Messing-Hodge-Tate period map, establishes a Grothendieck-Messing theory for these varieties, and combines this with a reformulation of the Riemann-Hilbert correspondence to claim that the locally analytic infinite-level Shimura variety can be fully reconstructed from its perfectoid counterpart and its B_dR^+-thickening. Building on this, the paper constructs differential operators generalizing those of Pan, introduces a Bernstein-Gelfand-Gelfand-Fontaine complex based on dual BGG complexes, and conjectures its automorphic properties, with these tools intended for a locally analytic Jacquet-Langlands correspondence in a companion paper.

Significance. If the reconstruction theorem and the compatibility of the reformulated Riemann-Hilbert correspondence hold, the work would provide a geometric bridge between perfectoid and locally analytic structures on Shimura varieties, potentially streamlining applications of p-adic Hodge theory. The differential operators and BGG-Fontaine complex offer concrete tools for studying automorphic forms in this setting, and the conjecture on automorphic properties could link to representation-theoretic questions if verified in the companion paper.

major comments (2)
  1. The reconstruction result is presented as a direct consequence of the established Grothendieck-Messing theory together with a reformulation of the Riemann-Hilbert correspondence; the manuscript must supply an explicit statement of this reformulation (including its precise hypotheses and how it interacts with the period map) so that independence from the target reconstruction can be verified.
  2. The construction of the BGG-Fontaine complex is introduced via dual BGG complexes, but the manuscript should include a precise definition of the complex (e.g., its terms and differentials) and a clear statement of the automorphy conjecture to allow assessment of its scope.
minor comments (2)
  1. The notation B_dR^+ is used without an initial definition or reference to its standard construction in the literature.
  2. The abstract refers to a companion paper [Jia26a]; a brief summary of the intended application of the differential operators and complex to the Jacquet-Langlands correspondence would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comments. We address each point below and indicate the revisions we will make to improve clarity.

read point-by-point responses

  1. Referee: The reconstruction result is presented as a direct consequence of the established Grothendieck-Messing theory together with a reformulation of the Riemann-Hilbert correspondence; the manuscript must supply an explicit statement of this reformulation (including its precise hypotheses and how it interacts with the period map) so that independence from the target reconstruction can be verified.

    Authors: We agree that an explicit, standalone statement of the reformulation of the Riemann-Hilbert correspondence, including its precise hypotheses and its interaction with the Grothendieck-Messing-Hodge-Tate period map, will make the independence of the reconstruction theorem clearer. In the revised manuscript we will insert a dedicated paragraph (or subsection) that isolates this reformulation, states its hypotheses explicitly, and verifies that the reconstruction of the locally analytic infinite-level Shimura variety follows directly from it together with the Grothendieck-Messing theory already developed. revision: yes

  2. Referee: The construction of the BGG-Fontaine complex is introduced via dual BGG complexes, but the manuscript should include a precise definition of the complex (e.g., its terms and differentials) and a clear statement of the automorphy conjecture to allow assessment of its scope.

    Authors: We acknowledge that the current presentation of the BGG-Fontaine complex, while based on dual BGG complexes, would benefit from a fully explicit definition of its terms and differentials together with a precise formulation of the automorphy conjecture. In the revision we will expand the relevant section to give the concrete chain complex (including the explicit differentials) and to state the conjecture on automorphic properties in full detail, including its intended scope and its relation to the companion paper on the locally analytic Jacquet-Langlands correspondence. revision: yes

Circularity Check

0 steps flagged

Derivation chain self-contained with no detectable circularity

full rationale

The paper claims that Grothendieck-Messing theory combined with a reformulation of the Riemann-Hilbert correspondence reconstructs the locally analytic infinite-level Shimura variety from its perfectoid counterpart and B_dR^+-thickening. No equations, definitions, or steps in the abstract reduce the output to the input by construction, nor do any load-bearing claims rely on self-citations whose content is unverified or assumed. The constructions of differential operators and the BGG-Fontaine complex are presented as building upon the reconstruction rather than presupposing it. The companion paper citation is for future application and does not support the central geometric claim. Per the rules, without explicit reduction (e.g., a fitted parameter renamed as prediction or an ansatz smuggled via self-citation), the derivation is treated as independent and self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The work rests on the analytic stacks framework of Clausen-Scholze and an unspecified reformulation of the Riemann-Hilbert correspondence; no free parameters or invented entities are visible in the abstract.

axioms (2)
  • domain assumption Analytic stacks framework of Clausen-Scholze supplies the correct notion of locally analytic infinite-level Shimura varieties.
    Invoked in the first sentence of the abstract as the ambient setting.
  • ad hoc to paper A reformulation of the Riemann-Hilbert correspondence exists that is compatible with the Grothendieck-Messing period map.
    Explicitly used to obtain the reconstruction theorem.
invented entities (1)
  • BGG-Fontaine complex no independent evidence
    purpose: To encode automorphic properties of differential operators on the locally analytic Shimura variety.
    Introduced in the abstract as a new object whose automorphic properties are conjectured.

pith-pipeline@v0.9.0 · 5453 in / 1466 out tokens · 38584 ms · 2026-05-10T17:03:35.610852+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Classicality of Hilbert modular forms

    math.NT 2026-05 unverdicted novelty 6.0

    Proves classicality for Hecke characters in completed cohomology of Hilbert modular varieties under absolute irreducibility and regular parallel weight conditions on Galois representations, giving new cases of the LCF...

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages · cited by 1 Pith paper

  1. [1]

    Affine stacks and derived rings

    arXiv:2510.15196 [math.AG].url:https://arxiv.org/abs/2510.15196. [AM25] Mathew Akhil and Shubhodip Mondal. “Affine stacks and derived rings”. In: (2025). url:https://personal.math.ubc.ca/~smondal/papers/affinestacks.pdf. [And21] Grigory Andreychev. “Pseudocoherent and perfect complexes and vector bundles on analytic adic spaces”. In:arXiv preprint arXiv:2...

    work page arXiv 2025

  2. [2]

    Inscription,twistors,and p-adicperiods

    arXiv:2410.13038 [math.CT].url:https://arxiv.org/abs/2410.13038. [How25] SeanHowe.“Inscription,twistors,and p-adicperiods”.In:arXiv preprint arXiv:2508.11589 (2025). [Hub13] Roland Huber.Étale cohomology of rigid analytic varieties and adic spaces. Vol. 30. Springer, 2013. REFERENCES 107 [Hum08] James E. Humphreys.Representations of semisimple Lie algebra...

    work page doi:10.5802/jep.329 2025