🔢 mathematics

A six-functor formalism for syntomic cohomology

This paper constructs a six-functor formalism for the syntomic cohomology of p-adic formal schemes, thereby generalizing Poincaré duality to general smooth morphisms.

Original authors: Niklas Kipp

Published 2026-08-18

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Niklas Kipp

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

In the vast landscape of modern mathematics, there is a persistent desire to understand shapes and spaces not just by looking at them, but by counting the holes within them and measuring their twists. This is the realm of cohomology, a powerful tool that translates geometric questions into algebraic ones, allowing mathematicians to solve problems about complex shapes by manipulating numbers and equations. For decades, mathematicians have sought a unified framework to handle these calculations, one that works seamlessly whether a shape is being stretched, shrunk, or viewed through different lenses. This framework is known as the six-functor formalism. It acts like a universal grammar for geometry, providing six specific operations that can be applied to any space to reveal its hidden structure, ensuring that the rules of the game remain consistent no matter how the space is transformed. While this system has been successfully applied to many types of geometry, such as the study of smooth surfaces or complex analytic spaces, it has remained elusive for a particularly tricky class of objects known as p-adic formal schemes. These are spaces defined using a specific type of number system that behaves very differently from the familiar real numbers, often appearing in the study of prime numbers and their deep connections to geometry.

The challenge with these p-adic spaces is that they are notoriously difficult to navigate. Traditional methods often break down when trying to apply the full six-functor toolkit, particularly when trying to define a version of "compactly supported cohomology," which is essential for understanding how a shape behaves at its boundaries. Without this piece, the mathematical picture remains incomplete, and fundamental symmetries, such as the ability to pair a shape with its dual in a meaningful way, cannot be established. This gap has left a significant hole in the theoretical foundation of arithmetic geometry, preventing mathematicians from fully leveraging the power of these tools to explore the intricate relationships between number theory and geometry.

In a new development, mathematician Niklas Kipp has successfully constructed this missing six-functor formalism specifically for syntomic cohomology, a sophisticated theory designed to study p-adic formal schemes. The core achievement of this work is the creation of a robust, unified system that allows all six operations to function correctly on these difficult spaces. By doing so, the paper generalizes a profound principle known as Poincaré duality to a much wider range of geometric situations than ever before. In simple terms, Poincaré duality is a rule that says every geometric shape has a "mirror image" or dual, and the properties of one can be perfectly translated into the properties of the other. Kipp's work proves that this mirror relationship holds true even for the most complex and irregular p-adic spaces, provided they are smooth in a specific technical sense. This is a significant expansion of the theory, moving it from a collection of isolated results into a coherent, predictable framework.

To achieve this, the author had to invent a new way of looking at these spaces. Instead of treating them as rigid, static objects, the paper reinterprets them as "analytic stacks," a more flexible and expansive type of mathematical structure. Imagine taking a rigid geometric object and allowing it to exist in a vast, fluid landscape where it can be deformed and connected to other shapes in ways that were previously impossible. This shift in perspective is crucial because it allows the mathematician to define the necessary operations, such as the compactly supported cohomology, in a way that is well-behaved and consistent. The paper demonstrates that by viewing these p-adic schemes through the lens of these analytic stacks, the complex machinery of the six-functor formalism can be applied without breaking.

The construction relies on a technique called "solidification," which essentially fills in the gaps of these spaces to make them more manageable. By creating what the paper calls a "solid syntomification," the author builds a bridge between the difficult world of p-adic formal schemes and the more tractable world of analytic stacks. This bridge is not just a theoretical curiosity; it is the foundation upon which the entire six-functor system is built. The paper proves that this new system satisfies all the necessary conditions: it respects the local structure of the spaces, handles smooth transformations correctly, and preserves the essential symmetries required for duality. One of the most striking results is the explicit identification of the "dualizing sheaf," a mathematical object that acts as the key to unlocking the duality relationship. The paper shows that for any smooth transformation between these spaces, this key object can be calculated precisely, confirming that the duality holds up under rigorous scrutiny.

Furthermore, the work does not stop at just establishing the formalism; it also connects this new system to existing theories. The paper shows that the dualizable objects within this new framework correspond exactly to the "perfect" objects in the classical theory of syntomic cohomology. This means that the new system is not a replacement but a powerful extension that encompasses and clarifies previous results. It also provides a pathway to define "Tate twists," a specific type of scaling operation that is fundamental to the theory, and proves that these operations behave exactly as expected. The paper also explores how this formalism can be adapted to study different types of cohomology, such as étale cohomology, which is used to study the symmetries of algebraic equations. By applying the same solidification technique to these variations, the author shows that the six-functor framework can be extended to cover a broad spectrum of arithmetic questions.

The significance of this work lies in its ability to bring order to a chaotic corner of mathematics. Before this, the behavior of syntomic cohomology under various transformations was often unpredictable or required ad-hoc solutions for each specific case. Now, there is a single, unified set of rules that governs how these spaces interact. This allows mathematicians to approach problems with a new level of confidence, knowing that the tools they use will behave consistently. The paper explicitly rules out the idea that these spaces are too irregular to support such a formalism, demonstrating instead that with the right perspective—viewing them as analytic stacks—their complexity can be tamed. The results are presented as rigorous proofs, not merely suggestions, establishing a firm foundation for future research in arithmetic geometry.

Ultimately, this paper provides a comprehensive toolkit for exploring the deep structure of p-adic spaces. By constructing a six-functor formalism that works seamlessly for syntomic cohomology, it opens the door to new discoveries in the relationship between numbers and shapes. The ability to apply Poincaré duality to these spaces means that mathematicians can now use the full power of duality to translate difficult problems into more manageable forms. This is a major step forward in the ongoing effort to unify different branches of mathematics, showing that even the most elusive geometric objects can be understood through a consistent and elegant framework. The work stands as a testament to the power of reimagining mathematical objects, proving that by changing the lens through which we view them, we can reveal hidden symmetries and connections that were previously out of reach.

Technical Summary: A Six-Functor Formalism for Syntomic Cohomology

Problem Statement
The paper addresses the construction of a six-functor formalism for the syntomic cohomology of $p$ -adic formal schemes. Syntomic cohomology, as defined by Bhatt-Morrow-Scholze [BMS18], Bhatt-Lurie [BL22a], and others, is a $p$ -adic cohomology theory that interpolates between étale and de Rham cohomology. While the theory of syntomic cohomology is well-established via the "stacky approach" (associating a stack $X_{\text{syn}}$ to a formal scheme $X$ ), the existing framework lacked a robust six-functor formalism (involving functors $f^*, f_*, f_!, f^!, \otimes, \mathcal{H}om$ ) that satisfies the necessary duality properties, particularly Poincaré duality for general smooth morphisms. The challenge lies in defining compactly supported cohomology and dualizing sheaves in a setting where the underlying geometric objects are derived and stacky, and where standard topological intuitions often fail.

Methodology
The author, Niklas Kipp, employs a strategy that bridges the gap between formal algebraic geometry and the theory of analytic stacks developed by Clausen and Scholze [CS24]. The methodology proceeds in three main stages:

Axiomatization of Smoothness in Six-Functor Formalisms:
The paper first establishes a general strategy (Theorem C) for proving that smooth morphisms are "cohomologically smooth" within any six-functor formalism. This relies on the existence of an "additive orientation" (a theory of first Chern classes satisfying the projective bundle formula) and "elementary blow-up excision." This abstract framework, motivated by work of Zavyalov [Zav23], Tang [Tan26], and Annala-Hoyois-Iwasa [AHI25], reduces the proof of Poincaré duality to verifying these specific structural properties.
Formal Schemes as Analytic Stacks:
To handle the geometric complexity of syntomic cohomology, the paper interprets $p$ -adic formal schemes as analytic stacks. Specifically, it constructs a "solid syntomification" functor $X \mapsto X_{\text{syn}, \square}$ , which maps a $p$ -adic formal scheme to an analytic stack over $\text{Spa}(\mathbb{Z})$ . This construction utilizes the "infinite $p$ -root topology" and the theory of "solid" modules (from Clausen-Scholze). The key insight is that the category of quasi-coherent sheaves on these analytic stacks recovers syntomic cohomology, and the analytic stack framework provides a more tractable environment for defining compactly supported cohomology and descent properties.
Construction of the Solid Syntomification:
The author defines the solid syntomification $X_{\text{syn}, \square}$ as a pushout of the "solid prismatisation" $X^{\Delta, \square}$ and the "solid Nygaard filtered prismatisation" $X^{N, \square}$ . This construction leverages the stratification of the prismatisation stack into de Rham and Hodge-Tate loci. The paper proves that this construction preserves necessary geometric properties (such as properness and étaleness) when transitioning from formal schemes to analytic stacks, utilizing criteria for properness derived from the properties of the underlying topological spaces of the analytic stacks.

Key Contributions and Results

Theorem A (Main Result): The paper constructs a six-functor formalism $X \mapsto \text{F-Gauge}^{\square}_{\Delta}(X)$ on the category of derived $p$ -adic formal schemes. This formalism satisfies:
- Duality: Any smooth morphism $f: X \to S$ of relative dimension $d$ is cohomologically smooth, with the dualizing sheaf identified as $f^! \mathcal{O}_S^{\text{syn}} \simeq \mathcal{O}_X^{\text{syn}}(d) \simeq \mathcal{O}_X^{\text{syn}}\{d\}[-2d]$ . This establishes Poincaré duality for syntomic cohomology.
- Tate Twists: The formalism admits Tate twists, where the inverse of the twist is identified with a shift of the Breuil-Kisin twist.
- Descent: The functors $f^*$ and $f_!$ satisfy étale descent, and the formalism respects Zariski covers via open covers of analytic stacks.
- Dualizable Objects: The dualizable objects in this formalism are identified with perfect $F$ -gauges, recovering the syntomic cohomology groups $R\Gamma_{\text{syn}}(X, \mathbb{Z}_p(n))$ as mapping spectra.
Theorem B (Étale Realization): By base-changing the solid syntomification along a map from the Hodge-Tate locus to the étale locus, the paper constructs a six-functor formalism for $p$ -adic formal schemes over $\mathbb{Z}_p^{\text{cyc}}$ . The dualizable objects in this context are identified with the category of lisse étale sheaves on the generic fiber, $D^b_{\text{lisse}}((\_)_{\eta}, \mathbb{Z}_p)$ .
Theorem C (General Strategy): A general theorem is proved stating that in any six-functor formalism admitting an additive orientation and satisfying blow-up excision, smooth morphisms are cohomologically smooth. This result is presented as a tool applicable to other geometric settings (e.g., rigid spaces, Berkovich spaces).

Significance and Claims
The paper claims that the construction of the solid syntomification provides a "well-behaved" geometric framework for syntomic cohomology. The primary significance lies in the ability to define a robust six-functor formalism, which was previously missing or incomplete in the stacky approach.

Poincaré Duality: The work generalizes Poincaré duality to arbitrary smooth morphisms of $p$ -adic formal schemes, a result that was not previously available in this generality for syntomic cohomology.
Geometric Unification: By interpreting formal schemes as analytic stacks, the paper unifies different geometric perspectives (prismatic, Hodge-Tate, de Rham) within a single categorical framework. This allows for the application of techniques from analytic geometry (such as descent and compactly supported cohomology) to $p$ -adic arithmetic geometry.
Modesty on Scope: The author notes that the étale realization provided (Theorem 4.3.10) is "somewhat suboptimal" because it does not satisfy excision (localization) and thus does not capture all étale sheaves. The paper explicitly states that this limitation will be addressed in future work. Similarly, the construction of the formalism is presented as a specific realization of the axiomatic framework, with the hope that the underlying strategy (Theorem C) can be applied to other cohomology theories.

In summary, the paper successfully constructs a six-functor formalism for syntomic cohomology by translating the problem into the language of analytic stacks, thereby enabling the proof of Poincaré duality and providing a unified geometric perspective on $p$ -adic cohomology theories.

More like this