(2,0) Lagrangian Structures

Neil Lambert

REVIEW 3 major objections 4 minor 24 references

(2,0) Lagrangian Structures

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

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

Pith's one-line read A Lorentz invariant lagrangian for the abelian (2,0) tensor supermultiplet exists if one adds a decoupled self-dual three-form.

desk verdict The abelian Lagrangian for the free (2,0) multiplet is a genuinely useful, checkable construction; the non-abelian extension is a plausible sketch that does not yet prove the existence of its central ingredient. read the letter →

arxiv 1908.10752 v2 pith:XLQP3ZIO submitted 2019-08-28 hep-th

Neil Lambert This is my paper · ORCID

classification hep-th MSC 81T6081T30 PACS 11.30.Pb11.25.-w

keywords (20)tensorsupermultipletself-dualthree-formSen'sprescriptionthree-algebraM5-braneslagrangiansupersymmetrysingletLorentzinvariance

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

The paper tries to show that a Lorentz-invariant, (2,0)-supersymmetric lagrangian can be written for the free abelian (2,0) tensor supermultiplet, provided one adds a second self-dual three-form. The extra three-form is a supersymmetry singlet and decouples, so the physical content is unchanged. For the interacting case, the paper constructs a non-abelian action that reproduces the Lambert–Papageorgakis equations of motion for two M5-branes. The point of caring is that such lagrangian structures, even if not a definitive lagrangian for the (2,0) theory, may serve as partial descriptions that can be patched together.

What carries the argument

The machinery is Sen's prescription: introduce a second self-dual three-form built from a two-form $B$ so that the problematic self-dual field gets a lagrangian, with the unphysical combination $H^{(s)} = \tfrac{1}{2}(dB + \star dB) - \tfrac{3\beta}{\alpha} H$ forming a decoupled supersymmetry singlet. For the non-abelian extension, the load-bearing objects are a totally antisymmetric three-algebra on $V = \mathbb{R}^4$, the non-dynamical vector $Y^\mu$ satisfying constraints $D_\mu Y^\nu = 0$, $[Y^\mu, D_\mu(\cdot), \cdot'] = 0$, $[Y^\mu, Y^\nu, \cdot] = 0$, and a modified covariant derivative $\hat D_\mu = \partial_\mu - \tilde A_\mu + \tfrac{1}{2}[B_{\mu\nu}, Y^\nu, \cdot]$. These encode the five-dimensional interacting structure while keeping the action formally six-dimensional and Lorentz covariant.

What would settle it

Construct a nontrivial solution of the constraints (50) in a genuinely six-dimensional setting; if every solution forces $Y^\mu = 0$ or makes the three-algebra abelian, the action (52) collapses to the flat-gauged free theory and cannot describe interacting M5-branes.

Watch

Extended reading notes

Core claim

The central claim is that action (22) is a Lorentz invariant, supersymmetric lagrangian for the free abelian (2,0) tensor supermultiplet, with $H^{(s)} = \tfrac{1}{2}(dB + \star dB) + H$ a supersymmetry singlet that decouples from the physical fields (for the conventions $\eta = 1/4$, $\alpha = 3$, $\beta = -1$). The paper then claims that the non-abelian action (52), built from a three-algebra and a non-dynamical vector $Y^\mu$ satisfying constraints (50), reproduces exactly the equations of motion of the interacting system of [1], including the $X$, $H$, $\Psi$, and gauge-field equations, while $B$ itself drops out of the physical equations. It also identifies the combination $\tilde A^{(s)} = 2\tilde A - \hat A$ as a supersymmetry singlet in the non-abelian case. Thus the paper establishes lagrangian structures for a theory for which a full lagrangian is believed not to exist.

Load-bearing premise

The non-abelian action assumes a non-dynamical vector field $Y^\mu$ exists with $D_\mu Y^\nu = 0$, $[Y^\mu, D_\mu(\cdot), \cdot'] = 0$, and $[Y^\mu, Y^\nu, \cdot] = 0$; the paper imposes these constraints by hand and does not prove such a $Y$ exists in the (2,0) theory.

Editorial extensions

If this is right

The free (2,0) tensor multiplet admits a manifestly supersymmetric, Lorentz-invariant action at the price of carrying an inert self-dual three-form that decouples from all physical quantities.
The non-abelian action (52) gives a six-dimensional lagrangian origin for the Lambert–Papageorgakis interacting system, reproducing its equations of motion at least classically.
Because $B$ decouples from the $X^I$, $H$, and $\Psi$ equations, the two-form $B$ never enters physical observables, so the lagrangian is a structure rather than a theory with additional degrees of freedom.
The family of actions parameterized by $Y^\mu$ naturally interpolates among known five-dimensional maximally supersymmetric lagrangians for spacelike, timelike, and null $Y^\mu$.
Conservation of the supercurrent of [19] follows, so the interacting action carries the expected (2,0) supersymmetry algebra on shell.

Reading between the lines

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

Beyond the paper: if $Y^\mu$ must be covariantly constant, the interacting part of (52) is effectively five-dimensional, so these actions are probably best read as local charts that do not by themselves define the full six-dimensional (2,0) theory.
Beyond the paper: the same add-a-decoupled-dual-field trick may transplant to other chiral p-form theories in $4n+2$ dimensions, though the supersymmetry singlet would need to be re-identified case by case.
Beyond the paper: a concrete test is to classify all solutions of the constraints (50); if every nontrivial solution makes the three-algebra sector abelian, the claim of describing two M5-branes loses its support.
Beyond the paper: deriving the spacelike, timelike, and null five-dimensional lagrangians from the same six-dimensional action would test the patchwork picture the paper proposes.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Two things to know. The abelian construction in Sec. 3 is solid and is the real contribution: using Sen's prescription with an extra self-dual three-form, Lambert writes down a Lorentz-invariant action for the free (2,0) tensor supermultiplet, identifies H^(s) as a supersymmetry singlet, and shows it decouples. The invariance conditions (11), (13), and the choice (16) are explicit and checkable; I could not find a hidden circularity. The decoupling of the extra form is argued cleanly. This part stands on its own and is worth citing for anyone working on self-dual forms or (2,0) actions.

The non-abelian section is a different animal. It is openly exploratory—the text says "we must indulge ourselves in some form of shady speculation" and "Let's not worry about supersymmetry for now"—and the claimed Lagrangian (52) reproduces the equations of motion of the Lambert-Papageorgakis system only if the non-dynamical vector Y^mu satisfies constraints (50). That is a genuine soft spot. In the totally antisymmetric three-algebra with V=R^4 the last constraint forces all Y^mu parallel as elements of V, and with the modified connection D_mu the first constraint becomes a nontrivial condition involving the gauge field and B. The paper imposes these by hand and does not prove that any nonzero Y exists. If only Y=0 solves them, the interacting part of (52) reduces to the flat-gauged theory, and the claim about describing two M5-branes loses its basis. The supersymmetry invariance of (52) is asserted rather than demonstrated.

I also want to note what is not a flaw. The non-abelian action is reverse-engineered to hit the equations of [1], but that is a stated target, not a fitted input; no constants are tuned to data. Self-citation is appropriate here since [1] is the system being reproduced.

Bottom line: the abelian result is a real, checkable contribution; the non-abelian part is a suggestive structure, clearly labeled as speculative, and the burden is on the author to settle the status of Y or to reframe the claim. A serious referee should engage with this paper—the abelian section deserves publication, and the non-abelian section needs either a proof or a much more cautious claim.

Referee Report

3 major / 4 minor

Summary. This paper explores Lagrangian descriptions of the six-dimensional (2,0) tensor multiplet. In the abelian case, the author uses Sen's prescription of adding a second self-dual three-form and shows that the action (22) is invariant under the (2,0) supersymmetry transformations (23), with the combination H^(s) in (14) a supersymmetry singlet that decouples. In the non-abelian case, using a three-algebra with V=R^4 and a non-dynamical V-valued vector Y^μ subject to (50), the author proposes the action (52) and claims that its equations of motion reproduce the Lambert-Papageorgakis system (51) and that it is invariant under the transformations (62), thus providing a six-dimensional Lagrangian structure for aspects of two interacting M5-branes.

Significance. If the abelian construction is correct, it provides a clean Lorentz-invariant Lagrangian for the free abelian (2,0) multiplet with the auxiliary self-dual form decoupling; this is a useful concrete realization of Sen's proposal in the supersymmetric context. The non-abelian proposal is more tentative: it is parameterized by Y^μ, has no fitted constants, and is explicitly benchmarked against the equations of motion of [1]. The significance of the non-abelian part depends on the status of the constraints (50) and on a full verification of supersymmetry; as it stands it is an interesting exploratory structure rather than a complete dynamical theory. The paper is honest about its limitations, stating in Sec. 1 that well-definedness is postponed and in Sec. 4.2 that supersymmetry is initially set aside, and these caveats should be reflected in the published claims.

major comments (3)

[Sec. 4.2, Eq. (50)] The non-abelian claims rest on the existence of a nontrivial V-valued vector Y^μ satisfying (50), but the manuscript neither proves existence nor specifies the class of configurations for which these constraints are imposed. In flat spacetime a constant Y^μ with only one nonzero component and fields independent of the corresponding coordinate gives an obvious solution, so the constraints are not vacuous, but this should be stated. More importantly, with the modified connection D in (54), the condition D_μ Y^ν=0 becomes a nontrivial relation involving \tilde A and B; the paper should state whether (50) is a background condition selecting a sector of field space or a set of equations to be solved, because (52) reproduces (51) only on that sector. Without this clarification, the claim that (52) describes two interacting M5-branes is not well delimited.
[Sec. 4.2, Eq. (62)] The invariance of (52) under the supersymmetry transformations (62) is only asserted in the sentence 'one can check'. Since this invariance is the basis for the claim that the construction is (2,0) supersymmetric, the paper should provide the cancellation pattern, or at least an appendix with the key steps and the explicit use of the constraints (50). The off-shell self-duality of δH in (62) and the appearance of the modified connection D make this a non-trivial check, and the earlier statement in Sec. 4.2 that 'Let's not worry about supersymmetry for now' makes the later assertion particularly in need of explicit verification.
[Sec. 4.2, Eqs. (56)-(61)] The derivation that the B equation (60) combines with (56)-(58) to yield the H equation (61) is compressed into a single sentence ('Remarkably...'). This step is load-bearing because it is what shows that the extra field B decouples from the X^I, Ψ and H dynamics. Please provide the missing algebra, including the use of the fundamental identity (49) and the constraints (50); otherwise a reader cannot verify that no additional on-shell constraints on B are hidden in (60).

minor comments (4)

[Sec. 3, after Eq. (16)] The parenthetical statement about the α=0 case ('we would take η=0 and H_free=H(s)=H') appears difficult to reconcile with the closure condition (13), since that limit gives βδ=0; please clarify the intended limiting procedure.
[Sec. 4.2, Eqs. (52)-(54)] The notation D and D, and \tilde A and \tilde A, is very easily confused; the modified connection (54) is central to the section, so please use more distinct symbols or add a short glossary.
[Sec. 1] There are typos: 'lagangian' appears in the introduction and in the discussion near refs. [14,15]; it should be 'lagrangian'.
[Sec. 5] The statement that the non-abelian Lagrangians have 'six-dimensional Lorentz covariance' should be qualified, since the constraints (50) select a preferred direction and the interacting part is explicitly five-dimensional.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: abelian action is self-contained; non-abelian action is an explicitly designed consistency construction, not a fitted prediction.

full rationale

The abelian construction is self-contained. The action (22) is checked by direct supersymmetry variation, with the parameters fixed by algebraic closure conditions (11) and (13), and the decoupling of H(s) follows as an identity from the stated transformations. The input from Sen [8,9] is an external construction explicitly reviewed and adapted in Section 2. The non-abelian section is not a hidden prediction: the paper openly states that it is designed to reproduce the equations of motion of Lambert-Papageorgakis [1] ('Months of trial and error lead to the following lagrangian'; 'we must indulge ourselves in some form of shady speculation'), and then verifies this by explicit equations of motion (56)-(61). Matching a proposed action to a target set of equations is a consistency condition, not a fitted parameter renamed as a prediction. The Y constraints (50) are imported from [1] and imposed by hand; the paper explicitly defers questions of well-definedness and full supersymmetry ('we will postpone for later the issue of whether or not the resulting dynamical theories are well-defined'; 'Let's not worry about supersymmetry for now'), so this is a stated limitation rather than a circular justification. Self-citations [1] and [19] provide target equations and a supercurrent, but the matching computation is performed in the present paper and does not reduce to the citation alone. No equation is shown to be equivalent to its input by construction, so no circular step is present.

Assumptions & free parameters 3 free parameters · 4 assumptions · 2 invented entities

The construction relies on prior domain assumptions (Sen's prescription, (2,0) multiplet structure) and introduces a handful of parameters and background fields by hand. No free parameters are fitted to data, but the non-abelian sector depends critically on the ad hoc vector Y and its constraints.

free parameters (3)

eta (η) = 1/4 (chosen by convention)
Constant in the abelian action (9); supersymmetry requires η > 0; the specific value is a convention (Section 3, eq. 21).
alpha, beta, gamma, delta = 3, -1, 1/2, 0 (for concreteness)
Coefficients in the supersymmetry transformations (10), constrained by eqs. (11) and (13); specific values chosen to match conventions in Section 2.
Y^mu = background vector field, arbitrary (spacelike/timelike/null)
Non-dynamical vector field parameterizing the family of non-abelian Lagrangians (52); its constraints (50) define the interacting theory.

assumptions (4)

domain assumption The (2,0) tensor multiplet on-shell supersymmetry algebra and self-duality of H (eqs. 1-2)
Starting point of the construction; standard for the (2,0) theory.
domain assumption Sen's prescription: adding a second self-dual form yields an action where the extra combination decouples
Borrowed from [8,9]; not proven in this paper.
standard math Uniqueness of irreducible finite-dimensional three-algebra with positive-definite inner product: V=R^4, gauge algebra su(2)⊕su(2)
Cited from [17,18]; needed to claim two M5-branes.
ad hoc to paper Constraints (50) on Y^mu can be imposed without breaking consistency
Imposed by hand to reproduce the equations of [1]; restricts interactions to five dimensions.

invented entities (2)

Extra self-dual three-form (or two-form B) and supersymmetry singlet combination H(s)
purpose: Allows a Lorentz invariant action for the (2,0) multiplet; decouples from physical sector
The extra field is an auxiliary construction; it decouples and has no observable consequences (Section 3).
Non-dynamical vector field Y^mu with constraints (50)
purpose: Parameterizes the non-abelian Lagrangians and restricts the interacting theory to five dimensions; reproduces equations of [1]
Y^mu is introduced as a background structure without independent physical evidence; the paper itself treats it as a choice (Section 4.2).

how reviews work

0 comments

Cite this review

Pith. "Pith review of (2,0) Lagrangian Structures." pith.science (2026). https://pith.science/paper/XLQP3ZIO

@misc{pith2026190810752,
  author       = {Pith},
  title        = {Pith review of: (2,0) Lagrangian Structures},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XLQP3ZIO}},
  note         = {Machine review of arXiv:1908.10752}
}

read the original abstract

By including an additional self-dual three-form we construct a Lorentz invariant lagrangian for the abelian (2,0) tensor supermultiplet. The extra three-form is a supersymmetry singlet and decouples from the (2,0) tensor supermultiplet. We also present an interacting non-abelian generalization which reproduces the equations of motion of [arXiv:1007.2982 [hep-th]] and can describe some aspects of two interacting M5-branes.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 10 canonical work pages

[1]

Lambert and C

N. Lambert and C. Papageorgakis, JHEP 1008 (2010) 083 doi:10.1007/JHEP08(2010)083 [arXiv:1007.2982 [hep-th] ]

arXiv 2010
[2]

Witten, J

E. Witten, J. Geom. Phys. 22 (1997) 103 doi:10.1016/S0393-0440(97)80160-X [hep- th/9610234]

arXiv 1997
[3]

Tachikawa, JHEP 1111 (2011) 123 doi:10.1007/JHEP11(2011)123 [arXiv:1110.0531 [hep-th]]

Y. Tachikawa, JHEP 1111 (2011) 123 doi:10.1007/JHEP11(2011)123 [arXiv:1110.0531 [hep-th]]

arXiv 2011
[4]

Witten, arXiv:0905.2720 [hep-th]

E. Witten, arXiv:0905.2720 [hep-th]

arXiv
[5]

Deformations of Chiral Two-Forms in Six Dimensions

X. Bekaert, M. Henneaux and A. Sevrin, Phys. Lett. B 468 (1999) 228 doi:10.1016/S0370-2693(99)01239-3 [hep-th/9909094]

work page Pith review arXiv 1999
[6]

C. M. Chang, arXiv:1810.04169 [hep-th]

arXiv
[7]

Any text book on quantum ﬁeld theory

work page
[8]

Sen, JHEP 1607 (2016) 017 doi:10.1007/JHEP07(2016)017 [arXiv:1511.08220 [hep- th]]

A. Sen, JHEP 1607 (2016) 017 doi:10.1007/JHEP07(2016)017 [arXiv:1511.08220 [hep- th]]

arXiv 2016

Show all 24 references

[9]

Sen, arXiv:1903.12196 [hep-th]

A. Sen, arXiv:1903.12196 [hep-th]

1903 arXiv
[10]

Samtleben, E

H. Samtleben, E. Sezgin and R. Wimmer, JHEP 1112 (2011) 062 doi:10.1007/JHEP12(2011)062 [arXiv:1108.4060 [hep-th] ]

2011 arXiv
[11]

L. J. Mason, R. A. Reid-Edwards and A. Taghavi-Chabert, J. Geom. Phys. 62 (2012) 2353 doi:10.1016/j.geomphys.2012.08.001 [arXiv:1111.2 585 [hep-th]]

2012 doi
[12]

Saemann and M

C. Saemann and M. Wolf, J. Math. Phys. 54 (2013) 013507 doi:10.1063/1.4769410 [arXiv:1111.2539 [hep-th]]

2013 arXiv
[13]

B. Juro, T. Macrelli, L. Raspollini, C. Smann and M. Wolf , arXiv:1903.02887 [hep-th]. 15

1903 arXiv
[14]

Saemann and L

C. Saemann and L. Schmidt, arXiv:1705.02353 [hep-th]

arXiv
[15]

Saemann and L

C. Saemann and L. Schmidt, arXiv:1908.08086 [hep-th]

1908 arXiv
[16]

Mkrtchyan, arXiv:1908.01789 [hep-th]

K. Mkrtchyan, arXiv:1908.01789 [hep-th]

1908 arXiv
[17]

Papadopoulos, JHEP 0805 (2008) 054 doi:10.1088/1126-6708/2008/05/054 [arXiv:0804.2662 [hep-th]]

G. Papadopoulos, JHEP 0805 (2008) 054 doi:10.1088/1126-6708/2008/05/054 [arXiv:0804.2662 [hep-th]]

2008 arXiv
[18]

J. P. Gauntlett and J. B. Gutowski, JHEP 0806 (2008) 053 doi:10.1088/1126- 6708/2008/06/053 [arXiv:0804.3078 [hep-th]]

2008 arXiv
[19]

Lambert and P

N. Lambert and P. Richmond, JHEP 1202 (2012) 013 doi:10.1007/JHEP02(2012)013 [arXiv:1109.6454 [hep-th]]

2012 arXiv
[20]

Pasti, D

P. Pasti, D. P. Sorokin and M. Tonin, Phys. Rev. D 55 (1997) 6292 doi:10.1103/PhysRevD.55.6292 [hep-th/9611100]

1997 arXiv
[21]

O. J. Ganor, Phys. Rev. D 97 (2018) no.4, 041901 doi:10.1103/PhysRevD.97.041901 [arXiv:1710.06880 [hep-th]]

2018 arXiv
[22]

C. M. Hull and N. Lambert, JHEP 1406 (2014) 016 doi:10.1007/JHEP06(2014)016 [arXiv:1403.4532 [hep-th]]

2014 arXiv
[23]

Lambert and M

N. Lambert and M. Owen, JHEP 1810 (2018) 133 doi:10.1007/JHEP10(2018)133 [arXiv:1808.02948 [hep-th]]

2018 arXiv
[24]

Lambert and D

N. Lambert and D. Sacco, JHEP 1609 (2016) 107 doi:10.1007/JHEP09(2016)107 [arXiv:1608.04748 [hep-th]]. 16

2016 arXiv

Pith tools

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

[1] [1]

Lambert and C

N. Lambert and C. Papageorgakis, JHEP 1008 (2010) 083 doi:10.1007/JHEP08(2010)083 [arXiv:1007.2982 [hep-th] ]

arXiv 2010

[2] [2]

Witten, J

E. Witten, J. Geom. Phys. 22 (1997) 103 doi:10.1016/S0393-0440(97)80160-X [hep- th/9610234]

arXiv 1997

[3] [3]

Tachikawa, JHEP 1111 (2011) 123 doi:10.1007/JHEP11(2011)123 [arXiv:1110.0531 [hep-th]]

Y. Tachikawa, JHEP 1111 (2011) 123 doi:10.1007/JHEP11(2011)123 [arXiv:1110.0531 [hep-th]]

arXiv 2011

[4] [4]

Witten, arXiv:0905.2720 [hep-th]

E. Witten, arXiv:0905.2720 [hep-th]

arXiv

[5] [5]

Deformations of Chiral Two-Forms in Six Dimensions

X. Bekaert, M. Henneaux and A. Sevrin, Phys. Lett. B 468 (1999) 228 doi:10.1016/S0370-2693(99)01239-3 [hep-th/9909094]

work page Pith review arXiv 1999

[6] [6]

C. M. Chang, arXiv:1810.04169 [hep-th]

arXiv

[7] [7]

Any text book on quantum ﬁeld theory

work page

[8] [8]

Sen, JHEP 1607 (2016) 017 doi:10.1007/JHEP07(2016)017 [arXiv:1511.08220 [hep- th]]

A. Sen, JHEP 1607 (2016) 017 doi:10.1007/JHEP07(2016)017 [arXiv:1511.08220 [hep- th]]

arXiv 2016