The paper studies a form of cohomology theory for certain geometric spaces that arise naturally in modern number theory, specifically so-called p-adic rigid-analytic spaces. These are geometric objects built using the p-adic numbers rather than the usual real or complex numbers. The central goal is to prove two fundamental structural results: a finiteness theorem, which says the cohomological invariants of these spaces are manageable and well-behaved, and Poincare duality, which is a symmetry principle relating the cohomology in complementary dimensions. Think of Poincare duality as a generalization of the familiar fact that a closed orientable surface has a perfect symmetry between its one-dimensional and its top-dimensional topology. Here the authors prove analogous symmetry results for a sophisticated class of coefficient systems called pro-etale local systems with p-adic coefficients.
The technical framework the authors work in involves objects called Banach-Colmez spaces, which are a way of organizing p-adic cohomological data that captures more structure than classical approaches. A key part of the strategy is to transfer the problem to a different geometric object called the Fargues-Fontaine curve, a remarkable construction in p-adic geometry that encodes deep arithmetic information. By proving the duality results on that curve first, and then translating back, the authors are able to handle the original spaces. This reduction itself relies on an algebraic duality over so-called period rings, which are algebraic structures that mediate between p-adic and complex-analytic worlds.
One appealing feature of the paper is that it gives a relatively simple and uniform proof of the duality over period rings, using a diagrammatic argument the same authors developed in earlier work for a simpler class of coefficients. Along the way the paper also establishes optimal vanishing bounds, meaning it pins down precisely in which degrees cohomology can be nonzero, and proves a technical result called v-descent that is useful for working with these coefficient systems on a broad class of spaces. The overall result fills an important gap in the foundations of p-adic Hodge theory and provides tools that are likely to be useful across arithmetic geometry.