🔢 mathematics

Hodge Theory of $p$ -adic analytic varieties: a survey

This paper surveys recent results and conjectures in the Hodge theory of $p$ -adic analytic varieties, with a particular focus on nonproper cases and the new phenomena and objects revealed by Scholze's perfectoid methods.

Original authors: Pierre Colmez, Wiesława Nizioł

Published 2026-01-26

📖 8 min read🧠 Deep dive

CC BY 4.0

Original authors: Pierre Colmez, Wiesława Nizioł

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

The Big Picture: Two Worlds of Geometry

Imagine you are an architect trying to understand the shape of a building. In the "Complex World" (the world of standard calculus and complex numbers), you have a very reliable blueprint. You can measure the building's holes, loops, and twists using two different tools:

De Rham Cohomology: Measuring the building by looking at its smooth surfaces and flows (like water flowing over a roof).
Betti Cohomology: Counting the actual holes and loops (like how many tunnels go through a mountain).

In the Complex World, these two tools always agree perfectly. If you translate the measurements from one tool to the other, they match up exactly. This is a famous result called the Hodge Decomposition.

The Problem:
Now, imagine trying to do this same thing in the p-adic World. This is a strange, "digital" version of geometry based on prime numbers (like 2, 3, 5, 7...). In this world, the usual blueprints break down. The "smooth surfaces" and the "counting of holes" don't seem to talk to each other anymore. For a long time, mathematicians (starting with Tate and refined by Fontaine) built a complex translation dictionary (involving special rings like $B_{dR}$ and $B_{st}$ ) to try to force these two tools to agree for algebraic varieties (shapes defined by polynomial equations). They eventually succeeded.

The New Challenge:
This paper focuses on p-adic analytic varieties. Think of these as shapes that are "looser" or "more open" than the rigid algebraic ones. They are like open rooms, tunnels, or infinite corridors rather than closed, finite buildings.

The Surprise: When the authors tried to apply the old dictionary to these open shapes, it didn't work. The measurements became "huge" and infinite in ways that broke the old rules.
The Goal: The authors surveyed their new work to show how to fix the dictionary for these open shapes and discovered some brand-new phenomena that only happen in the p-adic world.

Key Concepts and Analogies

1. The "Ghost Circle" and the Open Room

To understand why the old rules failed, the authors look at a simple shape: the open unit disk (an infinite room with no walls).

In the Complex World: If you measure the "holes" in an open room, you find none. It's simple.
In the p-adic World: When they measured the "holes" (cohomology) of this open room, they found something bizarre. The measurements weren't just numbers; they were massive, infinite structures that changed depending on how you looked at them.
The Analogy: Imagine trying to count the air in a room. In the complex world, you just say "it's empty." In the p-adic world, the air seems to have a structure that is infinitely complex and shifts if you change the size of the room slightly. The authors call the boundary of this room a "Ghost Circle." It's a boundary that exists mathematically but has no actual points in the usual sense. It behaves like a wall that is half-real and half-imaginary.

2. The "Basic Comparison Theorem" (The New Dictionary)

The authors developed a new way to translate between the "smooth surface" measurements and the "hole counting" measurements.

The Old Way: You tried to match them directly.
The New Way: They realized you can't just match them directly. You have to use a long exact sequence.
The Analogy: Imagine you are trying to translate a book from English to French, but the book has missing pages. Instead of just translating what is there, you have to write a "translation guide" that says: "If you see a gap here, it corresponds to a specific type of noise there."
The Result: They proved that the p-adic "hole counting" (pro-étale cohomology) is actually built from two ingredients:
1. The "smooth surface" data (De Rham).
2. A special "residue" data (Hyodo-Kato cohomology) that comes from looking at the shape modulo $p$ (like looking at a photo through a blurry filter).
  The new theorem connects these three things in a precise mathematical chain.

3. Banach-Colmez Spaces (The "Huge" Numbers)

One of the biggest discoveries is that the measurements in this new theory aren't just finite numbers (like 1, 2, or 3). They are Banach-Colmez spaces.

The Analogy: Think of a standard number as a single brick. A Banach-Colmez space is like a tower of bricks that is infinitely tall but has a finite "width."
Why it matters: In the old theory, everything was a finite stack of bricks. In this new theory, the "holes" in open p-adic shapes are these infinite towers. This explains why the old Poincaré duality (the rule that says "holes" and "surfaces" are perfect mirrors of each other) broke down. You can't mirror an infinite tower with a single brick.

4. Geometrization (Making it Visible)

The authors realized that these infinite towers aren't just random noise; they have a structure. They "geometrized" the theory.

The Analogy: Imagine you have a cloud of data that looks like static on a TV screen. "Geometrization" is like finding a lens that focuses that static into a clear, recognizable shape. They showed that these cohomology groups can be viewed as presheaves (rules that assign a shape to every possible "perfectoid" space).
The Result: This allowed them to treat these infinite structures as if they were geometric objects, making it possible to apply standard geometric tools to them.

5. Poincaré Duality (The Mirror)

In the complex world, if you have a shape, the number of holes and the number of "surface features" are perfectly linked (Poincaré Duality).

The Problem: In the p-adic open world, this mirror was broken. The "hole" side was an infinite tower, and the "surface" side was a small number. They didn't match.
The Fix: The authors realized the mirror wasn't broken; it was just a different kind of mirror. Instead of a simple reflection, the relationship involves Ext-groups (a mathematical way of measuring how two shapes can be "stretched" or "twisted" into each other).
The Discovery: They proved a new Verdier Duality. It says: "The infinite tower of holes is actually the 'dual' of the surface features, but you have to look at it through the lens of these 'twisting' relationships."
The Ghost Circle again: They found that the "Ghost Circle" (the boundary of the open room) behaves like a proper shape of "real" dimension 1, even though it's a p-adic object. This was a crucial piece of the puzzle that made the duality work.

Summary of the Authors' Claims

The Theory is Fixed: They successfully extended the Hodge Theory (the link between smooth shapes and holes) from closed algebraic varieties to open p-adic analytic varieties.
New Objects: They identified that the cohomology groups of these open shapes are Banach-Colmez spaces (infinite towers), not just finite numbers.
The Comparison Theorem: They provided a precise formula (Theorem 2.4) that links the p-adic "hole counting" to the "smooth surface" data plus a special "residue" data.
Duality Restored: They proved that a form of Poincaré Duality still exists, but it requires using a more sophisticated mathematical framework (involving Ext-groups and TVS categories) to handle the infinite structures.
Conjectures: They proposed a "Cst Conjecture" which suggests that for many of these shapes, you can recover the "smooth" and "residue" data entirely from the "hole counting" data, effectively closing the loop on the theory.

What They Did NOT Claim

They did not claim this solves the p-adic Local Langlands correspondence (a major unsolved problem in number theory). They mentioned it as a motivation for their work, but they explicitly stated they would not elaborate on that application in this survey.
They did not claim these results apply to clinical uses or physical engineering. This is pure, abstract mathematics.
They did not claim the theory is finished. They noted that while they proved it for many cases (like Stein varieties), there are still gaps (like the "small tube" problem) that need further work.

In short, the authors took a broken blueprint for p-adic shapes, realized the "holes" were infinitely complex, built a new dictionary to translate them, and proved that a new kind of mirror symmetry exists, even in this strange, infinite world.

Title: Hodge Theory of p-Adic Analytic Varieties: A Survey
Authors: Pierre Colmez and Wiesława Nizioł
Date: January 26, 2026 (arXiv:2601.16557v1)

1. Problem Statement and Context

The paper addresses the extension of $p$ -adic Hodge theory from algebraic varieties to $p$ -adic analytic varieties, with a specific focus on nonproper (partially proper) varieties.

Historical Context: Classical Hodge theory for complex varieties establishes a comparison between de Rham cohomology and singular (Betti) cohomology, yielding a Hodge decomposition. In the $p$ -adic setting, Tate (1967) conjectured a similar decomposition for the $p$ -adic étale cohomology of proper analytic varieties. Fontaine refined this, introducing period rings ( $B_{cris}, B_{st}, B_{dR}$ ) and conjecturing comparison isomorphisms relating étale cohomology to de Rham and Hyodo-Kato cohomologies.
The Gap: While these conjectures were proven for algebraic varieties between 1985 and 2011, and Scholze (2011) extended the results to proper analytic varieties using perfectoid methods, the theory for nonproper analytic varieties remained largely undeveloped.
Specific Challenges: For nonproper varieties (e.g., the open unit disk), standard $p$ -adic étale cohomology behaves pathologically. Unlike the proper case, cohomology groups can be infinite-dimensional, and Poincaré duality fails in the classical sense. Furthermore, the relationship between étale and pro-étale cohomology is non-trivial; the étale cohomology does not always inject into the pro-étale cohomology, and the latter exhibits "huge" vector space structures (Banach-Colmez spaces) that vary with the base field.

2. Methodology

The authors employ a synthesis of modern $p$ -adic Hodge theory tools, adapted to the analytic setting:

Pro-étale Cohomology: The authors work primarily with pro-étale cohomology ( $H^*_{pro\acute{e}t}$ ) with $\mathbb{Q}_p$ coefficients rather than étale cohomology. This choice is motivated by the fact that rational $p$ -adic Hodge theory is more robust than the integral theory required for étale cohomology.
Comparison Theorems: The core methodology involves establishing comparison isomorphisms between pro-étale cohomology and refined de Rham cohomology. This is achieved by viewing pro-étale cohomology as a "refined Lazard isomorphism," passing from group cohomology of fundamental groups to Lie algebra cohomology via period rings.
Hyodo-Kato Cohomology: The authors utilize Hyodo-Kato cohomology ( $H_{HK}$ ) as an avatar of $\ell$ -adic cohomology. This structure, equipped with Frobenius ( $\phi$ ), monodromy ( $N$ ), and Galois actions, is constructed using alterations (à la Beilinson) or rigid analytic motives to reduce to semistable models.
Banach-Colmez (BC) Spaces and qBCs: To handle the infinite-dimensional nature of cohomology groups for nonproper varieties, the authors work within the category of Banach-Colmez spaces (and their generalization, qBCs) and Topological Vector Spaces (TVS). This framework allows for the definition of dimension and height, which are crucial for formulating duality.
Geometrization: A key methodological step is the "geometrization" of the comparison theorem. The authors treat cohomology groups as presheaves of topological vector spaces on the category of perfectoid affinoid spaces, allowing them to apply geometric techniques (like the Fargues-Fontaine curve) to analytic problems.
Dualities via Ext-groups: The authors resolve the failure of classical Poincaré duality by interpreting duals in the TVS category. Specifically, they identify the $\mathbb{Q}_p$ -dual of the field $C_p$ not as a vector space dual, but as an extension group $\text{Ext}^1_{\text{TVS}}(\mathbb{G}_a, \mathbb{Q}_p) \simeq C_p$ .

3. Key Contributions and Results

A. The Basic Comparison Theorem (Theorem 2.4)

The authors establish a long exact sequence in the derived category of solid $\mathbb{Q}_p$ -modules ( $D(\mathbb{Q}_p, 2)$ ) relating pro-étale cohomology to de Rham and Hyodo-Kato cohomologies:
$\dots \to X_{r,n-1} \to DR_{r,n-1} \to H^n_{pro\acute{e}t}(Y_C, \mathbb{Q}_p(r)) \to X_{r,n} \to DR_{r,n} \to \dots$
where $X_{r,n}$ involves Hyodo-Kato cohomology and $DR_{r,n}$ involves de Rham cohomology. This theorem holds for smooth rigid analytic varieties with overconvergent structures (e.g., Stein varieties, analytifications of algebraic varieties).

B. The $C_{st}$ Conjecture (Conjecture 4.1)

The paper formulates the $C_{st}$ conjecture for nonproper varieties, asserting that the pro-étale cohomology can be recovered from de Rham and Hyodo-Kato cohomologies via a specific exact sequence (a "bicartesian" square).

Status: The conjecture is proven for proper varieties, Stein varieties, analytifications of algebraic varieties, and products thereof.
Limitations: The authors note that a full proof for general quasi-compact varieties remains open due to technical difficulties with $R\lim$ in coherent cohomology and a false lemma in their initial induction argument.

C. Poincaré Duality (Conjecture 6.5 / Theorem)

The paper resolves the problem of duality for nonproper varieties by proving a Geometric Duality in the category of TVS:
$R\Gamma_{pro\acute{e}t}(Y_C, \mathbb{Q}_p) \simeq R\text{Hom}_{\text{TVS}}(R\Gamma_{pro\acute{e}t,c}(Y_C, \mathbb{Q}_p(d))[2d], \mathbb{Q}_p)$

Mechanism: This duality is not a simple vector space isomorphism but a Verdier-type duality involving non-trivial $\text{Ext}^1$ groups. For example, for the open unit disk, the duality relates $H^1_{pro\acute{e}t}$ to the $\text{Ext}^1$ of $H^2_{pro\acute{e}t,c}$ .
Arithmetic Duality: For Stein varieties, a non-derived arithmetic duality is also established, relating cohomology with compact support to standard cohomology.

D. New Objects and Structures

Period Rings $B_{pFF}$ and $B_{FF}$ : The authors introduce new period rings ( $B_{pFF} = B_{FF}[\log t]$ ) to handle Galois acyclicity and formulate duality for compactly supported cohomology.
Pattern of a Curve: For 1-dimensional affinoids, the authors describe a combinatorial "pattern" (graph of shorts and legs) that allows for the explicit computation of Hyodo-Kato cohomology.

4. Significance and Claims

The paper claims to provide a comprehensive survey of the authors' results and conjectures regarding the Hodge theory of $p$ -adic analytic varieties, specifically filling the gap left by the study of nonproper varieties.

Unification: It unifies the theory of proper and nonproper analytic varieties under a single framework of pro-étale cohomology and refined de Rham data.
Resolution of Pathologies: It explains and resolves the "pathological" behavior of cohomology groups for nonproper varieties (e.g., infinite dimensionality, lack of base change invariance) by embedding them in the category of Banach-Colmez spaces and TVS.
Foundation for Applications: The authors state that these results are motivated by potential applications to the geometrization of the $p$ -adic local Langlands correspondence. They note that while the current results focus on pro-étale cohomology, the étale cohomology (crucial for Langlands) is more fragmentary, but the pro-étale results provide a necessary geometric foundation.
Modesty: The authors explicitly acknowledge that the $C_{st}$ conjecture is not yet proven in full generality for all quasi-compact varieties and that the duality for boundaries (Conjecture 6.8) remains open in the general setting.

In summary, the paper establishes that the Hodge theory of $p$ -adic analytic varieties, even in the nonproper case, is governed by a rich structure of period rings, Hyodo-Kato cohomology, and topological vector space dualities, extending the classical Fontaine-Tate framework beyond the realm of proper algebraic varieties.