• Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.


Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback


(propose a free ad)

Site Statistics

124 submissions , 105 unreviewed
3,647 questions , 1,242 unanswered
4,638 answers , 19,681 comments
1,470 users with positive rep
435 active unimported users
More ...

Super Lie-infinity algebra of closed superstring field theory?

+ 10 like - 0 dislike

Bosonic closed string field theory is famously governed by a Lie n-algebra for $n = \infty$ whose $k$-ary bracket is given by the genus-0 (k+1)-point function in the BRST complex of the string.

One might therefore expect that, analogously, closed superstring field theory (in any of its variants) is governed by a lift of that to a super Lie n-algebra for $n = \infty$.

The closest to an identification of such that I am aware of is in

where substructures of the bosonic string field $L_\infty$-algebra are paired with the super-ingredients. This seems to go in the right direction, but does not quite identify a super $L_\infty$-algebra structure.

Is there, meanwhile, anything more known that may complete the picture here?

This post imported from StackExchange Physics at 2014-03-03 18:43 (UCT), posted by SE-user Urs Schreiber

asked Oct 20, 2011 in Theoretical Physics by Urs Schreiber (5,305 points) [ revision history ]
recategorized Apr 11, 2014 by dimension10
Why do you use both "$L_\infty$-algebra" and "Lie $n$-algebra for $n = \infty$", when the article you linked indicates that they are the same thing? Is there a subtle distinction I am missing?

This post imported from StackExchange Physics at 2014-03-03 18:43 (UCT), posted by SE-user Scott Carnahan
There is indeed no distinction, and that's what I wanted to implicitly emphasize a little, with an eye towards the BLG "3-algebra" excitement ncatlab.org/nlab/show/BLG+model#3AlgebraStructure.

This post imported from StackExchange Physics at 2014-03-03 18:43 (UCT), posted by SE-user Urs Schreiber
Superstring field theory actually works differently than this "straightforward" generalization of bosonic string field theory.

This post imported from StackExchange Physics at 2014-03-03 18:43 (UCT), posted by SE-user Luboš Motl

@Dilaton I have reshowed that one and hidden the other, because this one has Lubos's comment on it, which is not there on the other one. 

Could you make the attritution for the post red? It's very confusing to see the attributes for comments in red, yet the attributes for the post in blue. Using red is a clear way of showing what's imported, and users need to know this quickly to decide if something unique has been posted here..

@physicsnewbie No, I won't. I can't. Font colours are removed when a post is edited. Too bad, but sorry, no. This isn't even legally required. It's quite obvious to me even when it is not in read; the font size is smaller, the text is the same, the links are the same.  

If there are technical issues, of course they have the last word, but I think "physicsnewbie" above has a point: while I do agree that it is a good idea to import old posts, it would be good to make it more easily visible that they are imported, or at least that they are _old_, otherwise it can get a bit confusing. I for one was taken a bit by surprise to suddenly see myself apparently having posted a question here, which I didn't even remember having posted...

1 Answer

+ 6 like - 0 dislike

A while after I had asked the above question back in October 2011 (on another forum, the question now having been imported here), the following article appeared, which claims to produce what I was wondering about:

based on

  • Chungsheng James Yeh, Topics in superstring theory, PhD thesis, Berkeley 1993 (SPIRE)

 Their introduction has a useful survey. First they recall the traditional way of going about superstring field theory:

 The first attempt towards a field theory of superstrings was initiated by the work of Witten

  • Edward WittenInteracting field theory of open superstrings, Nuclear Physics B, Volume 276, Issue 2 (1986)

by seeking a Chern-Simons like action for open superstrings similar to the one of open bosonic string field theory (Witten 86). The major obstacle compared to the bosonic string is the necessity of picture changing operators?. Indeed, the cubic superstring theory of (Witten 86a) turns out to be inconsistent due to singularities arising form the collision of picture changing operators

  • C. Wendt, Scattering amplitudes and contact interactions in Witten’s superstring field theory, Nuclear Physics B, Volume 314, Issue 1.

In order to circumvent this problem, another approach was pursued which sets the string field into a different picture

  • C.R. Preitschopf, C.B. Thorn, S. Yost, Superstring field theory Nuclear Physics B, Volume 337, Issue 2.

  • I.Ya. Aref’eva, P.B. Medvedev, A.P. Zubarev, New representation for string field solves the consistency problem for open superstring field theory, Nuclear Physics B, Volume 341, Issue 2.

but upon including the Ramond sector, the modified superstring field theory suffers from similar inconsistencies

  • M. Kroyter, Superstring field theory equivalence: Ramond sector, Journal of High Energy Physics, Volume 2009, Issue 10.

These two approaches are based on the small Hilbert space, the state space including the reparametrization ghosts and superghosts as they arise from gaugefixing. Upon bosonization of the superghosts, an additional zero mode arises which allows the formulation of a WZW like action for the NS sector of open superstring field theory

In contrast to bosonic string field theory, BV quantization of this theory is more intricate than simply relaxing the ghost number constraint for the fields of the classical action

  • Nathan BerkovitsConstrained BV description of string field theory, Journal of High Energy Physics, Volume 2012, Issue 3.

  • M. Kroyter, Y. Okawa, M. Schnabl, S. Torii, Barton ZwiebachOpen superstring eld theory I: gauge xing, ghost structure, and propagator, Journal of High Energy Physics, Volume 2012, Issue 3.

Finally, there is a formulation of open superstring field theory that differs from all other approaches in not fixing the picture of classical fields

  • M. Kroyter, Superstring field theory in the democratic picture, Advances in Theoretical and Mathematical Physics, Volume 15, Number 3.

Then they come to the "geometric" approch which I was asking about whether it has been generalized from the bosonic to the superstring:

On the other hand, the construction of bosonic closed string field theory (Zwiebach 92) takes its origin in the moduli space of closed Riemann surfaces. Vertices represent a subspace of the moduli space, such that the moduli space decomposes uniquely into vertices and graphs,and do not apriori require a background. Graphs are constructed from the vertices by sewing together punctures along prescribed local coordinates around the punctures. But an assignment of local coordinates around the punctures, globally on the moduli space, is possible only up to rotations. This fact implies the level matching condition and via gauge invariance also the (b_0^-)-constraint.

In an almost unnoticed work (Yeh), the geometric approach developed in bosonic closed string field theory, as described in the previous paragraph, has been generalized to the context of superstring field theory. Neveu-Schwarz punctures behave quite similar to punctures in the bosonic case, but a Ramond puncture describes a divisor on a super Riemann surface rather than a point. As a consequence, local coordinates around Ramond punctures, globally defined over super moduli space, can be fixed only up to rotations and translation in the Ramond divisor.

A given background provides forms on super moduli space

  • A. Belopolsky, New Geometrical Approach to Superstrings, hep-th/9703183.

  • L. Alvarez-Gaume, P. Nelson, C. Gomez, G. Sierra, C. Vafa, Fermionic strings in the operator formalism, Nuclear Physics B, Volume 311, Issue 2.

in the sense of geometric integration theory on supermanifolds, and in particular the geometric meaning of picture changing operators has been clarified

Integrating along an odd direction in moduli space inevitably generates a picture changing operator. Thus, the ambiguity of defining local coordinates around Ramond punctures produces a picture changing operator associated with the vector field generating translations in the Ramond divisor. The bpz inner product plus the additional insertions originating from the sewing define the symplectic form relevant for BV quantization. As in the bosonic case, we require that the symplectic form has to be non-degenerate, but the fact that the picture changing operator present in the Ramond sector has a non-trivial kernel, forces to impose additional restrictions besides the level matching and b_0^- = 0 constraint on the state space. The purpose of (Jurco-Muenster 13) is to describe the construction of type II superstring field theory in the geometric approach.

To the extent that this is correct, it means that also closed superstring field theory has an action functional that is a Chern-Simons-type term for a (super) Lie n-algebra (for n = infinity, a "strong homotopy Lie algebra"), that's equation (4.12) of (Jurco-Muenster 13).

answered Apr 11, 2014 by Urs Schreiber (5,305 points) [ no revision ]
Most voted comments show all comments

Thanks for the update Urs! That is a very interesting story.

Dear Urs,

What is the difference between an L_\infty and super L_\infty algebra, in your understanding? For the superstring I would have thought that we would only need to upgrade the vector space to include  (left and rightmoving) NS and R states, but the algebraic structure would be the same.

BTW, the paper of Jurco-Muenster has some serious shortcomings. The construction of quantum superstring field theory is still very much an open problem.

A super L-infinity algebra is to an L-infinity algebra as a super-Lie algebra is to a Lie algebra: in addition to the \(\mathbb{Z}\)-grading of the homotopy structure there is a super-\(\mathbb{Z}/2\mathbb{Z}\)-grading (as in arXiv:1308.5264),

Regarding Jurco-Muenster: I guess that's true, yes.

Dear Urs,

I am somewhat confused about sign issues and am wondering whether "super L_\infty" is really the right word for the kind of algebraic structure one expects for superstrings.

The difference between Lie algebras and super-Lie algebras seems clear. But L_\infty by itself already seems like a "super Lie algebra," since the vector space on which the multilinear maps act already has a Z_2 grading representing "even" and "odd" elements. At least this is what happens in the context of SFT.

For the closed bosonic string the physical field is always even. One might naively think that for the superstring the NS-NS and R-R fields should be even, while the fermionic R-NS and NS-R states should be odd. But I think that all sectors should be even,  otherwise symmetry of the closed string products would forbid nontrivial couplings with fermions. In fact I think this is consistent with the conventions of Jurco-Muenster. 

The algebra of closed superstring fields should have three Z-gradings, representing ghost number and leftmoving and rightmoving picture number, and two Z_2 gradings, the first distinguishing NS and R states and the second counting Grassmann parity. Only the last grading, Grassmann parity, seems to play a role in the definition of the L_\infty structure. But Grassmann parity is already there for the bosonic string.

This is why I am confused as to the meaning of super-L_\infty in this context. Probably this is just a result of my ignorance of the received terminology on these matters, but I would like to understand if there is something I'm missing.



Dear Ted,

okay, thanks for digging into this. There are maybe three issues to be separated:

  1. What is a super L-infinity algebra?
  2. Should it appear in super string field theory where a plain L-infinity algebra appears in bosonic string field theory?
  3. What happens in Jurco-Muenster?

Regarding 3. I suppose you are right, by their comments on "+- orientation" the odd-odd signs which I am expecting to see don't actually arise in their article. Hm.

Regarding 2: Do we agree that the BRST complex for the superstring has an \(\mathbb{N} \times (\mathbb{Z}/2\mathbb{Z})\)-bigrading, given by (ghost number | super-grading)? 

It frequently happens that super-sign rules in the further presence of cohomological signs become confusing. For this purpose I like to stick with Deligne-Freed's Sign manifesto, where the key example is the bigrading on super-differential forms (on the last pages there). 

This bigrading models the bigrading also on super-BRST complexes. And in particular...

Regarding 1: Where a degreewise finite-dimensional L-infinity algebra/algebroid is dually a dg-algebra on an \(\mathbb{N}\)-graded symmetric algebra with archetypical example being the de Rham complex of a manifold (corresponding to the tangent Lie algebroid), so a degreewise finite-dimensional super-L-infinity algebra/algebroid is dually a super-dg-algebra on an \(\mathbb{N}\times (\mathbb{Z}/2\mathbb{Z})\)-graded module with archetypical example being the super-de Rham complex of a supermanifold (corresponding to the super tangent Lie algebroid), whose bigrading I take to be as in Deligne-Freed's Sign manifesto,

Dualizing this super-dg-algebra definition of finite-type super-L-infinity algebras one finds the bracket-version of the definition which generalizes to infinite-dimensional super L-infinity algebras as they would appear in super string field theory.

If they appear there. Now, i am not claiming that I understand whether they appear there, after all, in the question which starts the above thread I am asking if this turns out true.

You seem to say that it won't turn out true. I am prepared to accept this, but I am not sure yet if I understand why. In bosonic SFT the L-infinity structure is on the BRST complex of the bosonic string. Therefore (maybe naively) I expect that in super string field theory there should be a super L-infinity algebra structure on the super-BRST complex of the superstring. 

(Maybe to sort this out we should switch to email,if you still have the energy.)

Most recent comments show all comments

Thanks, we are progressing. Thanks for having the patience and accuracy for this kind of issue, this is good.

So, indeed, in addition to the "internalization sign rule" which I have been highlighting above (which is Deligne-Freed's "relentless application of the sign rule" from their Sign manifesto), there is the "super odd sign rule". Where in the former case one has a \(\mathbb{Z} \times \mathbb{Z}_2\)-bigrading, in the latter case this is fused to just a single \(\mathbb{Z}_2\)-grading, the "total parity" or whatever one wants to call it.

The super odd sign rule is popular among authors who like to base everything on supergeometry and suppress the homotopy-theoretic aspects -- probably actually the majority of authors.

Now here is one fact that I am aware of: if one has a super-(BV-)BRST complex, then while its interpretation as the Chevalley-Eilenberg algebra of an L-infinity algebra in super vector spaces only works for the relentless Deligne-Freed bigrading, it's cohomology is in fact invariant under change of the two sign rules. For the case of just plain super Lie algebras this is discussed here, but the argument directly generalizes.

So I suppose this will account for the bulk of the issue at hand: on cohomology, hence in "physical gauge invariant sectors" both sign conventions give the same answer.

However, for full super string field theory we need more than just the cohomology of the BV-BRST complex. I would suspect that only with the relentless Deligne-Freed sign rule a proper L-infinity algebraic description of super string field theory will be possible. 

But given that super string field theory does not exist much, yet, either way, maybe that may only be decided by actually doing it.

Dear Urs,

Thank you for answering my questions.

With either the "internalization sign rule" or the "super-odd sign rule," I believe one should be able to write down a gauge invariant action which will reproduce the correct on-shell amplitudes.

In this sense, the super-\(L_\infty\) structure which one might have expected does not seem so well motivated from "essential" string field theory considerations. I am still trying to understand your statement that "a super-(BV-)BRST complex is the Chevalley-Eilenberg algebra of an L-infinity algebra," and what relevance this would have for string field theory. So there may still be other considerations which would motivate the bigrading of the closed string field.

I will keep both conventions in mind!



Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
To avoid this verification in future, please log in or register.

user contributions licensed under cc by-sa 3.0 with attribution required

Your rights