pith. sign in

arxiv: 2511.02829 · v2 · submitted 2025-11-04 · 🧮 math.AT

Koszulity of a certain dioperad

Alex Takeda This is my paper

Pith reviewed 2026-05-18 01:10 UTC · model grok-4.3

classification 🧮 math.AT
keywords dioperadKoszulitybialgebraassocoipahedraStrebel differentialsinfinitesimal bialgebracyclic tensorhomological algebra
0
0 comments X

The pith

The dioperad Y^{(n)} encoding bialgebras with a deformed infinitesimal condition is Koszul.

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

This paper shows that a particular dioperad is Koszul. The dioperad encodes bialgebras having a product in degree zero, a coproduct in degree one minus n, and a rank three cyclic tensor, all satisfying a deformed version of the balanced infinitesimal bialgebra condition. The proof proceeds by examining certain subcomplexes inside the assocoipahedra. These subcomplexes connect to cloven Strebel differentials, a class of meromorphic quadratic differentials on the complex projective line. The geometric connection controls the topology of those subcomplexes and shows that higher cohomology vanishes in the dioperadic bar complexes. A sympathetic reader would care because Koszul dioperads typically admit quadratic duals and simplify homological calculations for the structures they encode.

Core claim

The dioperad Y^{(n)} is Koszul. It encodes bialgebras with a product of degree zero, a coproduct of degree (1-n) and a rank three cyclic tensor satisfying a deformed version of the balanced infinitesimal bialgebra condition. The result follows from studying specific subcomplexes of the assocoipahedra. These subcomplexes correspond to cloven Strebel differentials on the complex projective line. This geometric interpretation controls the topology sufficiently to deduce the vanishing of higher cohomology in the dioperadic bar complexes.

What carries the argument

Specific subcomplexes of the assocoipahedra interpreted as cloven Strebel differentials on the complex projective line, which permit topological control leading to cohomology vanishing.

If this is right

  • The dioperadic bar complex has vanishing higher cohomology.
  • The dioperad admits a Koszul dual with quadratic relations.
  • This yields minimal resolutions for the bialgebra structures encoded by the dioperad.

Where Pith is reading between the lines

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

  • The geometric technique with cloven Strebel differentials could extend to proving Koszulity for related dioperads with other deformations.
  • Links between these structures and quadratic differentials on the sphere may connect homological algebra to complex geometry.
  • Such Koszul dioperads might produce new examples of homotopy bialgebras with controlled invariants.

Load-bearing premise

The specific subcomplexes of the assocoipahedra relate to cloven Strebel differentials in a way that gives enough control of their topology to prove the vanishing of higher cohomology.

What would settle it

A direct computation revealing non-vanishing higher cohomology in the dioperadic bar complex for this dioperad, or a topological analysis showing that the subcomplexes do not have the expected properties from the cloven Strebel differentials.

read the original abstract

We establish that the dioperad $Y^{(n)}$, encoding bialgebras with a product of degree zero, a coproduct of degree $(1-n)$ and a rank three cyclic tensor, which satisfy a deformed version of the balanced infinitesimal bialgebra condition, is Koszul. This result is established by studying specific subcomplexes of the assocoipahedra of Poirier and Tradler. These subcomplexes are related to a certain type of meromorphic quadratic differential on $\mathbb{CP}^1$, which we call cloven Strebel differentials. Using that geometric interpretation, we can control the topology of the relevant subcomplexes and deduce the vanishing of higher cohomology of the corresponding dioperadic bar complexes.

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

1 major / 2 minor

Summary. The manuscript claims to establish the Koszulity of the dioperad Y^{(n)}, which encodes bialgebras with a degree-zero product, a degree-(1-n) coproduct, and a rank-three cyclic tensor satisfying a deformed balanced infinitesimal bialgebra condition. The proof identifies specific subcomplexes of the Poirier-Tradler assocoipahedra, relates them geometrically to cloven Strebel differentials on CP^1, and uses this interpretation to control the topology of the subcomplexes, thereby deducing the vanishing of higher cohomology in the corresponding dioperadic bar complexes.

Significance. If the geometric control and resulting vanishing are rigorously verified, the result would contribute a new Koszul dioperad example with non-standard grading and a deformed relation, potentially aiding computations in bialgebra cohomology and deformation theory. The direct combinatorial-geometric link via cloven Strebel differentials, rather than a circular reduction, is a methodological strength that could extend to other dioperadic structures.

major comments (1)
  1. [§4] §4 (Geometric model for subcomplexes): The central step asserts that the relation of the assocoipahedra subcomplexes to cloven Strebel differentials permits topological control sufficient to deduce vanishing of higher cohomology in the dioperadic bar complex. However, no explicit homotopy equivalence, cell decomposition, or spectral sequence is stated that transfers acyclicity while accounting for the coproduct degree shift (1-n) and the cyclic tensor; this leaves the vanishing claim unverified at the chain level.
minor comments (2)
  1. [§2] The definition of the dioperad Y^{(n)} (generators, relations, and degree assignments) should be stated explicitly in §2 before the geometric analysis begins.
  2. Notation for the rank-three cyclic tensor and the precise form of the deformed balanced infinitesimal bialgebra condition could be clarified with a displayed equation early in the text.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the significance of the result, and recommendation for major revision. We address the single major comment below and will incorporate the necessary clarifications into the revised manuscript.

read point-by-point responses

  1. Referee: [§4] §4 (Geometric model for subcomplexes): The central step asserts that the relation of the assocoipahedra subcomplexes to cloven Strebel differentials permits topological control sufficient to deduce vanishing of higher cohomology in the dioperadic bar complex. However, no explicit homotopy equivalence, cell decomposition, or spectral sequence is stated that transfers acyclicity while accounting for the coproduct degree shift (1-n) and the cyclic tensor; this leaves the vanishing claim unverified at the chain level.

    Authors: We agree that the manuscript would be strengthened by an explicit chain-level verification of the acyclicity. In the revised version we will add a new subsection in §4 that constructs an explicit cell decomposition of the relevant subcomplexes of the Poirier-Tradler assocoipahedra, indexed by the combinatorial types of cloven Strebel differentials on CP^1 (classified by the locations and orders of their simple poles and zeros). We will then exhibit a filtration whose associated graded complex is manifestly acyclic, with the filtration compatible with the differential and with the grading shifts coming from the degree-(1-n) coproduct and the rank-three cyclic tensor. The resulting homotopy equivalence to a point will be described combinatorially via a sequence of elementary collapses that respect the dioperadic bar differential. revision: yes

Circularity Check

0 steps flagged

No significant circularity; Koszulity follows from independent geometric analysis of subcomplexes

full rationale

The derivation establishes Koszulity of Y^{(n)} by direct study of specific subcomplexes of the Poirier-Tradler assocoipahedra, relating them to cloven Strebel differentials on CP^1 to control topology and deduce vanishing higher cohomology in the dioperadic bar complexes. No quoted equations or steps reduce the central claim to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The argument relies on external geometric models and algebraic complexes with stated degree shifts, remaining self-contained against external benchmarks rather than circular by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The proof rests on standard facts from operad theory together with a new geometric correspondence between combinatorial subcomplexes and a named class of differentials; no free parameters or invented particles appear.

axioms (2)
  • standard math Standard properties of dioperads, Koszul duality, and the bar construction in operadic algebra
    Invoked as background for the definition of Koszulity and the bar complex.
  • domain assumption The subcomplexes of assocoipahedra correspond to cloven Strebel differentials in a way that determines their topology
    This correspondence is the key step allowing control of cohomology.
invented entities (1)
  • cloven Strebel differentials no independent evidence
    purpose: Geometric interpretation of the relevant subcomplexes to control their topology
    Defined in the paper as a certain type of meromorphic quadratic differential on CP^1.

pith-pipeline@v0.9.0 · 5636 in / 1502 out tokens · 69668 ms · 2026-05-18T01:10:25.136104+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

  1. [1]

    Prescribed horizontal and vertical trees problem of quadratic differentials

    [AW06] Thomas Kwok-Keung Au and Tom Yau-Heng Wan. “Prescribed horizontal and vertical trees problem of quadratic differentials”. In:Communications in Contemporary Mathematics8.03 (2006), pp. 381–399. [DGT21] Kealey Dias, Subhojoy Gupta, and Maria Trnkova. “Quadratic differentials, measured foliations, and metric graphs on punctured surfaces”. In:Illinois ...

    work page 2006

  2. [2]

    Meromorphic quadratic differentials and measured foliations on a Riemann surface

    arXiv:2503.04297 [math.AT]. REFERENCES 13 [GW19] Subhojoy Gupta and Michael Wolf. “Meromorphic quadratic differentials and measured foliations on a Riemann surface”. In:Mathematische Annalen373.1 (2019), pp. 73–118. [HLV21] Eric Hoffbeck, Johan Leray, and Bruno Vallette. “Properadic homotopical cal- culus”. In:International Mathematics Research Notices202...

    work page arXiv 2019

  3. [3]

    Pre-Calabi–Yau algebras and topological quantum field theories

    [KTV25] Maxim Kontsevich, Alex Takeda, and Yiannis Vlassopoulos. “Pre-Calabi–Yau algebras and topological quantum field theories”. In:European Journal of Mathematics11.1 (2025), pp. 1–101. [Ler19] Johan Leray.Protoperads i: Combinatorics and definitions

    work page 2025

  4. [4]

    Protoperads ii: Koszul duality

    arXiv:1901. 05653 [math.AT]. [Ler20] Johan Leray. “Protoperads ii: Koszul duality”. In:Journal de l’ ´Ecole polytech- nique—Math´ ematiques7 (2020), pp. 897–941. [LV25] Johan Leray and Bruno Vallette.Pre-Calabi–Yau algebras and homotopy dou- ble Poisson gebras

    work page 1901

  5. [5]

    Leray and B

    arXiv:2203.05062 [math.QA]. [Mer25] Sergei Merkulov.A complex of ribbon quivers andM g,m

    work page arXiv

  6. [6]

    Deformation theory of representations of operads I

    arXiv:2503. 02020 [math.AG]. [MV09] Sergei Merkulov and Bruno Vallette. “Deformation theory of representations of operads I”. In:Journal f¨ ur die Reine und Angewandte Mathematik634 (2009), pp. 51–106. [Pil22] Vincent Pilaud. “Pebble trees”. In:Canadian Journal of Mathematics(2022), pp. 1–28. [PT18] Kate Poirier and Thomas Tradler. “The combinatorics of d...

    work page 2009

  7. [7]

    Balanced infinitesimal bialgebras, double

    arXiv:2312.14893 [math.QA]. [TZ07] Thomas Tradler and Mahmoud Zeinalian. “Infinity structure of Poincar´ e du- ality spaces”. In:Algebraic & Geometric Topology7.1 (2007), pp. 233–260. [War19] Benjamin C Ward. “Six operations formalism for generalized operads”. In: Theory and Applications of Categories34 (2019), pp. 121–169. A. Takeda,Uppsala University, D...

    work page arXiv 2007