{"id":"5997adea-c939-48f2-add4-9a6da80f3742","arxiv_id":"2501.03000","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Using Kac-Moody algebra embeddings, the paper concludes that a non-trivial 11D bosonic m-theory must be m-theory, while a 27D bosonic m-theory based on K27/E27 does not exist.","lead":"This paper argues that any non-trivial 11D bosonic m-theory must be just the bosonic sector of standard m-theory, and that no 27D bosonic m-theory exists. It uses Kac-Moody symmetries K11 and K27 to judge which proposed extensions of the closed bosonic string can protect the correct low-energy coefficients.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The 27D no-go rests on an uncomputed E27 commutator at level 8; until Eq. (7.4) is evaluated, K27 not being a subalgebra of E27 is an assertion, not a demonstrated result.","rationale":"The reader identified the same load-bearing gap: the 27D no-go is the novel conclusion, and it rests on an E27 commutator that the paper does not compute. Our stress-test of the full text finds the manuscript's own caveat—'we cannot check this explicitly'—makes this the weakest point in the argument. The E11 analogy is suggestive but not a proof; the specific '27,27' index pattern in Eq. (7.4) could in principle vanish even if the analogous E11 commutator is non-zero. The 11D argument is comparatively well-supported by the explicit embedding (6.2) and by the generation of E11 from its level-1 generator, so we do not flag it as the primary issue. A single SimpLie computation of the level-8 E27 commutator would settle the question. Since the reader's REJECT verdict is based on exactly this missing support, our recommendation is no change.","tokens_in":8821,"tokens_out":7710,"duration_ms":66462,"concrete_test":"Use SimpLie (cited as [12]) to compute E27 to level 8 and evaluate [R̂^{c1c2 27}, R̂^{d1...d22 27,27}] for all index choices. A non-zero structure constant confirms Eq. (7.4) fails and K27 is not a subalgebra; a zero result would invalidate the paper's stated basis for the 27D no-go and require a new argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section 7, the paper's central 27D conclusion depends on Eq. (7.4): for K27 to embed into E27, the E27 commutator [R̂^{c1c2 27}, R̂^{d1...d22 27,27}] must vanish; the paper instead asserts it is non-zero based on an analogy with an E11 commutator. The paper explicitly concedes 'we cannot check this explicitly' because the E27 algebra to level 8 is unavailable, and the asserted non-vanishing is not backed by any actual structure-constant computation. If (7.4) turns out to vanish, the stated reason for K27 not being a subalgebra of E27 disappears, and the conclusion that no 27D bosonic m-theory exists loses its main support. The 11D conclusion, by contrast, rests on the embedding K11 ⊂ E11 and the generation of E11 from its level-1 generator, which is more secure and is not the bottleneck.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper asks whether a 'bosonic m-theory' extension of the 10D and 26D closed bosonic string exists, using the Kac-Moody algebras K11 = D^{+++}_8 and K27 = D^{+++}_{24} as symmetry principles that protect the coefficients of the respective string effective actions. It argues that the Susskind-Horowitz bosonic m-theory obtained by compactification on S1/Z2 does not preserve K11 or K27 and is therefore disfavored. The paper then claims that in 11D the only non-trivial extension of K11 containing gravity and a 3-form is E11, so that a non-trivial 11D bosonic m-theory must be the bosonic sector of ordinary m-theory. In 27D it claims that K27 is not a subalgebra of E27, that no consistent E27-based duality theory exists, and hence that no obvious 27D bosonic m-theory exists. The central 11D argument is a low-level generator argument, while the 27D no-go depends on an uncomputed commutator and on assertions about missing generators in E27.","tokens_in":9140,"tokens_out":10380,"duration_ms":164036,"significance":"If the 11D claim is correct, it gives a symmetry-only route to identifying the bosonic sector of m-theory as the unique non-trivial extension of the 10D closed bosonic string, without invoking supersymmetry. If the 27D no-go were proven, it would sharply constrain attempts to construct a bosonic analogue of m-theory in 27 dimensions. The paper is clearly written, avoids free parameters, and is candid about its computational limitations. However, the 27D conclusion is not established: the decisive structure constant at Eq. (7.4) is never computed, and the absence of dual fields in E27 is asserted from an incomplete level decomposition. The 11D embedding claim K11 ⊂ E11 also lacks a verification of the algebra relations at all levels. These gaps are load-bearing for the main claims, though the manuscript's framing as a 'does not seem to exist' conclusion is appropriately cautious.","major_comments":[{"comment":"The central 27D no-go rests on the assertion that [\\hat{R}^{c1c2 27}, \\hat{R}^{d1..d22 27,27}] is nonzero in E27. The paper explicitly states 'we cannot check this explicitly' because the E27 algebra to level 8 is unavailable, and instead infers non-vanishing from an analogy with an E11 commutator at a different level. This is not a derivation: vanishing could occur through representation-theoretic identities or index antisymmetries. If (7.4) vanishes, the stated reason for K27 not being a subalgebra of E27 disappears. The 27D conclusion is therefore unsupported.","section":"Section 7, Eq. (7.4)"},{"comment":"The argument that no E27-based duality theory can exist relies on the absence of A^{c1..c22} and \\hat{R}^{c1..c24,d} in E27. The paper admits it was 'not possible to fully list E27 to level 8', and the absence of a representation cannot be concluded from an incomplete level decomposition. Without a complete listing, one cannot assert that these generators are absent at the required levels. This undermines the duality-relation argument that is the physical content of the 27D no-go.","section":"Section 8, Eqs. (8.1)-(8.2)"},{"comment":"The claim that K11 is a subalgebra of E11 is justified by the sentence 'Since we have described the level one generators of K11 in terms of generators obtainable from the level one generators of E11, this correspondence will hold at all levels'. This is a logical gap: a map on level-one generators extends to a homomorphism only if the commutator relations of K11 are preserved by the images in E11. No such check is provided, and no reference is given. This is load-bearing for the 11D conclusion that non-trivial extensions of K11 are controlled by E11.","section":"Section 6, after Eq. (6.2)"},{"comment":"The conclusion that extending R^{a1a2} = \\hat{R}^{a1a211} to the full E11 generator \\hat{R}^{a1a2a3} 'immediately find[s] all of E11' uses the assertion that 'E11 is generated by the level one generator'. This generation statement is not proved or referenced in the manuscript. If it is a standard property of E11, a precise citation is needed; otherwise the claim that there is 'no strict algebra between K11 and E11' describing gravity and a 3-form is not established.","section":"Section 6, last paragraph"}],"minor_comments":[{"comment":"The term 'protects the coefficients' is used repeatedly but never defined precisely; consider stating explicitly what symmetry protection means in terms of the non-linear realization and the uniqueness of the coset dynamics.","section":"Section 3"},{"comment":"The parenthetical '(a = a, 11, a = 1, .., 10)' is confusing; separate the index conventions for A10 and the full 11D indices.","section":"Section 5, Eq. (5.1)"},{"comment":"The phrase 'partially to level two' is vague; specify exactly which levels of K27 are completely listed and which are incomplete.","section":"Section 7"},{"comment":"The notation '[level 1, level minus 8] = level minus 7' is non-standard and obscures the level counting; use the ordinary integer level of E27 throughout.","section":"Section 7, Eq. (7.4)"},{"comment":"Reference [14] is listed as 'In preparation' and is used to support the utility of K11/K27 as guiding requirements; for a refereeable claim, either provide the details or mark the statement as conjectural.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about its limitations, but the main 27D no-go is not proven because it relies on an uncomputed commutator and incomplete level data. The 11D argument is more plausible but still has a gap in establishing the subalgebra embedding. I recommend major revision rather than outright rejection because the gaps are potentially fixable: the author could compute the relevant E27 structure constants (perhaps with improved computational methods), or soften the claims to explicitly conditional statements. If the key commutator cannot be computed, the no-go should be presented as a conjecture, which would substantially reduce the paper's advertised strength."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nHere's my read of Glennon's bosonic M-theory paper. The new thing is the claim that a non-trivial 11D bosonic m-theory must be ordinary m-theory, and that in 27D there is no such theory because K27 does not embed in E27. The reader's take and the stress-test have the right target: the 27D no-go is the load-bearing wall, and it isn't actually derived.\n\nWhat the paper does well is the 11D argument. The logic is clean. K11's level-one generator is a 2-form; extending it to a 3-form forces the E11 level-one generator, and E11 is generated from level one, so no intermediate algebra exists. If you want gravity plus a 3-form plus K11, you get E11. That's a solid conceptual point, and it's new as far as I know.\n\nThe 27D case is where it gets soft. The key check is Eq. (7.4): K27's vanishing commutator between the 2-form and dual Kalb-Ramond generators has to map to a vanishing commutator in E27. The paper admits it cannot compute this, then asserts it is non-zero by analogy with E11. That is not a result. The analogy is suggestive but not a proof. If the commutator vanishes, the stated reason for K27 ⊄ E27 collapses. The paper also argues that E27 lacks a dual 3-form, but that's based on incomplete high-level generator data, so absence of evidence again isn't evidence of absence. I agree with the stress-test that the 11D conclusion is the more defensible part.\n\nA separate issue: the definition of 'non-trivial' bosonic m-theory in terms of preserving K11/K27 and following the IIA→E11 pattern does some work in the 11D argument. But even if you don't like that framing, the 3-form requirement does the heavy lifting. So the 11D conclusion is not cooked.\n\nWho benefits? Someone working on E theory, K27, or monstrous m-theory. It's a short conceptual paper with one strong argument and one conjectural claim. The paper itself is honest about the computational gap, so the authors are not hiding anything.\n\nMy recommendation: send it to a specialist referee. A person who knows E27 structure constants could either compute Eq. (7.4) or explain why it's intractable, and that would settle the matter. As it stands, the 27D no-go should be labeled a conjecture, not a claim. The 11D part deserves publication on its own.","headline":"Clean 11D argument, honest but unproven 27D no-go; worth a specialist look.","tokens_in":9560,"tokens_out":3475,"would_cite":false,"duration_ms":27843,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B67","81T30"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper argues that the only non-trivial 11D bosonic m-theory is the bosonic sector of M-theory, and that no 27D bosonic m-theory exists.","keywords":["Kac-Moody algebra","E11","K11","K27","closed bosonic string","bosonic M-theory","duality relations","very-extended algebra"],"falsifier":"Compute the level-8 commutator [\\hat{R}^{c1c2}_{27}, \\hat{R}^{d1...d22}_{27,27}] in E27; if it vanishes, K27 embeds into E27 and the paper's 27D no-go result collapses. A level-8 decomposition of E27, achievable in principle with Kac-Moody computer algebra, would settle this.","tokens_in":8585,"feed_emoji":"🌀","tokens_out":8770,"duration_ms":72077,"temperature":0.7,"pith_summary":"Starting from the Kac-Moody algebras K11 and K27, which the paper argues protect the coefficients of the closed bosonic string in 10 and 26 dimensions, the paper asks what a would-be 'bosonic m-theory' in one dimension higher would have to be. It argues that in 11D the only non-trivial extension of K11 containing gravity and a three-form is E11, so a consistent 11D bosonic m-theory is just the bosonic sector of ordinary M-theory. In 27D the analogous extension would require K27 to sit inside E27, but the paper claims K27 is not a subalgebra of E27 and that E27 lacks the dual three-form needed for first-order duality relations, so no obvious 27D bosonic m-theory exists. If correct, this rules out the naive S1/Z2 compactification proposal and singles out E11 as the unique symmetry route from the 10D closed bosonic string to 11D.","feed_headline":"The only 11D bosonic m-theory is ordinary M-theory","feed_subtitle":"The Kac-Moody symmetries of closed strings also rule out a 27D analog.","key_machinery":"The machinery is the level decomposition of very-extended Kac-Moody algebras into representations of GL(D), together with the non-linear realization G \\otimes_s $\\ell^1$/Ic(G) that turns an algebra into field dynamics. The load-bearing objects are the embeddings K11 \\subset E11 and would-be K27 \\subset E27, obtained by writing generators with an explicit extra index. The decisive identity is that the level-one E11 generator $R^{{a1a2a3}}$ generates the whole algebra, and for 27D the level-eight commutator [\\hat{R}^{c1c2}_{27}, \\hat{R}^{d1...d22}_{27,27}] that would have to vanish for K27 to embed into E27; the paper infers that it does not vanish from an analogous E11 commutator. The absence of a dual three-form in E27 is what prevents the first-order duality relations required for a consistent bosonic m-theory.","core_discovery":"The paper's central claim is that the very-extended Kac-Moody algebras K11 = $D^{{+++}}$_8 and K27 = $D^{{+++}}$_{24} are the symmetries that protect the closed bosonic string dynamics in 10D and 26D, and that lifting these symmetries to one higher dimension forces the 11D theory to be the E11-based bosonic sector of M-theory while forbidding a 27D counterpart. For 11D, the argument is that promoting the K11 Kalb-Ramond generator $R^{{a1a2}}$ to the full E11 three-form $R^{{a1a2a3}}$ generates all of E11, so there is no intermediate algebra. For 27D, the obstruction is that the K27 relation [$R^{{c1c2}}$, $R^{{d1...d22}}$] = 0 would have to hold inside E27, but the corresponding E27 commutator is argued on an E11 analogy to be non-zero, and E27 has no dual three-form to serve as a parent for the K27 dual Kalb-Ramond field. As a result, a theory of duality relations based on E27 cannot exist, so no obvious bosonic m-theory exists in 27D.","pith_inferences":["A direct computation of the level-8 E27 commutator, once available, would settle the 27D no-go claim cleanly, since the paper's inference from E11 is its weakest link.","The paper's logic suggests that a genuine 27D bosonic m-theory, if it exists, must abandon the very-extended Kac-Moody symmetry structure used here or introduce an entirely new principle to protect the string coefficients.","The uniqueness of E11 in 11D lends support to the broader program in which Kac-Moody symmetries replace supersymmetry as the protector of effective-action coefficients, a role that could be probed in other dimensional reductions."],"forward_implications":["The S1/Z2-compactified 'bosonic m-theory' cannot be correct, because it does not preserve the K11 and K27 symmetries that protect the closed bosonic string coefficients.","In 11D, a non-trivial bosonic m-theory must coincide with the bosonic sector of ordinary M-theory, described by the E11 non-linear realization.","In 27D, no Kac-Moody extension of the closed bosonic string exists that contains gravity and a three-form while preserving K27, so a 27D bosonic m-theory of this type is excluded.","The duality-relation structure works only for E11 in 11D, making the 10D-to-11D transition special and providing a sharp constraint on other 'm-theory' analogies."],"supporting_citations":[{"why":"Conjectures that E11 is the symmetry of M-theory and provides the starting point for the Kac-Moody approach the paper extends.","marker":"[1]"},{"why":"Derives the bosonic sector of the M-theory low-energy effective action from the non-linear realization of E11, which the paper relies on for duality relations.","marker":"[2]"},{"why":"Supplies the E11 generator content and the non-linear realization framework used to compare K11 and E11.","marker":"[7]"},{"why":"Establishes K27 as a symmetry of the 26D closed bosonic string and gives the K27 generators and the relation [R^{c1c2}, R^{d1...d22}]=0 needed for the embedding test.","marker":"[9]"},{"why":"Proposes the S1/Z2 compactification 'bosonic m-theory' whose incorrect dilaton coefficient motivates the search for symmetry-preserving alternatives.","marker":"[10]"},{"why":"Shows the compactified action lacks the predicted coset symmetries of K27, supporting the paper's claim that K27 must be preserved.","marker":"[11]"}],"fun_headline_variants":["Kac-Moody symmetries force 11D M-theory, ban 27D","27D bosonic M-theory impossible per Kac-Moody","Only 11D bosonic M-theory exists, no 27D","Kac-Moody says: 11D M-theory, no 27D","M-theory's bosonic sector is the only 11D option"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The 27D conclusion depends on the claim that the E27 commutator corresponding to K27's vanishing relation [$R^{{c1c2}}$, $R^{{d1...d22}}$] = 0 is non-zero, which the paper cannot compute directly and instead infers from a similar E11 commutator.","fun_headline_variants_meta":{"raw":{"variants":["Kac-Moody symmetries force 11D M-theory, ban 27D","27D bosonic M-theory impossible per Kac-Moody","Only 11D bosonic M-theory exists, no 27D","Kac-Moody says: 11D M-theory, no 27D","M-theory's bosonic sector is the only 11D option"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000836,"raw_usage":{"total_tokens":3640,"prompt_tokens":933,"completion_tokens":2707,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":549,"completion_tokens_details":{"reasoning_tokens":2601}},"tokens_in":549,"tokens_out":2707,"duration_ms":19223,"temperature":1.0,"reasoning_tokens":2601,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T21:58:56.481765+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the level-8 commutator [\\hat{R}^{c1c2}_{27}, \\hat{R}^{d1...d22}_{27,27}] in E27; if it vanishes, K27 embeds into E27 and the paper's 27D no-go result collapses. A level-8 decomposition of E27, achievable in principle with Kac-Moody computer algebra, would settle this.","supporting_citations":[{"cited_title":"E11 and M theory","cited_arxiv_id":null,"evidence_quote":"Conjectures that E11 is the symmetry of M-theory and provides the starting point for the Kac-Moody approach the paper extends."},{"cited_title":"and West, P., 2016","cited_arxiv_id":null,"evidence_quote":"Derives the bosonic sector of the M-theory low-energy effective action from the non-linear realization of E11, which the paper relies on for duality relations."},{"cited_title":"Introduction to strings and branes","cited_arxiv_id":null,"evidence_quote":"Supplies the E11 generator content and the non-linear realization framework used to compare K11 and E11."},{"cited_title":"and West, P., 2020","cited_arxiv_id":null,"evidence_quote":"Establishes K27 as a symmetry of the 26D closed bosonic string and gives the K27 generators and the relation [R^{c1c2}, R^{d1...d22}]=0 needed for the embedding test."},{"cited_title":"and Susskind, L., 2001","cited_arxiv_id":null,"evidence_quote":"Shows the compactified action lacks the predicted coset symmetries of K27, supporting the paper's claim that K27 must be preserved."}],"review_version":1}