🔢 mathematics

Smooth categories in a 6 functor formalism and compact generation for nuclear categories in analytic geometry

This paper establishes that a rigid analytic variety is smooth if and only if its category of nuclear sheaves is smooth, while also linking the compact generation of these sheaves to the variety's algebraization and providing an example of a non-atomically generated, internally smooth category.

Original authors: Matteo Montagnani

Published 2026-05-21

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Matteo Montagnani

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 you are trying to understand the shape of a complex object, like a sculpture. In traditional mathematics, you might look at the object itself. But in modern algebraic geometry, mathematicians have discovered a powerful trick: instead of looking at the object, you can study the "library of instructions" (a category) that describes how to build or interact with that object. If the library is well-organized and has certain special properties, the object itself is considered "smooth" (like a polished marble statue) or "proper" (like a closed, finite room).

This paper, written by Matteo Montagnani, tries to bring this "library" approach to a different world: Rigid Analytic Geometry. Think of this as the world of shapes defined by equations over "strange" number systems (like p-adic numbers), which behave differently than the real numbers we use in everyday life.

Here is the breakdown of the paper's journey, using simple analogies:

1. The Problem: The Wrong Tool for the Job

In the world of standard algebraic geometry (shapes over normal numbers), mathematicians have a perfect tool to check if a shape is "smooth." They look at the library of instructions and check if it has a specific property called dualizability.

However, when the author tried to use this same tool on Rigid Analytic Geometry, it broke.

The Analogy: Imagine you have a perfect ruler for measuring wood. You try to use it to measure water. The ruler doesn't work because water flows and changes shape in ways wood doesn't.
The Math: The standard "tensor product" (a way of combining two libraries) used in the algebraic world fails in the analytic world. It's like trying to glue two wet pieces of paper together; they just fall apart. This means the standard definition of "smooth" doesn't work for these analytic shapes.

2. The Solution: A New Kind of Library

To fix this, the author uses a new framework called Condensed Mathematics (developed by Clausen and Scholze). This framework treats shapes and numbers in a way that handles their "flowing" nature much better.

Instead of using the standard library of instructions, the author introduces a new type of library called Nuclear Categories.

The Analogy: If the old library was a rigid bookshelf, the new "Nuclear" library is like a flexible, self-healing cloud of information. It can stretch and adapt to the weird properties of the analytic world without falling apart.
The Result: In this new world, the author proves a beautiful connection: A rigid analytic shape is geometrically smooth if and only if its "Nuclear Library" is mathematically smooth. This finally allows mathematicians to use the powerful "library" tools to study these tricky analytic shapes.

3. The Twist: Smoothness Doesn't Always Mean "Compact"

In the algebraic world, there is a famous rule: If a library is "smooth" and "proper," it must have a single master key (called a compact generator) that can unlock or generate the entire library. It's like having one master blueprint that can build the whole city.

The author asks: Does this rule hold in the analytic world?

The Discovery: No.
The Counter-Example: The author constructs a specific analytic shape (a "p-adic Hopf surface," which is a bit like a donut made of strange numbers) that is perfectly smooth and finite. Its "Nuclear Library" is also perfectly smooth.
The Surprise: However, this library does not have a single master key. You cannot build the whole library from just one piece.
Why this matters: This disproves a popular conjecture (a guess by mathematician Maxime Ramzi) that said "Smoothness always implies a single master key." The author shows that in the analytic world, you can have a smooth, well-behaved system that is too complex to be controlled by a single generator.

4. The Connection to "Algebraization"

The paper also solves a mystery about when these analytic shapes can be turned back into standard algebraic shapes (a process called algebraization).

The Rule: The author proves that a smooth analytic shape can be turned into a standard algebraic shape if and only if its Nuclear Library has that "single master key."
The Takeaway: If the library has a master key, the shape is "algebraizable" (it comes from the standard world). If the library is smooth but lacks a master key, the shape is truly "analytic" and cannot be reduced to the standard world.

Summary

In short, this paper does three main things:

Fixes the Tool: It creates a new, robust way to define "smoothness" for analytic shapes using "Nuclear Libraries," replacing a broken tool that only worked for standard shapes.
Breaks a Rule: It proves that in this new world, a system can be perfectly smooth without having a single "master key" to generate it, disproving a major mathematical guess.
Draws a Line: It uses the presence or absence of that "master key" to tell us exactly which analytic shapes can be converted back into standard algebraic shapes and which ones are unique to the analytic world.

The paper essentially maps the boundaries between the "standard" mathematical world and the "analytic" world, showing us where the rules change and why.

Technical Summary: Smooth Categories in a 6-Functor Formalism and Compact Generation for Nuclear Categories in Analytic Geometry

Problem Statement
The paper addresses a fundamental incompatibility between the standard categorical definitions of smoothness and properness in non-commutative algebraic geometry and the analytic setting. In the algebraic context, a variety $X$ is smooth if and only if its associated category of perfect complexes, $\text{Perf}(X)$ , is a smooth $\infty$ -category (defined via the dualizability of the diagonal bimodule). However, in rigid analytic geometry, the standard tensor product of stable presentable $\infty$ -categories fails to satisfy the Künneth formula for Tate algebras (e.g., $\text{Perf}(k\langle t \rangle) \otimes_k \text{Perf}(k\langle u \rangle) \neq \text{Perf}(k\langle t, u \rangle)$ ). Consequently, the standard categorical notion of smoothness is intrinsically algebraic and ill-suited for analytic varieties. This failure leads to a disconnect where a rigid analytic variety $X$ may be geometrically smooth, yet $\text{Perf}(X)$ fails to be categorically smooth unless $X$ is algebraizable (i.e., arises from an algebraic scheme).

Methodology
To resolve this, the author employs the framework of condensed mathematics and analytic stacks developed by Clausen and Scholze. The methodology proceeds through several key steps:

Derived Rigid Analytic Geometry: The paper utilizes the theory of animated affinoid algebras and derived rigid analytic spaces (following Mikaelian and Porta–Yu). These spaces are constructed by gluing animated affinoid algebras along rational localizations.
Nuclear Categories: Instead of working with $\text{Perf}(X)$ , the author focuses on the $\infty$ -category of nuclear sheaves, denoted $\text{Nuc}(X)$ . Nuclear categories, introduced in condensed mathematics, are rigid and admit a "completed" tensor product that satisfies the Künneth formula for rigid varieties.
Six-Functor Formalism: A robust six-functor formalism is established for nuclear categories over derived rigid analytic spaces. This formalism includes pullback ( $f^*$ ), pushforward ( $f_*$ ), and the lower shriek ( $f_!$ ) functors, with $f_!$ identified with $f_*$ for quasi-compact, semi-separated maps.
Relative Smoothness: The paper defines internally smooth $\infty$ -categories relative to a base symmetric monoidal $\infty$ -category $\mathcal{V}$ (specifically $\text{Nuc}(k)$ ). An $\infty$ -category $\mathcal{C}$ is internally smooth if the coevaluation map admits a $\mathcal{V}$ -linear right adjoint preserving colimits.
Atomic Generation: The study investigates the existence of a single compact (or "atomic") generator for these categories, linking this property to the algebraization of the underlying variety.

Key Contributions and Results

Equivalence of Geometric and Categorical Smoothness: The primary result (Theorem 1.4 / Theorem 5.1) establishes that for a classical rigid analytic variety $X$ over a non-Archimedean field $k$ , $X$ is geometrically smooth if and only if the $\infty$ -category $\text{Nuc}(X)$ is internally smooth over $\text{Nuc}(k)$ . This is achieved by proving that the diagonal map $\Delta^* \mathcal{O}_X$ is a perfect complex (compact object) in $\text{Nuc}(X \hat{\times} X)$ if and only if $X$ is smooth.
GAGA for Nuclear Categories: The paper proves a GAGA-type theorem (Corollary 5.7) relating the nuclear category of an analytification $X^{\text{an}}$ to the algebraic category: $\text{Nuc}(X^{\text{an}}) \simeq \text{QCoh}(X) \otimes_{\text{Mod}_k} \text{Nuc}(k)$ .
Characterization of Algebraizability: Theorem 1.8 (Theorem 5.9) provides a categorical criterion for algebraization. A smooth, proper, quasi-compact, separated rigid analytic variety $X$ is algebraizable if and only if $\text{Nuc}(X)$ admits a single $\text{Nuc}(k)$ -atomic (equivalently, compact) generator.
Counterexample to Conjecture 1.7: The paper constructs a counterexample to the conjecture that every smooth, atomically generated $\mathcal{V}$ -linear $\infty$ -category admits a single atomic generator (Conjecture 1.7). By considering a non-algebraizable smooth and proper rigid analytic variety (e.g., the $p$ -adic Hopf surface), the author demonstrates that $\text{Nuc}(X)$ is internally smooth but fails to have a single compact generator. This shows that the property of gluing local compact generators to form a global one, which holds in algebraic geometry, fails in the analytic topology.

Significance
The paper claims significance in three main areas:

Non-Commutative Analytic Geometry: It successfully transports the powerful machinery of categorical smoothness into rigid analytic geometry by replacing the standard tensor product with the nuclear tensor product. This allows for a precise non-commutative characterization of geometric smoothness that was previously obstructed by the failure of the Künneth formula in the classical setting.
Algebraization Criteria: It provides a new, purely categorical method to detect whether a rigid analytic variety is algebraizable, linking the existence of a global compact generator in the nuclear category to the geometric property of algebraization.
Foundational Distinctions: The results highlight a fundamental structural difference between algebraic and analytic topologies. Specifically, the failure of the "gluing of local compact generators" in the analytic setting serves as a counterexample to generalizations of algebraic results (like Conjecture 1.7) to arbitrary rigid bases, demonstrating that the behavior of nuclear categories is distinct from that of modules over rings in the algebraic setting.

The paper concludes that while the categorical framework of smoothness can be adapted to analytic geometry via condensed mathematics and nuclear categories, the resulting theory reveals intrinsic limitations regarding compact generation that do not exist in the algebraic world.

1. The Problem: The Wrong Tool for the Job

2. The Solution: A New Kind of Library

3. The Twist: Smoothness Doesn't Always Mean "Compact"

4. The Connection to "Algebraization"

Summary

More like this