🔢 mathematics

Around Segal conjecture in p-adic geometry

This paper establishes the completeness of the motivic filtration on de-completed topological periodic cyclic homology for rings with weakly finitely generated absolute cotangent complexes, proves the Segal conjecture for F-smooth rings, identifies this homology with Manam's Frobenius untwisted variant for quasiregular semiperfectoid rings, and utilizes relative conjugate filtrations on Hodge–Tate cohomology and topological Hochschild homology to deduce the transitivity of weak and strong F-smoothness.

Original authors: Zhouhang Mao

Published 2026-07-09

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Zhouhang Mao

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 the world of mathematics described in this paper as a vast, multi-layered landscape where different types of "geometry" (shapes and spaces) interact. The author, Zhouhang Mao, is exploring a specific region of this landscape called $p$ -adic geometry. Think of this not as a place you can visit, but as a way of looking at numbers and shapes through a very specific, high-powered lens that reveals hidden structures.

Here is a breakdown of the paper's main ideas using simple analogies:

1. The Main Characters: Three Tools in a Toolbox

The paper focuses on the relationship between three complex mathematical tools. You can think of them as three different ways to measure or "scan" a shape to understand its properties:

Topological Periodic Cyclic Homology (TP): Imagine this as a high-tech scanner that takes a picture of a shape and tries to organize it into a neat, layered stack.
The Segal Conjecture: Think of this as a "rule of stability." It asks: "If we take this shape and look at it through a specific filter (related to prime numbers), does it stay stable and predictable, or does it fall apart?"
F-smoothness: This is a property of the shape itself. Imagine a surface that is perfectly smooth, like a polished marble table, even under a microscope. In this math world, "F-smooth" means the shape behaves very nicely when you zoom in on its prime-number details.

2. The First Discovery: Organizing the Mess

The Problem: The "scanner" (TP) produces a massive, messy stack of data. Mathematicians want to know if this stack is "complete"—meaning, does it contain every single piece of information needed to describe the shape, or are there gaps?

The Solution: Mao proves that if the shape isn't too chaotic (specifically, if it has a "weakly finitely generated" structure, which is a fancy way of saying it's built from a manageable number of basic blocks), then the scanner's stack is complete.

Analogy: Imagine trying to build a tower out of LEGOs. If you have a finite, manageable supply of bricks, you can be sure your tower is finished and stable. Mao shows that for a wide class of shapes, the mathematical tower is indeed finished.

3. The Second Discovery: The Stability Rule

The Problem: Once we know the tower is complete, we want to know if the "Rule of Stability" (Segal Conjecture) holds true for these shapes.

The Solution: Mao finds that if a shape is F-smooth (that polished marble surface), then the Rule of Stability holds perfectly.

Analogy: If you have a perfectly polished marble table, and you shake it, it doesn't wobble. The paper proves that for these specific "smooth" mathematical shapes, the stability rule works. This covers many known cases (like smooth algebraic shapes) and even some weird, non-standard ones (like certain infinite rings that aren't "F-finite" but still behave well).

4. The Third Discovery: The Crystal Degeneration

The Concept: Sometimes, to understand a complex object, you look at what happens when you melt it down or simplify it.
The Finding: Mao shows that the "Stability Rule" has a "crystalline degeneration."

Analogy: Imagine a complex ice sculpture. If you melt it down to water, the structure changes, but the underlying chemical composition (H2O) remains. The paper shows that the stability rule for the complex shape is directly linked to a simpler version of the rule for its "melted" (simplified) version. If the simple version works, the complex one does too.

5. The Fourth Discovery: The "Conjugate" Filter

The Concept: The author introduces a new way to slice up these shapes, called a "relative conjugate filtration."

Analogy: Imagine you have a loaf of bread. You can slice it horizontally (standard slices). But this paper invents a new way to slice it diagonally, revealing a different pattern inside. This new slicing method works for two different types of mathematical objects:
1. Hodge–Tate cohomology: A way of measuring the "holes" and "loops" in the shape.
2. Topological Hochschild homology: Another way of scanning the shape's internal structure.
  The Result: This new slicing method proves that if you have a chain of shapes (Shape A $\to$ Shape B $\to$ Shape C), and the first two links are "smooth," the whole chain stays smooth. This is called transitivity. It's like saying if a road is smooth from A to B, and from B to C, then the road from A to C is also smooth.

6. The Big Picture: Why This Matters (According to the Paper)

The paper doesn't claim to cure diseases or build bridges. Instead, it claims to:

Unify concepts: It connects the "scanner" (TP), the "stability rule" (Segal), and the "smoothness" (F-smoothness) into one coherent theory.
Expand the rules: It proves that these rules work for a much wider variety of mathematical shapes than previously known, including some very strange, infinite ones.
Provide a new lens: It offers a new "slicing" technique (conjugate filtration) that helps mathematicians see connections between different types of geometric data that were previously hard to compare.

In short, Zhouhang Mao has taken a few very abstract, high-level mathematical tools and shown how they fit together like pieces of a puzzle, proving that they work reliably on a broader range of shapes than anyone knew before.

Technical Summary: Around Segal Conjecture in p-Adic Geometry

Problem Statement
This article investigates the interplay between de-completed topological periodic cyclic homology ( $TP^{poly}_{/\mathbb{Z}}$ ), the Segal conjecture, and the notion of $F$ -smoothness within the framework of $p$ -adic geometry. The central motivation stems from the construction of a localizing invariant corresponding to non-Hodge-completed de Rham cohomology, which yields de-completed topological periodic cyclic homology. Two primary questions drive the research:

Under what conditions is the motivic filtration on de-completed topological periodic cyclic homology complete?
Under what conditions is de-completed topological periodic cyclic homology already "Nygaard-complete"?

The paper posits that the "Nygaard-completeness" of this theory is closely related to the relative Segal conjecture for topological Hochschild homology ($THH$). Furthermore, the work seeks to establish transitivity properties for weak and strong $F$ -smoothness, a concept inspired by the Segal conjecture, by constructing relative conjugate filtrations on Hodge–Tate cohomology and $THH$.

Methodology
The author employs techniques from higher algebra, genuine equivariant homotopy theory, and the theory of cyclotomic synthetic spectra (as developed in [AR24]). Key methodological components include:

De-completed Invariants: The paper reformulates de-completed $TP $($ TP^{poly}_{/\mathbb{Z}}$) without relying on genuine equivariant homotopy theory, defining it via the homotopy fixed points of a Tate construction involving $THH$.
Bökstedt Rings: The theory is extended to modules over "Bökstedt rings" (cyclotomic spectra satisfying specific boundedness and Segal conjecture conditions, such as $THH(\mathbb{Z})/(p, v_1)$ ). This allows for the identification of de-completed invariants with Tate constructions and the establishment of continuity properties for $TC$.
Connectivity Estimates: A crucial technical tool is the introduction of a "weak finite generation" condition for modules (based on Shannon's rank of flat modules). This condition is used to prove asymptotic connectivity of exterior powers of the cotangent complex, which in turn establishes the completeness of motivic filtrations.
Relative Conjugate Filtrations: Inspired by constructions for $THH$ and the Katz–Oda filtration on derived de Rham cohomology, the author constructs relative conjugate filtrations on both Hodge–Tate cohomology ( $\Delta_R$ ) and $THH$. These filtrations are analyzed for exhaustiveness and completeness.
Crystalline Degeneration: The paper adapts arguments from [HW22] regarding $THH(BP\langle n \rangle)$ to deduce a "crystalline degeneration" of the Segal conjecture, allowing the transfer of the conjecture from a special fiber to a formal scheme.

Key Contributions and Results

Completeness of Motivic Filtration:
The paper establishes that the motivic filtration on $TP^{poly}_{/\mathbb{Z}}(R)$ is complete if the ring $R$ satisfies a weak finite generation condition on its absolute cotangent complex $L_{R/\mathbb{Z}}$ . Specifically, if $L_{R/\mathbb{Z}}$ is $p$ -completely (weakly) finitely generated, the filtration is complete. This covers rings where the derived modulo $p$ is weakly $F$ -finite.
Segal Conjecture for $F$ -smooth Rings:
A sufficient condition is proven for the cyclotomic spectrum $THH(R)$ to satisfy the $p$ -complete Segal conjecture: if $R$ is an $F$ -smooth $p$ -quasisyntomic ring with a weakly finitely generated cotangent complex, the Segal conjecture holds. This result generalizes known cases, including smooth algebras over perfectoid rings and regular rings with $F$ -finite reduction mod $p$ .
Identification with Manam's Construction:
For quasiregular semiperfectoid rings, the de-completed $TP^{poly}_{/\mathbb{Z}}(R)$ is identified with Manam's Frobenius untwisted topological periodic cyclic homology ( $TP^{(-1)}(R)$ ). The paper provides a formula relating $TP^{poly}_{/\mathbb{Z}}$ to the tensor product of $TC^-$ and $TP$ over the base, valid for modules over Bökstedt rings.
Continuity of $TC$:
Using the theory of cyclotomic synthetic spectra, the author provides a conceptual explanation for the continuity of $TC$ for modules over Bökstedt rings. This applies to filtered systems that are not uniformly $t$ -bounded below, recovering and extending results from [CMM21].
Relative Conjugate Filtrations and Transitivity:
The paper constructs relative conjugate filtrations on Hodge–Tate cohomology and $THH$. As a consequence, it deduces the transitivity of weak $F$ -smoothness and $F$ -smoothness.
- Theorem 1.8: If $k$ is weakly $F$ -smooth and $L_{R/k}$ is $p$ -completely flat, then $R$ is weakly $F$ -smooth.
- Theorem 1.9: Under conditions of weak $F$ -smoothness of the base and flatness of the cotangent complex, if the derived de Rham cohomology is Hodge-complete, the absolute prismatic cohomology is Nygaard-complete relative to the base. This implies the transitivity of $F$ -smoothness.
Universal Convergence:
The concept of "universal convergence" for Hodge and Nygaard filtrations is introduced to generalize transitivity results to cases without bounded Tor-amplitude. This leads to a version of the transitivity of $p$ -Cartier smoothness and $F$ -smoothness for maps whose modulo $p$ reduction is relatively perfect.

Significance and Claims
The paper claims to unify the study of de-completed topological periodic cyclic homology with the Segal conjecture and $F$ -smoothness. By establishing the completeness of motivic filtrations under weak finite generation conditions, it extends the scope of the Segal conjecture to a broader class of rings, including non-excellent DVRs and rings that are not $F$ -finite but are weakly $F$ -finite.

The introduction of relative conjugate filtrations provides a systematic framework for comparing prismatic cohomology and $THH$ in mixed characteristic, offering a mixed-characteristic analogue of the Katz–Oda filtration. The transitivity results for $F$ -smoothness and $p$ -Cartier smoothness are presented as direct consequences of these filtration constructions, offering a new perspective on the stability of these smoothness properties under composition of ring maps. The work also clarifies the relationship between de-completed invariants and existing constructions (such as those by Manam) and provides a robust theoretical basis for the continuity of $TC$ in non-uniformly bounded settings.