pith. machine review for the scientific record. sign in

arxiv: 2604.13750 · v1 · submitted 2026-04-15 · 🧮 math.AT

Recognition: unknown

Relating Brauer categories, Koszul complexes, and graph complexes

Geoffrey Powell

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

classification 🧮 math.AT
keywords Brauer categoriesKoszul complexesgraph complexeshairy graph complexescyclic operadsoperadsdioperadshomology relations
0
0 comments X

The pith

Hairy graph homologies for cyclic operads relate explicitly to those for underlying operads through Koszul complexes over Brauer categories.

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

The paper connects hairy graph complexes arising from cyclic operads to their counterparts for ordinary operads and dioperads. It treats both as Koszul complexes for modules over appropriate twisted downward walled Brauer categories and examines how the walled and unwalled versions of these categories are linked. Functors induced by the disjoint union of finite sets provide the passage between contexts, yielding an explicit comparison of the homologies.

Core claim

Hairy graph complexes are interpreted as Koszul complexes for modules over the twisted downward walled Brauer categories. Direct analysis of the relationships between the respective twisted Brauer-type categories, using functors induced by disjoint union of finite sets to pass from the walled to the unwalled setting, produces an explicit relation between the hairy graph homologies associated to a cyclic operad and those associated to the underlying operad.

What carries the argument

Functors induced by the disjoint union of finite sets, which relate the walled and unwalled versions of the twisted downward Brauer categories and thereby compare their associated Koszul complexes.

If this is right

  • An explicit relation holds between the hairy graph homologies of a cyclic operad and the graph homologies of its underlying operad.
  • The method applies more generally to relating Koszul complexes for modules over different operad and dioperad structures via their Brauer categories.
  • The direct analysis supplies concrete maps between the walled and unwalled settings that preserve the Koszul structure.

Where Pith is reading between the lines

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

  • The relation may reduce certain homology computations in the cyclic setting to known results in the operad setting.
  • Similar category-theoretic comparisons could link graph complexes appearing in other contexts such as moduli space cohomology.
  • The approach suggests a systematic way to handle cyclic versus non-cyclic structures across different algebraic operad types.

Load-bearing premise

Hairy graph complexes can be interpreted as Koszul complexes for modules over the twisted downward walled Brauer categories, and the functors from disjoint union of finite sets correctly relate the walled and unwalled contexts.

What would settle it

Explicit computation of the homology in a low-dimensional case for a concrete cyclic operad, such as the one associated to the commutative operad, and direct verification that the predicted relation under the disjoint-union functors matches the independently computed unwalled homology.

read the original abstract

The purpose of this paper is to investigate the relationship between hairy graph complexes associated to cyclic operads and their counterparts for operads (and, more generally, dioperads). This is based on the author's interpretation of these as Koszul complexes for the associated modules over the respective appropriate twisted downward (walled) Brauer category. The general question of relating such Koszul complexes is addressed by analysing the relationships between the respective twisted Brauer-type categories, proceeding through a direct analysis. The passage from the walled to unwalled context involves functors induced by the disjoint union of finite sets. As an application, for the cyclic operad associated to an operad, this leads to an explicit relation between the respective (hairy) graph homologies.

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.

Referee Report

0 major / 3 minor

Summary. The paper investigates the relationship between hairy graph complexes associated to cyclic operads and their counterparts for operads (and dioperads). It interprets these as Koszul complexes for modules over the respective twisted downward (walled) Brauer categories. The general question of relating such Koszul complexes is addressed by a direct analysis of the relationships between the twisted Brauer-type categories, using functors induced by the disjoint union of finite sets to pass from the walled to the unwalled context. As an application, for the cyclic operad associated to an operad, this yields an explicit relation between the respective (hairy) graph homologies.

Significance. If the constructions hold, the manuscript supplies a categorical bridge between graph complexes in walled and unwalled settings, together with an explicit homology comparison in the cyclic-operad case. This framework may streamline computations that currently treat operad and cyclic-operad graph homologies separately and could extend to other Koszul-type complexes arising from Brauer or partition categories. The direct functorial comparison, rather than an ad-hoc identification, is a methodological strength.

minor comments (3)
  1. [Preliminaries] The notation for the twisted downward Brauer categories and the associated modules is introduced gradually; a consolidated table or diagram in the preliminaries would improve readability.
  2. [Application] In the application section, the statement that the functors induce a chain-level map on the Koszul complexes would benefit from an explicit verification that the differential commutes with the disjoint-union functor (even if the argument is routine).
  3. [Introduction] A few references to prior work on hairy graph complexes (e.g., the original constructions by Willwacher et al.) appear only in passing; expanding the comparison paragraph would help situate the new relation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of its methodological contribution, and recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper conducts a direct categorical analysis relating twisted downward (walled) Brauer categories to unwalled versions via functors from disjoint union of finite sets, interpreting hairy graph complexes as Koszul complexes for the associated modules. The central claims derive explicit homology relations for the cyclic-operad case from these functorial comparisons and module structures. No equations or steps reduce by construction to inputs, no fitted parameters are renamed as predictions, and no load-bearing self-citations or uniqueness theorems are invoked that collapse the result to prior author work. The derivation remains self-contained as a construction of relationships between categories and complexes.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities are identifiable. Full text required for ledger.

pith-pipeline@v0.9.0 · 5414 in / 992 out tokens · 38215 ms · 2026-05-10T12:00:01.011136+00:00 · methodology

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 · 14 canonical work pages

  1. [1]

    Hairy graphs and the unstable homology of Mod (g,s) , Out (F_n) and Aut (F_n)

    James Conant, Martin Kassabov, and Karen Vogtmann. Hairy graphs and the unstable homology of Mod (g,s) , Out (F_n) and Aut (F_n) . J. Topol. , 6(1):119--153, 2013. https://doi.org/10.1112/jtopol/jts031 doi:10.1112/jtopol/jts031

    work page doi:10.1112/jtopol/jts031 2013

  2. [2]

    Higher hairy graph homology

    James Conant, Martin Kassabov, and Karen Vogtmann. Higher hairy graph homology. Geom. Dedicata , 176:345--374, 2015. https://doi.org/10.1007/s10711-014-9972-4 doi:10.1007/s10711-014-9972-4

    work page doi:10.1007/s10711-014-9972-4 2015

  3. [3]

    On a theorem of K ontsevich

    James Conant and Karen Vogtmann. On a theorem of K ontsevich. Algebr. Geom. Topol. , 3:1167--1224, 2003. https://doi.org/10.2140/agt.2003.3.1167 doi:10.2140/agt.2003.3.1167

    work page doi:10.2140/agt.2003.3.1167 2003

  4. [4]

    Algebraic structure of string field theory , volume 973 of Lecture Notes in Physics

    Martin Doubek, Branislav Jur c o, Martin Markl, and Ivo Sachs. Algebraic structure of string field theory , volume 973 of Lecture Notes in Physics . Springer, Cham, [2020] 2020. https://doi.org/10.1007/978-3-030-53056-3 doi:10.1007/978-3-030-53056-3

    work page doi:10.1007/978-3-030-53056-3 2020

  5. [5]

    Stable homology of L ie algebras of derivations and homotopy invariants of wheeled operads

    Vladimir Dotsenko. Stable homology of L ie algebras of derivations and homotopy invariants of wheeled operads. Compos. Math. , 161(4):756--799, 2025. https://doi.org/10.1112/S0010437X25007055 doi:10.1112/S0010437X25007055

    work page doi:10.1112/s0010437x25007055 2025

  6. [6]

    Koszul duality for dioperads

    Wee Liang Gan. Koszul duality for dioperads. Math. Res. Lett. , 10(1):109--124, 2003. https://doi.org/10.4310/MRL.2003.v10.n1.a11 doi:10.4310/MRL.2003.v10.n1.a11

    work page doi:10.4310/mrl.2003.v10.n1.a11 2003

  7. [7]

    Getzler and M

    E. Getzler and M. M. Kapranov. Modular operads. Compositio Math. , 110(1):65--126, 1998. https://doi.org/10.1023/A:1000245600345 doi:10.1023/A:1000245600345

    work page doi:10.1023/a:1000245600345 1998

  8. [8]

    Cyclic operads and algebra of chord diagrams

    Vladimir Hinich and Arkady Vaintrob. Cyclic operads and algebra of chord diagrams. Selecta Math. (N.S.) , 8(2):237--282, 2002. https://doi.org/10.1007/s00029-002-8106-2 doi:10.1007/s00029-002-8106-2

    work page doi:10.1007/s00029-002-8106-2 2002

  9. [9]

    Geun Bin Im and G. M. Kelly. A universal property of the convolution monoidal structure. J. Pure Appl. Algebra , 43(1):75--88, 1986. https://doi.org/10.1016/0022-4049(86)90005-8 doi:10.1016/0022-4049(86)90005-8

    work page doi:10.1016/0022-4049(86)90005-8 1986

  10. [10]

    Foncteurs analytiques et esp\`eces de structures

    Andr\'e Joyal. Foncteurs analytiques et esp\`eces de structures. In Combinatoire \'enum\'erative ( M ontreal, Q ue., 1985/ Q uebec, Q ue., 1985) , volume 1234 of Lecture Notes in Math. , pages 126--159. Springer, Berlin, 1986. https://doi.org/10.1007/BFb0072514 doi:10.1007/BFb0072514

    work page doi:10.1007/bfb0072514 1985

  11. [11]

    G. M. Kelly. Doctrinal adjunction. In Category S eminar ( P roc. S em., S ydney, 1972/1973) , volume Vol. 420 of Lecture Notes in Math. , pages 257--280. Springer, Berlin-New York, 1974

    1972

  12. [12]

    Formal (non)commutative symplectic geometry

    Maxim Kontsevich. Formal (non)commutative symplectic geometry. In The G elfand M athematical S eminars, 1990--1992 , pages 173--187. Birkh\"auser Boston, Boston, MA, 1993

    1990

  13. [13]

    Feynman diagrams and low-dimensional topology

    Maxim Kontsevich. Feynman diagrams and low-dimensional topology. In First E uropean C ongress of M athematics, V ol.\ II ( P aris, 1992) , volume 120 of Progr. Math. , pages 97--121. Birkh\"auser, Basel, 1994

    1992

  14. [14]

    I. G. Macdonald. Symmetric functions and H all polynomials . Oxford Classic Texts in the Physical Sciences. The Clarendon Press, Oxford University Press, New York, second edition, 2015. With contribution by A. V. Zelevinsky and a foreword by Richard Stanley

    2015

  15. [15]

    Relative nonhomogeneous K oszul duality

    Leonid Positselski. Relative nonhomogeneous K oszul duality . Frontiers in Mathematics. Birkh\" a user/Springer, Cham, [2021] 2021. https://doi.org/10.1007/978-3-030-89540-2 doi:10.1007/978-3-030-89540-2

    work page doi:10.1007/978-3-030-89540-2 2021

  16. [16]

    Cyclic operads, Koszul complexes, and hairy graph complexes

    Geoffrey Powell . Cyclic operads, Koszul complexes, and hairy graph complexes . arXiv e-prints , page arXiv:2512.20256, December 2025. https://arxiv.org/abs/2512.20256 arXiv:2512.20256 , https://doi.org/10.48550/arXiv.2512.20256 doi:10.48550/arXiv.2512.20256

    work page doi:10.48550/arxiv.2512.20256 2025

  17. [17]

    Operads, modules over walled Brauer categories, and Koszul complexes

    Geoffrey Powell . Operads, modules over walled Brauer categories, and Koszul complexes . arXiv e-prints , page arXiv:2512.20274, December 2025. https://arxiv.org/abs/2512.20274 arXiv:2512.20274 , https://doi.org/10.48550/arXiv.2512.20274 doi:10.48550/arXiv.2512.20274

    work page doi:10.48550/arxiv.2512.20274 2025

  18. [18]

    Sam and Andrew Snowden

    Steven V. Sam and Andrew Snowden. Stability patterns in representation theory. Forum Math. Sigma , 3:Paper No. e11, 108, 2015. https://doi.org/10.1017/fms.2015.10 doi:10.1017/fms.2015.10

    work page doi:10.1017/fms.2015.10 2015