Introduction to sh Lie algebras for physicists

Jim Stasheff; Tom Lada

REVIEW

Introduction to sh Lie algebras for physicists

Tom Lada, Jim Stasheff

High Energy Physics - Theory · Submitted 24 Sep 1992 · 3 references

Pith's verdict: A genuinely useful expository bridge from dg Lie algebras to closed-string brackets, with the D²=0 proof done properly — but the promised degree/sign dictionary to Zwiebach's conventions is announced and never built.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 6 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv IDhep-th/9209099 (version 1)

Pith IDNYEK5GED, Pith's permanent record of this paper and its review

CitationJim Stasheff, Tom Lada. "Introduction to sh Lie algebras for physicists." arXiv:hep-th/9209099 (1992). https://pith.science/paper/NYEK5GED

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

The thing to know: this is a tutorial, and a good one. The core content is the theorem on p. 8 — extend the l_n as coderivations on the suspended exterior coalgebra, set D = Σ l̂_i, then D² = 0 exactly when the l_n satisfy the sh Lie relations (2). The proof is written out, the lemma is stated and proved, and the type (a)/type (b) cancellation argument is the right one. The sign bookkeeping is the part everyone gets wrong, and they get it right. Framing the whole thing as a generalization of the Chevalley-Eilenberg complex is the correct pedagogical move, and the running comparison with the dg Lie case (d² = 0 as Jacobi) is what makes the higher brackets legible. The paper is also honest about what it is: the title says introduction, and the authors point repeatedly to [Z], [KKS], [J] for the underlying results. I don't hold the lack of novelty against it; that isn't the job it took on. [abstract:s3] states the goal accurately and the paper largely meets it. Now the soft spots, in order. The stress-test concern lands. After writing the closed-string relation (1), the text says 'Making the correspondence precise, including the appropriate signs, requires some care, as in the next section.' The next section proves the abstract theorem and never returns to (1). Later the match is 'up to sign conventions and up to some constants,' and the degree shift is deferred to Zwiebach's section 4.1. Since the closed-string 2-fold bracket has degree 1 and the abstract l₂ has degree 0, the theorem does not apply as stated; a shifted version is needed and is not given. This is a pedagogical gap, not an error, but it sits exactly on the paper's stated purpose, so it matters more here than it would elsewhere. Second, the commutator construction from an sha algebra is checked for n = 2, 3 and the general case is explicitly deferred to work that 'will appear elsewhere.' The authors flag this themselves, so it's a known hole rather than a hidden one, but it is a claim in the paper's own voice that the paper does not support. Minor: the reference list has a run of unlabeled '[ ]' entries and the Jacobi display on p. 4 has a typo ('[[v₂, v₃], v₂]' for v₁). Who should read it: anyone who needs to know what an sh Lie algebra actually is before touching closed string field theory or the BV/open-algebra literature. It's the paper I'd hand a physicist. Yes to referees — the exposition deserves the scrutiny and the two gaps are worth a report.

Referee report

Significance

The paper's value is as a bridge document, and on that measure it succeeds in its central technical part: the lemma and the D^2 = 0 theorem are proved in full, with the sign bookkeeping carried out explicitly rather than asserted, and the type (a)/type (b) cancellation argument in the proof is the correct one. The identification of the closed-string relation (1) with the homogeneous components of D^2 = 0 is exactly the right organizing statement, and the observation that l_2 need not satisfy Jacobi but only Jacobi up to the l_1 of l_3 is the conceptual point physicists needed. The commutator construction from an sh associative structure, the N+1-point function formalism, and the closing Homological Perturbation Theory theorem give the reader a usable map of the surrounding literature. There are no numerical claims, no fitted parameters, and no code; the derivations are checkable by hand, and I checked the lemma and the theorem at that level. The weaknesses are localized: two results that the paper's own narrative depends on are deferred rather than delivered, and one of the deferred sources was a preprint at the time of writing.

Major objections (2)

[p. 7, degree discussion following Eq. (2); and the paragraph following Eq. (1)] The paper's stated goal is to show that the closed-string relation (1) is the sh Lie relation (2), and after writing (1) it says that making the correspondence precise, 'including the appropriate signs, requires some care, as in the next section.' The next section develops the abstract theory and proves D^2 = 0, but never returns to (1) to exhibit the match. The paper then concedes the identification holds 'up to sign conventions and up to some constants related to conventions on the definition of the exterior algebra,' and on p. 7 defers the degree question entirely: 'a simple shift in counting degrees and appropriate changes in signs establishes the equivalence of our two sets of conventions,' citing Zwiebach's section 4.1. This matters because the closed-string two-fold bracket carries degree 1 while the abstract l_2 carries degree 0, so the theorem as stated does not apply to the string brackets without the shift; the shift is not a cosmetic relabelling but a change in which equation D^2 = 0 is being asserted. Since the cited source [Z] is listed as a preprint (IASSNS-HEP-92/41), the reader cannot close this gap from the present text. I would ask the authors either to carry out the shift explicitly for n = 2 and n = 3, displaying the closed-string bracket and the abstract l_2 side by side with the signs matched, or to restate the correspondence as structural rather than as an identification and remove the forward reference to 'the next section' that is never discharged.
[Section 'Commutators in relation to the sh associative case', final sentence] The section defines the commutator operations l_n = sum over sigma of (-1)^sigma e(sigma) m_n and asserts that these satisfy the sh Lie defining relations. For n = 2 the graded commutator identity is immediate, and for n = 3 the paper states that the Jacobi expression equals l_1 l_3 + l_3 l_1, attributing the details to Elizabeth Jones Dempster [J], which is listed as a Master's project (NCSU, 1990). The general case is then disposed of with 'The general verification that the above defined commutator l_n's satisfy the defining equation for an sh Lie structure will appear elsewhere.' This is the section's main assertion, and as it stands it is not verifiable from the manuscript: the n = 3 case rests on an unpublished project and the n >= 4 case on an unspecified future publication. Since the commutator construction is one of the two or three things a physicist is most likely to want from this paper, I would ask for either a sketch of the induction (the sign pattern is the whole content, and a paragraph indicating how the unshuffle sum reorganizes into the sh associative relations (7) would suffice) or an explicit statement that the result is quoted and not proved here, with the reference identified.

Minor objections (6)

[p. 4, displayed Jacobi deviation] The display reads '[[v1, v2], v3] ± [[v1, v3], v2] ± [[v2, v3], v2]'; the final entry should be v1, not v2, for this to be the Jacobi expression.
[p. 2, Chevalley-Eilenberg coboundary display] The placeholder list in the definition of d(omega) reads 'v1, . . . , v1, . . . v-hat-i . . . v-hat-j . . . , vn+1', repeating v1 where the omitted variables v1, . . . , v_{i-1} are intended; the exponent on the sign should also be checked against the standard convention, since the two conventions differ by a shift.
[p. 7, Lemma] The exponents in the lemma are typeset as sums such as 'sum_{p=1}^{i+j-2/2}', which is ambiguous between (i+j-2)/2 and i + (j-2)/2; explicit parentheses would remove the ambiguity, and the same applies to the corresponding expressions in the proof.
[References] Several entries appear with empty author brackets, for example the Hata-Itoh-Kugo-Kunitomo-Ogawa second paper and the Kugo lecture notes, and the [HPT] group is a block of unlabelled entries that are not individually keyed to the citations in the text; these should be completed and individually labelled at proof stage so that the Homological Perturbation Theory theorem at the end can be traced to specific sources.
[p. 6, first paragraph of 'sh Lie Structures'] The sentence 'The original mathematical formulation as above) of sh Lie algebras' has a stray closing parenthesis; there are also typographical slips at 'approria te' (p. 4) and 'respec itively' (p. 12).
[p. 11, Massey product paragraph] The remark that the only case in which all N-point functions have the same degree is degree 1 with m = 2 is stated without justification; a one-line degree count would make the claim checkable and would strengthen the connection drawn to the Borromean rings example.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The infinite tower of brackets in closed string field theory is one equation, $D^2=0$, generalizing the Jacobi identity of an ordinary Lie algebra.

The reading

A Lie algebra can be described by a bracket satisfying the Jacobi identity, or equivalently by a degree-lowering operator $d$ on the exterior algebra of the underlying vector space with $d^2=0$, where $d$ on two vectors *is* the bracket. This paper's aim is to show physicists that the messier structure appearing in closed string field theory — an infinite family of $n$-fold brackets $[B_1, B_2, ..., B_n]$ obeying one relation with a sum over unshuffles — is exactly the same story with $d$ replaced by a sum $D = d_1 + d_2 + d_3 + ...$, one term per bracket. The payoff is conceptual: the Jacobi identity no longer holds exactly, but only up to a term built from the three-fold bracket, which in physics language means it holds modulo a BRST-exact piece. If the identification is right, a whole page of sign-laden string field theory relations becomes a single statement that one operator squares to zero, and the same language covers higher-spin gauge transformations and the Batalin-Fradkin-Vilkovisky treatment of constrained Hamiltonians.

What carries the argument

The load-bearing device is the coderivation on the suspended exterior coalgebra $Lambda^* sV$. Suspending the grading by one ($(sV)_i = V_{i-1}$) lets the authors write every $n$-fold bracket as a map of degree $-1$ on $Lambda^* sV$, extend it to all tensor powers by the rule that a coderivation acts on one slot at a time with unshuffle sums, and then assemble $D = sum_i hat{l}_i$. The theorem that $D^2 = 0$ is proved by a case check: terms where one operator is nested inside another reproduce the defining relations (2), while terms where the two operators sit in disjoint slots cancel in pairs because $|hat{l}_k| = -1$. This is what converts an infinite family of bracket identities into one algebraic condition, and it is the direct analogue of the Chevalley-Eilenberg complex for an ordinary Lie algebra.

Extended reading notes

Core claim

The paper's central claim is that an sh Lie algebra (strongly homotopy Lie algebra) is the data of a graded vector space with skew-symmetric maps $l_n$ of degree $2-n$ satisfying the relations (2), and that this data is equivalent to a single coderivation $D = sum_i l_i$ on the suspended exterior coalgebra with $D^2 = 0$. Expanding $D^2=0$ in homogeneous pieces reproduces, in order: $d_1^2 = 0$ (a differential exists); $d_1 d_2 + d_2 d_1 = 0$ (the differential is a derivation of the bracket); and $d_1 d_3 + d_2 d_2 + d_3 d_1 = 0$, which says the Jacobi expression for the bracket equals a $d_1$-exact correction built from the three-fold bracket. The authors identify the resulting homogeneous component with equation (1) of genus-zero closed string field theory, the relation among the BRST operator $Q$ and the $n$-fold string brackets summed over unshuffles. A second claim is that commutators in a strongly homotopy associative algebra produce an sh Lie structure, so the classical passage from an associative algebra to a Lie algebra survives up to homotopy.

Load-bearing premise

The paper asserts that its own degree and sign conventions are related to Zwiebach's closed-string conventions by 'a simple shift in counting degrees and appropriate changes in signs', but never performs that shift, so the bridge between the abstract theorem and the string-theory brackets is asserted rather than shown.

Editorial extensions

If this is right

Every identity among the closed-string brackets is a homogeneous piece of $D^2=0$, so verifying a new such identity reduces to checking one degree of one operator equation.
The Jacobi identity for the two-fold bracket holds only up to a correction from the three-fold bracket, which in the physical setting is BRST-exact; strict Jacobi is recovered on cohomology, where $d_1 = 0$.
Commutators of a strongly homotopy associative algebra form an sh Lie algebra, giving open string field theory's homotopy-associative product a Lie-algebra shadow.
The classical closed-string action and its gauge transformations $delta_Lambda |Psi> = sum_n (kappa^n/n!) [Psi^n, Lambda]$ require all higher brackets at once; truncating at any finite order breaks consistency.
A homotopy equivalence between a differential graded Lie or associative algebra and another complex induces an sh structure on the latter, so higher brackets appear even when the starting algebra is strict.

Reading between the lines

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

The paper is best read as a dictionary rather than a new theorem: the mathematical content of the $D^2=0$ equivalence was available in the deformation-theory literature, and the contribution is the translation into the notation physicists use for $Q$ and the string brackets.
Because the Jacobi failure is measured by $d_1 d_3 + d_3 d_1$, the three-fold bracket is a chain homotopy, so one could ask whether the closed-string three-bracket is literally a choice of homotopy or whether the physical theory fixes it; the paper does not separate these possibilities.
The same packaging should apply to any gauge system whose algebra closes only on shell with structure functions, which suggests the Batalin-Fradkin-Vilkovisky case could be written as a single nilpotent coderivation rather than as a sequence of consistency conditions.
The Massey-product example the authors mention for a three-manifold suggests a concrete test case: compute the higher brackets for a simple link complement and check that the resulting $D$ squares to zero at each degree.

Original abstract

Closed string field theory leads to a generalization of Lie algebra which arose naturally within mathematics in the study of deformations of algebraic structures. It also appeared in work on higher spin particles \cite{BBvD}. Representation theoretic analogs arose in the mathematical analysis of the Batalin-Fradkin-Vilkovisky approach to constrained Hamiltonians. A major goal of this paper is to see the relevant formulas, especially in closed string field theory, as a generalization of those for a differential graded Lie algebra, hopefully describing the mathematical essentials in terms accessible to {\it physicists}.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 3,617 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.18 · human participants 0.02 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.02 · compares with prior results 0.28 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

Closed string field theory leads to a generalization of Lie algebra which arose naturally within mathematics in the study of deformations of algebraic structures. It also appeared in work on higher spin particles \cite{BBvD}. Representation theoretic analogs arose in the mathematical analysis of the Batalin-Fradkin-Vilkovisky approach to constrained Hamiltonians. A major goal of this paper is to see the relevant formulas, especially in closed string field theory, as a generalization of those for a differential graded Lie algebra, hopefully describing the mathematical essentials in terms accessible to {\it physicists}.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	Closed string field theory leads to a generalization of Lie algebra which arose naturally within mathematics in the study of deformations of algebraic structures.	background 1.00	0.06	0.07	asserted 1.00
s1	It also appeared in work on higher spin particles \cite{BBvD}.	background 1.00	0.04	0.02	asserted 1.00
s2	Representation theoretic analogs arose in the mathematical analysis of the Batalin-Fradkin-Vilkovisky approach to constrained Hamiltonians.	background 1.00	0.05	0.03	asserted 1.00
s3	A major goal of this paper is to see the relevant formulas, especially in closed string field theory, as a generalization of those for a differential graded Lie algebra, hopefully describing the mathematical essentials in terms accessible to {\it physicists}.	contribution 0.98	0.42	0.21	hedged possibility 0.65

What kind of paper the classifier reports this is: review 0.78 · evidence from proof or derivation 0.46.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References

Works cited (3)

[1]

[BBvD] F.A. Berends, G.J.H. Burgers and H. van Dam, On the theoretical problems in construct- ing interactions involving higher-spin massless particle s, Nucl. Phys. B260 (1985), 295-322. [B] G.J.H. Burgers, On the construction of ﬁeld theories for higher spin massles s particles, doctoral dissertation, Rijksuniversiteit te Leiden (1985). [CE] C. Chevalle...

View on Pith 1985
[1970]

[S4] J.D. Stasheﬀ, On the homotopy associativity of H-spaces I , Trans. AMS 108 (1963), 275-292. [S5] J.D. Stasheﬀ, On the homotopy associativity of H-spaces II , Trans. AMS 108 (1963), 293-312. [S6] J.D. Stasheﬀ, Constrained Poisson algebras and strong homotopy represen tations, Bull. Amer. Math. Soc. (1988), 287-290. [Wh] J.H.C. Whitehead, On adding rel...

View on Pith 1963
[1988]

[ ] M.Kaku and J. Lykken, Modular invariant closed string ﬁeld theory , preprint, CCNY- HEP-88/7. [KON] M. Kontsevich, Graphs, Homotopical Algebra and Low-Dimensional Topology , pre-pre- print (1992). [KKS] T. Kugo, H. Kunitomo and K. Suehiro, Non-polynomial closed string ﬁeld theory , Phys. Lett. 226B (1989), 48-54. INTRODUCTION TO SH LIE ALGEBRAS FOR PH...

View on Pith 1992

Forward citations

Cited by 29 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Double Field Theory
hep-th 2009-04 accept novelty 8.0 of 10

A gauge-invariant field theory of gravity, a Kalb-Ramond field, and a dilaton on a doubled torus, with doubled diffeomorphism symmetry, is constructed to cubic order from closed string field theory.
The counts of parity-odd vs even late-growing permutations in the group $\mathbb{S}_{2p-1}$ differ by $(-1)^p$
math.CO 2026-10 accept novelty 7.0 of 10

Late-growing permutations of 2p-1 objects have even and odd counts differing by exactly (-1) raised to p+1, proven by two parity-reversing moves.
$L_\infty$-algebraic extensions of non-Lorentzian kinematical Lie algebras, gravities, and brane couplings
hep-th 2025-12 unverdicted novelty 7.0 of 10

L_infinity extensions of Galilean, Newton-Hooke and static algebras produce infinite towers of p-form fields that couple to torsionful non-Lorentzian gravities and yield WZW terms for (p-1)-branes via doubled coordinates.
Covariant phase space and $L_\infty$ algebras
hep-th 2025-06 conditional novelty 7.0 of 10

A covariant phase space symplectic form is constructed for any L∞ Lagrangian field theory using a 'sigmoid' operator, and is verified in scalar, Yang-Mills, general relativity, and p-adic string examples.
The Double Copy of Maximal Supersymmetry in $D=4$
hep-th 2025-01 conditional novelty 7.0 of 10

N=8 supergravity to cubic order is realized as the off-shell double copy of N=4 super Yang-Mills, with N=8 supersymmetry and SU(8) R-symmetry emerging from the two gauge factors.

Show 24 more citing papers

Chiral Higher Spin Theories and Self-Duality
hep-th 2017-09 conditional novelty 7.0 of 10

Chiral higher spin theories are self-dual Yang-Mills theories with a generalized gauge algebra, which explains their hidden symmetries, integrability, and amplitude relations.
Actions, Charges and Off-Shell Fields in the Unfolded Dynamics Approach
hep-th 2005-04 accept novelty 7.0 of 10

Actions and conserved charges are identified with Q-cohomology classes of the unfolded L-infinity algebra, and off-shell higher-spin, Yang-Mills, and Einstein equations are recast as zero-curvature and covariant-const...
New integer sequence OEIS A392714 counts Wronskians: fast evaluation via late-growing permutations
math.NT 2026-10 conditional novelty 6.0 of 10

The alternating composition of 2p weighted p-th-order differential operators equals c(p) times a Wronskian, and a new formula over late-growing permutations yields all exact values c(1) through c(18).
Gravity and generalised geometry from a Lie 2-algebroid perspective
hep-th 2026-10 conditional novelty 6.0 of 10

A Lie 2-algebroid built from a Courant algebroid yields unique generalised connections and reproduces the closed string effective action without the ambiguity of earlier approaches.
Universal quadratic field equations via homotopy algebras
hep-th 2026-08 conditional novelty 6.0 of 10

The bar-cobar construction turns the equations of motion of any homotopy-algebra gauge theory into universal quadratic Maurer-Cartan equations, with solutions equivalent to the original theory.
Conserved charges and $L_\infty$ algebras
hep-th 2026-06 unverdicted novelty 6.0 of 10

A formula for conserved charges expressed solely via L_infinity algebra data for arbitrary Lagrangian theories, shown to recover the Brown-York surface charge in GR.
Explicit class of finite-dimensional polynomial algebras with Wronskians over $\mathbb{R}^d$ as $N$-ary Lie brackets: beyond $\mathfrak{sl}(2)$
math.RA 2026-05 unverdicted novelty 6.0 of 10

Explicit classification of all finite-dimensional polynomial SH-Lie algebras over R^d or C^d using complete generalized Wronskians of order k as N-ary brackets, together with a factorization formula for the associated...
Generalised Symmetries and Swampland-Type Constraints from Charge Quantisation via Rational Homotopy Theory
hep-th 2026-04 unverdicted novelty 6.0 of 10

Refining charge quantization via a homotopy type A yields swampland-like constraints ruling out noncompact gauge groups and non-nilpotent one-form Lie algebras, and requires A to be contractible for quantum gravity theories.
Gauged Extended Field Theory and Generalised Cartan Geometry
hep-th 2025-09 conditional novelty 6.0 of 10

A systematic Cartan-geometric construction of linearised torsion and curvature hierarchies for generalised geometries with global duality group G and local gauge group H, realised via brane current algebras.
Quantum flux operators in the fermionic theory and their supersymmetric extension
hep-th 2024-12 conditional novelty 6.0 of 10

The paper derives fermionic quantum flux operators at null infinity, finds an anomalous helicity flux from superrotation commutators, and shows the resulting algebra reduces to super-BMS and R-extended super-Poincaré ...
Super-$\mathrm{Lie}_\infty$ T-Duality and M-Theory
hep-th 2024-11 conditional novelty 6.0 of 10

The M-algebra is shown to be the brane-charge completion of the fully T-doubled super-spacetime, with the Poincaré super 2-form of T-duality lifted to a Poincaré super 3-form.
Double Copy from Homotopy Algebras
hep-th 2021-02 conditional novelty 6.0 of 10

The double copy of Yang-Mills theory to N=0 supergravity is shown to be a factorisation of L-infinity algebras into colour, kinematic, and scalar factors, with the colour factor replaced by a second kinematic copy.
The character map in (twisted differential) non-abelian cohomology
math.AT 2020-09 conditional novelty 6.0 of 10

A unified non-abelian character map is constructed that recovers the Chern-Dold, Chern-Weil, and Cheeger-Simons characters and extends them to higher twisted cohomology.
Tensor hierarchy algebras and extended geometry II: Gauge structure and dynamics
hep-th 2019-08 conditional novelty 6.0 of 10

The gauge structure and pseudo-action of extended geometry with ancillary transformations are encoded by a tensor hierarchy algebra S(g+), yielding a partial L-infinity description for finite-dimensional structure groups.
Towards an M5-Brane Model II: Metric String Structures
hep-th 2019-08 conditional novelty 6.0 of 10

Adjusted Weil algebras for skeletal and loop models of the string Lie 2-algebra and their metric extensions yield local metric string structure connections whose gauge transformations close without fake flatness, matc...
$L_{\infty}$ Algebras and Field Theory
hep-th 2017-01 accept novelty 6.0 of 10

Gauge invariant perturbative field theories, including Yang-Mills, Chern-Simons, double field theory, and gravity, admit an L-infinity algebra description with a gauge subalgebra and a larger full algebra encoding int...
Extended Riemannian Geometry I: Local Double Field Theory
hep-th 2016-11 accept novelty 6.0 of 10

A graded-manifold framework called extended Riemannian geometry reproduces double field theory's symmetries and yields a coordinate-invariant form of its strong section condition.
NS-NS Sector of Closed Superstring Field Theory
hep-th 2014-03 conditional novelty 6.0 of 10

A recursive construction yields a covariant classical action for the NS-NS sector of Type II closed superstring field theory, built from bosonic closed-string products plus picture-changing insertions organized in a d...
Unfolding Mixed-Symmetry Fields in AdS and the BMV Conjecture: I. General Formalism
hep-th 2008-12 conditional novelty 6.0 of 10

The paper classifies the Lorentz-covariant Harish-Chandra modules generated by primary Weyl tensors of arbitrary Young shape and mass in constant-curvature backgrounds, identifying the critical masses at which massles...
Homotopy Transfer and Effective Field Theory I: Tree-level
hep-th 2020-07 conditional novelty 5.0 of 10

Homotopy transfer of L-infinity algebras reproduces tree-level integrating out of fields, with explicit transfer formulas given in both the coalgebra and the dual BRST pictures.
Higher-Spin Interactions: four-point functions and beyond
hep-th 2011-07 conditional novelty 5.0 of 10

An infinite family of gauge-consistent four-point functions for massless higher-spin fields is built from powers of Yang-Mills four-point amplitudes, at the price of non-local quartic couplings.
3-Cocycles, Non-Associative Star-Products and the Magnetic Paradigm of R-Flux String Vacua
hep-th 2013-09 conditional novelty 4.0 of 10

A duality-invariant star-product on double phase space encodes the non-associativity of R-flux string vacua as a 3-cocycle, with a magnetic-monopole analogue in which only a single pole preserves angular momentum.
Lectures on AKSZ Sigma Models for Physicists
hep-th 2012-04 accept novelty 3.0 of 10

The notes assemble the AKSZ construction into a physicist-facing recipe: a QP-manifold target plus a supermanifold worldsheet yields the BV action of a topological field theory, with the Poisson sigma model as the wor...
Nonlinear higher spin theories in various dimensions
hep-th 2005-03 conditional novelty 3.0 of 10

The notes present a formally consistent, gauge-invariant set of nonlinear field equations for totally symmetric bosonic higher-spin fields in AdS of any dimension, built from a star-product algebra, and show they redu...

How the literature uses it

126 arXiv papers cite this in 171 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 63 sentences without a confident label

Uses its method or tool 1 paper

However, one can proceed following an alternate route in which one directly proves the main identities of [ref] , or equivalently the quantum $L_∞$ algebra [ref] , for the interaction vertices of the closed string effective action constructed here.

Cutkosky Rules and Unitarity (Violation) in D-instanton Amplitudes · Gauge invariance · 0.86

Cites it as support 1 paper

The viewpoint taken in this paper, which we believe is fully confirmed by the examples previously discussed in the literature [ref] , is that this object is a cyclic $L_∞$ algebra [ref] .

Tree-level Scattering Amplitudes via Homotopy Transfer · Introduction · 0.99

Cites it as background 88 papers

For further information on algebras we refer to [ref] and for more on CFTs and the super-Virasoro algebra see e.g. [ref] or [ref] for a textbook introduction.

On the Existence of an L$_\infty$ structure for the Super-Virasoro Algebra · Preliminaries · 1.00
A classical perturbative field theory is encoded in a homotopy Lie algebra or $L_∞$ algebra as follows [ref] : Denoting the fields collectively by $ϕ$ one writes the action as S[ϕ] = 1/2 ω(b_1(ϕ), ϕ) + 1/3! ω(b_2(ϕ,ϕ),ϕ) + 1/4! ω(b_3(ϕ,ϕ,ϕ),ϕ) +⋯ , with a potentially infinite number of multi-linear maps $b_n$ (with $n$ inputs), subject to generalized Jacobi identities defining an $L_∞$ structure, see [ref] .

Holography as Homotopy · Introduction · 0.88
Suppose now that the Lie algebra of (polynomial) vector fields is deformed, with the new brackets extended by alternating compositions of differential operators of strict order $p∈_⩾1$, to a strongly homotopy (SH) Lie algebra, see [ref] and [ref] as well as [ref] with more references therein.

Explicit class of finite-dimensional polynomial algebras with Wronskians over $\mathbb{R}^d$ as $N$-ary Lie brackets: beyond $\mathfrak{sl}(2)$ · Introduction · 0.87

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.

[1] [1]

[BBvD] F.A. Berends, G.J.H. Burgers and H. van Dam, On the theoretical problems in construct- ing interactions involving higher-spin massless particle s, Nucl. Phys. B260 (1985), 295-322. [B] G.J.H. Burgers, On the construction of ﬁeld theories for higher spin massles s particles, doctoral dissertation, Rijksuniversiteit te Leiden (1985). [CE] C. Chevalle...

View on Pith 1985

[2] [1970]

[S4] J.D. Stasheﬀ, On the homotopy associativity of H-spaces I , Trans. AMS 108 (1963), 275-292. [S5] J.D. Stasheﬀ, On the homotopy associativity of H-spaces II , Trans. AMS 108 (1963), 293-312. [S6] J.D. Stasheﬀ, Constrained Poisson algebras and strong homotopy represen tations, Bull. Amer. Math. Soc. (1988), 287-290. [Wh] J.H.C. Whitehead, On adding rel...

View on Pith 1963

[3] [1988]

[ ] M.Kaku and J. Lykken, Modular invariant closed string ﬁeld theory , preprint, CCNY- HEP-88/7. [KON] M. Kontsevich, Graphs, Homotopical Algebra and Low-Dimensional Topology , pre-pre- print (1992). [KKS] T. Kugo, H. Kunitomo and K. Suehiro, Non-polynomial closed string ﬁeld theory , Phys. Lett. 226B (1989), 48-54. INTRODUCTION TO SH LIE ALGEBRAS FOR PH...

View on Pith 1992