Universal quadratic field equations via homotopy algebras

Barton Zwiebach; Christoph Chiaffrino; Raji Ashenafi Mamade

REVIEW 3 major objections 4 minor 44 references

Universal quadratic field equations via homotopy algebras

T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Any gauge theory encoded by an $A_\infty$ or $L_\infty$ algebra can be rewritten, via the bar–cobar construction, as a set of quadratic field equations whose interaction term is universal.

desk verdict A real, useful result for A∞ bar-cobar reformulations, with the central equivalence stated more broadly than the proof supports. read the letter →

arxiv 2608.11307 v1 pith:D2G6PNIP submitted 2026-08-11 hep-th math-phmath.MP

Christoph Chiaffrino , Raji Ashenafi Mamade , Barton Zwiebach This is my paper · ORCID

classification hep-thmath-phmath.MP

keywords homotopyalgebrasA-infinityalgebraL-infinitybar-cobarconstructionMaurer-Cartanequationquadraticfieldequationsmultilocalfieldsstringtheory

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

This paper claims that any field theory whose equations of motion are encoded by an $A_\infty$ or $L_\infty$ algebra can be reformulated, through the bar–cobar construction, as quadratic equations of motion for an extended set of fields. The new equation has the universal form $(\Delta+B)\Psi+\Psi\star_1\Psi=0$: the quadratic term is the same for every theory, and all information about the original interactions is carried by the linear operator $B$. The additional fields are multilocal—type-I fields depending on one set of coordinates and type-II fields depending on several sets—and in string theory they represent entangled CFT states inserted across punctures of Riemann surfaces. The central result is that every solution of the new equations is gauge equivalent to a canonical solution containing only type-I fields, and these canonical solutions stand in one-to-one correspondence with the solutions of the original equations of motion. This matters because it gives a universal route to quadratic equations for theories whose natural formulations are nonpolynomial, including closed string field theory.

What carries the argument

The engine of the argument is the bar–cobar construction for homotopy algebras, together with the homology of the universal differential $\Delta$. Starting from the suspended state space $V=sA$, one forms the tensor coalgebra $C=T^c(V)$ and then the tensor algebra $T(s^{-1}C)$; the theory-dependent derivation $B$ is built from the products $b_k$, while $\Delta$ (from the deconcatenation coproduct) and the product $\star_1$ are universal. The load-bearing identity is the contracting homotopy $h$ satisfying $[\Delta,h]=1-\pi_{1,1}$, which shows that $\Delta$-homology is concentrated at factor number one and length one. Deforming to $\Delta_\Phi=\Delta+\mathrm{ad}_\Phi$ via the homological perturbation lemma produces the homotopy $h_\Phi$ and explicit homology representatives, and these tools allow the paper to solve the universal equation $\Delta\Phi+\Phi\star_1\Phi=0$ completely and then to solve $(\Delta+B)\Psi+\Psi\star_1\Psi=0$ order by order in $B$, showing that all higher-factor data are pure gauge.

What would settle it

Compute the full Maurer–Cartan set of $(\Delta+B)\Psi+\Psi\star_1\Psi=0$ for a small finite-dimensional $A_\infty$ algebra with nonzero $b_1$ and $b_2$, solving the polynomial equations up to factor number two. If any solution with factor number at least two is not gauge equivalent to a factor-one solution that is $B$-closed, the claimed isomorphism of Maurer–Cartan sets is false; a free or $\varphi^4$ example serves as the positive control, and a nonlocal interaction as the negative test.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is that the bar–cobar construction turns any $A_\infty$ or $L_\infty$ algebra into a differential graded associative or Lie algebra $\Omega(C)=T(s^{-1}C)$ whose Maurer–Cartan equation is quadratic: $(\Delta+B)\Psi+\Psi\star_1\Psi=0$. The paper proves that the Maurer–Cartan set of this quadratic algebra is isomorphic to the Maurer–Cartan set of the original algebra. Every solution is exhibited as a gauge transformation of a canonical, factor-number-one solution $\Psi_1=s^{-1}(v+v^2+v^3+\cdots)$, with $\Psi_{1,1}=s^{-1}v$, where $v$ solves the original equation $\sum_k b_k(v,\dots,v)=0$. The component fields of a canonical solution factorize, $\Phi_{1,\ell}(x_1,\dots,x_\ell)=\phi(x_1)\cdots\phi(x_\ell)$, and the condition $B\Phi_1=0$ then reduces exactly to the original equation of motion. The paper further shows that the gauge transformations of the original $A_\infty$ theory are recovered from a restricted class of gauge transformations of the quadratic theory.

Load-bearing premise

The proof that every solution of $(\Delta+B)\Psi+\Psi\star_1\Psi=0$ is gauge equivalent to a canonical solution is carried out as a formal power series in $B$, and the paper states no condition under which formal solutions coincide with actual solutions of the equation.

Editorial extensions

If this is right

Every $A_\infty$- or $L_\infty$-encoded field theory, including nonpolynomial closed string field theory, acquires an equivalent set of quadratic field equations with a universal interaction term.
The auxiliary fields are forced to be multilocal: type-I fields $\varphi_{1,\ell}(x_1,\dots,x_\ell)$ and type-II fields $\varphi(\{x^{(1)}\}|\dots|\{x^{(f)}\})$, and canonical solutions satisfy $\varphi_{1,\ell}(x_1,\dots,x_\ell)=\varphi(x_1)\cdots\varphi(x_\ell)$.
In string theory, type-I fields are CFT entangled states inserted across several punctures of a single Riemann surface, while type-II fields of factor number $f$ can represent disconnected surfaces with $f$ components.
The original gauge symmetry is embedded: the $A_\infty$ gauge transformations $\delta\psi=\sum_{n\ge 0}\sum_{i=0}^n b_{n+1}(\psi^i,\lambda,\psi^{n-i})$ arise from a subclass of gauge transformations of the quadratic bar-cobar theory.
The scalar field theory example confirms the equivalence explicitly: after imposing the universal factorization, the quadratic equations reduce to the original cubic equation of motion.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The equivalence is established only as a formal power-series statement in $B$; identifying formal solutions with actual solutions requires a convergence, nilpotency, or filtered-completeness hypothesis that the paper does not state, so the bijection of solution spaces should be read as formal in general.
Because the quadratic term is universal, the physical content of any theory is concentrated in the linear operator $B$; this suggests a 'universal interactions' viewpoint in which different theories differ only by a background operator, which could support model-independent deformation or scattering problems.
The paper's observations about the difficulty of finding a cyclic bilinear form imply that a Lagrangian for the quadratic equations, if one exists, must live in a generalized BV or nonstandard pairing setting rather than the original complex.
The geometric reading of type-II fields as disconnected surface insertions suggests that the perturbative expansion in $B$ may naturally sum over disconnected Riemann surfaces, potentially connecting the construction to quantum string amplitudes, though the paper only sketches this picture.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Short version: this paper does something genuinely new. Everyone knew the bar-cobar construction could make quadratic equations; nobody had explicitly classified the solutions of the resulting Maurer-Cartan equation, proved the reduction to canonical type-I solutions, and shown how A∞ gauge transformations emerge from bar-cobar gauge transformations. The scalar field theory check in Section 7 is a real independent check and it closes cleanly. I have not seen this explicit solution classification elsewhere in the physics or mathematics literature, and the authors are honest about what the construction does not provide: no action principle, no cyclic form, and an enormous field content.

The soft spots are real but localized. The main equivalence is proved as a formal power series in B. Section 6 writes Ψ = Σ Ψ^(n), and Appendix C concludes that every formal solution of (C.2) has the stated form. The paper never states a filtration, nilpotency, or completeness hypothesis that would identify those formal solutions with actual solutions of (6.1). That is not cosmetic: for a generic A∞ algebra with infinitely many nonzero products, the length-one component of BΦ involves an infinite sum over b_k(v^k), and the completed tensor algebra alone does not make that sum defined without a topology. The same issue affects the exponentials e^Λ used to build finite gauge transformations. So the universal theorem as stated outruns the proof as written.

The L∞ case is thinner still: it is asserted by analogy and by reference to [37,38] under hypotheses that are not verified. That is a gap, but not a fatal one for the A∞ core or for the explicit example. The paper would be improved by stating the main theorem with precise hypotheses, and either working out L∞ or explicitly restricting the main claim to A∞ algebras.

Who should read this: anyone working on string field theory reformulations, homotopy algebraic formulations of field theory, or the mathematics of bar-cobar Maurer-Cartan spaces. It deserves a serious referee, not a desk rejection, but the referee should be asked to push on the formal-to-actual step and the L∞ claims. I would cite it if I worked on these constructions.

Referee Report

3 major / 4 minor

Summary. The paper claims that any field theory encoded by an A∞ or L∞ algebra can be reformulated, via the bar-cobar construction, as a differential graded associative (or Lie) algebra whose Maurer-Cartan equation is quadratic, with a universal quadratic term. The extended field space contains type-I and type-II multilocal fields. The central structural claim is that every solution of the extended Maurer-Cartan equation (1.9) is gauge equivalent to a canonical solution living in factor number one, which represents exactly a solution of the original field equations. Sections 4 and 5 compute the homology of Δ and solve the universal equation ΔΦ+Φ⊗₁Φ=0; Section 6 extends this perturbatively in the coderivation B to the full equation (6.1), and Section 7 checks the construction on a scalar field theory with cubic and quartic interactions.

Significance. If the main equivalence were established rigorously, the construction would be conceptually significant: it gives a universal quadratic reformulation of arbitrary homotopy-algebra field theories, exhibiting multilocal fields and deriving the original gauge transformations from a natural subclass of the extended gauge transformations. The explicit Δ-homology computation, the complete solution of the B=0 equation in Section 5, and the closed scalar-field-theory check in Section 7 are concrete and reproducible strengths. However, the significance is conditional: the proof of the central equivalence in Section 6 is carried out as a formal power series expansion in B, and the L∞ case is only asserted by reference to external theorems. These gaps concern the main theorem, not merely presentation.

major comments (3)

[Section 6 and Appendix C, Eq. (6.17), (C.2)] The proof of the central equivalence is a formal perturbation expansion in B. Equation (6.17) writes Ψ=Σ Ψ^(n), and Appendix C concludes that 'every formal solution of (C.2) is of the form (6.38)'. The paper never identifies formal solutions with actual solutions of (6.1). This is not a cosmetic point: the state space T(s⁻¹T^c(V)) is defined in Section 3.4 with completed tensor products, but B=Σ_k B_k is only shown to act on finite words. Since B_k lowers length by k−1, the length-one component of BΦ receives contributions from b_k(v^k) for arbitrarily large k; for a generic A∞ algebra with infinitely many nonvanishing products this is an infinite sum that is not defined without a topology or filtration on V. The same issue affects the exponentials e^Λ and e^{±S} used in the finite gauge transformations, whose convergence is assumed in (2.54) but never established in the bar-cobar context. The main theorem therefore lacks the filtration, nilpotency, or convergence hypotheses needed both for B to be defined on the completed space and for formal solutions to be actual solutions of (6.1). I request that the authors either add such hypotheses, or formulate the theorem in a pro-nilpotent/filtered setting, or prove convergence for the class of field theories they claim to cover.
[Section 3.5] The L∞ case is not derived in the paper. Section 3.5 states only that, 'under some assumptions', a quasi-isomorphism of bar-cobar L∞ algebras induces an equivalence of Maurer-Cartan sets, referring to [37,38]. The detailed solution classification of Sections 5 and 6 is carried out for A∞ algebras, with the symmetric coalgebra/cobar story not given an analogous treatment. Since the abstract and the introduction claim the construction for arbitrary A∞ or L∞ gauge theories, including closed string field theory, the L∞ claim should either be proved with the same level of detail or stated explicitly as conditional on unproved hypotheses from the references.
[Section 6.2, Eq. (6.38)-(6.52)] Even accepting the formal expansion in B, the reconstruction of the canonical solution Ψ₁=Φ₁+W̃₁ uses the claim that W̃₁ satisfies B W̃₁=0 and Δ_{Φ₁}W̃₁+W̃₁W̃₁=0, with W̃₁ expanded as Σ W̃₁^(n). The existence of the W̃₁^(n) at each order follows from the vanishing of Δ_{Φ₁} homology above factor number one, but the assembled W̃₁ is an infinite formal sum. Without a completeness or convergence statement, it is not established that the assembled object is an element of the completed state space, nor that the gauge transformation generated by e^N and e^S actually exists as a finite transformation. This is the same formal-to-actual gap as above, but it directly affects the form of the final canonical solution, so it should be addressed explicitly.

minor comments (4)

[Section 8, first paragraph] The scalar example is described as 'quartic scalar field theory', but Section 7 uses an action with both cubic and quartic interactions, Eq. (7.1); please label it accordingly.
[Section 2.2, Eq. (2.54)] The sentence 'We assume that (2.54) converges' appears in the abstract setting of a differential graded algebra; in the bar-cobar context of Sections 5 and 6 the same assumption is silently used for exponentials in the completed tensor algebra. A brief statement of the intended convergence or formal-power-series interpretation would avoid ambiguity.
[Section 3.4, Eq. (3.87)] The expression i_k(v₁,...,v_k)=s(s⁻¹(v₁⋯v_k))∈ss⁻¹V^{⊗k} is confusing because s and s⁻¹ are inverses only up to graded signs; please define the composition ss⁻¹ explicitly or use a clearer notation.
[Section 2.2, Eq. (2.34)] The completed direct sum is denoted by a hat in the text, but the displayed symbol appears as 'xà'; please use a standard notation such as \widehat{\bigoplus} and define it explicitly.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the bar-cobar Maurer-Cartan equivalence is derived from explicit homology computations and gauge transformations, not assumed; the formal-power-series issue is a validity gap, not a circular reduction.

full rationale

The central derivation is self-contained for the A-infinity case. Section 4 computes the homology of Delta and of its deformation Delta_Phi, Section 5 explicitly solves the universal equation Delta Phi + Phi * Phi = 0 and proves that every solution is a gauge transformation of the canonical factor-one solution Phi_1 = s^{-1}E(v), and Section 6 solves the full equation (Delta+B)Psi + Psi*Psi = 0 perturbatively in B, with Appendix C giving an inductive proof that the proposed closed form is the most general formal solution. The canonical condition B Psi_1 = 0 does reduce, after desuspension, to the original A-infinity Maurer-Cartan equation, but this reduction is a consequence of solving the equations rather than an input: the perturbative construction independently forces the factor-one solution to have that form. The scalar-field example is a consistency check, not a fitted reproduction of the target. Self-citations such as [2] and [24] are background references for L-infinity field theory and do not carry the load-bearing equivalence argument; the quasi-isomorphism and Maurer-Cartan equivalence facts are either proven in the paper or cited to independent external works [26,36,37,38]. The L-infinity case is asserted by reference to external theorems rather than derived in the paper, and the perturbation expansion in B is purely formal, with no filtration or completeness hypotheses stated; these are correctness and rigor concerns, not circularity. Accordingly, the derivation does not reduce by definition or by self-citation to its own inputs.

Assumptions & free parameters 0 free parameters · 5 assumptions · 2 invented entities

No free parameters are fitted to data. The construction uses only the original algebra's products b_k and the universal operators ∆ and ⋆_1; no ad hoc constants are introduced. The central claim rests on the A∞/L∞ framework, on external quasi-isomorphism theorems, on the homological perturbation lemma, and on the unstated assumption that the formal B-expansion captures all solutions. The newly introduced type-I and type-II multilocal fields are formal auxiliaries without independent observable evidence.

assumptions (5)

domain assumption Every gauge field theory of interest can be encoded in an A∞ or L∞ algebra whose classical field is a degree-zero element of the suspended space and whose equations of motion are the Maurer-Cartan equation.
This is the stated starting point, attributed to [24] and [2]; the paper does not derive it for arbitrary gauge theories.
standard math A quasi-isomorphism of A∞ or L∞ algebras induces an isomorphism of the corresponding Maurer-Cartan sets.
Used in Sections 3.4 and 3.5 to conclude i_MC is invertible; the paper cites [26,36,37,38] and does not prove these theorems from scratch, except for its own A∞ bar-cobar analysis.
standard math The homological perturbation lemma provides the contracting homotopy h_Φ and the decomposition Ω(C)=H(∆_Φ) ⊕ Im h_Φ ⊕ Im ∆_Φ.
Appendix B applies the lemma with citation [44]; it is essential for solving the universal equation and for the induction in Appendix C.
ad hoc to paper The formal power series expansion in B captures all solutions of the full Maurer-Cartan equation.
Section 6 and Appendix C solve order by order in B without stating convergence, nilpotency, or filtration-completeness conditions; this is an unproved premise of the 'general solution' claim.
domain assumption Finite gauge transformations defined by exponentials e^λ converge.
Section 2.2 explicitly assumes convergence of (2.54); the same assumption is used for finite transformations of Φ and Ψ in Sections 5 and 6.

invented entities (2)

Type-I multilocal fields
purpose: Extra fields φ(x_1,...,x_n) depending on one set of coordinates, obtained by suspending words in the tensor coalgebra; they carry the canonical solutions.
These are formal auxiliary fields produced by the bar construction. No independent observable signature is proposed, and no action principle is given for them.
Type-II multilocal fields
purpose: Fields depending on several coordinate sets separated by bars, arising from tensor products of suspended coalgebra elements; they appear in generic gauge-equivalent solutions and are interpreted as disconnected Riemann surfaces.
Proposed as part of the extended field space of ΩB(A); the disconnected-surface interpretation in Section 8 is suggestive but not independently testable.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Universal quadratic field equations via homotopy algebras." pith.science (2026). https://pith.science/paper/D2G6PNIP

@misc{pith2026260811307,
  author       = {Pith},
  title        = {Pith review of: Universal quadratic field equations via homotopy algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D2G6PNIP}},
  note         = {Machine review of arXiv:2608.11307}
}

read the original abstract

We explain how the 'bar-cobar' construction for homotopy algebras reformulates the equations of motion of arbitrary gauge theories as gauge-covariant quadratic equations for an extended set of fields. The linear term of the new equations encodes the interactions of the original theory, while the quadratic term is universal. The extended fields include type-I multilocal fields, which depend on a set of coordinates and type-II multilocal fields, which depend on several sets of coordinates. The new equations of motion are the Maurer-Cartan equations of a differential graded associative algebra or Lie algebra. We show that every solution of the new equations is gauge equivalent to a solution with only type-I fields, that represents a solution of the original equations of motion. In string theory type-I fields are entangled states of the associated CFT, to be inserted across multiple punctures of a Riemann surface. General type-II states can also represent disconnected Riemann surfaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

44 extracted references · 17 canonical work pages

[1]

Witten,Noncommutative Geometry and String Field Theory,Nucl

E. Witten,Noncommutative Geometry and String Field Theory,Nucl. Phys. B268 (1986) 253

work page 1986
[2]

Zwiebach,Closed string field theory: Quantum action and the B-V master equation, Nucl

B. Zwiebach,Closed string field theory: Quantum action and the B-V master equation, Nucl. Phys. B390(1993) 33 [hep-th/9206084]

arXiv 1993
[3]

Sen and B

A. Sen and B. Zwiebach,String Field Theory: A Review,2405.19421

arXiv
[4]

Jurco, H

B. Jurco, H. Kim, T. Macrelli, C. Saemann and M. Wolf,Perturbative Quantum Field Theory and Homotopy Algebras,PoSCORFU2019(2020) 199 [2002.11168]

arXiv 2020
[5]

Chiaffrino, O

C. Chiaffrino, O. Hohm and A.F. Pinto,Gauge Invariant Perturbation Theory via Homotopy Transfer,JHEP05(2021) 236 [2012.12249]

arXiv 2021
[6]

Bernardes, T

V. Bernardes, T. Erler and A.H. Fırat,Covariant phase space andL 8 algebras,JHEP09 (2025) 057 [2506.20706]. 77

arXiv 2025
[7]

Bernardes, T

V. Bernardes, T. Erler and A.H. Fırat,Conserved charges andL 8 algebras,2606.26224

arXiv
[8]

Arvanitakis, O

A.S. Arvanitakis, O. Hohm, C. Hull and V. Lekeu,Homotopy Transfer and Effective Field Theory I: Tree-level,Fortsch. Phys.70(2022) 2200003 [2007.07942]

arXiv 2022

Show all 44 references

[9]

Arvanitakis, O

A.S. Arvanitakis, O. Hohm, C. Hull and V. Lekeu,Homotopy Transfer and Effective Field Theory II: Strings and Double Field Theory,Fortsch. Phys.70(2022) 2200004 [2106.08343]

2022 arXiv
[10]

Erbin, C

H. Erbin, C. Maccaferri, M. Schnabl and J. Voˇ smera,Classical algebraic structures in string theory effective actions,JHEP11(2020) 123 [2006.16270]

2020 arXiv
[11]

Cabus,Co-algebraic methods for String Field Theory and Quantum Field Theory, 2511.02753

E.P. Cabus,Co-algebraic methods for String Field Theory and Quantum Field Theory, 2511.02753
[12]

Maccaferri, A

C. Maccaferri, A. Ruffino and J. Voˇ smera,The nilpotent structure of open-closed string field theory,JHEP08(2023) 145 [2305.02843]

2023 arXiv
[13]

Doubek, B

M. Doubek, B. Jurˇ co, M. Markl and I. Sachs,Algebraic Structure of String Field Theory, vol. 973 ofLecture Notes in Physics(11, 2020), 10.1007/978-3-030-53056-3

2020 doi
[14]

Munster and I

K. Munster and I. Sachs,Quantum Open-Closed Homotopy Algebra and String Field Theory,Commun. Math. Phys.321(2013) 769 [1109.4101]

2013 arXiv
[15]

Konosu and Y

K. Konosu and Y. Okawa,Nonperturbative correlation functions from homotopy algebras, JHEP01(2025) 152 [2405.10935]

2025 arXiv
[16]

Sonoda and B

H. Sonoda and B. Zwiebach,Covariant closed string theory cannot be cubic,Nucl. Phys. B336(1990) 185

1990
[17]

Erler, S

T. Erler, S. Konopka and I. Sachs,Resolving Witten‘s superstring field theory,JHEP04 (2014) 150 [1312.2948]

2014 arXiv
[18]

Erler, S

T. Erler, S. Konopka and I. Sachs,Ramond Equations of Motion in Superstring Field Theory,JHEP11(2015) 199 [1506.05774]

2015 arXiv
[19]

Kunitomo and Y

H. Kunitomo and Y. Okawa,Complete action for open superstring field theory,PTEP 2016(2016) 023B01 [1508.00366]

2016 arXiv
[20]

Erbin and A.H

H. Erbin and A.H. Fırat,Open string stub as an auxiliary string field,SciPost Phys.17 (2024) 044 [2308.08587]

2024 arXiv
[21]

Fırat,Bootstrapping closed string field theory,JHEP05(2023) 186 [2302.12843]

A.H. Fırat,Bootstrapping closed string field theory,JHEP05(2023) 186 [2302.12843]

2023 arXiv
[22]

Ishibashi,Strebel Differentials and String Field Theory,PTEP2024(2024) 073B02 [2402.09641]

N. Ishibashi,Strebel Differentials and String Field Theory,PTEP2024(2024) 073B02 [2402.09641]. 78

2024 arXiv
[23]

Fırat and N

A.H. Fırat and N. Valdes-Meller,Topological recursion for hyperbolic string field theory, JHEP11(2024) 005 [2409.02982]

2024 arXiv
[24]

Hohm and B

O. Hohm and B. Zwiebach,L 8 Algebras and Field Theory,Fortsch. Phys.65(2017) 1700014 [1701.08824]

2017 arXiv
[25]

Weinberg,The quantum theory of fields

S. Weinberg,The quantum theory of fields. Vol. 2: Modern applications, Cambridge University Press (8, 2013), 10.1017/CBO9781139644174

2013 doi
[26]

Loday and B

J.-L. Loday and B. Vallette,Algebraic Operads, vol. 346 ofGrundlehren der mathematischen Wissenschaften, Springer, Berlin, Heidelberg (2012), 10.1007/978-3-642-30362-3

2012 doi
[27]

Vallette and M.S.R

B. Vallette and M.S.R. Institute,Algebra + homotopy = operad, Mathematical Sciences Research Institute Publications, Cambridge University Press (2014)

2014
[28]

Getzler and J.D.S

E. Getzler and J.D.S. Jones,A 8-algebras and the cyclic bar complex,Illinois Journal of Mathematics34(1990) 256

1990
[29]

Keller,Introduction to A-infinity algebras and modules,Homology Homotopy Appl.3 (2001) 1 [math/9910179]

B. Keller,Introduction to A-infinity algebras and modules,Homology Homotopy Appl.3 (2001) 1 [math/9910179]

2001 arXiv
[30]

Stasheff,Homotopy associativity of H-spaces

J.D. Stasheff,Homotopy associativity of H-spaces. i,Transactions of the American Mathematical Society108(1963) 275

1963
[31]

Stasheff,Homotopy associativity of H-spaces

J.D. Stasheff,Homotopy associativity of H-spaces. ii,Transactions of the American Mathematical Society108(1963) 293

1963
[32]

Gaberdiel and B

M.R. Gaberdiel and B. Zwiebach,Tensor constructions of open string theories. 1: Foundations,Nucl. Phys. B505(1997) 569 [hep-th/9705038]

1997 arXiv
[33]

Gaberdiel and B

M.R. Gaberdiel and B. Zwiebach,Tensor constructions of open string theories. 2: Vector bundles, D-branes and orientifold groups,Phys. Lett. B410(1997) 151 [hep-th/9707051]

1997 arXiv
[34]

Kajiura,Noncommutative homotopy algebras associated with open strings,Rev

H. Kajiura,Noncommutative homotopy algebras associated with open strings,Rev. Math. Phys.19(2007) 1 [math/0306332]

2007 arXiv
[35]

Lada and J

T. Lada and J. Stasheff,Introduction to SH Lie algebras for physicists,Int. J. Theor. Phys.32(1993) 1087 [hep-th/9209099]

1993 arXiv
[36]

Milham and C.L

A. Milham and C.L. Rogers,On the Goldman-Millson theorem forA 8-algebras in arbitrary characteristic,Journal of Algebra632(2023) 384. 79

2023
[37]

Dolgushev and C.L

V.A. Dolgushev and C.L. Rogers,A version of the Goldman–Millson theorem for filtered L8-algebras,Journal of Algebra430(2015) 260

2015
[38]

Getzler,Lie theory for nilpotentL 8 -algebras,Annals of Mathematics170(2009) 271

E. Getzler,Lie theory for nilpotentL 8 -algebras,Annals of Mathematics170(2009) 271

2009
[39]

Okawa,Correlation functions of scalar field theories from homotopy algebras,JHEP 05(2024) 040 [2203.05366]

Y. Okawa,Correlation functions of scalar field theories from homotopy algebras,JHEP 05(2024) 040 [2203.05366]

2024 arXiv
[40]

Costello,Renormalization and Effective Field Theory, vol

K. Costello,Renormalization and Effective Field Theory, vol. 170 ofMathematical Surveys and Monographs, American Mathematical Society, Providence, RI (2011), 10.1090/surv/170

2011 doi
[41]

Grigoriev and D

M. Grigoriev and D. Rudinsky,Notes on the L8-approach to local gauge field theories,J. Geom. Phys.190(2023) 104863 [2303.08990]

2023 arXiv
[42]

Sen and B

A. Sen and B. Zwiebach,Background independent algebraic structures in closed string field theory,Commun. Math. Phys.177(1996) 305 [hep-th/9408053]

1996 arXiv
[43]

Butson and P

D. Butson and P. Yoo,Degenerate Classical Field Theories and Boundary Theories, 1611.00311

arXiv
[44]

Crainic,On the perturbation lemma, and deformations, 2004

M. Crainic,On the perturbation lemma, and deformations, 2004. 80

2004

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.

[1] [1]

Witten,Noncommutative Geometry and String Field Theory,Nucl

E. Witten,Noncommutative Geometry and String Field Theory,Nucl. Phys. B268 (1986) 253

work page 1986

[2] [2]

Zwiebach,Closed string field theory: Quantum action and the B-V master equation, Nucl

B. Zwiebach,Closed string field theory: Quantum action and the B-V master equation, Nucl. Phys. B390(1993) 33 [hep-th/9206084]

arXiv 1993

[3] [3]

Sen and B

A. Sen and B. Zwiebach,String Field Theory: A Review,2405.19421

arXiv

[4] [4]

Jurco, H

B. Jurco, H. Kim, T. Macrelli, C. Saemann and M. Wolf,Perturbative Quantum Field Theory and Homotopy Algebras,PoSCORFU2019(2020) 199 [2002.11168]

arXiv 2020

[5] [5]

Chiaffrino, O

C. Chiaffrino, O. Hohm and A.F. Pinto,Gauge Invariant Perturbation Theory via Homotopy Transfer,JHEP05(2021) 236 [2012.12249]

arXiv 2021

[6] [6]

Bernardes, T

V. Bernardes, T. Erler and A.H. Fırat,Covariant phase space andL 8 algebras,JHEP09 (2025) 057 [2506.20706]. 77

arXiv 2025

[7] [7]

Bernardes, T

V. Bernardes, T. Erler and A.H. Fırat,Conserved charges andL 8 algebras,2606.26224

arXiv

[8] [8]

Arvanitakis, O

A.S. Arvanitakis, O. Hohm, C. Hull and V. Lekeu,Homotopy Transfer and Effective Field Theory I: Tree-level,Fortsch. Phys.70(2022) 2200003 [2007.07942]

arXiv 2022