pith. sign in

arxiv: 1906.09496 · v1 · pith:UGDYPCATnew · submitted 2019-06-22 · 🧮 math.AG

Modular Model Categories

Renaud Gauthier This is my paper

Pith reviewed 2026-05-25 17:57 UTC · model grok-4.3

classification 🧮 math.AG
keywords model categoriesfunctor categoriesfull and essentially surjective functorsZ-schemesNisnevich topologyA1-homotopy categoryparametrizations
0
0 comments X

The pith

To any model category M we associate a modular model category M[-] : Cat → Cat via the functor category of full and essentially surjective functors from C to M.

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

The paper defines for any model category M a functor of points M[-] from small categories to categories, sending each small category C to the functor category M[C] consisting of full and essentially surjective functors from C to M. This construction yields a modular model category that parametrizes the fixed M by varying the choice of C. Particular attention is given to parametrizations arising from schemes, specifically the category ZSm/k of linear combinations of smooth separated schemes of finite type over a field k and the Nisnevich sheaves on it, with a comparison to the A1-homotopy category of those Z-schemes.

Core claim

To any model category M, we associate a modular model category, a functor of points M[-]: Cat → Cat, that associates to any small category C a functor category M[C] = Fun_fes(C, M) of full and essentially surjective functors from C to M, providing parametrizations of a same model category M by different small categories. We are in particular interested in using schemes as parameters. We consider ZSm/k the category of linear combinations of smooth separated schemes of finite type over Spec(k), k a field, referred to as Z-schemes, and let C = Sh(Z Sm/k, Nis). We contrast this with using the A1-homotopy category of Z-schemes as a parametrizing category.

What carries the argument

The functor M[-] that sends each small category C to the functor category Fun_fes(C, M) of full and essentially surjective functors, which carries the modular model category structure.

If this is right

  • Different small categories C yield distinct parametrizations of the same model category M.
  • The category of Z-schemes and its Nisnevich sheaf category serve as concrete parametrizing categories.
  • The A1-homotopy category of Z-schemes supplies an alternative parametrization for comparison.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The construction could transfer properties of model categories across geometric parametrizations derived from schemes.
  • It opens a route to studying model structures by varying the underlying category of schemes while keeping M fixed.
  • Concrete checks could begin by verifying model structures on Fun_fes for small explicit choices of M and C such as simplicial sets or chain complexes.

Load-bearing premise

The functor category of full and essentially surjective functors from C to M can be equipped with a model category structure.

What would settle it

An explicit model category M and small category C such that Fun_fes(C, M) admits no model structure making the assignment M[-] a modular model category.

read the original abstract

To any model category $\mathcal{M}$, we associate a modular model category, a functor of points $\mathcal{M}[-]:$ Cat $\rightarrow$ Cat, that associates to any small category $\mathcal{C}$ a functor category $\mathcal{M}[\mathcal{C}] = \text{Fun}_{fes}(\mathcal{C}, \mathcal{M})$ of full and essentially surjective functors from $\mathcal{C}$ to $\mathcal{M}$, providing parametrizations of a same model category $\mathcal{M}$ by different small categories. We are in particular interested in using schemes as parameters. We consider $\mathbb{Z}$Sm$/k$ the category of linear combinations of smooth separated schemes of finite type over Spec($k$), $k$ a field, referred to as $\mathbb{Z}$-schemes, and let $\mathcal{C} = Sh(\mathbb{Z} \text{Sm}/k, \text{Nis})$. We contrast this with using the $\mathbb{A}^1$-homotopy category of $\mathbb{Z}$-schemes as a parametrizing category.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The paper associates to any model category M a 'modular model category' given by the functor M[-]: Cat → Cat, where for a small category C the value M[C] is defined to be the subcategory Fun_fes(C, M) consisting of full and essentially surjective functors C → M. The construction is motivated by the desire to parametrize a fixed model category M by varying small categories C, with particular interest in taking C to be the category of Z-schemes (linear combinations of smooth separated schemes of finite type over a field k) or the category of Nisnevich sheaves on ZSm/k, and contrasting this with the A^1-homotopy category of Z-schemes.

Significance. If the central construction were completed by equipping each Fun_fes(C, M) with a model structure compatible with the functoriality in C, the resulting parametrization could provide a systematic way to vary the 'shape' of a model category while keeping the underlying M fixed, with potential applications to geometric model categories. The manuscript supplies no such model structure, no verification of the model axioms on the non-full subcategory Fun_fes(C, M), and no comparison with existing transferred or projective model structures on functor categories, so the significance cannot be assessed from the given text.

major comments (2)
  1. [Abstract and definition of modular model category] The definition of a modular model category requires that M[C] := Fun_fes(C, M) carries a model category structure for every small C so that M[-] lands in the category of model categories. The manuscript states this association but supplies neither the classes of weak equivalences, fibrations and cofibrations on the subcategory Fun_fes(C, M) nor any verification that these classes satisfy the model category axioms (2-out-of-3, lifting properties, factorization). This omission is load-bearing for the central claim.
  2. [Definition of M[C]] Fun_fes(C, M) is a non-full subcategory of the usual functor category Fun(C, M) and is not closed under arbitrary limits or colimits. No argument is given showing that a standard model structure (projective, injective, or transferred) restricts to this subcategory or that a new model structure can be defined directly on it.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and for highlighting the critical gaps in the manuscript. We agree that the definition of a modular model category as a functor landing in model categories requires explicit model structures on each Fun_fes(C, M) together with verification of the axioms, and that these are absent from the current text. This prevents a full assessment of the construction and its significance. We will perform a major revision to supply the missing model structures (e.g., via transferred or restricted projective structures where feasible) and the necessary verifications, while also clarifying the scope of the present work. Point-by-point responses to the major comments follow.

read point-by-point responses

  1. Referee: [Abstract and definition of modular model category] The definition of a modular model category requires that M[C] := Fun_fes(C, M) carries a model category structure for every small C so that M[-] lands in the category of model categories. The manuscript states this association but supplies neither the classes of weak equivalences, fibrations and cofibrations on the subcategory Fun_fes(C, M) nor any verification that these classes satisfy the model category axioms (2-out-of-3, lifting properties, factorization). This omission is load-bearing for the central claim.

    Authors: We fully agree that the stated definition of a modular model category presupposes a model structure on each M[C] = Fun_fes(C, M) and that the manuscript provides neither the classes of weak equivalences, fibrations and cofibrations nor any check of the model axioms. This is a substantive omission. In the revised version we will add an explicit construction of a model structure on Fun_fes(C, M) (most likely by transferring the projective model structure from the ambient functor category and verifying the required closure and lifting properties) together with direct verification of the five model-category axioms and functoriality in C. revision: yes

  2. Referee: [Definition of M[C]] Fun_fes(C, M) is a non-full subcategory of the usual functor category Fun(C, M) and is not closed under arbitrary limits or colimits. No argument is given showing that a standard model structure (projective, injective, or transferred) restricts to this subcategory or that a new model structure can be defined directly on it.

    Authors: The observation is correct: Fun_fes(C, M) is a non-full subcategory that need not be closed under arbitrary limits or colimits, and the manuscript supplies no argument that any standard model structure restricts to it or that a new one can be defined on it. We will revise the text to include a detailed discussion of this issue and to construct a suitable model structure, for instance by exhibiting a transferred model structure whose fibrations and weak equivalences are detected in the ambient category while ensuring the resulting subcategory satisfies the model axioms. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction presented as extension of standard model-category notions

full rationale

The paper defines M[C] explicitly as the subcategory Fun_fes(C, M) of full and essentially surjective functors and asserts that this inherits a model structure so that M[-] becomes a functor Cat → Cat. No equation or definition in the supplied text reduces the model structure on Fun_fes(C, M) to a fitted parameter, a self-referential renaming, or a load-bearing self-citation whose content is merely the target claim. The construction is therefore self-contained against the external benchmark of ordinary model-category axioms; any gap lies in verification rather than circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The abstract provides insufficient detail to fully enumerate free parameters or axioms; the construction implicitly relies on standard model category axioms without explicit listing.

axioms (1)
  • domain assumption Functor categories of full and essentially surjective functors admit a model category structure compatible with the base model category M
    Required for M[C] to qualify as a model category in the modular construction
invented entities (1)
  • modular model category no independent evidence
    purpose: To provide a functorial parametrization of a fixed model category by varying small categories C
    Newly introduced concept whose properties are asserted in the abstract

pith-pipeline@v0.9.0 · 5696 in / 1367 out tokens · 35733 ms · 2026-05-25T17:57:45.806869+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · 3 internal anchors

  1. [1]

    Friedlander, A

    E.M. Friedlander, A. Suslin and V. Voevodsky, Cycles, Transfers, and Motivic Homology Theories, Annals of Mathematics Studies, 143, Princeton University Press, Princeton, NJ, 2000

    work page 2000

  2. [2]

    Gerstenhaber and D

    M. Gerstenhaber and D. Schack, Algebraic Cohomology and Deformation Theory, Deformation Theory of Algebras and Structures and Applications, (Il Ciocco, 1986), Vol. 247, NATO Adv. Sci. Inst. Ser. C Mathematical Physics, Kluwer Acad. Publ., Dordrecht, 1988, pp 11-264

    work page 1986

  3. [3]

    Grothendieck, Elements de Geometrie Algebrique, Publications Mathematiques de l'IHES, tome 4 (1960), p.5-228

    A. Grothendieck, Elements de Geometrie Algebrique, Publications Mathematiques de l'IHES, tome 4 (1960), p.5-228

    work page 1960

  4. [4]

    Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, Springer-Verlag (1977), New-York

    R. Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, Springer-Verlag (1977), New-York

    work page 1977

  5. [5]

    Hirschhorn, Model Categories and their Localizations, Math

    P.S. Hirschhorn, Model Categories and their Localizations, Math. Surveys and Monographs Series, Vol. 99, AMS, Providence, 2003

    work page 2003

  6. [6]

    Hoyois, Nisnevich Topology, available at www-bcf.usc.edu/ hoyois/papers/nisnevich.pdf

    M. Hoyois, Nisnevich Topology, available at www-bcf.usc.edu/ hoyois/papers/nisnevich.pdf

    work page

  7. [7]

    Motivic model categories and motivic derived algebraic geometry

    Y. Kato, Motivic Model Categories and Motivic Derived Algebraic Geometry, arXiv:1703.02849v3 [math.CT]

    work page internal anchor Pith review Pith/arXiv arXiv

  8. [8]

    Kontsevich, Homological Algebra of Mirror Symmetry, Proceedings of the International Congress of Mathematicians, Vol

    M. Kontsevich, Homological Algebra of Mirror Symmetry, Proceedings of the International Congress of Mathematicians, Vol. 0,2, (Zurich, 1994)

    work page 1994

  9. [9]

    Hochschild homology and semiorthogonal decompositions

    A. Kuznetsov, Hochschild Homology and Semi-orhtogonal Decompositions, arXiv: 0904.4330 V1 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv

  10. [10]

    Levine, Motivic Homotopy Theory, Milan J

    M. Levine, Motivic Homotopy Theory, Milan J. Math. 76, (2008), 165-199

    work page 2008

  11. [11]

    Mac Lane, I

    S. Mac Lane, I. Moerdijk, Sheaves in Geometry and Logic, Universitext, Springer-Verlag (1992), New York

    work page 1992

  12. [12]

    J.P. May, J. Sigurdsson, Parameterized Homotopy Theory, Mathematical Surveys and Monographs, Vol.132, AMS (2006), Providence

    work page 2006

  13. [13]

    Mazza, V

    C. Mazza, V. Voevodsky and C. Weibel, Lecture Notes on Motivic Cohomology, Clay Mathematics Monographs, 2, American Mathematical Society, Providence, RI, Clay Mathematics Institute, Cambridge, MA, 2006

    work page 2006

  14. [14]

    Categories parametrized by schemes and representation theory in complex rank

    A. Mathew, Categories Parametrized by Schemes and Representation Theory in Complex Rank, arXiv:1006.1381v1 [math.RT]

    work page internal anchor Pith review Pith/arXiv arXiv

  15. [15]

    Morel, An Introduction to A ^1 -Homotopy Theory , Contemporary Developments in Algebraic K-Theory, 357-441, ICTP Lect

    F. Morel, An Introduction to A ^1 -Homotopy Theory , Contemporary Developments in Algebraic K-Theory, 357-441, ICTP Lect. Notes, XV, Abdus Salam Int. Cent. Theoret. Phys. Trieste, 2004

    work page 2004

  16. [16]

    Morel, V

    F. Morel, V. Voevodsky, A ^1 -homotopy Theory of Schemes , Publications Mathematiques de l'IHES, 90 (90): 45-143

    work page

  17. [17]

    Ostvaer, O

    P.A. Ostvaer, O. Rondigs, V. Voevodsky, Voevodsky's Nordfjordeid Lectures: Motivic Homotopic Theory, Motivic Homotopy Theory, 147-221, Universitext, Springer, Berlin, 2007

    work page 2007

  18. [18]

    Swan, Hochschild Cohomology of Quasiprojective Schemes, J

    R.G. Swan, Hochschild Cohomology of Quasiprojective Schemes, J. Pure Appl. Alg. 110, no.1 (1996), pp 57-80

    work page 1996

  19. [19]

    Voevodsky, A ^1 -homotopy Theory , Documenta Mathematics, Proceedings of the International Congress of Mathematicians, Vol.1 (1999), Berlin: 579-604

    V. Voevodsky, A ^1 -homotopy Theory , Documenta Mathematics, Proceedings of the International Congress of Mathematicians, Vol.1 (1999), Berlin: 579-604

    work page 1999