Cohomology theories in the moduli of ring stacks

Basic Information

• Paper ID: 2510.09582
• Title: Cohomology theories in the moduli of ring stacks
• Authors: Dhilan Lahoti, Deven Manam
• Classification: math.AG (Algebraic Geometry), math.NT (Number Theory)
• Submission Date: October 10, 2025 (arXiv submission)
• Paper Link: https://arxiv.org/abs/2510.09582

Abstract

This paper proves that the natural map from the syntomification of a ring $R$ to the stack of $R$-algebra stacks is fully faithful, answering a question of Drinfeld, and describes its essential image via the underlying abelian monoid stack. The authors also provide analogous statements in the characteristic 0 filtered de Rham, $\ell = p$ étale, and Betti settings.

Research Background and Motivation

Problem Context

1. Stacky Cohomology Theories: The "stacky" approach to cohomology of algebraic varieties, first introduced by Simpson, has attracted considerable attention in recent years in the p-adic setting due to work of Drinfeld and Bhatt-Lurie.
2. Central Role of Ring Stacks: Ring stacks play a central role in this approach, providing a convenient way to package cohomology theories and their coefficients into a single object.
3. Drinfeld's Question: The core problem addressed in this paper is Drinfeld's question in Dri22b, Question 8.3.6 concerning the full faithfulness of the syntomification map.

Research Motivation

1. Theoretical Refinement: To place ring stacks themselves as central objects of study and explore their deep structure in cohomology theories.
2. Unified Framework: To establish analogous results across multiple distinct cohomology settings (syntactic, de Rham, étale, Betti), demonstrating the unity of the theory.
3. Geometric Understanding: To provide geometric intuition by understanding the essential image through monoid stacks.

Core Contributions

1. Main Theorem: Proves that for a ring $A$, the natural map from the syntomification $A^{\text{Syn}}$ to the stack of $A$-algebra stacks is fully faithful.
2. Essential Image Characterization: Provides a complete characterization of the essential image: an $A$-algebra stack lies in the essential image if and only if its underlying abelian monoid stack lies in the image of the composite map $A^{\text{Syn}} \to A\text{-AlgStk} \to \text{AbMonStk}$.
3. Multiple Settings: Establishes analogous results in the characteristic 0 filtered de Rham cohomology, $\ell = p$ étale cohomology, and Betti cohomology settings.
4. Technical Innovation: Introduces new concepts including "passable W-modules" and "polyfiltered Cartier-Witt divisors."

Detailed Methodology

Core Strategy in the Syntactic Case

Technical Framework

The proof strategy in this paper consists of several key steps:

1. Lifting from Monoids to Rings: Utilizing results from §1.5 to derive ring structures from monoid structures. The core observation is that ring structures on $M_m$ and $M_m^{\text{perf}}$ are unique.
2. W-Module Theory: Develops general theory of affine W-module schemes in §1.2, particularly establishing equivalences with graded group schemes and relationships between W-module duality and Cartier duality.
3. Passability Concept: Introduces the notion of passable W-modules, a generalization of admissible W-modules:
   • 0-passable: invertible
   • n-passable: admits an exact sequence $0 \to L^{\sharp} \to M \to F_*M' \to 0$, where $M'$ is $(n-1)$-passable

Key Lemmas and Propositions

Proposition 1.7.1: For a p-nilpotent ring $R$ over $\mathbb{Z}_p^N$, any $W^{\text{perf}}$-algebra structure on $(G_a^N)_R$ is uniquely determined by the standard structure.

Theorem 1.7.4: Complete statement of the main result, providing three equivalent conditions:

1. $R$ arises from an $R$-point of $A^{\text{Syn}}$
2. $R$ is locally given by some polyfiltered Cartier-Witt divisor $M \to W$
3. $M_m(R)$ locally arises from an $R$-point of $\mathbb{Z}_p^{\text{Syn}}$

Methodology in Other Settings

De Rham Case

• Utilizes understanding of maps between $\hat{G}_a$ and $G_a$
• Computes maps between ring stacks via maps between generalized Cartier divisors
• Key technical tools include RHom computations and Breen-Deligne resolutions

Betti Case

• First proves that the Betti stack construction yields a fully faithful map from condensed sets to stacks
• Reduces maps between ring stacks to maps between topological ring families
• Employs Stone duality and condensed mathematics techniques

Technical Innovations

1. Polyfiltered Cartier-Witt Divisors

An important generalization of the filtered Cartier-Witt divisor concept, allowing treatment of more complex situations:

• Introduces recursive definition of n-polyfiltered structures
• Proves locality properties and functoriality
• Establishes connections with syntactic stacks

2. Pseudodescent Theory

Develops theory of pseudodescent sheaves and exponentiation in Appendix A:

• Defines pseudodescent cosimplicial objects
• Proves that exponentiation functors preserve pseudodescent morphisms
• Provides crucial descent-theoretic tools for the main proof

3. Affine Stack Theory

Develops relevant affine stack theory in Appendix B:

• Proves relative affineness of syntomification
• Establishes relationships between derived algebraic contexts

Main Results

Full Faithfulness

For any ring $A$, the natural map $A^{\text{Syn}} \to A\text{-AlgStk}$ is fully faithful. This directly answers Drinfeld's question.

Essential Image Characterization

An $A$-algebra stack $R$ lies in the essential image of this map if and only if its underlying abelian monoid stack lies in the image of the composite map $A^{\text{Syn}} \to A\text{-AlgStk} \to \text{AbMonStk}.$

Unification Across Multiple Settings

Analogous results hold in the following settings:

• Characteristic 0 filtered de Rham cohomology (Corollary 2.12)
• $\ell = p$ étale cohomology (Theorem 3.3)
• Betti cohomology (Theorem 4.8)

Theoretical Significance and Applications

1. Connections to Motivic Theory

The authors view the full faithfulness statement as evidence that prismatic F-gauges completely capture certain aspects of motivic theory, echoing Scholze's perspective.

2. "Defined over $\mathbb{F}_1$"

The characterization of the essential image can be understood as the syntomification theory being "defined over $\mathbb{F}_1$": just as $A^{\text{Syn}}$ is the stack of $A$-algebra structures on $\mathbb{Z}_p$-algebra stacks, $\mathbb{Z}_p^{\text{Syn}}$ is the stack of $\mathbb{Z}_p$-algebra structures on some "$\mathbb{F}_1$-algebra stack."

3. Future Directions

The paper proposes multiple conjectures and future research directions in §5:

• Conjecture 5.8: Describes Efimov's refined TC⁻ of the rationals
• Conjecture 5.11: Provides a moduli space description of Lurie's stack $F_1^{\text{Syn}}$
• Connections with shtuka theory

Technical Challenges and Solutions

1. Difficulties in the Derived Case

The authors note that a naive derived analogue of the main theorem should fail, providing a sketch of counterexample construction in Warning 5.1. The solution involves considering "strict ring stacks."

2. Lifting from Monoids to Rings

This is a key technical difficulty in the proof. The authors resolve it through:

• Utilizing Nygaard-filtered completions
• Applying flat descent
• Employing exponentiation theory developed in §A

3. Handling Multiple Topologies

Different cohomology theories require different topological settings, which the authors handle through a unified framework.

Critical Assessment

Strengths

1. Theoretical Depth: Resolves an important open problem in the field with high theoretical value.
2. Technical Innovation: Introduces multiple new concepts and technical tools, laying foundations for subsequent research.
3. Unification: Establishes analogous results across multiple distinct settings, demonstrating deep mathematical unity.
4. Completeness: Contains detailed technical exposition and complete proofs with high rigor.

Limitations

1. Complexity: The proofs are extremely technical, requiring substantial background knowledge, which may limit accessibility.
2. Derived Case: Main results do not hold in the derived setting, requiring modified theoretical frameworks.
3. Computational Feasibility: While providing theoretical characterizations, practical application of these results may remain difficult.

Impact

1. Field Advancement: Directly answers Drinfeld's question and advances the development of ring stack theory.
2. Methodological Contribution: Developed technical tools will have sustained impact on related fields.
3. Future Research: Proposed conjectures point directions for future investigation.

Conclusion and Outlook

This paper achieves significant breakthroughs in the theory of moduli spaces of ring stacks, not only resolving the specific question posed by Drinfeld but more importantly establishing a unified framework for understanding ring stack structures across different cohomology theories. The method of characterizing the essential image through underlying monoid stacks provides concrete geometric intuition for understanding these abstract objects.

The paper's technical contributions, particularly the development of polyfiltered Cartier-Witt divisors and pseudodescent theory, provide important tools for the field. Simultaneously, the multiple conjectures proposed by the authors, especially connections with motivic theory and topological cyclic homology, open new directions for future research.

Although the results are highly technical, their importance at the intersection of algebraic geometry and number theory cannot be overstated, and they are expected to have long-lasting and profound impact on related fields.