Classical BPS M5-brane on the plane wave background

Goro Ishiki; Yuhma Asano; Yuto Yoshida

REVIEW 1 major objections 4 minor 16 references

Classical BPS M5-brane on the plane wave background

T0 review · 1 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read The paper derives a family of BPS M5-brane solutions on a plane-wave background with nonzero angular momentum, including an explicit two-parameter rotating ellipsoidal five-brane.

desk verdict First explicit rotating BPS M5-brane solutions on the plane wave background, but the key sum-of-squares completion has an unverified step that a referee should check. read the letter →

arxiv 2506.03708 v1 pith:BIH4PERG submitted 2025-06-04 hep-th

Yuhma Asano , Goro Ishiki , Yuto Yoshida This is my paper

classification hep-th

keywords M5-braneplane-wavebackgroundBPSsolutionsangularmomentumsumofsquaresBMNmatrixmodellight-conequantizationfive-bracket

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 works with the bosonic theory of a single M5-brane on the plane-wave background and derives a family of BPS (supersymmetric) solutions with nonzero angular momentum. The central result is an explicit two-parameter solution describing an ellipsoidal five-brane that rotates rigidly without changing its shape. The known static spherical solution appears as a special limit of this family. The authors intend this as a step toward matching classical M5-brane configurations with the quarter-BPS sector of the plane-wave matrix model.

What carries the argument

The machinery is the decomposition of the BPS condition into a sum of squares. The Hamiltonian plus angular-momentum terms is split as $H_1+H_2+H_3+H_4$, where $H_1$ contains momenta, $H_2$ contains 5-brackets without $X^3$, $H_3$ contains 5-brackets with $X^3$, and $H_4$ is the leftover. The paper uses the fundamental identity of the 5-bracket to combine squares, and chooses auxiliary signs $\hat{\eta}_a$ so that $H_4$ becomes proportional to the Gauss law constraint (3.4). Once Gauss law is imposed, BPS saturation reduces to $H_1=0$, $H_2=0$, $H_3=0$. The solution ansatz represents the embedding as block matrices $R_a(t)$, $\hat{R}_a(t)$ acting on the unit sphere, turning the first-order equations into matrix equations whose solutions are rotations $R(-\alpha t)R(0)R(\beta t)$. This reduction converts a field-theory BPS problem into finite-dimensional matrix algebra.

What would settle it

Substitute the explicit solution of Eqs. (3.46)-(3.47) into the original light-cone equations of motion and the Gauss law constraint, and evaluate the leftover term $H_4$ on the constraint surface; if $H_4$ does not vanish, the configuration is not BPS. Alternatively, integrate $X^A P^B - X^B P^A$ over the world-volume for the explicit solution and compare with the angular-momentum formulas (3.41).

Watch

Extended reading notes

Core claim

On the plane-wave background with constant flux $\mu$, the light-cone Hamiltonian admits a static spherical solution. The paper shows that the BPS saturation condition $H + \frac{\eta_1\mu}{3} M_{12} + \frac{\eta_4\mu}{6} M_{45} + \frac{\eta_6\mu}{6} M_{67} + \frac{\eta_8\mu}{6} M_{89}=0$ can be rewritten as a sum of nonnegative squares $H_1+H_2+H_3$, with a leftover $H_4$ that is proportional to the Gauss law constraint and to terms killed by a choice of auxiliary signs $\hat{\eta}_a$. Imposing the Gauss law forces each square to vanish, producing first-order equations. Under an ansatz where pairs of embedding coordinates are related by $2\times 2$ matrices acting on the unit five-sphere, these equations reduce to linear matrix equations whose solutions are products of rotations. The explicit two-parameter solution has two independent angular momentum components and describes a five-brane whose spatial image is an ellipsoid rotating at fixed angular velocities; setting $A = r_{M5}'^4/r_{M5}^4=1$ recovers the static spherical solution.

Load-bearing premise

The argument depends on the claim, stated without derivation after Eq. (3.5), that the leftover term $H_4$ is exactly proportional to the Gauss law constraint once the auxiliary signs are fixed, so that imposing Gauss law turns the BPS condition into a sum of squares; if $H_4$ does not vanish on the constraint surface, the first-order equations are not implied by BPS saturation.

Editorial extensions

If this is right

The static spherical M5-brane vacuum is a special case of the new family, recovered when $A = r_{M5}'^4/r_{M5}^4 = 1$.
BPS solutions exist with two independent nonzero angular-momentum components, while a solution with only $M_{12}$ nonzero and the other three components zero does not exist.
The shape of the rotating brane is a time-independent ellipsoid, while the angular velocities are fixed by the flux $\mu$ and the sign choices, independent of the size parameters.
The methodology gives a general procedure: any four angular-momentum components satisfying the derived inequalities can be translated into initial matrices and hence into a BPS solution.
Solutions with at least one $\det R_a = 0$ are classified: no solution exists when exactly $\det R_4=0$ with $\det R_6, \det R_8$ nonzero, but solutions do exist when two or three determinants vanish.

Reading between the lines

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

If the proposed correspondence with the quarter-BPS sector of the plane-wave matrix model holds, the same sum-of-squares rewriting should survive a double Wick rotation; testing the rotating ellipsoid against eigenvalue distributions of the quarter-BPS operator would be a direct check, though the paper does not perform it.
The existence of a continuum of BPS solutions parameterized by angular momenta suggests that the BPS sector of the dual matrix model may be continuously degenerate, and one could look for corresponding saddle-point deformations in the matrix integral.
The rigid rotation at fixed angular velocities, independent of the size parameters, resembles the behavior of rotating fuzzy-sphere phases in matrix models; an M-theoretic counterpart of those phases may emerge from quantizing the finite-dimensional data $(A, \det R_4, \det R_6, \det R_8)$.
Because the explicit solution is built from $2\times 2$ matrix rotations, it may admit a natural generalization to other toric embeddings or to multiple M5-branes via a large-$N$ limit of the 5-bracket structure, though the paper does not pursue this.

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

The genuinely new thing here is the first explicit BPS solutions for a single M5-brane on the plane wave background with nonzero angular momentum. The rotating ellipsoid solution (3.46)-(3.47) is concrete, and the parameter counting is sensible. This looks like real progress toward the BMN correspondence, even though the paper doesn't complete that correspondence.

What the paper does well: the BPS bound rewrite is a useful technique; the static sphere is correctly recovered; the appendices are thorough; the solution passes the obvious sanity checks (real parameters in the allowed range, angular momentum signs consistent with the BPS inequalities). The citation pattern is fine; self-citations provide context, not the result.

The load-bearing gap is around (3.5). H4 is asserted to be proportional to the Gauss law constraint (3.4) after the eta-hat choice, but the proportionality is not shown. I don't see a manifest identity between the integral of P^A times those 5-brackets and the 2-form Gauss law; establishing it would require integration by parts plus the fundamental identity (3.8). Until that identity is displayed, the first-order equations H1=H2=0 are not established as consequences of BPS saturation. The explicit solution should be plugged back into the original BPS condition (3.2) as a direct check; the paper doesn't do that. The 'at least two det Rhat_a vanish' reduction is also terse, but I think that one is less concerning—it follows from (3.24) and (3.32) with a short argument, and the appendices cover the degenerate cases.

If H4 vanishes as claimed, the central result stands: a four-parameter family of BPS solutions with nonzero angular momentum. If not, the construction collapses to solutions of a modified condition that may not be BPS. The gap is real but probably fixable. I would want a referee to see it addressed.

Who this is for: people working on M5-branes, plane wave matrix models, and BPS geometry in M-theory. It deserves peer review, not desk rejection. The referee should ask for the H4 identity and a direct check of the BPS condition for the explicit solution.

Referee Report

1 major / 4 minor

Summary. The paper studies the bosonic sector of a single M5-brane on the eleven-dimensional plane-wave background. Starting from the light-cone Hamiltonian, it recalls the known static spherical solution and then attacks the BPS saturation condition, which it rewrites as a sum of squares H1+H2+H3 plus a remainder H4. The authors assert that after imposing the Gauss law constraint and fixing the signs eta-hat_a, H4 drops out, so BPS saturation is equivalent to the vanishing of the squares in H1, H2 and H3. This yields first-order differential equations and algebraic constraints, which are solved under a block-matrix ansatz. The main result is an explicit two-parameter family describing an ellipsoidal five-brane rotating without changing its shape, with non-zero angular momentum M12 and M45, and with the static sphere recovered in a limit. Appendices contain the reduction of the BPS equations, the Gauss law constraint, degenerate cases with vanishing det R_a, and inequalities for the parameters.

Significance. If the derivation is completed, the paper provides the first explicit classical BPS solutions for a single M5-brane on the plane-wave background with non-zero angular momentum. The explicit closed-form solution, the recovery of the static sphere, the computation of the angular momentum with definite signs, and the detailed appendices for the degenerate cases are valuable. The connection to the quarter-BPS sector of the BMN matrix model is a plausible and interesting motivation. However, the central square-completion step relies on an unproven assertion about the remainder H4, so the significance is conditional on closing that gap.

major comments (1)

[Section 3, after Eq. (3.32)] The claim that 'at least two out of three det R_hat_a are zero' follows from Eq. (3.24) is stated without proof. This is a load-bearing reduction because it justifies setting two of the R_hat_a matrices to zero and thereby reduces the solution to the two-parameter family. Under the assumption det R_a ≠ 0, Eq. (3.24) gives R_hat_b^T ε R_hat_c = 0 and R_hat_c^T ε R_hat_b = 0 for each cyclic pair; a short argument is needed to show that if two of det R_hat_a were non-zero this would force a contradiction. The authors should include this derivation and also justify the 'without loss of generality' relabeling that selects R_hat_6 = R_hat_8 = 0.

minor comments (4)

[Section 2] The text refers to the 'Plank length'; this should be 'Planck length'.
[Section 3, Eq. (3.5)] In the expression for H4, the summation over the index A in P^A is not specified; it should be stated explicitly that A runs over 1,...,9.
[Section 3, Eq. (3.4)] The Gauss law constraint is written as a two-form equation; it would be clearer to state that the coefficients of every dσ^α ∧ dσ^β must vanish.
[Section 3, Eq. (3.45)] The explicit solution uses the parameters r'_M5 and A, but the range (3.50) is stated only afterward; moving the range before the solution would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the BPS equations come from the supersymmetry algebra, the sum-of-squares decomposition is a rewriting of that BPS condition, and the solution parameters A and r'_M5 label the family rather than being fitted to the result.

full rationale

The claimed derivation is essentially self-contained. The BPS condition (3.2) is taken from the standard supersymmetry algebra (3.1), not constructed so as to force the ellipsoidal solution. The rewriting (3.3) is presented as H1+H2+H3+H4, and the first-order equations H1=0 and H2=0 are consequences of saturating the BPS bound once H4 is removed by the Gauss-law constraint and the choice (3.9)-(3.10). The only questionable step is the assertion after (3.5) that the P^A(...) terms in H4 are proportional to the Gauss-law constraint (3.4); the paper does not display the integration-by-parts and fundamental-identity argument. That is a proof gap and a correctness risk, not circularity: the claim is not that some quantity is defined in terms of another and then rediscovered, nor is any fitted parameter renamed as a prediction. The ansatz (3.21) is a free choice of the authors rather than an imported result, and the self-citations [1-6] supply background and motivation (such as the matrix-model correspondence) but are not the load-bearing step that produces the rotating-ellipsoid solution. The two parameters A and r'_M5 in the explicit solution (3.46)-(3.47) are undetermined family labels subject to the range (3.50), not fit to the target angular momenta; the angular momenta are computed subsequently from the solution. Accordingly, there is no circularity in the derivation chain and the circularity score is 0.

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

The derivation rests on standard M5-brane action, pp-wave background, known superalgebra, and standard sphere/bracket identities. No invented entities and no data-fitting parameters. The solution parameters A and r'_M5 label the BPS family rather than being fitted to external results.

free parameters (2)

A = not fitted
Labels the shape of the BPS family in the explicit two-parameter solution (Section 3). It is a solution parameter, not a data fit, constrained to 0 < A <= 1.
r'_M5 = not fitted
Size parameter of the explicit solution (Eqs. (3.43)-(3.50)); it is a solution parameter, not fitted, with 0 < r'^4/r^4 <= A.

assumptions (5)

domain assumption The single M5-brane action is the bosonic PST action with chiral two-form, auxiliary scalar, and fermions set to zero.
Used in Section 2 after Eq. (2.2). This truncation is standard for soliton solutions with no worldvolume flux, but it is an assumption that the BPS solutions of the full theory are captured.
domain assumption The plane wave background metric and flux (Eq. (2.1)) are taken as given.
Input background of M-theory; not derived in the paper.
domain assumption The light-cone supersymmetry algebra (Eq. (3.1)) with central charge terms mu/3 M_ij and mu/6 M_ab for the M5-brane on this background.
Used to define the BPS bound (Eq. (3.2)). Taken from known pp-wave superalgebra; not re-derived in this paper.
standard math The 5-sphere embedding identity {x^{a2},...,x^{a5}} = epsilon^{a1...a6} x^{a1} (Eq. (2.12)).
Used to evaluate 5-brackets in the ansatz; a standard property of the unit S^5 embedding.
standard math The fundamental identity of the 5-bracket (Eq. (3.8)).
Used to rearrange terms in the sum of squares; standard identity for Nambu-Poisson brackets.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Classical BPS M5-brane on the plane wave background." pith.science (2026). https://pith.science/paper/BIH4PERG

@misc{pith2026250603708,
  author       = {Pith},
  title        = {Pith review of: Classical BPS M5-brane on the plane wave background},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BIH4PERG}},
  note         = {Machine review of arXiv:2506.03708}
}

read the original abstract

We consider the bosonic theory for a single M5-brane on the plane-wave background and derive a family of BPS solutions with non-zero components of the angular momentum. By explicit construction of a BPS solution, we find the solution describes an ellipsoidal five-brane rotating without changing its shape. The methodology developed in this paper is expected to provide a strategy for obtaining the BPS solutions that correspond to a BPS sector in the dual gauge theory, such as the BMN matrix model.

Figures

Figures reproduced from arXiv: 2506.03708 by the authors.

**Figure 1.** A-dependence of the curves (X 1 (σ), X2 (σ)) and (X 4 (σ), X5 (σ)) at t = π/4 with r ′4 M5/r4 M5 fixed to 1/3. The left, center and right graphs depict the cases of A = 1/3, A = 2/3 and A = 1, respectively. We set µ = −6η4 and η1 = η4. One can see that the (X 1 , X2 ) direction shrinks to zero in the right-most graph (A = 1). Note also that the static spherical solution, seen in section 2, is contained in the BPS so… view at source ↗

**Figure 2.** r ′ M5-dependence of the shape of the rotating five-brane with A = 1. The left, center and right figures show the cases of r ′4 M5/r4 M5 = 1/3, r ′4 M5/r4 M5 = 2/3 and r ′4 M5/r4 M5 = 1, respectively. We set µ = −6η4. One can see that the brane becomes S 5 in the right-most figure. The time dependence is indicated by different transparencies: the more transparent, the earlier. 4 Summary We derived a family of BPS so… view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

16 extracted references · 8 canonical work pages

[1]

Banks, W

T. Banks, W. Fischler, S.H. Shenker and L. Susskind, M theory as a matrix model: A conjecture , Phys. Rev. D 55 (1997) 5112 [ hep-th/9610043]

arXiv 1997
[2]

Berenstein, J.M

D.E. Berenstein, J.M. Maldacena and H.S. Nastase, Strings in flat space and pp waves from N=4 superYang-Mills, JHEP 04 (2002) 013 [ hep-th/0202021]

arXiv 2002
[3]

Maldacena, M.M

J.M. Maldacena, M.M. Sheikh-Jabbari and M. Van Raamsdonk, Transverse five-branes in matrix theory , JHEP 01 (2003) 038 [ hep-th/0211139]

arXiv 2003
[4]

On the transverse M5-branes in matrix theory

Y. Asano, G. Ishiki, S. Shimasaki and S. Terashima, Spherical transverse M5-branes in matrix theory , Phys. Rev. D 96 (2017) 126003 [ 1701.07140]

work page Pith review arXiv 2017
[5]

Asano, G

Y. Asano, G. Ishiki, S. Shimasaki and S. Terashima, Spherical transverse M5-branes from the plane wave matrix model, JHEP 02 (2018) 076 [ 1711.07681]

arXiv 2018
[6]

Asano, G

Y. Asano, G. Ishiki, T. Okada and S. Shimasaki, Exact results for perturbative partition functions of theories with SU(2—4) symmetry , JHEP 02 (2013) 148 [ 1211.0364]

arXiv 2013
[7]

Pasti, D.P

P. Pasti, D.P. Sorokin and M. Tonin, Covariant action for a D = 11 five-brane with the chiral field , Phys. Lett. B 398 (1997) 41 [ hep-th/9701037]

arXiv 1997
[8]

Covariant Action for the Super-Five-Brane of M-Theory

I.A. Bandos, K. Lechner, A. Nurmagambetov, P. Pasti, D.P. Sorokin and M. Tonin, Covariant action for the superfive-brane of M theory , Phys. Rev. Lett. 78 (1997) 4332 [ hep-th/9701149]

work page Pith review arXiv 1997

Show all 16 references

[9]

Ho, C.-T

P.-M. Ho, C.-T. Ma and C.-H. Yeh, BPS States on M5-brane in Large C-field Background , JHEP 08 (2012) 076 [ 1206.1467]

2012 arXiv
[10]

Ho and Y

P.-M. Ho and Y. Matsuo, M5 from M2 , JHEP 06 (2008) 105 [ 0804.3629]

2008 arXiv
[11]

P.-M. Ho, Y. Imamura, Y. Matsuo and S. Shiba, M5-brane in three-form flux and multiple M2-branes , JHEP 08 (2008) 014 [ 0805.2898]

2008 arXiv
[12]

Howe, N.D

P.S. Howe, N.D. Lambert and P.C. West, The Selfdual string soliton , Nucl. Phys. B 515 (1998) 203 [hep-th/9709014]. 14

1998 arXiv
[13]

Howe, N.D

P.S. Howe, N.D. Lambert and P.C. West, The three-brane soliton of the M-five-brane , Phys. Lett. B 419 (1998) 79 [ hep-th/9710033]

1998 arXiv
[14]

Lust and A

D. Lust and A. Miemiec, Supersymmetric M5-branes with H field , Phys. Lett. B 476 (2000) 395 [hep-th/9912065]

2000 arXiv
[15]

Michishita, The M2 brane soliton on the M5 brane with constant 3 form , JHEP 09 (2000) 036 [hep-th/0008247]

Y. Michishita, The M2 brane soliton on the M5 brane with constant 3 form , JHEP 09 (2000) 036 [hep-th/0008247]

2000 arXiv
[16]

Youm, BPS solitons in M5 brane world volume theory with constant three form field , Phys

D. Youm, BPS solitons in M5 brane world volume theory with constant three form field , Phys. Rev. D 63 (2001) 045004 [ hep-th/0009082]. 15

2001 arXiv

Pith tools

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

[1] [1]

Banks, W

T. Banks, W. Fischler, S.H. Shenker and L. Susskind, M theory as a matrix model: A conjecture , Phys. Rev. D 55 (1997) 5112 [ hep-th/9610043]

arXiv 1997

[2] [2]

Berenstein, J.M

D.E. Berenstein, J.M. Maldacena and H.S. Nastase, Strings in flat space and pp waves from N=4 superYang-Mills, JHEP 04 (2002) 013 [ hep-th/0202021]

arXiv 2002

[3] [3]

Maldacena, M.M

J.M. Maldacena, M.M. Sheikh-Jabbari and M. Van Raamsdonk, Transverse five-branes in matrix theory , JHEP 01 (2003) 038 [ hep-th/0211139]

arXiv 2003

[4] [4]

On the transverse M5-branes in matrix theory

Y. Asano, G. Ishiki, S. Shimasaki and S. Terashima, Spherical transverse M5-branes in matrix theory , Phys. Rev. D 96 (2017) 126003 [ 1701.07140]

work page Pith review arXiv 2017

[5] [5]

Asano, G

Y. Asano, G. Ishiki, S. Shimasaki and S. Terashima, Spherical transverse M5-branes from the plane wave matrix model, JHEP 02 (2018) 076 [ 1711.07681]

arXiv 2018

[6] [6]

Asano, G

Y. Asano, G. Ishiki, T. Okada and S. Shimasaki, Exact results for perturbative partition functions of theories with SU(2—4) symmetry , JHEP 02 (2013) 148 [ 1211.0364]

arXiv 2013

[7] [7]

Pasti, D.P

P. Pasti, D.P. Sorokin and M. Tonin, Covariant action for a D = 11 five-brane with the chiral field , Phys. Lett. B 398 (1997) 41 [ hep-th/9701037]

arXiv 1997

[8] [8]

Covariant Action for the Super-Five-Brane of M-Theory

I.A. Bandos, K. Lechner, A. Nurmagambetov, P. Pasti, D.P. Sorokin and M. Tonin, Covariant action for the superfive-brane of M theory , Phys. Rev. Lett. 78 (1997) 4332 [ hep-th/9701149]

work page Pith review arXiv 1997