Solid realization of motives with modulus

Basic Information

• Paper ID: 2510.13596
• Title: Solid realization of motives with modulus
• Author: Keiho Matsumoto
• Classification: math.AG (Algebraic Geometry)
• Publication Date: October 15, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.13596

Abstract

This paper constructs a covariant realization functor Solid_m(−) from the category of motives with modulus to the derived category of solid modules in the sense of Clausen-Scholze. For smooth modulus pairs (X,D), the dual of Solid_m(X,D) recovers the Hodge realization of (X,D) due to Kelly-Miyazaki. Using Ren's pro-solid comparison theorem, the author explicitly describes Solid_m(X,D) and computes Solid_m(Cone(M(U,D|_U)→M(X,D))) in the case where X is a smooth proper algebraic variety over a field, D⊂X is a simple normal crossing divisor, and U⊂X is an open immersion. The result is characterized through formal completion of X along the complement X\U.

Research Background and Motivation

1. Core Problem: Constructing a realization functor from the category of motives with modulus to the derived category of solid modules, which represents an important development direction in motivic theory within algebraic geometry.
2. Significance:
   • Motivic theory with modulus is an important generalization of Voevodsky's motivic theory, capable of handling geometric objects with boundaries
   • Solid module theory, developed by Clausen-Scholze, is a new cohomological framework with excellent functorial properties
   • Connecting these two theories helps understand the arithmetic and topological properties of geometric objects
3. Existing Limitations:
   • The Hodge realization of Kelly-Miyazaki only provides a contravariant functor
   • Lack of a unified framework for addressing realization problems of geometric objects with modulus
   • Traditional discrete theory cannot handle certain completion problems
4. Research Motivation: Leveraging the advantages of solid module theory to construct a covariant realization functor and provide geometric interpretation through formal geometry

Core Contributions

1. Construction of a covariant realization functor: A functor Solid(−) from the category of motives with modulus PNor(A) to the derived category D(A■) of solid A■-modules
2. Establishment of fundamental properties of the functor: Proof of □-invariance, smooth blowup invariance, symmetric monotonicity, and other important properties
3. Generalization to the general case: Construction of a more general functor Solid_m(−), whose dual recovers the Hodge cohomology of Kelly-Miyazaki
4. Explicit descriptions: Using Ren's pro-solid comparison theorem, explicit computation formulas for Solid_m(X,D) are provided
5. Geometric applications: Geometric interpretation of cone objects Solid_m(Cone(M(U,D|_U)→M(X,D))) through formal completion

Detailed Methodology

Task Definition

For a discrete Noetherian commutative ring A, construct the functor:

Solid : PNor(A) → D(A■)

where PNor(A) is the category of modulus pairs with normal total space, and A■ := (A,A)■ is the prism-analytic ring associated with A.

Core Construction

For a modulus pair (X,D) ∈ PNor(A), define:

Solid(X,D) := f!(f!A ⊗^L_{O_{X,■}} O_X(-D + |D|))

where f: X → Spec A is the structure morphism.

Technical Innovations

1. Application of six-functor formalism: Utilizing the six-functor formalism f!, f! for solid modules established by Clausen-Scholze
2. Treatment of modulus pairs: Cleverly converting the modulus pair (X,D) into a line bundle O_X(-D + |D|), where |D| denotes the support of D
3. Pro-solid comparison: Using Ren's theorem to connect Deligne's pro-coherent sheaf construction with Clausen-Scholze's construction

Main Theorems

Core Content of Theorem 1.1

For a discrete Noetherian commutative ring A and prism-analytic ring A■, the functor Solid(−) satisfies:

1. Functoriality: For environmental morphisms h: (Y,C) → (X,D), there exists a morphism h_+: Solid(Y,C) → Solid(X,D)
2. □-invariance: The natural morphism Solid((X,D)⊗□) → Solid(X,D) is an isomorphism
3. Blowup invariance: Under appropriate conditions, Solid(Bl_Z X, p*D) → Solid(X,D) is an isomorphism
4. Cohomology computation: When X is smooth and proper over A,

   H^{i+dim X}(X, Ω^{dim X}_{X/A}(-D + |D|)) ≃ H^{-i}(X, O(D - |D|))^∨
   

5. Duality: When X is a complete intersection,

   RHom_{A■}(Solid(X,D), A) ≃ RΓ_{Zar}(X, O_X(D - |D|))
   

Generalization to the Solid_m Functor

For a normal modulus pair (X,D) and m ≥ 0, define:

Solid_m(X,D) := f! Hom_{O_{X,■}}(Ω^m_{X/A}(log |D|), f!A ⊗ O_{X,■} O_X(-D + |D|))

When X is smooth, this simplifies to:

Solid_m(X,D) = f! Ω^{dim X - m}_{X/A}(log |D|)(-D)[dim X]

Explicit Descriptions and Applications

Explicit Formula of Theorem 4.3

Let A be a field and X a smooth algebraic variety over A with smooth compactification j: X ↪ Y. Then:

Solid_m(X,D) ≃ holim_n Rg_*(I^n ⊗ Ω^{d-m}_{Y/A}(log |D̃|)(-D̃))[d]

where I is the ideal sheaf of the complement and d = dim X.

Geometric Application of Theorem 4.4

For a smooth proper algebraic variety X and open immersion j: U ↪ X, we have:

Solid_m(Cone(M(U,D|_U) → M(X,D))) ≃ Rg_*(Ω^{d-m}_{X/A}(log |D|)(-D))^∧_Z[d]

where the right-hand side is the formal completion along the closed complement Z = X\U.

Technical Methods

Six-Functor Formalism

The paper extensively uses the six-functor formalism for solid modules established by Clausen-Scholze:

• f_, f^: Direct and inverse image functors
• f_!, f^!: Exceptional direct and inverse image functors
• ⊗, RHom: Tensor product and internal hom functors

Key Lemma

Lemma 3.2: For a bounded perfect discrete complex P and Q ∈ D(O_{X,■}), there is an isomorphism:

h! Hom_{O_{X,■}}(P,Q) ≃ Hom_{O_{Y,■}}(h*P, h!Q)

This lemma is a key tool for constructing functor morphisms.

Related Work

1. Work of Kelly-Miyazaki: Established Hodge cohomology theory with modulus, but only provided a contravariant functor
2. Solid module theory of Clausen-Scholze: Provides a new cohomological framework and six-functor formalism
3. Pro-solid comparison theorem of Ren: Connects Deligne's pro-coherent sheaf theory with solid module theory
4. Motivic theory of Voevodsky: The present work can be viewed as a generalization of motivic theory within the solid module framework

Conclusions and Discussion

Main Conclusions

1. Successfully constructed a covariant realization functor from motives with modulus to solid modules
2. Established fundamental properties and computation formulas for this functor
3. Provided geometric interpretation of cone objects through formal geometry

Limitations

1. Some results require characteristic 0 assumptions
2. For general modulus pairs, normality or smoothness assumptions are needed
3. Explicit computations depend on specific geometric settings

Future Directions

1. Generalization to more general base rings and geometric objects
2. Investigation of relationships with other realization functors
3. Exploration of applications in arithmetic geometry

In-Depth Evaluation

Strengths

1. Theoretical Innovation: First establishment of a covariant realization from motives with modulus to solid modules, filling a theoretical gap
2. Technical Depth: Skillful application of six-functor formalism and pro-solid comparison theorem
3. Geometric Intuition: Provides geometric interpretation of abstract constructions through formal completion
4. Completeness: Proves all fundamental properties of the realization functor

Weaknesses

1. High Technical Threshold: Requires readers to have deep background in solid module theory and motivic theory
2. Limited Applications: Currently mainly theoretical construction; practical applications require further development
3. Strong Assumptions: Many results require normality, smoothness, and other strong geometric assumptions

Impact

1. Theoretical Significance: Provides new realization methods for motivic theory with modulus
2. Technical Contribution: Demonstrates the application potential of solid module theory in algebraic geometry
3. Future Development: Lays foundation for further research in related fields

Applicable Scenarios

1. Study of algebraic geometric objects with boundaries
2. Cohomology computations in arithmetic geometry
3. Realization problems in motivic theory
4. Formal geometry and completion theory

References

The paper cites the following key references:

1. Shane Kelly and Hiroyasu Miyazaki. Hodge cohomology with a ramification filtration
2. Clausen and Scholze. Lectures on condensed mathematics
3. Fei Ren. Coherent six-functor formalisms: Pro vs solid
4. Hiroyasu Miyazaki. Nisnevich topology with modulus

These references form the core support of the theoretical foundation of this paper.