🔢 mathematics

p-adic Cherednik algebras on rigid analytic spaces

This paper constructs and studies sheaves of $p$ -adic Cherednik algebras on the small étale site of a quotient rigid analytic space $X/G$ , providing a $p$ -adic analytic analogue to the algebraic constructions introduced by P. Etingof.

Original authors: Fernando Peña Vázquez

Published 2026-02-10

📖 3 min read🧠 Deep dive

CC BY 4.0

Original authors: Fernando Peña Vázquez

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a master architect tasked with designing a city. However, this isn't a normal city; it’s a "Rigid Analytic City." In this city, the streets aren't made of asphalt, but of complex mathematical structures called p-adic numbers. These numbers behave strangely—the further you travel, the "smaller" things might actually become, and the geometry is much more "fractal" and delicate than the world we live in.

Now, imagine that this city has a very strict set of rules (a Group Action) that dictates how buildings can be rotated, flipped, or mirrored. If you try to build a park in the middle of a square, the rules might say, "No, if you rotate this square, the park must also rotate."

This paper, written by Fernando Peña Vázquez, is essentially a new, advanced manual for architects working in this strange, fractal, mirrored city.

Here is the breakdown of the paper using everyday analogies:

1. The Problem: The "Mirror" Glitch

In a normal city, if you have a square and you rotate it, you can easily describe the new position. But in this mathematical city, the "mirrors" (the group actions) are so powerful that they create "glitches" at the points where the mirrors meet.

If you try to use standard calculus (the math of smooth movement) to describe how things change near these mirror points, the math "breaks." It’s like trying to use a smooth, flowing paintbrush to paint a sharp, jagged crack in a mirror—the brush just won't fit the shape.

2. The Solution: The "Cherednik" Toolset

To fix this, mathematicians use something called Cherednik Algebras.

Think of a Cherednik Algebra as a "Smart Paintbrush." Unlike a regular paintbrush that only moves in smooth lines, this smart paintbrush is programmed to understand the mirrors. When the brush approaches a mirror point, it doesn't crash; instead, it automatically adjusts its stroke to account for the reflection. It combines "smooth movement" (calculus) with "sudden jumps" (the reflections) into one single, elegant motion.

3. The Innovation: Making it "p-adic"

Before this paper, these "Smart Paintbrushes" (Cherednik Algebras) existed for "normal" mathematical cities (complex numbers). But they didn't work in the p-adic city—the fractal, strange city mentioned earlier.

The author has successfully "upgraded" the technology. He has constructed "p-adic Cherednik Algebras." He has proven that you can take these smart tools and apply them to the entire fractal city, even when the city is divided into many different neighborhoods (the étale site).

4. The Technical Achievement: The "Fréchet-Stein" Blueprint

One of the hardest parts of building in a fractal city is making sure the buildings don't fall apart when you look at them through a microscope. In math, this is called "stability" or "convergence."

The author proves that these new algebras are "Fréchet-Stein algebras."

Analogy: Imagine you are building a massive skyscraper out of infinitely small Lego bricks. A "Fréchet-Stein" structure is a guarantee that even though you are using infinitely many tiny pieces, the skyscraper will be solid, stable, and won't wobble or disappear when you zoom in.

Summary: Why does this matter?

In the grand scheme of mathematics, this paper provides the "blueprints" for a new way to study symmetry and movement in the most complex, abstract environments imaginable.

By creating these tools, the author allows future mathematicians to study "co-admissible modules"—which you can think of as the "residents" or "traffic" of this strange city. Now that we have the right "Smart Paintbrushes" and "Stable Blueprints," we can finally start studying how life (mathematical objects) moves and behaves in a world of infinite reflections and fractal streets.

Technical Summary: $p$ -adic Cherednik Algebras on Rigid Analytic Spaces

Author: Fernando Peña Vázquez
Subject Area: Non-commutative geometry, Rigid Analytic Geometry, Representation Theory

1. The Problem

The paper addresses the construction and study of $p$ -adic analytic versions of rational Cherednik algebras. In the classical algebraic setting, rational Cherednik algebras are non-commutative deformations of the skew group algebra of differential operators ( $G \ltimes \mathcal{D}_X$ ) associated with a finite group $G$ acting on a smooth variety $X$ . While these algebras are well-understood in algebraic geometry and representation theory, their $p$ -adic counterparts—specifically in the context of rigid analytic spaces—had not been systematically developed.

The central challenge is to extend the theory of "infinite order" $p$ -adic differential operators (developed by Ardakov and Wadsley) to the setting of Cherednik algebras, which involve complex "Dunkl-Opdam" operators that incorporate group-theoretic reflections. This requires reconciling the non-commutative deformation theory of Cherednik algebras with the topological and analytic complexities of rigid spaces (such as Fréchet-Stein structures and the Shilov boundary).

2. Methodology

The author employs a multi-step construction moving from local affinoid settings to global sheaves on the étale site:

Geometric Foundation: The author first establishes the necessary rigid-geometric tools, specifically regarding the existence of categorical quotients $X/G$ for smooth rigid $G$ -varieties and the properties of fixed-point loci and reflection hypersurfaces.
Twisted Differential Operators (TDOs): The construction relies on Atiyah algebras (Picard algebroids) to define sheaves of twisted differential operators. The author extends the theory of $p$ -adic TDOs to the twisted setting, showing they can be viewed as Fréchet-Stein completions of classical TDOs.
Dunkl-Opdam Operators: To define the Cherednik algebra, the author introduces $p$ -adic Dunkl-Opdam operators. These are defined locally using the residue map on hypersurfaces and are designed to satisfy specific commutation relations with the coordinate ring.
Fréchet-Stein Completion: Because the Cherednik algebra is not a simple enveloping algebra, the author uses Cherednik lattices (integral models of the Lie-Rinehart structure) to construct the $p$ -adic version. The $p$ -adic Cherednik algebra is defined as the inverse limit of completions of these lattices, ensuring it possesses a Fréchet-Stein structure.
Sheafification: The author uses the small étale site of the quotient $X/G_{ét}$ to globalize these local constructions, ensuring that the resulting objects are well-behaved sheaves.

3. Key Contributions and Results

Construction of $p$ -adic Cherednik Algebras: The primary contribution is the formal definition of the sheaf of $p$ -adic Cherednik algebras $\mathcal{H}_{t,c,\omega,X,G}$ on the étale site of the quotient space.
PBW Theorem: The author proves a Poincaré-Birkhoff-Witt (PBW) Theorem for these algebras, establishing that the associated graded algebra of the Dunkl-Opdam filtration is isomorphic to the skew group algebra of the symmetric algebra of the tangent sheaf ( $G \ltimes \text{Sym}(\mathcal{T}_{X/K})$ ).
Fréchet-Stein Property: A major technical result is proving that these algebras are Fréchet-Stein algebras. This is crucial because it allows for a robust theory of modules, specifically the category of co-admissible modules.
Sheaf Properties: The author demonstrates that the sheaf of $p$ -adic Cherednik algebras has trivial higher Čech cohomology, which is a prerequisite for a functional localization theory.
Flatness of Transition Maps: The paper proves that the transition maps between different affinoid subdomains are $c$ -flat, ensuring that the localization of modules is well-behaved.

4. Significance

The paper provides a bridge between non-commutative deformation theory and $p$ -adic arithmetic geometry. Its significance is three-fold:

Representation Theory: It lays the groundwork for a $p$ -adic version of Category $\mathcal{O}$ for Cherednik algebras. This has potential applications in the study of representations of $p$ -adic reductive groups and the geometric Langlands program.
Arithmetic Geometry: By providing a $p$ -adic analytic framework, the work allows for the application of Cherednik-type deformations to rigid analytic varieties, which are essential in modern number theory.
Mathematical Framework: The paper extends the Ardakov-Wadsley program (the study of $p$ -adic $\mathcal{D}$ -modules) to a much broader class of non-commutative algebras, providing a template for studying other types of $p$ -adic analytic deformations.