arxiv: 2605.12744 · v1 · submitted 2026-05-12 · 🧮 math.AT

Recognition: 2 theorem links

· Lean Theorem

Bousfield Localizations on the Nonmodular Lattice N₅

Sof\'ia Mart\'inez Alberga , Constanze Roitzheim

Authors on Pith no claims yet

Pith reviewed 2026-05-14 20:00 UTC · model grok-4.3

classification 🧮 math.AT

keywords model categoriesBousfield localizationtransfer systemslattice N5nonmodular latticesequivariant homotopy theory

0 comments

The pith

The nonmodular lattice N5 admits exactly those model category structures that arise from transfer systems, all connected by Bousfield localizations.

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

The paper classifies every model category structure that can be defined on the nonmodular lattice N5 and shows precisely how these structures are related by Bousfield localization. The classification is obtained by importing transfer systems, combinatorial objects from equivariant homotopy theory, and proving they parametrize all possible model structures on this lattice. A sympathetic reader would care because the result gives an explicit dictionary between combinatorial data and the homotopical properties of a concrete small lattice, revealing how localization functors act on the set of all such structures.

Core claim

Every model category structure on N5 arises from a transfer system, and the partial order of Bousfield localizations on these structures is completely determined by the partial order on the corresponding transfer systems.

What carries the argument

Transfer systems, combinatorial objects that record the data needed to define compatible cofibrations and fibrations on a lattice.

If this is right

The full set of model structures on N5 is finite and can be listed explicitly by enumerating transfer systems.
Bousfield localization induces a well-defined partial order on this finite set.
Homotopical properties such as left or right properness of each structure are determined by the corresponding transfer system.
The lattice N5 serves as a test case where combinatorial and homotopical methods interact completely.

Where Pith is reading between the lines

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

The same transfer-system dictionary may apply to other small lattices once their transfer systems are classified.
Bousfield localization on N5 provides a concrete example of how localization can change the homotopy theory while preserving the underlying lattice.
Further computation of homotopy groups or mapping spaces in each structure would test the practical usefulness of the classification.

Load-bearing premise

Every model category structure on N5 can be recovered from some transfer system.

What would settle it

The existence of even one model category structure on N5 whose cofibrations or fibrations cannot be read off from any transfer system.

Figures

Figures reproduced from arXiv: 2605.12744 by Constanze Roitzheim, Sof\'ia Mart\'inez Alberga.

**Figure 1.** Figure 1: The lattice N5. Its objects are 0, A, B, C and 1 with 0 < A < C < 1, 0 < B < 1 and B is not comparable to A or C. For simplicity, we will omit the names of the objects in the majority of the subsequent images. Furthermore we call a morphism f in poset short if it is indecomposable, i.e. f = g ◦ h implies that either g or h is the identity. In [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗

**Figure 2.** Figure 2: The transfer systems on [2] Example 3.3. With the information in [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗

**Figure 3.** Figure 3: The 26 transfer systems on N5, ordered by inclusion. Next, we define the dual concept to a transfer system. Definition 3.4. A cotransfer system on a category C is a wide subcategory closed under pushouts. Before we summarize some duality properties between transfer and cotransfer systems, let us introduce some more notation [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗

**Figure 4.** Figure 4: The 26 transfer systems on N5 with their dual cotransfer systems [PITH_FULL_IMAGE:figures/full_fig_p007_4.png] view at source ↗

**Figure 5.** Figure 5: The lattice Tr(N5) using generators. 4. Transfer systems and model structures We assume that the reader is familiar with the basic definitions regarding model categories, but we recall some notions for convenience. Definition 4.1. A model structure on a category C consists of three subcategories W, C and F called weak equivalences, cofibrations and fibrations, respectively, satisfying the axioms below. The… view at source ↗

**Figure 6.** Figure 6: A copy of N5 inside of Tr(N5) However, as the images of Tr(N5) in Figures 3 and 5 also show, the lattice structure of Tr(N5) is complicated, so this is not so easily found from direct inspection. The last proposition alludes to a more general statement. If a lattice P contains [2] as a sublattice, then it is easily verified that the lattice Tr(P) contains Tr([2]) ∼= N5 as a sublattice, see also [LR24, Prop… view at source ↗

**Figure 7.** Figure 7: All 70 model structures of N5 can be obtained from the trivial model structure via a sequence of left and right Bousfield localization. □ [PITH_FULL_IMAGE:figures/full_fig_p016_7.png] view at source ↗

read the original abstract

We provide a complete description of the model category structures on the nonmodular lattice $N_5$. Furthermore we explain how these model category structures are related to each other via Bousfield localization. This work heavily relies on the use of combinatorical objects from equivariant homotopy theory known as \emph{transfer systems}, and it results in a wealth of interesting interactions between combinatorial and homotopical methods.

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.

Desk Editor's Note private letter to a colleague

The paper gives the first explicit list of all model structures on N5 and their Bousfield localization relations, built from transfer systems.

read the letter

The main takeaway is that the authors have produced a full enumeration of model category structures on the five-element nonmodular lattice N5, together with the partial order of Bousfield localizations between them. They do this by importing transfer systems from equivariant homotopy theory and listing the resulting structures and relations in concrete form. No prior work had carried out this complete case for N5, so the explicit lists are new material in the subfield. The paper does a solid job turning the combinatorial input into readable output that shows how the localizations interact on this small poset. That kind of worked example is genuinely helpful when people are trying to understand the general theory of transfer systems and model structures on lattices. The main limitation is that completeness rests on the claim that every model structure on the poset arises from a transfer system. The paper enumerates and organizes the structures that come from transfer systems, but it does not supply an independent check that no other model structures exist outside that class. On a lattice this small such a check is possible in principle, yet the write-up does not appear to include one. If the transfer-system correspondence is already established as exhaustive in the literature the authors cite, then the gap is minor; otherwise it is the point a referee would need to examine. This is a paper for specialists already working on model structures on posets or on transfer systems in equivariant homotopy. A reader who wants concrete data to test or extend the general machinery will find it useful. It is worth sending to peer review because the computation is finite and the output is in principle verifiable, even if the foundational assumption requires careful scrutiny.

Referee Report

2 major / 2 minor

Summary. The paper claims to give a complete description of all model category structures on the five-element nonmodular lattice N5 and to classify their relations under Bousfield localization, with the classification obtained by enumerating transfer systems from equivariant homotopy theory and organizing the resulting model structures accordingly.

Significance. If the completeness claim holds, the work supplies a fully explicit, finite example of model structures on a non-modular poset together with their localization lattice; this would be a useful concrete test case for general results relating transfer systems to model structures on small categories and would illustrate concrete interactions between combinatorial and homotopical techniques.

major comments (2)

[Abstract and Introduction] Abstract and Introduction: the central claim of a 'complete description' of all model category structures on N5 is not supported by an argument showing that every triple of classes (cofibrations, fibrations, weak equivalences) satisfying the model axioms on the poset must arise from a transfer system; the manuscript enumerates only the structures obtained from transfer systems without an independent exhaustion or lifting argument.
[Enumeration section] The section presenting the enumeration (presumably §3 or §4): while the transfer-system list and the induced model structures are described, no verification is given that the Quillen lifting and factorization axioms cannot admit additional solutions on N5 that lie outside the transfer-system data.

minor comments (2)

[Introduction] Notation for the lattice elements and for the transfer-system axioms should be introduced with a small diagram or table early in the paper to aid readers who are not already familiar with the N5 poset.
[Localization section] The relationship between Bousfield localization functors and the partial order on transfer systems is stated but would benefit from an explicit commutative diagram or table showing which localizations correspond to which inclusions of transfer systems.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to strengthen the completeness argument. We will revise the manuscript by adding an explicit exhaustion argument showing that every model structure on N5 arises from a transfer system. The responses below address each major comment in turn.

read point-by-point responses

Referee: [Abstract and Introduction] Abstract and Introduction: the central claim of a 'complete description' of all model category structures on N5 is not supported by an argument showing that every triple of classes (cofibrations, fibrations, weak equivalences) satisfying the model axioms on the poset must arise from a transfer system; the manuscript enumerates only the structures obtained from transfer systems without an independent exhaustion or lifting argument.

Authors: We agree that the manuscript as written enumerates model structures induced by transfer systems but does not contain a separate proof that these exhaust all possibilities. In the revised version we will insert a new subsection (immediately following the enumeration of transfer systems) that supplies an independent argument: because N5 has only five elements, the possible choices for the classes of cofibrations, fibrations and weak equivalences are finite and can be checked exhaustively against the model axioms. We will show that any triple satisfying the axioms must have its cofibrations and fibrations determined by a transfer system on the underlying lattice; the argument proceeds by case analysis on the possible images of the generating maps and uses the non-modular relations in N5 to rule out all other combinations. This will make the completeness claim fully supported. revision: yes
Referee: [Enumeration section] The section presenting the enumeration (presumably §3 or §4): while the transfer-system list and the induced model structures are described, no verification is given that the Quillen lifting and factorization axioms cannot admit additional solutions on N5 that lie outside the transfer-system data.

Authors: We acknowledge the absence of an explicit verification that no model structures exist outside the transfer-system framework. The revised manuscript will add a lemma (placed at the end of the enumeration section) that proves the Quillen lifting and factorization axioms hold on N5 if and only if the classes arise from a transfer system. The proof again exploits the small cardinality of N5: we enumerate all conceivable assignments of arrows to the three classes that are closed under the necessary operations, then directly check the lifting and factorization conditions; all solutions that pass are precisely those coming from transfer systems. We will also include a short table summarizing the exhaustive check for transparency. revision: yes

Circularity Check

0 steps flagged

No significant circularity; completeness claim relies on external transfer-system correspondence without self-referential reduction

full rationale

The abstract states a complete description of model structures on N5 via transfer systems and Bousfield localizations but supplies no equations or explicit steps that reduce the claimed enumeration to a fitted parameter or self-citation by construction. The work acknowledges heavy reliance on prior combinatorial objects from equivariant homotopy theory; however, no load-bearing uniqueness theorem or ansatz from overlapping authors is quoted that would force the result to equal its inputs. The central claim therefore retains independent content once the external correspondence is granted, yielding only a minor self-citation concern that does not elevate the score.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone.

pith-pipeline@v0.9.0 · 5358 in / 971 out tokens · 43311 ms · 2026-05-14T20:00:31.631715+00:00 · methodology

discussion (0)

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/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

We provide a complete description of the model category structures on the nonmodular lattice N5... using transfer systems... Golden Arrows
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

Theorem 5.4: Every model category structure on N5 can be obtained as a sequence of left and right Bousfield localizations of the trivial model structure

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

28 extracted references · 8 canonical work pages

[1]

and Roitzheim, C

Barnes, D. and Roitzheim, C. , TITLE =. 2020 , PAGES =. doi:10.1017/9781108636575 , URL =

work page doi:10.1017/9781108636575 2020
[2]

and Osorno, A.M

Mazur, K. and Osorno, A.M. and Roitzheim, C. and Santhanam, R. and Van Niel, D. and Zapata Castro, V. , TITLE =. Topology and its Applications , YEAR =
[3]

and Osorno, A.M

Mazur, K. and Osorno, A.M. and Roitzheim, C. and Santhanam, R. and Van Niel, D. and Zapata Castro, V. , TITLE =. arXiv preprint , YEAR =
[4]

and Goyal, S

Carnero Bravo, A. and Goyal, S. and Mart. Left and right Bousfield Localization on Lattices , JOURNAL =. 2025 , PAGES =

2025
[5]

Hirschhorn, P. S. , TITLE =. 2003 , PAGES =. doi:10.1090/surv/099 , URL =

work page doi:10.1090/surv/099 2003
[6]

and Barnes, D

Balchin, S. and Barnes, D. and Roitzheim, C. , TITLE =. Pacific J. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.2140/pjm.2021.315.285 , URL =

work page doi:10.2140/pjm.2021.315.285 2021
[7]

Mathematische Zeitschrift , volume=

Model structures on finite total orders , author=. Mathematische Zeitschrift , volume=. 2023 , publisher=

2023
[8]

Franchere, E. E. and Ormsby, K. and Osorno, A. M. and Qin, W. and Waugh, R. , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2022 , NUMBER =. doi:10.4310/hha.2022.v24.n2.a6 , URL =

work page doi:10.4310/hha.2022.v24.n2.a6 2022
[9]

Dwyer, W. G. and Spali\'nski, J. , TITLE =. Handbook of algebraic topology , PAGES =. 1995 , ISBN =. doi:10.1016/B978-044481779-2/50003-1 , URL =

work page doi:10.1016/b978-044481779-2/50003-1 1995
[10]

and Zakharevich, I

Droz, J.-M. and Zakharevich, I. , TITLE =. New York J. Math. , FJOURNAL =. 2021 , PAGES =

2021
[11]

, TITLE =

Rubin, J. , TITLE =. Glasg. Math. J. , FJOURNAL =. 2021 , NUMBER =. doi:10.1017/S001708952000021X , URL =

work page doi:10.1017/s001708952000021x 2021
[12]

and Rognerud, B

Luo, Y. and Rognerud, B. , TITLE =. arXiv preprint , YEAR =
[13]

and Lewis, C

Klanderman, S. and Lewis, C. and Monson, H. and Shibata, K. and Van Niel, D. , TITLE =. arXiv preprint , YEAR =
[14]

Advances in Mathematics , volume=

Operadic multiplications in equivariant spectra, norms, and transfers , author=. Advances in Mathematics , volume=. 2015 , publisher=

2015
[15]

Balchin, D

S. Balchin, D. Barnes, and C. Roitzheim. N_ -operads and associahedra. Pacific J. Math. , 315(2):285--304, 2021

2021
[16]

Operadic multiplications in equivariant spectra, norms, and transfers

Andrew J Blumberg and Michael A Hill. Operadic multiplications in equivariant spectra, norms, and transfers. Advances in Mathematics , 285:658--708, 2015

2015
[17]

Balchin, K

S. Balchin, K. Ormsby, A.M. Osorno, and C. Roitzheim. Model structures on finite total orders. Mathematische Zeitschrift , 304(3):40, 2023

2023
[18]

Barnes and C

D. Barnes and C. Roitzheim. Foundations of stable homotopy theory , volume 185 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2020

2020
[19]

Carnero Bravo, S

A. Carnero Bravo, S. Goyal, S. Mart \'i nez Alberga, C. Ng, C. Roitzheim, and D. Tolosa. Left and right bousfield localization on lattices. to appear in Contemporary Mathematics , 2025

2025
[20]

W. G. Dwyer and J. Spali\'nski. Homotopy theories and model categories. In Handbook of algebraic topology , pages 73--126. North-Holland, Amsterdam, 1995

1995
[21]

Droz and I

J.-M. Droz and I. Zakharevich. Extending to a model structure is not a first-order property. New York J. Math. , 27:319--348, 2021

2021
[22]

E. E. Franchere, K. Ormsby, A. M. Osorno, W. Qin, and R. Waugh. Self-duality of the lattice of transfer systems via weak factorization systems. Homology Homotopy Appl. , 24(2):115--134, 2022

2022
[23]

P. S. Hirschhorn. Model categories and their localizations , volume 99 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2003

2003
[24]

Klanderman, C

S. Klanderman, C. Lewis, H. Monson, K. Shibata, and D. Van Niel. Characterizing transfer systems for non-abelian groups. arXiv preprint , 2025

2025
[25]

Luo and B

Y. Luo and B. Rognerud. On the lattice of the weak factorization systems on a finite lattice. arXiv preprint , 2024

2024
[26]

Mazur, A.M

K. Mazur, A.M. Osorno, C. Roitzheim, R. Santhanam, D. Van Niel, and V. Zapata Castro. Characterizing model structures on finite posets. arXiv preprint , 2025

work page 2025
[27]

Mazur, A.M

K. Mazur, A.M. Osorno, C. Roitzheim, R. Santhanam, D. Van Niel, and V. Zapata Castro. Uniquely compatible transfer systems for cyclic groups of order p^r q^s . Topology and its Applications , 2025

work page 2025
[28]

J. Rubin. Detecting S teiner and linear isometries operads. Glasg. Math. J. , 63(2):307--342, 2021

2021