$p$-adic Maass--Shimura operators on $μ$-ordinary Igusa varieties

Andrew Graham, Pol van Hoften, Sean Howe

Abstract

For Shimura varieties of Hodge type, we optimally extend algebraic Maass--Shimura differential operators on $p$-integral nearly holomorphic automorphic forms to differential operators on $μ$-ordinary Mantovan Igusa varieties. We then show that the rank one operators can be integrated to an action of an explicit formal group. Via $p$-adic Fourier theory, this provides a $p$-adic interpolation by extending the action of a symmetric algebra of differential operators to the algebra of functions on the Tate module of the dual $p$-divisible group. Passing to the generic fiber, we obtain an action of an explicit algebra of $p$-adic locally analytic functions, and we show that the action of the subalgebra of locally constant functions is equivalent to a natural Hecke action and thus preserves classical forms. In the ordinary case, we further show that the locally analytic action extends to nearly overconvergent automorphic forms. Our results extend, clarify, and recover prior constructions.

Disclosure

“fix a nonarchimedean field K (not necessarily spherically complete). Our goal is to compare locally convex inductive limits with condensed inductive limits. A.1.1. Tool and computational resource disclosure. The authors made use of Chat- GPT 5.5 Pro while writing this appendix. More specifically, the counterexamples in Lemmas A.2.2, A.2.7 and the proofs of Lemmas A.1.7 and A.2.5 were initially suggested to us by that model. We take full responsibility for the written argu- ments.”

PDF page 77
Classification
Substantial mathematical content or result generation
Multiplier
10
Verified

Structural counts

Pages 85 pdf
Theorems 8 pdf fallback
Lemmas 26 pdf fallback
Propositions 15 pdf fallback
Corollaries 18 pdf fallback
Definitions 4 pdf fallback
Displayed equations 663 pdf fallback
Bibliography entries 79 pdf fallback
Appendix pages 85 estimated

Count notes

  • arXiv source was unavailable; PDF-text fallbacks were used.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.