REVIEW 3 major objections 4 minor 45 references
Towards Open-Closed Categorical Enumerative Invariants: Circle-Action Formality Morphism
T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read This paper claims that, after choosing a splitting of the non-commutative Hodge filtration, the open-closed string field theory of a Calabi-Yau category is $L_\infty$ quasi-isomorphic to a much simpler complex, a necessary step for…
desk verdict The graph bijection underpinning the main theorem doesn't track loop defects, so the proof of Theorem A collapses; the open-closed idea is plausible but this draft isn't ready. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the closed circle-action formality morphism $K_s$, extended to a map on the tensor product with the open sector. The paper's new map is defined on symmetric powers by sending $(x_1\otimes y_1)\cdots(x_n\otimes y_n)$ to $K_s^n(x_1\cdots x_n)\otimes(y_1\cdots y_n)$ up to Koszul signs, with Taylor coefficients $K_s^n$ built from marked graphs with loop defects whose edges are contracted using the symmetric bilinear form $H_s^{\mathrm{sym}}$ determined by the Hodge-filtration splitting $s$. The proof that this is an $L_\infty$ quasi-isomorphism turns on a combinatorial lemma (Theorem 5.1.6): a bijection between a moduli space of graphs on $m-1$ vertices with a partition of the first vertex's half-edges and a union of two moduli spaces of graphs on $m$ vertices (connected, and two-component). This bijection, together with the Leibniz rule in the open BD algebra, yields the key identity Theorem 5.2.1, which makes the map commute with the differentials. In short, the engine is a graph-moduli bijection that reconciles contracting two closed inputs at once with distributing them into separate closed factors.
What would settle it
Take a simple example—say, a dimension-$d$ cyclic $A_\infty$-category with trivial compositions and the identity splitting—and compute both sides of the $L_\infty$ relation (2.4.7) for the proposed map on two inputs. A sign or degree mismatch in the regraded closed formality map would show up as a nonzero difference, refuting Theorem A.
Extended reading notes
Core claim
The central discovery is a formality theorem for open-closed string field theory: for a dimension $d$ cyclic $A_\infty$-category $\mathcal{C}$, a splitting $s$ of the non-commutative Hodge filtration, and a full subcategory $\Lambda$, there exists an $L_\infty$ quasi-isomorphism $\Psi^{\mathrm{oc}}_s : F^c(\mathcal{C}) \otimes F^{\mathrm{op}}(\Lambda)[5-2d] \dashrightarrow F^c(\mathcal{C})_{\mathrm{Triv}} \otimes F^{\mathrm{op}}(\Lambda)[5-2d]$. Here $F^c(\mathcal{C})$ is the closed string field theory Beilinson-Drinfeld algebra built from Hochschild chains, $F^{\mathrm{op}}(\Lambda)$ is the open sector built from cyclic cochains on $\Lambda$, and $F^c(\mathcal{C})_{\mathrm{Triv}}$ retains only the Hochschild differential on the closed side. The morphism is constructed explicitly by a graph calculus: the Taylor components are built by contracting half-edges according to marked graphs using the symmetric bilinear form coming from the splitting $s$. The proof reduces to a combinatorial identity (Theorem 5.2.1) about the closed formality morphism's Taylor components, which is proved via a bijection between certain moduli spaces of graphs. The author argues this is the open-closed analogue of the closed circle-action trivialization and an ingredient toward quantizing large-$N$ open string field theory, conditional on an assumption about the existence of a Maurer-Cartan element whose open part is the cyclic potential.
Load-bearing premise
The proof takes as given that the closed formality morphism from earlier work remains an $L_\infty$ quasi-isomorphism after the paper's regrading and shift conventions, and that the graph-evaluation maps are compatible with the new combinatorial bijection; if those signs and compatibilities fail, the reduction to the key lemma collapses.
Editorial extensions
If this is right
- Choosing a splitting of the non-commutative Hodge filtration, the open-closed string field theory of a cyclic Calabi-Yau category with a set of objects is $L_\infty$ quasi-isomorphic to a complex whose closed sector is just Hochschild chains with its Hochschild differential; this is Theorem A.
- Via the trivialized complex, the image of the Maurer-Cartan element of the theory gives coefficients that are conjecturally the open-closed Gromov-Witten invariants of the corresponding Fukaya category, mirroring the closed case.
- If Assumption (*) holds, Theorem C constructs a quantization of the cyclic $A_\infty$ algebra of an object, i.e., a Maurer-Cartan element in the open string field theory whose dequantization is the cyclic potential; the quantization receives contributions from the closed sector.
- The new graph-moduli bijection (Theorem 5.1.6) relating graphs with different numbers of vertices is presented as a combinatorial result of independent interest.
Reading between the lines
- Not in the paper: the same graph-moduli bijection might give a direct proof that the open-closed formality morphism is compatible with the full $L_\infty$ structure without relying on the regraded closed formality theorem, which would remove the paper's main sign-convention vulnerability.
- Not in the paper: the invariants extracted from $\Psi^{\mathrm{oc}}_s$ could depend on the chosen Hodge-filtration splitting; if so, studying this dependence would connect to wall-crossing phenomena in open Gromov-Witten theory, mirroring the closed case.
- Not in the paper: since the paper works with cyclic (strict) Calabi-Yau categories, a natural extension would be to weak proper Calabi-Yau categories, using known strictification results; the closed case has already been treated at that level of generality.
- Not in the paper: the author stops short of computing actual numerical invariants from the trivialized complex; a concrete low-genus or one-object example would test whether the proposed formalism is computationally accessible.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to construct an open-closed formality L∞-quasi-isomorphism for a cyclic A∞-category C with a splitting of the non-commutative Hodge filtration and a full subcategory Λ, trivializing the closed operations while keeping the open operations intact (Theorem A, Corollary 5.2.14). The construction is a graph-dependent morphism on tensor products of closed and open string field theory BD algebras. The proof reduces Theorem A to a combinatorial identity for the Taylor components of the closed formality morphism, Theorem 5.2.1, which is derived from a graph bijection in Theorem 5.1.6. The paper also sketches a conditional quantization statement (Theorem C) under an external Assumption (*) that is delegated to work in preparation [AT25].
Significance. If Theorem A were correct, it would provide a natural open-closed analogue of the closed formality morphism of Caldararu–Tu and Amorim–Tu, with potential applications to categorical open Gromov–Witten invariants and to quantization of large-N open string field theory. The paper is clearly organized, makes an explicit effort to track shifts and gradings, and isolates the combinatorial core of the argument. However, the central combinatorial bijection on which Theorem A rests is false as stated, so the main theorem is not established in this version. The conditional quantization statement is also explicitly dependent on an unverified assumption and on in-preparation work.
major comments (3)
- [Section 5.1, Theorem 5.1.6] The asserted bijection ψ is not valid because it does not track the vertex loop-defect labels introduced in Section 4. For m=2, k1=k2=1, n=2, take G to be a one-vertex graph with two leaves and vertex defect g. The domain set A_{g,2}^{1,1} has cardinality independent of g (one or two elements, depending on leaf-labeling conventions), while the target set C_{g,2}^{1,1} contains a distinct pair of one-vertex, one-leaf graphs for every decomposition g1+g2=g, hence g+1 elements for g>0. No bijection can exist for such g. Moreover, Construction 5.1.1 does not specify how the loop-defect label of the split vertex is distributed between the old and new vertices, so ψ is not even well-defined as a map of the labeled graphs introduced in Section 4. Since Theorem 5.1.6 is the basis for Theorem 5.2.1, the proof chain leading to Theorem A is broken.
- [Section 5.2, proof of Theorem 5.2.1] The proof of Theorem 5.2.1 asserts after equations (5.2.8) and (5.2.9) that “the evaluation maps are compatible with this bijection” and with the identifications (5.1.4) and (5.1.5). This compatibility is not demonstrated, and in the m=2 example above it is false: the sum over C_{g,2}^{1,1} contains more terms than the original sum over A_{g,2}^{1,1} for g>0, so the regrouped sums have different numbers of contributions with the same γ-weight. Consequently, the equality claimed in Theorem 5.2.1 does not follow from Theorem 5.1.6, and Lemma 5.0.10 is not proven.
- [Section 5, equations (5.0.8) and (5.0.9)] The reduction of Theorem 5.0.6 to Lemma 5.0.10 assumes that the closed L∞-morphism K_s of [CT24, Theorem 7.1] and [AT22, equation (26)] satisfies identity (5.0.9) verbatim under the paper's different grading and shift conventions. The paper notes that it “carefully keeps track of the Z-grading” but does not reproduce or prove this compatibility. Since (5.0.9) is used to cancel terms in equation (5.0.7), any sign or γ-degree mismatch would invalidate the claimed equivalence between Theorem 5.0.6 and Lemma 5.0.10. This step is load-bearing and cannot be checked from the present text.
minor comments (4)
- [Section 5.1, Definition 5.1.3] The condition “0≤ g, n < 0” is nonsensical; it should read “0≤g and 0<n” or the like, since n denotes the number of leaves.
- [Section 5.2, proof of Theorem 5.2.1] The proof uses the notation ψ(pG,f,I,Jq) before the bijection ψ of Theorem 5.1.6 has been extended to triples; the domain of the map should be made explicit.
- [Section 5.2, statement of Theorem 5.2.1] The statement writes x1,...,xm ∈ F^c(C)r6−2ds, but the proof treats xi and xj as elements of Sym^{k1} and Sym^{k2} respectively; the word-length decomposition should be stated in the theorem.
- [Throughout] There are several typographical issues, including “thereom” before Theorem 5.0.6 and inconsistent non-ASCII characters in expressions such as “p2d´5q-twisted”; a careful proofreading pass is needed.
Circularity Check
No significant circularity: central open-closed formality theorem is derived from external closed formality plus new graph combinatorics; only self-citation is background.
full rationale
The central claim (Theorem A, Corollary 5.2.14) is derived by constructing an explicit coalgebra morphism Cp(Ks b m) from the external closed formality morphism Ks of [CT24]/[AT22] and verifying the L-infinity relation. The verification reduces to equation (5.0.7), then via facts (5.0.8) and (5.0.9) to Lemma 5.0.10, which is proved by Theorem 5.2.1 and Lemma 5.2.10. Theorem 5.2.1 is a graph-counting identity whose proof uses the bijection Theorem 5.1.6; this is a new combinatorial argument, not a restatement of the definition of Ks or of the target trivialization. The only self-citation is [Ulm25], used in Definition 3.0.6 to identify F^op(Λ) with the BD algebra F(...)[d−3] and in Remark 3.0.8 for the LQT interpretation; this is background input, not a load-bearing step that forces the open-closed morphism. Assumption (*) and the dependence on in-preparation [AT25] are explicitly flagged as assumptions. No step in the paper makes the main morphism or any derived quantity reduce, by definition or by fitted data, to its own input. The skeptic's objection about vertex loop-defect multiplicities in Theorem 5.1.6 would, if correct, be a mathematical flaw in the graph bijection, not a circularity, and does not change the circularity verdict.
Assumptions & free parameters
assumptions (4)
- domain assumption The closed formality morphism K_s from [CT24, Thm 7.1] and [AT22, eq. 26] is an L∞ quasi-isomorphism under the grading and shifting conventions used in this paper.
- domain assumption A splitting s of the non-commutative Hodge filtration exists for the categories in question and extends u-linearly to an isomorphism (2.3.3).
- ad hoc to paper Assumption (*): there exists an element S^oc in F^c(C)⊗F^op(λ) satisfying equation (1.2.4) with the prescribed open tree-level part (1.2.5).
- domain assumption F^op(Λ) is a (2d-5)-twisted BD algebra with the structures from [Ulm25].
Cite this review
Pith. "Pith review of Towards Open-Closed Categorical Enumerative Invariants: Circle-Action Formality Morphism." pith.science (2026). https://pith.science/paper/COJZCIZF
@misc{pith2026250715445,
author = {Pith},
title = {Pith review of: Towards Open-Closed Categorical Enumerative Invariants: Circle-Action Formality Morphism},
year = {2026},
howpublished = {\url{https://pith.science/paper/COJZCIZF}},
note = {Machine review of arXiv:2507.15445}
}
abstract
Categorical enumerative invariants of a Calabi-Yau category, encoded as the partition function of the associated closed string field theory (SFT), conjecturally equal Gromov-Witten invariants when applied to Fukaya categories. Part of this theory is a formality $L_\infty$ morphism which depends on a splitting of the non-commutative Hodge filtration. Our main result is providing an open-closed formality morphism; the algebraic structures involved conjecturallygive a home to open-closed GW invariants. We explain how the open-closed morphism is an ingredient towards quantizing the large $N$ open SFT of an object of a Calabi-Yau category.
Reference graph
Works this paper leans on
-
[1]
On the Morita invariance of Categorical Enumerative Invariants , 2022
Lino Amorim and Junwu Tu. On the Morita invariance of Categorical Enumerative Invariants , 2022
work page 2022
- [2]
-
[3]
Noncommutative Batalin–Vilkovisky geometry and matrix integrals
Serguei Barannikov. Noncommutative Batalin–Vilkovisky geometry and matrix integrals . Comptes Rendus. Mathématique , 348(7–8):359–362, March 2010
work page 2010
-
[4]
Topological recursion for generalised Kontsevich graphs and r-spin intersection numbers , 2023
Raphaël Belliard, Séverin Charbonnier, Bertrand Eynard, and Elba Garcia-Failde. Topological recursion for generalised Kontsevich graphs and r-spin intersection numbers , 2023
work page 2023
-
[5]
Relative Calabi-Yau structures II: shifted Lagrangians in the moduli of objects
Christopher Brav and Tobias Dyckerhoff. Relative Calabi-Yau structures II: shifted Lagrangians in the moduli of objects . Selecta Mathematica , 27(4):63, 2021
work page 2021
-
[6]
Homological algebra related to surfaces with boundary
Kai Cieliebak, Kenji Fukaya, and Janko Latschev. Homological algebra related to surfaces with boundary . Quantum Topology , 11(4):691–837, December 2020
work page 2020
-
[7]
Potentials of homotopy cyclic A-infinity algebras
Cheol-Hyun Cho and Sangwook Lee. Potentials of homotopy cyclic A-infinity algebras . 2012
work page 2012
-
[8]
Quantization of open-closed BCOV theory, I
Kevin Costello and Si Li. Quantization of open-closed BCOV theory, I . https://arxiv.org/abs/1505.06703, 5 2015
arXiv 2015
Show all 45 references
-
[9]
The Frobenius properad is Koszul
Ricardo Campos, Sergei Merkulov, and Thomas Willwacher. The Frobenius properad is Koszul . Duke Mathematical Journal , 165(15), October 2016
2016
-
[10]
Non-commutative differential geometry
Alain Connes. Non-commutative differential geometry. Publications Mathematiques de l'IHES , 62:41--144, 1985
1985
-
[11]
Topological conformal field theories and C alabi- Y au categories
Kevin Costello. Topological conformal field theories and C alabi- Y au categories . Adv. Math. , 210(1):165--214, 2007
2007
-
[12]
The partition function of a topological field theory
Kevin Costello. The partition function of a topological field theory . Journal of Topology , 2(4):779--822, 2009
2009
-
[13]
Shifted Poisson structures and deformation quantization
Damien Calaque, Tony Pantev, Bertrand Toën, Michel Vaquié, and Gabriele Vezzosi. Shifted Poisson structures and deformation quantization . Journal of Topology , 10(2):483–584, April 2017
2017
-
[14]
Computing a categorical Gromov--Witten invariant
Andrei C a ld a raru and Junwu Tu. Computing a categorical Gromov--Witten invariant . Compositio Mathematica , 156(7):1275--1309, 2020
2020
-
[15]
Effective Categorical Enumerative Invariants , 2024
Andrei Caldararu and Junwu Tu. Effective Categorical Enumerative Invariants , 2024
2024
-
[16]
A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory
Philip Candelas, C Xenia, Paul S Green, and Linda Parkes. A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory . Nuclear Physics B , 359(1):21--74, 1991
1991
-
[17]
A homotopical description of Deligne-Mumford compactifications , 2022
Yash Deshmukh. A homotopical description of Deligne-Mumford compactifications , 2022
2022
-
[18]
Skeins on Branes , 2025
Tobias Ekholm and Vivek Shende. Skeins on Branes , 2025
2025
-
[19]
Counting pseudo-holomorphic discs in Calabi-Yau 3-folds
Kenji Fukaya. Counting pseudo-holomorphic discs in Calabi-Yau 3-folds . Tohoku Mathematical Journal, Second Series , 63(4):697--727, 2011
2011
-
[20]
Automatically generating Fukaya categories and computing quantum cohomology , 2019
Sheel Ganatra. Automatically generating Fukaya categories and computing quantum cohomology , 2019
2019
-
[21]
Cyclic homology, S^1 –equivariant Floer cohomology and Calabi–Yau structures
Sheel Ganatra. Cyclic homology, S^1 –equivariant Floer cohomology and Calabi–Yau structures . Geometry; Topology , 27(9):3461–3584, December 2023
2023
-
[22]
Homotopy Batalin--Vilkovisky algebras
Imma G \'a lvez-Carrillo, Andrew Tonks, and Bruno Valette. Homotopy Batalin--Vilkovisky algebras . Journal of Noncommutative Geometry , 6(3):539--602, 2012
2012
-
[23]
Large N phenomena and quantization of the Loday-Quillen-Tsygan theorem
Gr \'e gory Ginot, Owen Gwilliam, Alastair Hamilton, and Mahmoud Zeinalian. Large N phenomena and quantization of the Loday-Quillen-Tsygan theorem . Advances in Mathematics , 409:108631, 2022
2022
-
[24]
Modular operads
Ezra Getzler and Mikhail M Kapranov. Modular operads . Compositio Mathematica , 110(1):65--125, 1998
1998
-
[25]
On the gauge theory/geometry correspondence
Rajesh Gopakumar and Cumrun Vafa. On the gauge theory/geometry correspondence. Adv. Theor. Math. Phys. , 3(arXiv: hep-th/9811131):1415--1443, 1999
1999 arXiv
-
[26]
Noncommutative effective field theories and the large N correspondence , 2025
Alastair Hamilton. Noncommutative effective field theories and the large N correspondence , 2025
2025
-
[27]
The Batalin-Vilkovisky formalism in noncommutative effective field theory , 2025
Alastair Hamilton. The Batalin-Vilkovisky formalism in noncommutative effective field theory , 2025
2025
-
[28]
Open-closed moduli spaces and related algebraic structures
Eric Harrelson, Alexander A Voronov, and J Javier Z \'u niga. Open-closed moduli spaces and related algebraic structures . Letters in Mathematical Physics , 94:1--26, 2010
2010
-
[29]
Spectral sequences for cyclic homology
Dmitry Kaledin. Spectral sequences for cyclic homology . Algebra, Geometry, and Physics in the 21st Century: Kontsevich Festschrift , pages 99--129, 2017
2017
-
[30]
Intersection theory on the moduli space of curves and the matrix A iry function
Maxim Kontsevich. Intersection theory on the moduli space of curves and the matrix A iry function . Comm. Math. Phys. , 147(1):1--23, 1992
1992
-
[31]
Feynman diagrams and low-dimensional topology
Maxim Kontsevich. Feynman diagrams and low-dimensional topology . 120:97--121, 1994
1994
-
[32]
Homological algebra of mirror symmetry
Maxim Kontsevich. Homological algebra of mirror symmetry . In Proceedings of the International Congress of Mathematicians: August 3--11, 1994 Z \"u rich, Switzerland , pages 120--139. Springer, 1995
1994
-
[33]
Notes on A-infinity algebras, A-infinity categories and non-commutative geometry
Maxim Kontsevich and Yan Soibelman. Notes on A-infinity algebras, A-infinity categories and non-commutative geometry. I , 2024
2024
-
[34]
Moduli of J-holomorphic curves with Lagrangian boundary conditions
Chiu-Chu Melissa Liu. Moduli of J-holomorphic curves with Lagrangian boundary conditions . Harvard University, 2002
2002
-
[35]
On the classification of topological field theories
Jacob Lurie. On the classification of topological field theories . Current developments in mathematics , 2008(1):129--280, 2008
2008
-
[36]
On the Hochschild cohomology ring of tensor products of algebras
Jue Le and Guodong Zhou. On the Hochschild cohomology ring of tensor products of algebras . Journal of Pure and Applied Algebra , 218(8):1463--1477, 2014
2014
-
[37]
Frobenius manifolds, quantum cohomology, and moduli spaces , volume 47
Yuri Manin. Frobenius manifolds, quantum cohomology, and moduli spaces , volume 47. American Mathematical Soc., 1999
1999
-
[38]
Fukaya category with curves of higher genus
MV Movshev. Fukaya category with curves of higher genus . arXiv preprint math/9911123 , 1999
1999 arXiv
-
[39]
String topology and configuration spaces of two points , 2019
Florian Naef and Thomas Willwacher. String topology and configuration spaces of two points , 2019
2019
-
[40]
Disk enumeration on the quintic 3-fold
Rahul Pandharipande, Jake Solomon, and Johannes Walcher. Disk enumeration on the quintic 3-fold . Journal of the American Mathematical Society , 21(4):1169--1209, 2008
2008
-
[41]
Formulae in noncommutative Hodge theory
Nick Sheridan. Formulae in noncommutative Hodge theory . Journal of Homotopy and Related Structures , 15(1):249–299, November 2019
2019
-
[42]
Quantum background independence of closed-string field theory
Ashoke Sen and Barton Zwiebach. Quantum background independence of closed-string field theory . Nuclear Physics B , 423(2–3):580–630, July 1994
1994
-
[43]
Kontsevich's Cocycle Construction and the Quantized Loday-Quillen-Tsygan Theorem , 2025
Jakob Ulmer. Kontsevich's Cocycle Construction and the Quantized Loday-Quillen-Tsygan Theorem , 2025
2025
-
[44]
Formality of cyclic chains
Thomas Willwacher. Formality of cyclic chains. International Mathematics Research Notices , 2011(17):3939--3956, 2011
2011
-
[45]
Oriented Open-Closed String Theory Revisited
Barton Zwiebach. Oriented Open-Closed String Theory Revisited. Annals of Physics , 267(2):193–248, August 1998
1998
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.