🔢 mathematics

On Drinfeld's representability theorem

This paper provides a new, transparent proof of Drinfeld's representability theorem regarding the moduli of deformations of $p$ -divisible groups and offers a detailed exposition of the associated moduli space and formal model of the $p$ -adic symmetric space.

Original authors: Arnaud Vanhaecke

Published 2026-05-18

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Arnaud Vanhaecke

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 trying to solve a massive jigsaw puzzle, but the pieces are made of two very different materials: one set is made of "rigid glass" (representing complex, continuous shapes), and the other set is made of "soft clay" (representing discrete, pixelated structures).

For decades, mathematicians knew these two sets of pieces belonged to the same picture, but they didn't have a clear, step-by-step manual showing exactly how to snap them together. This paper, by Arnaud Vanhaecke, provides that manual. It offers a fresh, clearer proof of a famous theorem by V. G. Drinfeld, which connects two seemingly unrelated mathematical worlds.

Here is the breakdown of the paper's journey, using everyday analogies:

The Two Worlds Being Connected

1. The "Glass" World (The Symmetric Space):
Imagine a vast, smooth, infinite ocean surface. In mathematics, this is called the p-adic symmetric space. It's a place where you can float around freely, but it has a very specific rule: you are forbidden from touching certain "invisible walls" (which are like flat planes cutting through the ocean). If you touch a wall, you fall out of the game. This space is beautiful, continuous, and smooth.

2. The "Clay" World (The Moduli Space):
Now, imagine a workshop filled with intricate, mechanical toys called "special formal modules." These aren't just any toys; they are complex structures built from smaller parts that can be stretched, squashed, or swapped out (a process called "quasi-isogeny"). The "Moduli Space" is the catalog or the map of every possible version of these toys. It's a bit like a Lego set where you can build infinite variations, but the instructions are written in a very cryptic, pixelated code.

The Big Question:
Drinfeld's theorem claims that the smooth "Glass Ocean" and the pixelated "Toy Workshop" are actually the same place, just viewed from different angles. If you look at the Toy Workshop closely enough, you will see the Glass Ocean. If you look at the Glass Ocean closely enough, you will see the Toy Workshop.

The Problem with the Old Map

Drinfeld proved this in the 1970s, but his original proof was like a sketch drawn on a napkin. It was brilliant but short. Later mathematicians tried to fill in the gaps, but for the more complex versions of the puzzle (where the dimension is higher), the instructions were missing or too hard to follow. It was like having a map that showed the destination but skipped the turns in the middle.

Vanhaecke's New Strategy: The "Three-Part Check"

Instead of trying to force the two worlds together in one giant leap, Vanhaecke uses a modern technique (inspired by recent work by Lourenço and Scholze) to check the connection in three distinct, manageable steps. Think of it like verifying that two buildings are identical by checking three things:

The Roof (The Generic Fiber):
First, look at the top of both buildings. In the "Glass" world, this is the smooth ocean surface. In the "Toy" world, this is the most flexible, high-level version of the toys. Vanhaecke proves that if you look at the "tops" of both structures, they are perfectly identical. He uses a special "period map" (a kind of translator) to show that every toy corresponds to a specific spot on the ocean, and vice versa.
The Foundation (The Perfected Special Fiber):
Next, look at the very bottom, the foundation. In the "Toy" world, this is the "perfect" version of the toys where the pixelation is smoothed out (a process called "perfection"). In the "Glass" world, this is the underlying grid of the ocean floor. Vanhaecke shows that the foundation of the Toy Workshop is built exactly like the grid of the Glass Ocean. He does this by breaking the foundation down into smaller, manageable "rooms" (called irreducible components) and showing that each room in the Toy world matches a specific room in the Glass world.
The Elevator (The Specialization Morphism):
Finally, you need to make sure the elevator works. You need to prove that if you take a point from the "Roof" (the smooth ocean) and ride the elevator down to the "Foundation" (the grid), you land in the exact same spot as if you had started at the corresponding point in the Toy Workshop and rode its elevator down. This ensures the two structures aren't just similar at the top and bottom, but are connected all the way through.

The "Magic" Connection: Lattices and Chains

A key part of the paper involves a clever trick using "lattices." Imagine the toys are made of chains of links.

In the "Glass" world, these chains are smooth and continuous.
In the "Toy" world, the chains are made of rigid, discrete blocks.

Vanhaecke shows that there is a specific way to count the "critical links" in the Toy chains. When you find these critical links, they act like a secret code that tells you exactly which smooth spot on the Glass Ocean the toy belongs to. It's like finding a unique fingerprint on a toy that instantly tells you its GPS coordinates in the ocean.

The Result

By proving that the Roof matches, the Foundation matches, and the Elevator connects them correctly, Vanhaecke proves that the entire buildings are identical.

In simple terms:
The paper says, "We have a smooth, continuous shape (the p-adic symmetric space) and a complex, discrete collection of algebraic objects (Drinfeld's moduli space). We have proven, using a new and clearer method, that these two things are actually the same object. We did this by checking their tops, their bottoms, and the connection between them, ensuring that the 'toy' version and the 'ocean' version are just two different ways of describing the same mathematical reality."

This confirmation is crucial because it allows mathematicians to use the smooth tools of geometry to solve problems about the discrete toys, and vice versa, opening up new ways to understand the deep structure of numbers.

Technical Summary of "On Drinfeld's Representability Theorem" by Arnaud Vanhaecke

Problem Statement
The paper addresses Drinfeld's representability theorem, a cornerstone of $p$ -adic Hodge theory established in the 1970s. The theorem characterizes the $p$ -adic symmetric space $H^d_E$ (a rigid analytic space over a finite extension $E$ of $\mathbb{Q}_p$ ) as the moduli space of deformations by quasi-isogenies of certain formal abelian groups known as special formal $O_D$ -modules (SFDs). Specifically, it asserts a $GL_d(E)$ -equivariant isomorphism between Drinfeld's moduli space $\breve{M}_{Dr}$ and a semi-stable formal model $\breve{H}^d_{\breve{O}}$ of the symmetric space.

While the theorem is fundamental, the original proof by Drinfeld was concise, and exhaustive accounts for dimensions $d > 2$ have been scarce in the literature, with detailed treatments previously limited to the case $d=2$ (e.g., by Boutot and Carayol). The paper aims to provide a new, more transparent proof of this theorem for arbitrary $d \geq 2$ and to present a detailed exposition of the underlying moduli spaces and formal models.

Methodology
The author employs modern techniques in $p$ -adic geometry, specifically leveraging the Lourenço–Scholze theorem. This theorem states that a flat, normal formal scheme over $\breve{O}$ (the ring of integers of the maximal unramified extension of $E$ ) is entirely determined by the triple consisting of:

Its rigid generic fiber.
The perfection of its special fiber.
The specialization morphism between their classical points.

By reducing the representability theorem to three independent statements concerning these components, the paper avoids the intricate gluing data required in classical approaches (such as display theory) which become unwieldy for $d > 2$ . The proof proceeds in three main stages:

The Generic Fiber: The author constructs the Grothendieck–Messing period morphism $\pi: M_{\breve{E}} \to \mathbb{P}^{d-1}_{\breve{E}}$ . Using the classification of $p$ -divisible groups over $\mathcal{O}_C$ (via Fargues–Scholze–Weinstein) and the theory of vector bundles on the Fargues–Fontaine curve, the paper establishes that $\pi$ is an open immersion with image exactly the Drinfeld symmetric space $H^d_{\breve{E}}$ . This involves analyzing minuscule modifications of vector bundles and utilizing the "two-tower principle" to relate $D$ -bundles to rank $d$ vector bundles.
The Perfected Special Fiber: The paper analyzes the special fiber of the moduli space over the residue field $k$ . It utilizes Cartier theory over perfect rings to associate SFDs with special Cartier modules. A key technical step is the proof that over perfect rings, critical indices (indices where the Frobenius action vanishes) always exist on irreducible schemes. This allows the decomposition of the moduli space into "lattice subschemes" indexed by the Bruhat–Tits building. These subschemes are shown to be isomorphic to perfectizations of compactified Deligne–Lusztig varieties, thereby establishing an isomorphism between the perfected special fibers of the moduli space and the formal model.
Compatibility of Specialization: The final step verifies that the isomorphisms constructed on the generic and special fibers commute with the specialization morphism. This is achieved by explicitly describing the maps on classical points, relating the period map (via Hodge filtration) and the lattice construction (via critical indices) to the same geometric data involving norms and lattices in $E^d$ .

Key Contributions and Results

New Proof of Drinfeld's Theorem: The paper provides a complete proof of the isomorphism $\breve{M}_{Dr} \cong \breve{H}^d_{\breve{O}}$ for all $d \geq 2$ , filling a gap in the literature regarding exhaustive accounts for higher dimensions.
Modernization of Techniques: By replacing classical Dieudonné theory and display theory with the classification of vector bundles on the Fargues–Fontaine curve and the Lourenço–Scholze theorem, the proof is rendered more transparent and accessible.
Detailed Structural Analysis: The paper offers a rigorous construction of the Deligne formal model $\breve{H}^d_{\breve{O}}$ as a limit over the Bruhat–Tits building, explicitly identifying irreducible components with compactified Deligne–Lusztig varieties.
Explicit Isomorphisms: The author constructs explicit isomorphisms between the lattice subschemes of the moduli space and the corresponding geometric strata of the symmetric space, demonstrating their compatibility with the $GL_d(E)$ action.

Significance
The paper positions itself as both an introduction to classical topics in $p$ -adic arithmetic geometry and a reference for Drinfeld's theorem. It does not claim to discover new applications but rather to clarify the foundational theorem that underpins numerous developments in the field. The author notes that Drinfeld's theorem is a prerequisite for:

The definition of Drinfeld's tower and its relation to the Lubin–Tate tower.
The $p$ -adic uniformization of Shimura curves (Cherednik–Drinfeld theorem).
The geometric realization of the local Langlands correspondence and the Jacquet–Langlands correspondence.
The geometrization of the $p$ -adic Langlands program.
Computations in chromatic homotopy theory.

By providing a self-contained and detailed proof, the paper aims to make these deep connections more accessible to non-experts and to serve as a reliable reference for experts working in $p$ -adic Hodge theory and the Langlands program. The work relies on the "two-tower principle" and recent advances in the classification of $p$ -divisible groups, illustrating the continuity between Drinfeld's original insights and modern geometric methods.

The Two Worlds Being Connected

The Problem with the Old Map

Vanhaecke's New Strategy: The "Three-Part Check"

The "Magic" Connection: Lattices and Chains

The Result

More like this