arxiv: 2605.10580 · v1 · submitted 2026-05-11 · 🧮 math.AT

Recognition: 2 theorem links

· Lean Theorem

Surgery on manifold operads

Connor Malin, Paolo Salvatore, Xujia Chen

Pith reviewed 2026-05-12 05:27 UTC · model grok-4.3

classification 🧮 math.AT

keywords manifold operadsFulton-MacPherson operadcobordismsurgeryoperadic bimoduleshomotopy equivalencetopological operadsconfiguration spaces

0 comments

The pith

Surgery on manifold operads produces infinitely many examples bimodule cobordant to the Fulton-MacPherson operad but not homotopy equivalent to it.

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

The paper develops cobordism and surgery for manifold operads, which generalize the Fulton-MacPherson operad built from point configurations in Euclidean space. It relies on combinatorial results about trees for operadic bimodules to define when two such operads are left or right bimodule cobordant. Surgery then modifies an operad while keeping it in the same cobordism class. The result is infinitely many distinct manifold operads that sit in the same cobordism class as the Fulton-MacPherson operad yet have different homotopy types. A sympathetic reader cares because this shows cobordism detects coarser relations than homotopy equivalence among configuration-space operads.

Core claim

Manifold operads admit a surgery theory based on cobordisms of their associated bimodules. The theory rests on combinatorial properties of trees labeling those bimodules. Applying surgery produces infinitely many manifold operads that are left or right bimodule cobordant to the Fulton-MacPherson operad while remaining non-homotopy-equivalent to it.

What carries the argument

Surgery on manifold operads, which alters the operad while preserving its bimodule cobordism class via combinatorial results on trees for operadic bimodules.

If this is right

Each bimodule cobordism class of manifold operads contains infinitely many distinct homotopy types.
Bimodule cobordism is strictly coarser than homotopy equivalence as a relation on manifold operads.
Surgery provides an explicit construction method for producing new manifold operads from known ones without changing the cobordism class.
The Fulton-MacPherson operad sits inside a larger cobordism class containing many non-equivalent operads.

Where Pith is reading between the lines

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

The distinction between cobordism and homotopy equivalence may suggest new ways to classify operads when homotopy invariants become intractable.
Similar surgery techniques could apply to other classes of operads built from geometric configurations.
One might look for concrete low-dimensional examples of these new operads to compute their homotopy groups explicitly.

Load-bearing premise

Cobordism of manifold operads and its associated surgery theory depend on delicate combinatorial results for trees associated to operadic bimodules.

What would settle it

A proof that every manifold operad left or right bimodule cobordant to the Fulton-MacPherson operad is in fact homotopy equivalent to it would falsify the existence of infinitely many distinct examples.

Figures

Figures reproduced from arXiv: 2605.10580 by Connor Malin, Paolo Salvatore, Xujia Chen.

**Figure 1.** Figure 1: Constructing 𝑂(𝑛) by gluing pieces to FM𝑑 (𝑛) we may define 𝑂(𝑛) and take 𝑊 (𝑛) = 𝑂(𝑛) × [0, 1]. The major difficulty then lies in proving that the space 𝑂(𝑛) is actually a topological manifold with boundary. We prove directly that the links are spheres and discs, and so the space is a topological manifold with boundary. The key to this is the purely combinatorial Proposition 3.3.1. The main technical tool… view at source ↗

**Figure 2.** Figure 2: An illustration of N𝑇→•𝑊 : suppose 𝑇1, . . . ,𝑇5 are some trees that 𝑇 contracts to; the center dot is ˚𝜙 (𝑇 ), and the rays are ˚𝜙 (𝑇1), . . . , ˚𝜙 (𝑇5). The orange 2-dimensional disc, lying in 𝜕𝑊 , represents N𝜕 𝑇 , and the red 3-dimensional halfball, lying in 𝑊 , represents N𝑇→•𝑊 . The cone rays (not explicitly shown in the picture) are straight lines originating from ˚𝜙 (𝑇 ). 𝜈𝑇→•𝑊 : ˚𝜙 (𝑇 ) × Cone ˚ … view at source ↗

read the original abstract

We study cobordisms of a class of topological operads called ``manifold operads''. These operads are generalizations of the Fulton-MacPherson operad: an operad built from configurations of points in Euclidean space. Cobordism of manifold operads, along with the associated theory of surgery, depends crucially on delicate combinatorial results for trees associated to operadic bimodules. As an application of surgery, we produce infinitely many manifold operads which are left or right ``bimodule cobordant'' to, but not homotopy equivalent to the Fulton-MacPherson operad.

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 develops a cobordism and surgery framework for manifold operads and uses it to construct infinitely many examples that are bimodule cobordant to the Fulton-MacPherson operad but not homotopy equivalent to it.

read the letter

The core contribution is a surgery theory for manifold operads that lets them produce infinitely many distinct ones in the same left or right bimodule cobordism class as the Fulton-MacPherson operad while keeping them non-homotopy-equivalent. That distinction is the main new output, and it rests on defining cobordism via operadic bimodules whose composition is controlled by combinatorial data on trees. The abstract frames this as a direct application of the new surgery machinery rather than a restatement of earlier results on configuration spaces or little disks operads. If the tree lemmas hold in the required generality, the construction gives a concrete way to see that homotopy type is strictly finer than this cobordism relation, which is useful for anyone mapping out the space of operads up to weaker equivalences. The combinatorial foundation is the obvious soft spot: the abstract itself calls the tree results delicate, and they sit at the level of the bimodule composition and the cobordism relation itself. A single gap in how the trees encode the bimodule structures would collapse the claimed infinitude or the separation from homotopy equivalence. No independent check of those lemmas is visible from the abstract, so the claim stays conditional until the full derivations are verified. The paper is aimed at algebraic topologists working on operads, configuration spaces, and cobordism-type invariants; a reader already comfortable with Fulton-MacPherson and bimodule categories will get the most out of the examples. It deserves a serious referee because the stated result is specific and falsifiable once the combinatorics are checked, even if revisions are likely needed on the tree arguments.

Referee Report

1 major / 2 minor

Summary. The manuscript develops a cobordism theory and associated surgery framework for manifold operads, which generalize the Fulton-MacPherson operad constructed from point configurations in Euclidean space. The definitions of cobordism and the surgery operations rely on combinatorial results concerning trees associated to operadic bimodules. As an application, the paper constructs infinitely many manifold operads that are left or right bimodule cobordant to the Fulton-MacPherson operad but not homotopy equivalent to it.

Significance. If the combinatorial foundations hold, the work supplies a new invariant (bimodule cobordism) that distinguishes homotopy types within a single cobordism class, yielding infinitely many explicit examples. This separates two equivalence relations on operads in a concrete way and could inform further study of configuration spaces and operad homotopy theory. The explicit infinitude result is a concrete strength.

major comments (1)

[Abstract and the section developing the combinatorial results for trees] The abstract states that both the cobordism relation and the surgery theory 'depend crucially on delicate combinatorial results for trees associated to operadic bimodules.' These results are load-bearing for the main application (infinitely many examples that are cobordant but not homotopy equivalent). The manuscript must contain self-contained statements and proofs of the key tree lemmas (including their applicability to the bimodule structures arising in the surgery construction) so that the distinction between cobordism class and homotopy type can be verified independently.

minor comments (2)

[Introduction] Clarify the precise definition of 'left or right bimodule cobordant' early in the introduction, including how it differs from ordinary cobordism of operads.
[Sections on bimodules and surgery] Ensure all notation for bimodules and tree operations is consistent between the combinatorial lemmas and the surgery construction.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need to strengthen the presentation of the combinatorial foundations. We address the major comment below and will incorporate the requested changes in a revised version.

read point-by-point responses

Referee: [Abstract and the section developing the combinatorial results for trees] The abstract states that both the cobordism relation and the surgery theory 'depend crucially on delicate combinatorial results for trees associated to operadic bimodules.' These results are load-bearing for the main application (infinitely many examples that are cobordant but not homotopy equivalent). The manuscript must contain self-contained statements and proofs of the key tree lemmas (including their applicability to the bimodule structures arising in the surgery construction) so that the distinction between cobordism class and homotopy type can be verified independently.

Authors: We agree that the key combinatorial results on trees are essential to the cobordism and surgery constructions, and that their self-contained treatment is necessary to make the main application verifiable. In the revision we will reorganize the relevant material into a dedicated section that states all required lemmas in full, supplies complete proofs, and explicitly checks their applicability to the bimodule structures appearing in the surgery construction. This will allow independent verification that the constructed operads lie in the same bimodule cobordism class as the Fulton-MacPherson operad while remaining distinct up to homotopy. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation self-contained with independent combinatorial inputs

full rationale

The paper introduces cobordism and surgery for manifold operads, explicitly grounding both in separate delicate combinatorial results on trees for operadic bimodules. The central application—producing infinitely many operads that are bimodule cobordant yet not homotopy equivalent to the Fulton-MacPherson operad—follows from applying the new surgery theory to these inputs rather than presupposing the distinction in the definitions or equations. No self-definitional reduction, fitted-input prediction, load-bearing self-citation chain, or ansatz smuggling is present; the combinatorial lemmas function as external-to-the-target-result support. The framework is therefore self-contained against its stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract provides no explicit free parameters, axioms, or invented entities; the work relies on standard background in operad theory together with new combinatorial results on trees whose details are not visible here.

pith-pipeline@v0.9.0 · 5380 in / 1247 out tokens · 77878 ms · 2026-05-12T05:27:57.028845+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 (D=3 forcing) unclear
Cobordism of manifold operads, along with the associated theory of surgery, depends crucially on delicate combinatorial results for trees associated to operadic bimodules... produce infinitely many manifold operads which are left or right 'bimodule cobordant' to, but not homotopy equivalent to the Fulton-MacPherson operad.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

Number 338 in Astérisque

Gregory Arone and Michael Ching.Operads and chain rules for the calculus of functors. Number 338 in Astérisque. Société mathématique de France, 2011. 14

work page 2011
[2]

On the rational homology of high-dimensional analogues of spaces of long knots.Geom

Gregory Arone and Victor Turchin. On the rational homology of high-dimensional analogues of spaces of long knots.Geom. Topol., 18(3):1261–1322, 2014. 18

work page 2014
[3]

Posets, regular CW complexes and Bruhat order.Eur

Anders Björner. Posets, regular CW complexes and Bruhat order.Eur. J. Comb., 5(1):7–16, 1984. 29 60 XUJIA CHEN, CONNOR MALIN, AND PAOLO SALVATORE

work page 1984
[4]

Michael Boardman and Rainer M

J. Michael Boardman and Rainer M. Vogt. Homotopy invariant algebraic structures on topological spaces. Lecture Notes in Mathematics, 1973. 4, 13

work page 1973
[5]

Bar constructions for topological operads and the Goodwillie derivatives of the identity.Ge- ometry & Topology, 9(2):833–934, 2005

Michael Ching. Bar constructions for topological operads and the Goodwillie derivatives of the identity.Ge- ometry & Topology, 9(2):833–934, 2005. 14

work page 2005
[6]

Koszul duality for topological𝐸 𝑛-operads.Proc

Michael Ching and Paolo Salvatore. Koszul duality for topological𝐸 𝑛-operads.Proc. Lond. Math. Soc. (3), 125(1):1–60, 2022. 7

work page 2022
[7]

From maps between coloured operads to Swiss-Cheese algebras.Annales de l’Institut Fourier, 68(2):661–724, 2018

Julien Ducoulombier. From maps between coloured operads to Swiss-Cheese algebras.Annales de l’Institut Fourier, 68(2):661–724, 2018. 32

work page 2018
[8]

Springer, Berlin, 2009

Benoit Fresse.Modules over Operads and Functors, volume 1967 ofLecture Notes in Mathematics. Springer, Berlin, 2009. 24

work page 1967
[9]

Ezra Getzler and John D. S. Jones. Operads, homotopy algebra and iterated integrals for double loop spaces, 1994.https://arxiv.org/abs/hep-th/9403055. 2, 4, 10, 14

work page arXiv 1994
[10]

Lundell and Stephen Weingram.The topology of CW complexes

Albert T. Lundell and Stephen Weingram.The topology of CW complexes. Springer New York, 1969. 29

work page 1969
[11]

The stable embedding tower and operadic structures on configuration spaces.Homology, Ho- motopy and Applications, 26(1):229–258, 2024

Connor Malin. The stable embedding tower and operadic structures on configuration spaces.Homology, Ho- motopy and Applications, 26(1):229–258, 2024. 4, 14

work page 2024
[12]

Colimits of normal spaces, 2018.https://ncatlab.org/nlab/show/colimits+of+normal+spaces

nCatLab. Colimits of normal spaces, 2018.https://ncatlab.org/nlab/show/colimits+of+normal+spaces. Ac- cessed: 2025-12-12. 58

work page 2018
[13]

Rourke and Brian Joseph Sanderson.Introduction to piecewise-linear topology

Colin P. Rourke and Brian Joseph Sanderson.Introduction to piecewise-linear topology. Springer Science & Business Media, 2012. 50

work page 2012
[14]

The Fulton–MacPherson operad and the W-construction.Homology, Homotopy and Applica- tions, 23(2):1–8, 2021

Paolo Salvatore. The Fulton–MacPherson operad and the W-construction.Homology, Homotopy and Applica- tions, 23(2):1–8, 2021. 4, 13, 21

work page 2021
[15]

A cell decomposition of the Fulton MacPherson operad.J

Paolo Salvatore. A cell decomposition of the Fulton MacPherson operad.J. Topol., 15(2):443–504, 2022. 10

work page 2022
[16]

Dev P. Sinha. Manifold-theoretic compactifications of configuration spaces.Selecta Math. (N.S.), 10(3):391– 428, 2004. 10

work page 2004
[17]

Rainer M. Vogt. Cofibrant operads and universal𝐸 ∞ operads.Topology Appl., 133(1):69–87, 2003. 14 Institute of Science and Technology Austria Am Campus 1, 3400 Klosterneuburg, Austria Max Planck Institute for Mathematics Vivatsgasse 7, 53111 Bonn, Germany Dipartimento di Matematica Università di Roma Tor Vergata Via della Ricerca Scientifica, 00133 Roma, Italy

work page 2003