Pith. sign in

REVIEW 1 minor 12 references

Relative dendroidal Rezk nerve and applications

T0 review · 0 major / 1 minor · reviewed 2026-06-27 · grok-4.3

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

Pith's one-line read The relative dendroidal Rezk nerve relates to localization of infinity-operads and acts as a tool for proving operadic localization results.

desk verdict Extends the dendroidal Rezk nerve to relative ∞-operads to get a tool for localization theorems that generalizes Mazel-Gee, then applies it to cyclic operads and factorization algebras; the core relation looks plausible but needs the full construction checked. read the letter →

arxiv 2606.11895 v1 pith:MCPG5WWW submitted 2026-06-10 math.AT math.CTmath.QA

Kensuke Arakawa , Victor Carmona , Francesca Pratali This is my paper · ORCID
classification math.ATmath.CTmath.QA
keywords relativedendroidalRezknerveinfinity-operadsoperadlocalizationcyclicoperadsoperadicmodulesfactorizationalgebras
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 extends the dendroidal Rezk nerve to the setting of relative infinity-operads. Its main theorem establishes a direct relation between this nerve and the localization of infinity-operads, generalizing an earlier result by Mazel-Gee. The authors then use the relation as a method to establish localization properties within operadic contexts. Applications include a generalization of prior work on cyclic operads together with operadic modules and a description of locally constant factorization algebras on spheres via discrete geometry. A reader would care because the construction streamlines proofs that previously required separate arguments for each case.

What carries the argument

The relative dendroidal Rezk nerve, an extension of the dendroidal Rezk nerve to relative infinity-operads that interacts with localization.

What would settle it

A concrete relative infinity-operad for which the relative dendroidal Rezk nerve fails to match the localization of the operad in the manner predicted by the theorem.

Watch

Extended reading notes

Core claim

Extending the dendroidal Rezk nerve to relative infinity-operads produces a construction that corresponds to localization of infinity-operads, generalizing Mazel-Gee's theorem, and this correspondence is applied to obtain new localization theorems including a generalization of Willwacher's result on cyclic operads and operadic modules plus a description of locally constant factorization algebras on spheres in terms of discrete geometry.

Load-bearing premise

The extension of the dendroidal Rezk nerve to relative infinity-operads is well-defined and interacts with localization while preserving the properties needed for the main theorem.

Editorial extensions

If this is right

  • Localization results for cyclic operads and their modules follow from the main relation.
  • Locally constant factorization algebras on spheres admit a description in terms of discrete geometry.
  • Additional new localization theorems in operadic contexts are obtained by applying the same relation.

Reading between the lines

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

  • The same relation may supply localization proofs for other classes of operads not treated in the paper.
  • It could reduce the computational effort needed to verify localization in explicit models of infinity-operads.
  • The construction might connect to localization questions in related higher-categorical settings such as infinity-categories with additional structure.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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

0 major / 1 minor

Summary. The paper extends the dendroidal Rezk nerve to the setting of relative ∞-operads. Its main theorem relates this relative nerve to localization of ∞-operads, generalizing a theorem of Mazel-Gee. The authors exploit the relation to obtain a tool for proving localization results in operadic contexts, yielding applications including a generalization of Willwacher's result on cyclic operads and operadic modules, plus a description of locally constant factorization algebras on spheres in terms of discrete geometry.

Significance. If the main theorem holds, the work supplies an effective tool for establishing localization results for ∞-operads and their relatives. The generalization of Mazel-Gee together with the stated applications to cyclic operads, modules, and factorization algebras on spheres would represent a concrete advance in the study of operadic homotopy theory.

minor comments (1)
  1. The abstract uses the phrase 'surprisingly effective tool'; a more neutral phrasing such as 'effective tool' would be preferable in a formal manuscript.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for recognizing its potential significance in operadic homotopy theory. The recommendation is listed as 'uncertain,' but the report contains no specific major comments or points of concern. We are happy to provide additional clarifications, proofs, or revisions if the referee has particular questions about the main theorem, the generalization of Mazel-Gee, or the applications to cyclic operads and factorization algebras.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified

full rationale

The provided abstract and context indicate an extension of the dendroidal Rezk nerve to relative ∞-operads with a main theorem generalizing Mazel-Gee's result on localization, plus applications to operadic localizations. No equations, derivations, self-citations, or load-bearing steps are visible in the available material. Without explicit technical content to inspect for reductions by construction, fitted inputs, or imported uniqueness, the derivation chain cannot be shown to collapse to its inputs. This is the expected honest non-finding when no concrete steps are exhibited for analysis.

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

Review based on abstract only; no specific free parameters, axioms, or invented entities can be identified from the provided text.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Relative dendroidal Rezk nerve and applications." pith.science (2026). https://pith.science/paper/MCPG5WWW

@misc{pith2026260611895,
  author       = {Pith},
  title        = {Pith review of: Relative dendroidal Rezk nerve and applications},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MCPG5WWW}},
  note         = {Machine review of arXiv:2606.11895}
}
abstract

We extend the dendroidal Rezk nerve to the setting of relative $\infty$-operads. Our main theorem relates it to localization of $\infty$-operads, generalizing a theorem of Mazel-Gee. By exploiting the relation, we obtain a surprisingly effective tool to prove localization results in operadic contexts. As applications, we obtain a number of new results on operadic localizations, including a generalization of Willwacher's recent result on cyclic operads and operadic modules, and a description of locally constant factorization algebras on spheres in terms of discrete geometry.

Figures

Figures reproduced from arXiv: 2606.11895 by the authors.

Figure 0.1
Figure 0.1. on derived tensor product. In Section 4, we develop operadic calculus of fractions. Section 5 is about applications to prefactorization algebras. In Section 6, we extend Willwacher’s result to arbitrary symmetric monoidal ∞-categories. These sections are mostly independent of each other, so readers can jump into any section that interests them right after reading Sections 1 and 2. The situation is summarized in [PI… view at source ↗
Figure 6.1
Figure 6.1. Two rooted trees planted at the vertex v A closer inspection confirms this intuition, showing that the category of cyclic operads in a symmetric monoidal category embeds fully faithfully into that of “pointed” operadic modules. A natural question is: Can we lift this to the ho￾motopical setting? A recent work by Willwacher solves a special case of this in the setting of rational chain complexes, which led to the com… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 4 canonical work pages

  1. [1]

    [AC26] Kensuke Arakawa and Bastiaan Cnossen,A short proof of the universality of the relative Rezk nerve, Proc. Amer. Math. Soc.154(2026), no. 5, 1849–1853 (en). [ACK25] Kensuke Arakawa, Daniel Carranza, and Chris Kapulkin,Derived mapping spaces of ∞-categories, September 2025, arXiv:2509.10288 [math.AT]. [ACP25] Kensuke Arakawa, Victor Carmona, and Franc...

    work page arXiv 2026

  2. [2]

    MR 5020463 [BCNS26] Marco Benini, Victor Carmona, Pieter Naaijkens, and Alexander Schenkel,C ∗- categorical prefactorization algebras for superselection sectors and topological order, Comm. Math. Phys.407(2026), no. 1, Paper No. 20,

    2026

  3. [3]

    MR 4998903 [BCS23] Marco Benini, Victor Carmona, and Alexander Schenkel,Strictification theorems for the homotopy time-slice axiom, Lett. Math. Phys.113(2023), no. 1, Paper No. 20,

    2023

  4. [4]

    Prefactorization algebras of superselection sectors

    MR 4550481 [BCS26] ,Prefactorization algebras of superselection sectors, April 2026, arXiv:2604.24865 [math-ph]. [BDS18] Marco Benini, Claudio Dappiaggi, and Alexander Schenkel,Algebraic quantum field theory on spacetimes with timelike boundary, Ann. Henri Poincaré19(2018), no. 8, 2401–2433. MR 3830218 [Ber09] Julia E. Bergner,Complete Segal spaces arisin...

    work page Pith review arXiv 2026

  5. [5]

    ARAKA W A, V

    MR 4232856 44 K. ARAKA W A, V. CARMONA, AND F. PRATALI [BS19] Marco Benini and Alexander Schenkel,Higher structures in algebraic quantum field theory, Fortschr. Phys.67(2019), no. 8-9, 1910015,

    2019

  6. [6]

    Analysis & quantum field the- ory, Academic Press, Amsterdam, 2025, pp. 556–568. MR 4978123 [BSW21] Marco Benini, Alexander Schenkel, and Lukas Woike,Operads for algebraic quantum field theory, Commun. Contemp. Math.23(2021), no. 2, Paper No. 2050007,

    2025

  7. [7]

    Math.83 (2026), no

    MR 4201026 [Cal26] Damien Calaque,Not too little intervals for quantum mechanics, Port. Math.83 (2026), no. 1-2, 19–34. MR 5032311 [CC26] DamienCalaqueandVictorCarmona,Algebras over not too little discs, Comm.Math. Phys.407(2026), no. 2, Paper No. 31,

    2026

  8. [8]

    Math.385(2021), Paper No

    MR 4300181 [CH21] Hongyi Chu and Rune Haugseng,Homotopy-coherent algebra via Segal conditions, Adv. Math.385(2021), Paper No. 107733,

    2021

Show all 12 references
  1. [9]

    Topol.6(2013), no

    MR 3931682 [CM13] Denis-Charles Cisinski and Ieke Moerdijk,Dendroidal Segal spaces and∞-operads, J. Topol.6(2013), no. 3, 675–704. MR 3100887 [CS25] Victor Carmona and Anja Svraka,Additivity of constructible factorization algebras over manifolds with corners, October 2025, arX...

    2013

  2. [10]

    Topol.17(2024), no

    MR 4485749 [HM24] Vladimir Hinich and Ieke Moerdijk,On the equivalence of Lurie’s∞-operads and dendroidal∞-operads, J. Topol.17(2024), no. 4, Paper No. e70003,

    2024

  3. [11]

    Joyal,Quasi-categories and Kan complexes, Journal of Pure and Applied Al- gebra, vol

    [Joy02] A. Joyal,Quasi-categories and Kan complexes, Journal of Pure and Applied Al- gebra, vol. 175, 2002, Journal Abbreviation: J. Pure Appl. Algebra, pp. 207–222. MR 1935979 [KSW26] Eilind Karlsson, Claudia Scheimbauer, and Tashi Walde,Assembly of constructible factorizatio...

    2002

  4. [12]

    MR 2522659 [MG19] Aaron Mazel-Gee,The universality of the Rezk nerve, Algebr. Geom. Topol.19 (2019), no. 7, 3217–3260. MR 4045352 [Mur15] Fernando Muro,On the unit of a monoidal model category, Topology Appl.191 (2015), 37–47. MR 3361052 [MW09] I. Moerdijk and I. Weiss,On inne...

    2019 arXiv

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.