Searcharxiv⌕ Search

arXiv subjects

Pierre Colmez

Publications and source records attributed to Pierre Colmez.

At least 19 recordsLinked to original sources
arXiv2026

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

Hodge Theory of $p$-adic analytic varieties was initiated by Tate in his 1967 paper on $p$-divisible groups, where he conjectured the existence of a Hodge-like decomposition for the $p$-adic \'etale cohomology of proper analytic varieties. Tate's conjecture was refined by Fontaine who gave the theory its definite shape. A lot of work has been done for algebraic varieties and a number of proofs of Fontaine's conjectures have been obtained between years 1985 and 2011. But the study of Hodge Theory of $p$-adic analytic varieties started really only in 2011 with Scholze's proof of Tate's conjecture using perfectoid methods. Methods that opened the way to an avalanche of results. In this paper, we survey our results and conjectures (comparison theorems and their geometrization, dualities, etc.), focusing on the case of nonproper analytic varieties, where a number of new phenomena occur. We also describe the new objects that appeared along the way.

math.AG↗
arXiv2025

Une conjecture $C_{\rm st}$ pour la cohomologie \`a support compact

Let $\mathbf{B}$ be the ring of analytic functions on the Fargues-Fontaine curve $Y_{\rm FF}$. We show that adding $p$-adic analogs of $\log p$ and $\log 2\pi i$ kills its Galois cohomology in degrees~$\geq 1$. The analogous result for $\mathbf{B}^+_{\rm dR}$ is folklore. This makes it possible to formulate $C_{\rm dR}$ and $C_{\rm st}$-type conjectures for compact support cohomology of $p$-adic analytic varieties.

math.AG↗
arXiv2025

Topological Vector Spaces

Motivated by applications to duality theorems for $p$-adic pro-\'etale cohomology of rigid analytic spaces, we study the category of Topological Vector Spaces in the setting of condensed mathematics. We prove that it contains, as full subcategories, both the category of (topologically) bounded algebraic Vector Spaces and the category of perfect complexes on the Fargues-Fontaine curve. Vector Spaces coming from $p$-adic pro-\'etale cohomology of smooth partially proper rigid analytic varieties are examples of sheaves belonging to the former category.

math.AG↗
arXiv2025

La formule limite de Kronecker

We make some remarks about the relation between the Kronecker limit formula for totally real fields, (normalized) periods of CM abelian varieties, and units in abelian extensions of CM fields.

math.NT↗
arXiv2024

Duality for $p$-adic geometric pro-\'etale cohomology

We prove that $p$-adic geometric pro-\'etale cohomology of smooth partially proper rigid analytic varieties over $p$-adic fields seen in the category of Topological Vector Spaces satisfies a Poincar\'e duality as we have conjectured. This duality descends, via fully-faithfulness results of Colmez-Nizio{\l}, from a Poincar\'e duality for solid quasi-coherent sheaves on the Fargues-Fontaine curve representing this cohomology. The latter duality is proved by passing, via comparison theorems, to analogous sheaves representing syntomic cohomology and then reducing to Poincar\'e duality for ${\mathbf B}^+_{\rm st}$-twisted Hyodo-Kato and filtered $\mathbf{B}^+_{\rm dr}$-cohomologies that, in turn, reduce to Serre duality for smooth Stein varieties -- a classical result.

math.AG↗
arXiv2024

La m\'ethode de Shintani et ses variantes

We give several versions of Shintani's method for the decomposition into simplicial cones of the fundamental domain of a torus modulo a lattice, and we investigate some applications to the study of Hecke $L$-functions at integer points. In particular, we prove the analytic class number formula for a totally real field, directly at $s=0$.

math.NT↗
arXiv2024

Exercices ad\'eliques

We study the cohomology of the group of rational points of a linear algebraic group on adelic functional spaces, and we explore the relation with Emerton's completed cohomology.

math.NT↗
arXiv2023

Prolongement analytique de fonctions $\zeta$ et de fonctions $L$

Wiles' work on Fermat's last Theorem highlighted the power of $p$-adic methods to prove the existence of analytic continuations of $\zeta$ and $L$ functions. These methods have become considerably more sophisticated in recent years, and have produced a wealth of beautiful results: Hasse--Weil conjecture for genus $2$ curves, holomorphy of $L$-functions of symmetric powers of modular forms, etc. We present some of these advances.

math.NT↗
arXiv2023

Arithmetic duality for $p$-adic pro-\'etale cohomology of analytic curves

We prove a Poincar\'e duality for arithmetic $p$-adic pro-\'etale cohomology of smooth dagger curves over finite extensions of ${\mathbf Q}_p$. We deduce it, via the Hochschild-Serre spectral sequence, from geometric comparison theorems combined with Tate and Serre dualities. The compatibility of all the products involved is checked via reduction to the ghost circle, for which we also prove a Poincar\'e duality (showing that it behaves like a proper smooth analytic variety of dimension $1/2$). Along the way we study functional analytic properties of arithmetic $p$-adic pro-\'etale cohomology and prove that the usual cohomology is nuclear Fr\'echet and the compactly supported one -- of compact type.

math.NT↗
arXiv2022

Factorization de la cohomologie \'etale p-adique de la tour de Drinfeld

For a finite extension $F$ of ${\mathbf Q}_p$, Drinfeld defined a tower of coverings of ${\mathbb P}^1\setminus {\mathbb P}^1(F)$ (the Drinfeld half-plane). For $F = {\mathbf Q}_p$, we describe a decomposition of the $p$-adic geometric \'etale cohomology of this tower analogous to Emerton's decomposition of completed cohomology of the tower of modular curves. A crucial ingredient is a finitness theorem for the arithmetic \'etale cohomology modulo $p$ which is shown by first proving, via a computation of nearby cycles, that this cohomology has finite presentation. This last result holds for all $F$; for $F\neq {\mathbf Q}_p$, it implies that the representations of ${\rm GL}_2(F)$ obtained from the cohomology of the Drinfeld tower are not admissible contrary to the case $F = {\mathbf Q}_p$.

math.NT↗
arXiv2022

Correspondance de Langlands locale $p$-adique et anneaux de Kisin

We use a ${\mathcal B}$-adic completion and the $p$-adic local Langlands correspondence for ${\mathrm {GL}}_2({\mathbf Q}_p )$ to give a construction of Kisin's rings and the attached universal Galois representations (in dimension 2 and for ${\mathbf Q}_p$) directly from the classical Langlands correspondence. This gives, in particular, a uniform proof of the geometric Breuil-M\'ezard conjecture in the supercuspidal case.

math.NT↗
arXiv2021

On the cohomology of p-adic analytic spaces, II: The $C_{\rm st}$-conjecture

Long ago, Fontaine formulated conjectures (now theorems) relating \'etale and de Rham cohomologies of algebraic varieties over $p$-adic fields. In an earlier work we have shown that pro-\'etale and de Rham cohomologies of analytic varieties in the two extreme cases: proper and Stein, are also related. In the proper case, the comparison theorems are similar to those for algebraic varieties, but for Stein varieties they are quite different. In this paper, we state analogs of Fontaine's conjectures for general smooth dagger varieties, that interpolate between these two extreme cases, and we prove them for many ``small'' varieties (cases we deal with include products of overconvergent affinoids and proper varieties, analytifications of algebraic varieties, or "almost proper" dagger varieties). The proofs use a ``geometrization'' of all involved cohomologies in terms of quasi-Banach-Colmez spaces (qBC's for short, quasi- because we relax the finiteness conditions). The heart of the proof relies on delicate properties of BC's and qBC's. These properties should be of independent interest and we have devoted a large part of the paper to them.

math.AG↗
arXiv2021

On the cohomology of $p$-adic analytic spaces, I: The basic comparison theorem

The purpose of this paper is to prove a basic $p$-adic comparison theorem for smooth rigid analytic and dagger varieties over the algebraic closure $C$ of a $p$-adic field: $p$-adic pro-\'etale cohomology, in a stable range, can be expressed as a filtered Frobenius eigenspace of de Rham cohomology (over $\bf{B}^+_{\rm dR}$). The key computation is the passage from absolute crystalline cohomology to Hyodo-Kato cohomology and the construction of the related Hyodo-Kato isomorphism. We also "geometrize" our comparison theorem by turning $p$-adic pro-\'etale and syntomic cohomologies into sheaves on the category ${\rm Perf}_C$ of perfectoid spaces over $C$ (this geometrization will be crucial in our proof of the $C_{\rm st}$-conjecture in the sequel to this paper).

math.NT↗
arXiv2021

Une factorisation de la cohomologie compl\'et\'ee et du syst\`eme de Beilinson-Kato

We show that the modular symbol $(0,\infty)$, considered as an element of the dual of Emerton's completed cohomology, interpolates Kato's Euler system at classical points, and we deduce from this a factorisation of Beilinson-Kato's system as a product of two symbols $(0,\infty)$ (an algebraic analog of Rankin's method). The proof uses the $p$-adic local Langlands correspondence for ${\mathbf GL}_2({\mathbf Q}_p)$ and Emerton's factorization of the completed cohomology of the tower of modular curves for which we provide a new proof resting upon the construction of a Kirillov model for the completed cohomology, and which we refine by imposing conditions at classical points; the existence of such a refinement is a manifestation of an analyticity property for $p$-adic periods of modular forms.

math.NT↗