Coherent six-functor formalisms: Pro vs Solid

Fei Ren

Coherent six-functor formalisms: Pro vs Solid

T0 review · 0 major / 3 minor · reviewed 2026-05-22 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Deligne's pro-sheaf construction of j_! coincides with Clausen-Scholze's solid-module version via a natural functor.

desk verdict This paper shows Deligne's pro-sheaves and Clausen-Scholze solids coincide for coherent six-functors via a natural functor that is fully faithful on Mittag-Leffler systems. read the letter →

arxiv 2506.21082 v3 pith:Q2CFUF6D submitted 2025-06-26 math.AG math.GN

Fei Ren This is my paper · ORCID

classification math.AGmath.GN

keywords six-functorformalismcoherentsheavespro-sheavessolidmodulesj_!functorDeligneconstructionClausen-ScholzeMittag-Lefflerpro-systems

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes that two different enlargements of the category of coherent sheaves produce the same way to define the missing j_! functor in the six-functor formalism. Deligne's approach extends to pro-sheaves while Clausen-Scholze extends to solid modules. A natural functor connects the two enlarged categories and is fully faithful when restricted to Mittag-Leffler pro-systems. A sympathetic reader cares because this shows the two fixes for the classical gap in coherent sheaf theory are interchangeable rather than competing alternatives.

What carries the argument

The natural functor from the category of pro-sheaves to the category of solid modules that preserves the structures required for the six-functor formalism.

What would settle it

An explicit open immersion j and a coherent sheaf where the j_! constructed from pro-sheaves differs from the j_! constructed from solid modules would show the constructions do not coincide.

Watch

Extended reading notes

Core claim

In the classical theory for coherent sheaves, the only missing piece in the Grothendieck six-functor formalism picture is j_! for an open immersion j. Towards fixing this gap, Deligne proposed a construction of j_! by extending the sheaf class to pro sheaves, while Clausen-Scholze provided another solution by extending the sheaf class to solid modules. In this work, we prove that Deligne's construction coincides with the Clausen-Scholze construction via a natural functor, whose restriction to the full subcategory of Mittag-Leffler pro-systems is fully faithful.

Load-bearing premise

The two enlarged categories admit a well-defined natural functor that preserves the structures needed for the six-functor formalism and restricts to a fully faithful embedding on Mittag-Leffler pro-systems.

Editorial extensions

If this is right

The j_! functor obtained from either extension is the same.
The six-functor formalism built on pro-sheaves is equivalent to the one built on solid modules.
The Mittag-Leffler pro-systems form a common fully faithful subcategory in both enlarged categories.
Theorems proved using one construction transfer directly to the other via the natural functor.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The equivalence lets practitioners pick whichever enlarged category is easier for a given computation without changing the final results on Mittag-Leffler systems.
Similar comparisons could be attempted between these two constructions and any future third proposal for completing the six operations on coherent sheaves.
The result suggests that the choice of enlargement may be less critical than previously thought when applying six-functor methods in algebraic geometry.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The main point is that Deligne's pro-sheaf construction for coherent sheaves lines up with Clausen-Scholze solid modules through a natural functor, and the restriction to Mittag-Leffler pro-systems is fully faithful. This connects two separate fixes for the missing j! on open immersions in Grothendieck's six-functor setup for coherent sheaves. The paper constructs the functor explicitly and shows it intertwines the six operations by working inside the same Grothendieck site and using only the universal properties of each enlargement. The full faithfulness then follows from direct comparison of Hom-spaces, with no extra boundedness or convergence conditions added. That approach keeps things clean and avoids hidden assumptions. The result is a concrete bridge between the two constructions, which is new as a detailed comparison. The paper does this part well by staying focused on the universal properties rather than inventing new machinery. A minor soft spot is that full faithfulness is stated only for the Mittag-Leffler subcategory, so the categories match in a controlled way but not everywhere; the abstract already flags this, so it is not a surprise. The technical steps look standard, but a referee would still want to check the functor definition and the Hom-space calculations in detail. This is for algebraic geometers who already work with derived categories and six-functor formalisms and need a consistent way to handle open immersions in the coherent setting. Readers familiar with either Deligne or Clausen-Scholze will see the value in the link. The paper shows clear thinking on its own terms and deserves a serious referee to confirm the details. I would send it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper proves that Deligne's construction of j! for open immersions in the six-functor formalism for coherent sheaves, obtained by enlarging to pro-sheaves, coincides with the Clausen-Scholze construction obtained by enlarging to solid modules. It constructs an explicit natural functor between these two enlarged categories that intertwines the six operations and proves that the restriction of this functor to the full subcategory of Mittag-Leffler pro-systems is fully faithful, with all arguments carried out inside a fixed Grothendieck site using only universal properties of the respective enlargements.

Significance. If the central claims hold, the result unifies two independent solutions to the missing j! functor in coherent six-functor formalisms, providing a direct comparison via a natural transformation that preserves the required structures. The use of universal properties without additional boundedness or convergence hypotheses, together with the direct comparison of Hom-spaces on Mittag-Leffler systems, constitutes a clear technical strength that could streamline future work on coherent sheaves in algebraic geometry and condensed mathematics.

minor comments (3)

[§2] §2: The notation distinguishing pro-sheaves from solid modules is introduced without a side-by-side comparison of their universal properties; adding a short table or diagram would improve readability.
[§4] The proof that the functor preserves the six operations (presumably in §4) relies on universal properties; an explicit verification for at least one operation (e.g., f^* or f_!) on a simple test case would help readers follow the argument.
The bibliography should include the original references for both Deligne's pro-sheaf construction and the Clausen-Scholze solid-module formalism if they are not already present.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and constructive report, including the clear summary of our main result and the assessment of its significance in unifying the Deligne and Clausen-Scholze approaches to the missing j! functor. The recommendation for minor revision is noted, and we will prepare a revised version accordingly. As the report contains no specific major comments or criticisms to address, the point-by-point responses below are necessarily empty.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; comparison theorem is self-contained

full rationale

The manuscript defines an explicit natural functor from Deligne's pro-sheaves to Clausen-Scholze solid modules that preserves the six operations by direct use of the universal properties of each enlargement on the same Grothendieck site. Full faithfulness on Mittag-Leffler pro-systems is then verified by explicit comparison of Hom-spaces. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation; both source constructions are treated as independent external inputs. The derivation therefore stands on its own without circular reduction.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

Only the abstract is available, so no specific free parameters, ad-hoc axioms, or invented entities can be identified from the provided text. The work relies on background category-theoretic constructions from prior literature.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Coherent six-functor formalisms: Pro vs Solid." pith.science (2026). https://pith.science/paper/Q2CFUF6D

@misc{pith2026250621082,
  author       = {Pith},
  title        = {Pith review of: Coherent six-functor formalisms: Pro vs Solid},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Q2CFUF6D}},
  note         = {Machine review of arXiv:2506.21082}
}

abstract

In the classical theory for coherent sheaves, the only missing piece in the Grothendieck six-functor formalism picture is $j_!$ for an open immersion $j$. Towards fixing this gap, Deligne proposed a construction of $j_!$ by extending the sheaf class to pro sheaves, while Clausen-Scholze provided another solution by extending the sheaf class to solid modules. In this work, we prove that Deligne's construction coincides with the Clausen-Scholze construction via a natural functor, whose restriction to the full subcategory of Mittag-Leffler pro-systems is fully faithful.

Discussion (0). Continue with ORCID to comment.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.1: natural functor Φ : ProN Mod(A) → Solid(A) ... restriction to Mittag-Leffler pro-systems is fully faithful and exact; compatibility of Deligne j! and Clausen-Scholze j! via RΦ.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Proofs rely on inverse limits in TopMod(A)cgwh, Mittag-Leffler condition, and universal properties inside Cond(A) and Solid(A).

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

M-modules
math.AG 2026-07 accept novelty 5.0 of 10

Left modules over the column-finite integer matrix ring M are equivalent to light solid abelian groups and form a closed monoidal abelian category containing complete metrizable linear groups.

Pith tools

Reviewed May 22, 2026 · model on record in the stance chip above.