arxiv: 2604.16594 · v1 · submitted 2026-04-17 · 🧮 math.CT · math.AT· math.FA

Recognition: unknown

The Operadic Spectrum and Obstructions to Spectral Base Change

Shih-Yu Chang

Authors on Pith no claims yet

Pith reviewed 2026-05-10 06:39 UTC · model grok-4.3

classification 🧮 math.CT math.ATmath.FA

keywords operadic spectrumspectral base changesymmetric monoidal categorycolored operadsHochschild objectoperadic residuefunctoriality obstructiontrivial operad

0 comments

The pith

There is no functorial way to transport classical spectra along strong monoidal functors, but a universal operadic residue defines a canonical operadic spectrum that recovers the classical case for the trivial operad.

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

The paper introduces an operadic notion of spectrum for algebras over colored operads in symmetric monoidal categories, built from a canonical Hochschild-type object and an operadic residue that encodes spectral data compatibly with operadic composition. It proves that classical spectral invariants lack any natural base change along strong monoidal functors while keeping their expected properties. To resolve the resulting obstruction, the work constructs a universal operadic residue object that yields a well-defined, functorial operadic spectrum. This construction is canonical and reduces exactly to the usual spectrum when the operad is trivial. A sympathetic reader cares because the result maps the precise limits of classical spectral methods and supplies a workable replacement for use in operadic and higher-algebraic settings.

Core claim

There is no functorial procedure that transports spectra along strong monoidal functors while preserving their expected structural properties. The universal operadic residue induces a well-defined and functorial notion of operadic spectrum that reduces to the classical spectrum for the trivial operad.

What carries the argument

The universal operadic residue object, constructed from a canonical Hochschild-type object, which encodes spectral information in a manner compatible with operadic composition.

If this is right

Operadic spectra become definable for algebras over any colored operad in a symmetric monoidal category.
The definition is canonical and does not rely on auxiliary choices.
Spectral theory acquires a foundation that applies beyond the linear setting.
Classical spectral invariants are shown to be non-functorial under general base change.

Where Pith is reading between the lines

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

The obstruction may appear in other categorical settings where invariants are expected to behave functorially under monoidal base change.
Operadic spectra could serve as replacements for classical spectra in homotopy-theoretic or derived contexts where functoriality fails.
Computations of the operadic spectrum in concrete symmetric monoidal categories, such as chain complexes or spectra themselves, would test its practicality.

Load-bearing premise

That a canonical Hochschild-type object together with an operadic residue can be defined in an arbitrary symmetric monoidal category so that the resulting spectrum is functorial and satisfies the expected structural properties.

What would settle it

An explicit strong monoidal functor between symmetric monoidal categories for which every attempted spectral transport fails to preserve the expected structural properties would confirm the obstruction; a different construction that succeeds in transporting spectra functorially would refute the claim.

read the original abstract

We introduce an operadic notion of spectrum for algebras over colored operads in a symmetric monoidal category. The construction is defined via a canonical Hochschild-type object together with an operadic residue, which together encode spectral information in a manner compatible with operadic composition. A central result of this work is that classical spectral invariants do not, in general, admit a natural base change in the operadic setting. More precisely, we show that there is no functorial procedure that transports spectra along strong monoidal functors while preserving their expected structural properties. This establishes a fundamental obstruction to spectral base change. To address this issue, we construct a universal operadic residue object and show that it induces a well-defined and functorial notion of operadic spectrum. We further prove that this construction is canonical and reduces to the classical spectrum in the case of the trivial operad. These results provide a conceptual foundation for spectral theory in operadic and higher algebraic contexts, and clarify the limitations of extending classical spectral invariants beyond the linear setting.

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 defines an operadic spectrum via a Hochschild-type object and residue in symmetric monoidal categories, proves an obstruction to base change along strong monoidal functors, and builds a universal residue that recovers the classical spectrum for the trivial operad.

read the letter

The main point is a construction of spectra for algebras over colored operads that uses a canonical Hochschild-type object plus an operadic residue to capture spectral data compatibly with composition. It shows there is no functorial way to move classical spectra along strong monoidal functors while keeping their properties, then introduces a universal residue to get a well-defined functorial version that reduces to the usual spectrum when the operad is trivial.

Referee Report

2 major / 1 minor

Summary. The paper introduces an operadic notion of spectrum for algebras over colored operads in a symmetric monoidal category, defined via a canonical Hochschild-type object together with an operadic residue that encodes spectral information compatible with operadic composition. It proves that classical spectral invariants do not admit a natural base change in the operadic setting, establishing that there is no functorial procedure transporting spectra along strong monoidal functors while preserving expected structural properties. To address this obstruction, the paper constructs a universal operadic residue inducing a well-defined and functorial operadic spectrum that is canonical and reduces to the classical spectrum for the trivial operad.

Significance. If the construction is rigorous and holds without hidden colimit assumptions, the identification of a fundamental obstruction to spectral base change together with the canonical universal residue would provide a conceptual foundation for spectral theory in operadic and higher-algebraic settings. The reduction to the classical case for the trivial operad and the claimed functoriality would be notable strengths, particularly if the definitions are parameter-free and avoid circularity.

major comments (2)

[Construction of the canonical Hochschild-type object and operadic residue] The abstract states that the canonical Hochschild-type object and operadic residue are defined in an arbitrary symmetric monoidal category with no further hypotheses. Standard realizations of Hochschild-type objects (via coends, bar constructions, or geometric realizations of simplicial objects) require the ambient category to admit small colimits or be cocomplete. This assumption is load-bearing for the claimed functoriality of the operadic spectrum, the obstruction to base change along strong monoidal functors, and the reduction to the classical spectrum; without an explicit construction that avoids colimits or a proof that none are needed, the generality of the central results is at risk.
[Universal operadic residue and reduction to classical spectrum] The universal operadic residue is asserted to induce a canonical, well-defined operadic spectrum. It is unclear whether the definition of the residue is independent of the spectrum it is used to define (potential circularity) or whether the reduction to the classical spectrum for the trivial operad is verified by direct comparison rather than by construction. A concrete verification, e.g., via an explicit computation in the case of the trivial operad, is needed to confirm the claim.

minor comments (1)

The abstract would benefit from a single sentence clarifying the precise categorical hypotheses (e.g., existence of coends or closedness) under which the Hochschild-type object is constructed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for their thorough review and insightful comments on our manuscript. We address each major comment below and outline the revisions we plan to make.

read point-by-point responses

Referee: The abstract states that the canonical Hochschild-type object and operadic residue are defined in an arbitrary symmetric monoidal category with no further hypotheses. Standard realizations of Hochschild-type objects (via coends, bar constructions, or geometric realizations of simplicial objects) require the ambient category to admit small colimits or be cocomplete. This assumption is load-bearing for the claimed functoriality of the operadic spectrum, the obstruction to base change along strong monoidal functors, and the reduction to the classical spectrum; without an explicit construction that avoids colimits or a proof that none are needed, the generality of the central results is at risk.

Authors: We appreciate the referee's careful attention to the foundational assumptions in our construction. The Hochschild-type object is defined using a coend in the category of modules or algebras over the operad, which implicitly relies on the existence of colimits in the underlying symmetric monoidal category. While we aimed for maximal generality, we acknowledge that this requires the category to be cocomplete. We will revise the manuscript to explicitly state this assumption and discuss its necessity for the functoriality and other properties. If possible, we will explore a colimit-free presentation in a future version or note where it can be avoided. revision: yes
Referee: The universal operadic residue is asserted to induce a canonical, well-defined operadic spectrum. It is unclear whether the definition of the residue is independent of the spectrum it is used to define (potential circularity) or whether the reduction to the classical spectrum for the trivial operad is verified by direct comparison rather than by construction. A concrete verification, e.g., via an explicit computation in the case of the trivial operad, is needed to confirm the claim.

Authors: The universal operadic residue is defined as the initial object in a certain category of residues compatible with operadic compositions, making it independent of the specific spectrum it induces; the spectrum is then derived from it. This avoids circularity. For the reduction to the classical case, we will add a dedicated section with an explicit computation for the trivial operad, showing by direct comparison that it recovers the standard spectrum. This will be included in the revised manuscript. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected; new construction and obstruction result appear independent of inputs

full rationale

The abstract introduces a novel operadic spectrum via a canonical Hochschild-type object and operadic residue in an arbitrary symmetric monoidal category, proves a non-existence result for functorial spectral base change along strong monoidal functors, and constructs a universal residue inducing a functorial spectrum that reduces to the classical case for the trivial operad. No equations, self-citations, or prior results by the author are referenced in a load-bearing way that would make the claimed obstruction or reduction equivalent to the inputs by construction. The derivation chain is self-contained as a definitional extension plus a negative result on classical invariants, with no exhibited reduction of predictions to fitted parameters or self-referential definitions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no explicit free parameters, axioms, or invented entities can be extracted. The central claim rests on the existence of a canonical Hochschild-type object and operadic residue whose functoriality is asserted without further justification.

pith-pipeline@v0.9.0 · 5470 in / 1138 out tokens · 34525 ms · 2026-05-10T06:39:51.724443+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Spectral Operadic Calculus: Norm-Analytic Functor Calculus
math.CT 2026-05 unverdicted novelty 7.0

An operadic spectrum acts as a control parameter for a norm-analytic functor calculus, delivering criteria for polynomial behavior, exponential convergence bounds on Taylor towers, and a reconstruction theorem from de...

Reference graph

Works this paper leans on

20 extracted references · 2 canonical work pages · cited by 1 Pith paper

[1]

Loday and B

J.-L. Loday and B. Vallette,Algebraic Operads, Grundlehren der mathematischen Wissenschaften, vol. 346, Springer, Berlin, Heidelberg, 2012

2012
[2]

Operads, homotopy algebra and iterated integrals for double loop spaces,

E. Getzler and J. D. S. Jones, “Operads, homotopy algebra and iterated integrals for double loop spaces,”arXiv preprint hep-th/9403055, 1994

work page arXiv 1994
[3]

Fresse,Homotopy of Operads and Grothendieck–Teichm ¨uller Groups, Mathematical Surveys and Monographs, vol

B. Fresse,Homotopy of Operads and Grothendieck–Teichm ¨uller Groups, Mathematical Surveys and Monographs, vol. 217, American Mathematical Society, 2017

2017
[4]

Hochschild and cotangent complexes of operadic algebras,

T. Hoang, “Hochschild and cotangent complexes of operadic algebras,”Trans. Amer. Math. Soc.378 (2025), no. 11, 7799–7841

2025
[5]

Deformation theory and cotangent complex of dg operads,

Y . Harpaz and T. Hoang, “Deformation theory and cotangent complex of dg operads,” arXiv:2602.07353, 2026

work page arXiv 2026
[6]

Lurie,Higher Algebra, Institute for Advanced Study, 2017

J. Lurie,Higher Algebra, Institute for Advanced Study, 2017

2017
[7]

Calculus I: The first derivative of pseudoisotopy theory,

T. G. Goodwillie, “Calculus I: The first derivative of pseudoisotopy theory,”K-Theory4 (1992), no. 1, 1–27

1992
[8]

Calculus III: Taylor series,

T. G. Goodwillie, “Calculus III: Taylor series,”Geometry & Topology7 (2003), 645–711

2003
[9]

Dunford and J

N. Dunford and J. T. Schwartz,Linear Operators. Part I: General Theory. Interscience Publishers, New York-London, 1958

1958
[10]

Connes,Noncommutative Geometry, Academic Press, 1994

A. Connes,Noncommutative Geometry, Academic Press, 1994

1994
[11]

Dixmier,C*-Algebras, North-Holland, 1977

J. Dixmier,C*-Algebras, North-Holland, 1977

1977
[12]

The dual spaces of C*-algebras,

J. M. G. Fell, “The dual spaces of C*-algebras,”Trans. Amer. Math. Soc.94 (1960), 365–403

1960
[13]

Type I C*-algebras,

J. Glimm, “Type I C*-algebras,”Ann. of Math.73 (1961), 572–612

1961
[14]

R. V . Kadison and J. R. Ringrose,Fundamentals of the Theory of Operator Algebras, Academic Press, 1983

1983
[15]

Renault,A Groupoid Approach to C*-Algebras, Lecture Notes in Mathematics, vol

J. Renault,A Groupoid Approach to C*-Algebras, Lecture Notes in Mathematics, vol. 793, Springer, 1980

1980
[16]

Morita equivalence for crossed products by Hilbert C*-bimodules,

B. Abadie, S. Eilers, and R. Exel, “Morita equivalence for crossed products by Hilbert C*-bimodules,” Trans. Amer. Math. Soc.350 (1998), 3043–3054

1998
[17]

Supersymmetric field theories and generalized cohomology,

S. Stolz and P. Teichner, “Supersymmetric field theories and generalized cohomology,” inProc. Sym- pos. Pure Math., vol. 83, American Mathematical Society, 2011, pp. 279–340

2011
[18]

On the Einstein-Podolsky-Rosen paradox,

J. S. Bell, “On the Einstein-Podolsky-Rosen paradox,”Physics Physique Fizika1 (1964), no. 3, 195– 200

1964
[19]

ChatGPT (Mar 2025 version),

OpenAI, “ChatGPT (Mar 2025 version),” 2025. [Online]. Available:https://openai.com/ chatgpt

2025
[20]

DeepSeek (Feb 2025 version),

DeepSeek, “DeepSeek (Feb 2025 version),” 2025. [Online]. Available:https://www.deepseek. com/ 80

2025