Pith. sign in

REVIEW 2 major objections 1 minor 18 references

The space  classifying homogeneous functors of degree k is weakly equivalent to B haut(A).

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.3

2026-06-25 21:21 UTC pith:IPEOPAX5

load-bearing objection The paper supplies the missing weak equivalence  ≃ B haut(A) that settles the Tsopméné-Stanley conjecture and extends the classification to arbitrary simplicial model categories. the 2 major comments →

arxiv 2606.25142 v1 pith:IPEOPAX5 submitted 2026-06-23 math.AT math.CT

On the Classifying Space of Homogeneous Functors

Jiahao Li This is my paper
classification math.AT math.CT
keywords homogeneous functorsclassifying spacesimplicial model categoryconfiguration spaceweak equivalencesmanifoldshomotopy classes
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

Tsopméné and Stanley built a space  that classifies homogeneous functors of degree k from the poset of open subsets of a manifold M into a simplicial model category, with the feature that functors sending the disjoint union of k balls to a fixed object A correspond to homotopy classes of maps from the unordered configuration space F_k(M) into Â. This paper establishes that  is weakly equivalent to the classifying space of the simplicial monoid of self weak equivalences of A. The equivalence confirms a conjecture of Tsopméné and Stanley and extends an earlier classification result that had been known only when the target category is topological spaces.

Core claim

The space Â, defined to classify homogeneous functors of degree k that send disjoint unions of k open balls to A, is weakly equivalent to B haut(A), where haut(A) is the simplicial monoid of self weak equivalences of A. This holds for any simplicial model category and thereby generalizes the classification of such functors previously obtained by Weiss in the case of topological spaces.

What carries the argument

The space  of Tsopméné and Stanley, whose universal property for degree-k homogeneous functors is used to establish its weak equivalence with B haut(A).

Load-bearing premise

The space  constructed earlier by Tsopméné and Stanley is well-defined and satisfies the universal property that classifies the relevant homogeneous functors.

What would settle it

An explicit simplicial model category and object A in which the homotopy type of  can be computed independently and shown to differ from the homotopy type of B haut(A).

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Homotopy classes of maps from F_k(M) to  correspond exactly to weak equivalence classes of the functors sending k balls to A.
  • The classification of homogeneous functors that Weiss obtained for topological spaces now holds in every simplicial model category.
  • Properties of B haut(A) can be transferred directly to the classification of these functors.

Where Pith is reading between the lines

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

  • The identification makes it possible to compute the homotopy type of the classifying space using standard models for classifying spaces of simplicial monoids.
  • The result suggests that the essential data of a homogeneous functor is captured by the self-equivalences of its value on A.
  • Similar equivalences could be examined for functors of other degrees or for different input posets.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 1 minor

Summary. The manuscript proves that the space  constructed by Tsopméné and Stanley to classify homogeneous functors of degree k (sending disjoint unions of k balls to a fixed object A) is weakly equivalent to B haut(A), the classifying space of the simplicial monoid of self weak equivalences of A in a simplicial model category. This establishes their conjecture and extends Weiss' classification result from Top to arbitrary simplicial model categories.

Significance. If correct, the identification supplies an explicit and often more computable model for the classifying space of such functors. The proof of the stated conjecture is a clear strength, as is the explicit generalization beyond the topological case.

major comments (2)
  1. [Abstract] Abstract and opening paragraphs: the central claim is a weak equivalence  ≃ B haut(A) whose derivation steps, lemmas, or explicit verification of the equivalence (including how the universal property of  is used) are not visible, so the support for the claim cannot be assessed.
  2. [Introduction] Introduction: the argument takes the existence and universal property of the Tsopméné-Stanley space  as given without re-deriving or citing a verification that the equivalence preserves the classifying property for homogeneous functors in the simplicial model category; this is load-bearing for the generalization statement in the final sentence of the abstract.
minor comments (1)
  1. [§1] Notation for the manifold M and the model category ℓ is introduced only in the abstract; a brief reminder in §1 would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report and for highlighting issues of visibility in the abstract and introduction. We respond to each major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract and opening paragraphs: the central claim is a weak equivalence  ≃ B haut(A) whose derivation steps, lemmas, or explicit verification of the equivalence (including how the universal property of  is used) are not visible, so the support for the claim cannot be assessed.

    Authors: The abstract states the main result concisely, as is conventional. The derivation of  ≃ B haut(A) appears in full in Section 3: we recall the Tsopméné–Stanley construction in Section 2, use its universal property to induce a map  → B haut(A) by sending the universal homogeneous functor to the one determined by the simplicial monoid of self-equivalences of A, and verify that this map is a weak equivalence by comparing homotopy groups via the simplicial model category axioms. We are willing to insert a one-sentence outline of these steps into the abstract or the end of the introduction in a revision. revision: partial

  2. Referee: [Introduction] Introduction: the argument takes the existence and universal property of the Tsopméné-Stanley space  as given without re-deriving or citing a verification that the equivalence preserves the classifying property for homogeneous functors in the simplicial model category; this is load-bearing for the generalization statement in the final sentence of the abstract.

    Authors: The existence and universal property of  are cited directly from Tsopméné–Stanley, whose construction is already formulated for simplicial model categories. Our equivalence is proved inside that same setting and is natural with respect to the functors being classified; consequently the classifying property transfers automatically to B haut(A). The generalization statement therefore follows without additional re-derivation. We can add an explicit sentence in the introduction citing the relevant paragraphs of Tsopméné–Stanley and noting the naturality of the equivalence if the referee prefers. revision: partial

Circularity Check

0 steps flagged

No significant circularity; equivalence proved from independent prior construction

full rationale

The manuscript establishes a weak equivalence between the space  (constructed and equipped with its universal property in prior work by Tsopméné and Stanley) and B haut(A). The derivation takes the existence and classifying property of  as an external input from distinct authors and proceeds to identify it with the classifying space of self-equivalences; no step reduces by definition, by fitted parameter, or by a load-bearing self-citation chain back to the present paper's own claims. The result is therefore self-contained against the external benchmark of the cited construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the existence and universal property of the space  constructed in the cited reference, together with standard properties of simplicial model categories and classifying spaces of monoids. No free parameters or invented entities are introduced.

axioms (2)
  • standard math Simplicial model categories admit a well-behaved notion of weak equivalence and classifying spaces for simplicial monoids.
    Invoked implicitly when stating that haut(A) is a simplicial monoid and that B haut(A) classifies the relevant functors.
  • domain assumption The space  constructed by Tsopméné and Stanley satisfies the stated universal property for homogeneous functors of degree k.
    The present proof identifies  with B haut(A) but does not re-prove the universal property of Â.

pith-pipeline@v0.9.1-grok · 5743 in / 1577 out tokens · 22462 ms · 2026-06-25T21:21:40.903343+00:00 · methodology

0 comments
read the original abstract

Let $M$ be a manifold and let $\mathcal{M}$ be a simplicial model category. Given an object $A$ in $\mathcal{M}$, Tsopm\'en\'e and Stanley constructed a topological space $\hat{A}$ that classifies homogeneous functors of degree $k$ from the poset of open subsets of $M$ into $\mathcal{M}$. They showed that the set of weak equivalent classes of such functors that maps disjoint union of $k$ open balls to $A$ is in bijection with the set $[F_k(M), \hat{A}]$ of homotopy classes of maps out of $F_k(M)$, the unordered configuration space of $k$ points in $M$. In this paper, we begin a study of the space $\hat{A}$, and we prove that $\hat{A}$ is weakly equivalent to the classifying space $B\mathrm{haut}(A)$, where $\mathrm{haut}(A)$ is the simplicial monoid of self weak equivalences of $A$. This proves a conjecture of Tsopm\'en\'e and Stanley. Our result enables us to generalize the classification of homogeneous functors of Weiss for $\mathcal{M}=\mathcal{T}\mathrm{op}$ to any simplicial model category.

Figures

Figures reproduced from arXiv: 2606.25142 by Jiahao Li.

Figure 1
Figure 1. Figure 1: A Figure Illustrating the idea of the proof of Lemma [PITH_FULL_IMAGE:figures/full_fig_p021_1.png] view at source ↗

discussion (0)

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

Reference graph

Works this paper leans on

18 extracted references · 2 canonical work pages

  1. [1]

    K. Arakawa. Classification diagrams of simplicial categories. arXiv:2401.16855, 2025. 27

    work page arXiv 2025

  2. [2]

    K. Arakawa. A context for manifold calculus.Journal of Homotopy and Related Structures, March 2026

    2026

  3. [3]

    K. Berg. Edgewise subdivision and simple maps. Master’s thesis, University of Oslo, 2009

    2009

  4. [4]

    J. Cordier. Sur la notion de diagramme homotopiquement coh´ erent.Cahiers de Topologie et G´ eom´ etrie Diff´ erentielle Cat´ egoriques, 23(1):93–112, 1982

    1982

  5. [5]

    Cordier and T

    J. Cordier and T. Porter. Vogt’s theorem on categories of homotopy coherent diagrams.Mathematical Proceedings of the Cambridge Philosophical Society, 100(1):65–90, 1986

    1986

  6. [6]

    P. G. Goerss and J. F. Jardine.Simplicial homotopy theory. Birkh¨ auser Basel, 2009

    2009

  7. [7]

    Hatcher.Algebraic Topology

    A. Hatcher.Algebraic Topology. Cambridge Univ. Press, Cambridge, 2000

    2000

  8. [8]

    A. Joyal. Quasi-categories and kan complexes.Journal of Pure and Applied Algebra, 175(1):207–222,

  9. [9]

    doi: https://doi.org/10.1016/S0022-4049(02)00135-4

    work page doi:10.1016/s0022-4049(02)00135-4

  10. [10]

    Lurie.Higher Topos Theory, volume 170 ofAnnals of Mathematics Studies

    J. Lurie.Higher Topos Theory, volume 170 ofAnnals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2009. ISBN 978-0-691-14048-3

    2009

  11. [11]

    J. Lurie. Higher algebra. 2017

    2017

  12. [12]

    J. Lurie. Kerodon.https://kerodon.net, 2026

    2026

  13. [13]

    J. P. May.Classifying spaces and fibrations, volume 155 ofMem. Am. Math. Soc.Providence, RI: American Mathematical Society (AMS), 1975

    1975

  14. [14]

    Quillen.On the group completion of a simplicial monoid, chapter Appendix Q

    D. Quillen.On the group completion of a simplicial monoid, chapter Appendix Q. Memoir of the A.M.S., 1994

    1994

  15. [15]

    Rourke and B

    C. Rourke and B. Sanderson. ∆-Set I: Homotopy theory.The Quarterly Journal of Mathematics, 1971

    1971

  16. [16]

    P. A. Songhafouo Tsopm´ en´ e and D. Stanley. Classification of homogeneous functors in manifold calculus. Journal of Homotopy and Related Structures, 20(1):63–103, 2025

    2025

  17. [17]

    M. Weiss. Embeddings from the point of view of immersion theory: Part i.Geometry & Topology, 3(1): 67–101, May 1999

    1999

  18. [18]

    J. H. C. Whitehead. Combinatorial homotopy, i.Bull. Am. Math. Soc., 1949. 28

    1949