Pith. sign in

REVIEW 8 minor 19 references

On dg properads of pre-CY algebras

T0 review · 0 major / 8 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read Small models with at most four generators fully capture pre-CY algebras, and their deformation cohomology contains all cohomology of moduli spaces of curves with one marked point.

desk verdict Solid finite-generator models for pre-CY properads plus a clean non-Koszul proof for PV; the spectral-sequence reductions check out. read the letter →

arxiv 2607.10290 v1 pith:RDENJTE4 submitted 2026-07-11 math.QA

Sergei A. Merkulov This is my paper · ORCID
classification math.QA MSC 14H1018G8518M70
keywords pre-CYalgebrasdgproperadsribbongraphsmodulispacesofcurvesdeformationcomplexKoszuldualitydoublePoisson
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

Pre-CY algebras are controlled by a differential graded properad built from ribbon graphs with arbitrarily high valency. This paper constructs two much smaller models: one with four generators of valency at most four for the general case, and one with three generators for the curvature-free case. It proves that the natural maps from the original properads onto these small models are quasi-isomorphisms, so the small models compute the same cohomology and control the same algebras. The same deformation-theoretic machinery shows that the deformation complex of the full pre-CY properad contains every cohomology group of the moduli spaces of genus-g curves with one marked point. As a direct consequence, the classical Tradler–Zeinalian properad of V-algebras cannot be Koszul. The valency bound four is shown to be sharp: any further reduction destroys the quasi-isomorphism.

What carries the argument

Filtrations by number of sources, directed paths and trivalent vertices, together with known quasi-isomorphisms for Ass_∞, the path version of the infinitesimal-bialgebra properad and the double-Lie properad DLie_∞; these reduce the comparison of the original and small models to tensor products of already-understood complexes.

What would settle it

Exhibit a cohomology class in one of the small models that does not lift to the original PreCY complex, or produce a non-zero class in the deformation complex of PreCY that is killed by every map from the oriented ribbon-graph complex of moduli spaces.

Watch

Extended reading notes

Core claim

The natural epimorphisms from the free dg properads PreCY_d and PreCY^{3}_d onto the four-generator and three-generator quotients ΔPreCY_d and ΔPreCY^{3}_d are quasi-isomorphisms. Consequently the deformation complex of PreCY_d contains the product over g of the cohomology of M_{g,1}, which forces the Tradler–Zeinalian properad PV^{(1-d)} to be non-Koszul.

Load-bearing premise

The spectral sequences of the chosen filtrations converge to the claimed cohomology, which rests only on finite-dimensionality in each fixed degree, genus and boundary number together with earlier quasi-isomorphism results for auxiliary operads.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 8 minor

Summary. The paper constructs two small dg properad models for pre-CY algebras: ΔPreCY_d, generated by four ribbon corollas of valency ≤4, and ΔPreCY³_d (no curvature), generated by three such corollas. Main Theorem 1.1 and Theorem 1.2 assert that the natural epimorphisms from PreCY_d and PreCY³_d onto these quotients are quasi-isomorphisms. Sharpness of the valency bound 4 is obtained by showing that the deformation complex Def(PreCY_d → PreCY_d) injects the totality ∏_{g≥1} H^•(M_{g,1}) (Theorem 1.4), which in turn implies that the Tradler–Zeinalian properad PV^{(1-d)} is not Koszul (Corollary 1.4.1). The quasi-isomorphism proofs proceed by successive filtrations (sources, directed paths, trivalent vertices) whose associated graded pieces reduce to standard complexes Ass_∞, Ass^{∨,cyc}_∞, IB^{path}_∞ and DLie_∞; the non-Koszul argument uses a monomorphism of the oriented ribbon graph complex orgc_d into the deformation complex together with prior results on moduli cohomology.

Significance. Small, finitely generated models for PreCY_d and PreCY³_d are of clear practical value for computations with pre-CY and V^{(d)}_∞ structures in infinite dimensions. Establishing that valency 4 is sharp, and that PV^{(1-d)} fails to be Koszul while its underlying dioperad is Koszul, answers Question 4.2 of Poirier–Tradler and fits a known pattern (cf. non-Koszulness of BIB_d). The proofs are written in full detail via filtrations and known quasi-isomorphisms (Ass_∞, Leray’s DLie_∞, etc.), and the deformation-complex injection of moduli cohomology is a clean, reusable technique. The results are therefore a solid contribution to the properadic and noncommutative-geometry literature.

minor comments (8)
  1. Theorem 1.4 statement: “contains contains the totality” — duplicate word.
  2. Page 3, line after the short exact sequence for PV^{(1-d)}: “cannota quasi-isomorphism” — missing space (“cannot a”).
  3. References [LV] and [Q]: “gebras” should be “algebras” (typos carried from arXiv titles).
  4. Abstract and Theorem 1.4: product of cohomology groups is written both as Q and as ∏; unify notation (prefer ∏).
  5. §2.1.2 and later: “passing vertex” / “operadic vertex” / “static corollas” are introduced clearly, but a short glossary or consistent boldface for newly defined graph types would help the reader through the multi-page filtration arguments.
  6. §2.3.1 (IV): the differential δ_0 on IB^{path}_∞ is described carefully; a single fully expanded example for a (2,2)-corolla would make the path-count condition easier to check.
  7. §3.2, formula (38): the infinite sum for δ is written with a single representative graph; a brief remark that the sum runs over all cyclic attachments of the m+n hairs would remove any ambiguity.
  8. Throughout: several arXiv identifiers in the bibliography carry 2025–2026 dates; ensure final published versions (or stable arXiv versions) are cited once available.

Circularity Check

2 steps flagged · score 2.0 of 10

Mild self-citation for moduli injection and non-Koszulness; core small-model quasi-isomorphisms are independent of those citations.

  1. self citation load bearing [§3.3 Proof of Theorem 1.4, display (41) and surrounding text]
    "It was proven in §5.8 of [M2] that the morphism f^{3} is a quasi-isomorphism. Hence the above diagram implies a monomorphism of the cohomology groups 0 o H•(orgc_d) o H•+1(Def(1)(PreCY_d Id o PreCY_d))"

    The claimed containment of ∏_{g ge1} H•(M_{g,1}) inside the deformation complex of PreCY_d is obtained solely by transporting the author’s earlier quasi-isomorphism f^{3}:orgc_d o Def(PreCY^{3}_d) across the projection PreCY_d o PreCY^{3}_d. Without that self-citation the monomorphism (41) does not follow from the commutative diagram alone.

  2. self citation load bearing [§3.4 Proof of Corollary 1.4.1, final paragraph]
    "Hence the injection (42) implies that every cohomology class in the totality ∏_{g ge1} H•-1+2g(d-1)_c(M_{g,1}) can be represented by ribbon graphs in orgc_d having at most trivalent vertices which is impossible (see e.g. §2.11 in [M2] or §5.10.1 in [M1])."

    The contradiction establishing non-Koszulness of PV^(1-d) rests on the impossibility statement taken from the author’s own prior papers; the present text supplies no independent verification that the classes cannot be represented by trivalent graphs.

full rationale

The derivations of Main Theorem 1.1 and Theorem 1.2 proceed by filtrations (sources, directed paths, trivalent vertices) whose associated graded pieces reduce, via finite-dimensionality in each fixed (m,n,g,b), to the known cohomologies of Ass_∞ (Ginzburg–Kapranov), Ass^∨,cyc_∞, IB_path_∞ and DLie_∞ (Leray). Those reductions are written out in §§2.3.1–2.3.6 and do not invoke the author’s prior papers as black boxes for the target claim. The only load-bearing self-citations appear in the application: the monomorphism H•(orgc_d) ↪ H•(Def(PreCY_d)) and the subsequent non-Koszulness of PV^(1-d) rest on the quasi-isomorphism f^{3} of [M2] and on the impossibility of representing the relevant classes by trivalent graphs (again [M1,M2]). Those are separate arXiv preprints with their own proofs; the present paper does not redefine them in terms of ΔPreCY or the deformation complex of PreCY_d. No fitted parameters, self-definitional identities, or renaming of known empirical patterns occur. Hence residual circularity is limited to ordinary self-citation of independent prior work and scores 2.

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

Pure algebraic construction over a field of characteristic zero. No free parameters. Background axioms are standard facts about free properads, cobar constructions, and known cohomologies of Ass_∞, IB_path_∞ and DLie_∞; the only domain-specific inputs are the definitions of pre-CY algebras and of the ribbon-graph complexes already established in the literature.

assumptions (3)
  • domain assumption The free properad generated by an S-bimodule of ribbon corollas carries a differential given by vertex splitting that preserves cyclic order and produces only at-least-bivalent vertices with at least one outgoing hair.
    Standard construction of PreCY_d (and of its quotients); used throughout §2.
  • standard math H•(Ass_∞)=Ass, H•(Ass^{∨,cyc}_∞)=Ass^{∨,cyc}, H•(IB_path_∞)=IB_path, and DLie_d is Koszul (Leray).
    Invoked as black-box inputs for the associated-graded computations in §§2.3.1 and 2.3.5–2.3.6.
  • domain assumption The oriented ribbon-graph complex ORGC_{d+1} is quasi-isomorphic to the Kontsevich–Penner complex RGC_d and therefore computes compactly supported cohomology of M_{g,m}.
    Taken from the author’s earlier work [M2] and used to inject ∏ H•(M_{g,1}) into the deformation complex (§3).
invented entities (1)
  • ΔPreCY_d (and ΔPreCY^{3}_d)
    purpose: The small models obtained by quotienting by the differential ideal generated by all corollas of valency ≥5 (except the single 4-valent generator) and by all (m,0)-corollas with m≥3.
    Defined in §1 and §2; their quasi-isomorphism to the original properads is the main theorem. No independent experimental handle; purely algebraic objects.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On dg properads of pre-CY algebras." pith.science (2026). https://pith.science/paper/RDENJTE4

@misc{pith2026260710290,
  author       = {Pith},
  title        = {Pith review of: On dg properads of pre-CY algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RDENJTE4}},
  note         = {Machine review of arXiv:2607.10290}
}
abstract

We present new small models for the dg properads that govern pre-CY algebras: one for general pre-CY algebras and one for pre-CY algebras without curvature terms. These small models have only four and, respectively, three generators with valencies $\leq 4$ (in contrast to the original properads which have infinitely many generators with arbitrarily large valencies). We prove that the valency upper bound $4$ is sharp. We study the cohomology group of the deformation complex of the dg properad governing general pre-CY algebras and prove that it contains the totality $\prod_{g\geq 1}H^\bu(\M_{g,1})$ of cohomology groups of moduli spaces $M_{g,1}$ of genus $g$ algebraic curves with one marked point. As an application of this result we prove that the Tradler-Zeinalian properad of $V^{(d)}$-algebras is not Koszul.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 4 linked inside Pith

  1. [1]

    (2000), 1-29

    Marcelo Aguiar, Infinitesimal Hopf Algebras , In: New trends in Hopf algebra theory, vol.\ 267, Contemporary Math. (2000), 1-29

    2000

  2. [2]

    Koszul duality for operads , Duke Math

    Victor Ginzburg and Michail Kapranov. Koszul duality for operads , Duke Math. J. , 76(1):203--272, 1994

    1994

  3. [3]

    Pre-CalabiYau algebras as noncommutative Poisson structures , Journal of Algebra 567 (2021), pp

    Natalia Iyudu, Maxim Kontsevich, and Yannis Vlassopoulos. Pre-CalabiYau algebras as noncommutative Poisson structures , Journal of Algebra 567 (2021), pp. 63-90

    2021

  4. [4]

    Anton Khoroshkin, Input/output coloring and Gröbner basis for dioperads , arXiv:2602.20069 (2026)

    arXiv 2026

  5. [5]

    147 (1992) 1-23

    Maxim Kontsevich, Intersection Theory on the Moduli Space of Curves and the Matrix Airy Function , Commun.\ Math.\ Phys. 147 (1992) 1-23

    1992

  6. [6]

    Maxim Kontsevich, Alex Takeda, and Yiannis Vlassopoulos Pre-Calabi-Yau algebras and topological quantum field theories , Eur. J. Math., 11 (2025), article number 15

    2025

  7. [7]

    Johan Leray, Protoperads II: Koszul duality , Journal de l'\' E cole polytechnique — Math\' e matiques, 7 (2020) 897-941

    2020

  8. [8]

    Johan Leray and Bruno Vallette, Pre-Calabi-Yau algebras and homotopy double Poisson gebras , arXiv: 2203.05062 (2022)

    arXiv 2022

Show all 19 references
  1. [9]

    Sergei Merkulov, A complex of ribbon quivers and _ g,m , arXiv:2503.02020 (2025)

    2025 arXiv

  2. [10]

    Sergei Merkulov, A low-valence ribbon graph complex computing the cohomology of _ g,m , arXiv:2605.04950 (2026)

    2026 arXiv

  3. [11]

    Sergei Merkulov and Bruno Vallette, Deformation theory of representations of prop(erad)s I & II , J.\ f\"ur die reine und angewandte Mathematik (Qrelle) 634 , 51-106, & 636 , 123-174 (2009)

    2009

  4. [12]

    Sergei Merkulov and Thomas Willwacher, Props of involutive Lie bialgebras and moduli spaces of curves , arXiv:1511.07808 (2015) 51pp

    2015 arXiv

  5. [13]

    Sergei Merkulov and Thomas Willwacher, Deformation theory of Lie bialgebra properads , In: Geometry and Physics: A Festschrift in honour of Nigel Hitchin, Oxford University Press 2018, pp. 219-248

    2018

  6. [14]

    113 (1987), 299-339

    Robert Penner, The decorated Teichm\"uller space of punctured surfaces , Comm.\ Math.\ Phys. 113 (1987), 299-339

    1987

  7. [15]

    Homotopy Relat

    Kate Poirier and Thomas Tradler, Koszuality of the V^ (d) dioperad , J. Homotopy Relat. Struct., 14 (2019) 477-507

    2019

  8. [16]

    Alexandre Quesney, Balanced infinitesimal bialgebras, double Poisson gebras and pre-Calabi-Yau algebras , arXiv:2312.14893 (2023)

    2023 arXiv

  9. [17]

    Thomas Tradler and Mahmoud Zeinalian, Algebraic string operations , K-Theory, 38 (1) (2007) 59-82

    2007

  10. [18]

    360 (2008) 5711-5769

    Michel Van den Bergh, Double Poisson algebras , Trans.\ Amer.\ Math.\ Soc. 360 (2008) 5711-5769

    2008

  11. [19]

    Marko\ Zivkovi\' c, Direct quasi-isomorphism from ribbon graph complex to oriented ribbon graph complex , preprint 2026

    2026

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.