{"id":"ad76f5a0-96fe-4bda-acda-e27a84ea060c","arxiv_id":"1908.08696","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"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.","lead":"This paper proposes that the algebraic structure governing the symmetries of extended geometry, including cases where extra 'ancillary' gauge transformations appear, is a tensor hierarchy algebra rather than the Borcherds superalgebra used before. It constructs gauge brackets and an invariant action for finite-dimensional structure groups, a step toward a unified description of double and exceptional geometry.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central bridge from the tensor hierarchy algebra to extended geometry is identity (3.9), whose corank-2 solution is neither proved nor verifiable here: it is deferred to a placeholder companion and so the S-tensor identification (3.11) is unsecured.","rationale":"The reader's weakest_assumption identifies exactly this: the unproved existence and corank-2 solution of eq. (3.9), deferred to a companion reference with a placeholder identifier. My independent reading of Sections 3-6 confirms that this is the single point on which the paper's three advertised results (ancillary transformations from S, invariant pseudo-action, and the L-infinity algebra with ghost k) all converge. I did not find a second concern of comparable weight: the low L-infinity brackets in Section 6 are honestly labelled as partial and conjectural, and the explicit cancellation of the L1 variation is a genuine parameter-free calculation. The paper is also transparent about the (lambda,lambda) = 1 exclusion and about the companion paper supplying the algebra construction. Since the gap is an unverified existence statement rather than a demonstrated inconsistency, CONDITIONAL is the right standing; my analysis does not move the verdict. The proposed computational check would convert the weakest assumption into a tested example, and the appearance of the companion paper with the general proof would remove the concern entirely.","tokens_in":28161,"tokens_out":16985,"duration_ms":177905,"concrete_test":"Use an explicit projection-operator computation for a non-trivial case with (lambda,theta) > 1, for example g = E6, lambda = theta (the adjoint coordinate representation, where ~R1 is a singlet according to eq. (3.4)), to form the linear system (3.9) and solve for phi and ell. Check that Q = delta^beta_alpha - f_alpha^beta_gamma t^gamma - (lambda,lambda)^{-1} t^beta t_alpha has corank 2 on the relevant projector space and that the resulting ell obeys (ell_beta^alpha tensor t^beta)_{MN<PQ>} = S_alpha^{MNPQ} with S as in eq. (2.9). If the corank or the identity fails, eq. (3.11) and the sections built on it fail for this case; if it passes, the test still leaves universality over all allowed lambda open, so the companion proof would still be needed for the general claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is that the THA S(g+) replaces the Borcherds superalgebra as the algebraic structure behind extended geometry with ancillary transformations. The hinge is the Jacobi identity in the local part of S, stated as eq. (3.8), which forces phi and ell to satisfy eq. (3.9): phi^beta_alpha - ell_alpha^beta = delta^beta_alpha - f_alpha^beta_gamma t^gamma - (lambda,lambda)^{-1} t^beta t_alpha. The text then asserts that the right-hand side has corank 2, so a solution exists, and immediately equates the ell-part with the geometric S tensor in eqs. (3.10)-(3.11). The paper itself says \"This follows from the existence of the THA as defined in ref. [1], but seems surprisingly difficult to prove in a more direct manner\" and cites [1] only as \"yymm.nnnnn\". This is load-bearing: Section 4 derives the ancillary transformation from S using exactly this ell; Section 5 builds L1 = eta^{alpha gamma} G^{MP} ell_{alpha M}^{beta N} Pi_{P beta} Pi_{N gamma} and cancels Delta_xi L0 through eq. (3.10); Section 6 extends the L-infinity brackets only after the k ghost is placed at (0,1), whose algebraic role rests on the same module content. If (3.9) has no solution for some allowed lambda, or the corank is not 2, then the geometric S tensor is not a structure constant of S, and the ancillary, dynamical, and L-infinity constructions lose their stated foundation. The partial L-infinity brackets and the L1 cancellation are real, parameter-free computations, so the weakness is a missing existence proof, not an internal contradiction; but the existence statement is precisely the unverified premise on which the central claim depends.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proposes that tensor hierarchy algebras S(g+), rather than Borcherds superalgebras, are the algebraic structure underlying extended geometry when ancillary transformations are present. After reviewing extended geometry and the role of the Borcherds superalgebra, the authors introduce S(g+) and its double grading, identify the structure constants ℓ with the geometric S-tensor through Eq. (3.11), derive ancillary transformations from S-brackets in Section 4, construct a pseudo-action L0+L1 in Section 5, and give a partial L∞-algebra description including a new ancillary ghost k at level (0,1) in Section 6. The paper is explicit that the full L∞ structure is not derived and that several key algebraic identities are deferred to a companion paper.","tokens_in":28492,"tokens_out":4795,"duration_ms":49599,"significance":"If the central identity (3.9) is valid, this is an important conceptual advance: it gives a single algebraic object encoding both generalised diffeomorphisms and their ancillary transformations, unifying double, exceptional, and more exotic geometries, and suggesting a route to infinite-dimensional structure groups. The concrete computations are valuable: Section 3 identifies a genuine invariant of S with the geometric S-tensor, Section 4 derives the ancillary remainder from the algebra rather than by direct calculation, and Section 5 exhibits a parameter-free cancellation of the inhomogeneous variation of L0. The partial L∞ brackets in Section 6 are a useful starting point and are presented with unusual candour about their conjectural status. However, the central bridge between the tensor hierarchy algebra and the geometric S-tensor is not self-contained, and several dynamics identities are asserted rather than proved.","major_comments":[{"comment":"The central bridge between the tensor hierarchy algebra and extended geometry is the claim that the Jacobi identity in the local part of S forces ϕ and ℓ to satisfy Eq. (3.9), that the right-hand side has corank 2, and that consequently the geometric S-tensor is a structure constant of S via Eq. (3.11). This existence is not proved in the present paper; the text states that it “follows from the existence of the THA as defined in ref. [1]” and cites [1] only as “yymm.nnnnn”. Every subsequent construction—the ancillary transformation in Section 4, the L1 Lagrangian in Section 5, and the k-ghost brackets in Section 6—uses ℓ as a structure constant of S. As written, the main claim is conditional on an external result that the referee cannot verify. Please include a proof of the corank-2 statement, or make the dependence on the companion paper explicit and supply a citable version containing the proof.","section":"Section 3, Eqs. (3.8)–(3.11)"},{"comment":"The L∞ analysis is explicitly partial: the text states that “we will not derive a full set of brackets and prove all identities,” and the 4-bracket identity (6.25) is checked only at q=0. The vanishing of [[c,c,c,c]] requires a representative choice for [[c,c,k]] whose consistency is argued by “it becomes clear” rather than demonstrated, and the paper ends with conjectures about the general structure. Since one of the paper’s central claims is that the gauge structure forms an L∞ algebra, the conjectured higher brackets and the needed representative choices should either be proven or the claim should be explicitly stated as a conjecture with the checked low brackets clearly separated.","section":"Section 6.2, Eq. (6.25)"},{"comment":"The invariance of L0+L1 depends on two identities that are stated without proof: the involution property (5.2) for ℓ, and the vanishing of the tensor m in (5.4), which is justified by a representation-theoretic statement that is plausible but not demonstrated in detail. These identities are load-bearing for the dynamics claim. Please provide derivations or precise references for both; without them the cancellation of ΔξL1 and the vanishing of the second term in (5.3) are not fully supported.","section":"Section 5, Eqs. (5.1)–(5.4)"}],"minor_comments":[{"comment":"Reference [1] is cited only as “yymm.nnnnn”; this placeholder must be replaced with a full citation, ideally with a preprint number, before publication.","section":"References"},{"comment":"The sentence “This follows from the existence of the THA as defined in ref. [1]” is repeated almost verbatim later in the section; one occurrence should contain the precise statement of what is proved in the companion paper.","section":"Section 3, after Eq. (3.12)"},{"comment":"The restriction to (λ,λ)≠1 is mentioned only briefly; a few sentences explaining the origin of the degeneration and whether the results are expected to extend would help the reader.","section":"Sections 4 and 5"},{"comment":"The typography of displayed equations is sometimes hard to follow because of the old-style equation numbers; please ensure all equation labels are printed unambiguously in the final version.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about its limitations, and the partial results are substantial, but the central identity is deferred to a placeholder companion paper. If the companion paper is indeed available, the authors should either include the relevant proof here or make the dependency explicit and verifiable. As it stands, a referee cannot certify the main claim, so major revision is appropriate. The topic fits the journal well, and there is no indication of a novelty problem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know before reading. First, the paper is the direct extension of their earlier Borcherds-superalgebra construction to extended geometries with ancillary transformations, and the concrete computational steps it does show are coherent and free of fitted parameters. Second, the single most important equation—the Jacobi-identity condition (3.9) that identifies the geometric S tensor with a structure constant of the tensor hierarchy algebra S(g+)—is not proved here. The paper says the solution exists because the THA exists as defined in ref. [1], and ref. [1] appears as \"yymm.nnnnn\". That is a real gap, not a cosmetic one.\n\nWhat is new: the identification of S(g+) as the relevant algebra, the new ghost k at (p,q)=(0,1), the module ~R1 and the invariant tensor ℓ, the candidate Lagrangian L1 that cancels the S-tensor remainder, and the low L∞ brackets with k. The derivation in Section 4 that ancillary transformations come from the THA, the cancellation of ΔξL0 through identity (3.10), and the 3-bracket calculation in Section 6 are genuine, parameter-free computations. The paper also states its limits plainly: the L∞ analysis is partial, the 4-bracket identity is only checked at q=0, and (λ,λ)=1 is excluded. That honesty is worth something.\n\nThe soft spots, in order. The big one is (3.9). The corank-2 property and the existence of ϕ and ℓ solving it are asserted and delegated to the companion. If that fails for some allowed λ, the ancillary-term derivation, the L1 construction, and the k-ghost brackets all lose their foundation. The paper explicitly says the direct representation-theoretic proof is \"surprisingly difficult\", which is fine, but then the companion needs to actually exist and contain that proof. Second, Section 4's \"straightforward calculation\" is not shown; it matters because it is where ℓ first enters. Third, Section 6 ends in conjectures about higher brackets. These are mild in the sense that the paper says so.\n\nThe citation pattern is not a problem: the companion is the only missing piece. If the companion paper is real and contains the promised proof, this is a solid, important paper. As it stands, it is a conditional result whose hinge is off-page.\n\nWho it is for: people working on extended geometry, double/exceptional field theory, and L∞ gauge structure. I would not cite it in my own work until the companion is available. But it deserves a serious referee, with the requirement that the companion be provided or the corank-2 proof sketched.","headline":"A credible extension of the Borcherds-superalgebra framework to ancillary extended geometry, with real computations and honest caveats, but the central existence claim (3.9) sits in an unavailable companion paper.","tokens_in":29162,"tokens_out":2501,"would_cite":false,"duration_ms":25474,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B70","17B81","81T13"],"pacs":["11.30.Ly","04.65.+e","02.20.Tw"],"model":"deepseek-v4-flash","headline":"Tensor hierarchy algebras, not Borcherds superalgebras, underlie the full gauge structure of extended geometry, including ancillary transformations.","keywords":["tensor hierarchy algebras","extended geometry","ancillary transformations","L-infinity algebra","Borcherds superalgebra","generalised diffeomorphisms","gauge structure","pseudo-action"],"falsifier":"A direct construction of S(g+) for a specific g and λ where identity (3.9) either has no solution or leads to a contradiction would undermine the central claim. For instance, checking the identity (3.9) explicitly for a case with ancillary transformations, such as g = E8, λ = the adjoint (where (λ,θ)=2), and verifying that the resulting ℓ indeed satisfies (3.11) and the Jacobi identity would settle the matter.","tokens_in":27837,"feed_emoji":"🧮","tokens_out":1377,"duration_ms":13689,"temperature":0.7,"pith_summary":"This paper argues that the gauge structure and dynamics of extended geometry, including cases where ancillary transformations appear in the commutator of two generalised diffeomorphisms, are governed by a tensor hierarchy algebra (THA) rather than a Borcherds superalgebra. The central claim is that the tensor hierarchy algebra S(g+) naturally contains the ancillary transformations, which the Borcherds superalgebra cannot accommodate. If correct, the structure constants of S(g+) reproduce the geometric S tensor, and the Lagrangian L0 + L1 is invariant for finite-dimensional structure groups. The paper also provides a partial L-infinity algebra description of the gauge structure, introducing a new ghost at level (0,1).","feed_headline":"Tensor hierarchy algebra powers extended geometry's gauge structure","feed_subtitle":"A non-contragredient superalgebra replaces the Borcherds superalgebra to host ancillary transformations.","key_machinery":"The central object is the tensor hierarchy algebra S(g+), a non-contragredient superalgebra that is a double extension of the structure algebra g of the extended geometry. It is defined using a double grading (p,q) and contains modules at level -1, 0, 1 that include the ancillary transformations. The key identity is equation (3.9), which relates the structure constants phi and ell, and equation (3.11), which identifies the geometric S tensor with a combination of ell and t. This identity is essential for deriving the ancillary terms in the dynamics and for constructing the L-infinity brackets.","core_discovery":"The paper establishes that the tensor hierarchy algebra S(g+) is the correct underlying algebraic structure for extended geometry, as it naturally harbours the ancillary transformations that appear in the commutator of two generalised diffeomorphisms. In contrast, the Borcherds superalgebra cannot support these transformations. The key identity relates the structure constants phi and ell of S(g+) to the geometric S tensor, showing that the S tensor is literally a THA structure constant. The paper also constructs an invariant pseudo-action L0 + L1 using the THA structure constants, and outlines an L-infinity algebra with ghosts including a new ghost k at level (0,1).","pith_inferences":["The paper's claim that S(g+) is the right algebra suggests that many other geometric structures in extended geometry, such as torsion and Bianchi identities, may also be encoded in the THA, offering a unified algebraic description.","The explicit construction of an L-infinity algebra from S(g+) may lead to a systematic way to construct higher brackets for other Leibniz algebras, connecting to the general theory of infinity-enhanced Leibniz algebras.","The appearance of ancillary fields at ghost number 0 for affine structure groups (like E9) could imply that the usual ghost counting in extended geometry needs modification for infinite-dimensional groups, potentially leading to new constraints or field content.","The bilinear form on S(g+) may be used to construct actions that are dual to the pseudo-action, providing a more geometric formulation of the dynamics."],"forward_implications":["The gauge structure of extended geometry with finite-dimensional structure groups, including those with ancillary transformations, is encoded in an L-infinity algebra derived from S(g+), with a new ghost k at level (0,1).","The invariant pseudo-action L0 + L1, constructed from THA structure constants, provides a complete dynamics for all extended geometries with finite-dimensional structure group.","The S tensor, which controls ancillary transformations, is a structure constant of S(g+), making the algebraic origin of the ancillary terms explicit.","The construction extends to infinite-dimensional structure groups, with the example of E9 geometry suggesting ancillary fields at ghost number 0.","The THA framework may provide the algebraic basis for the embedding tensor and torsion representations in extended geometry."],"supporting_citations":[{"why":"Defines the generalised diffeomorphisms and the S tensor, and gives the list of cases with ancillary transformations.","marker":"[2]"},{"why":"Constructs the L-infinity algebra for extended geometry from a Borcherds superalgebra in the absence of ancillary transformations, which this paper extends.","marker":"[3]"},{"why":"Companion paper that constructs the tensor hierarchy algebras; the existence of S(g+) and the identity (3.9) rely on it.","marker":"[1]"},{"why":"Introduces tensor hierarchy algebras, the underlying algebraic structure this paper uses.","marker":"[6]"},{"why":"Provides generators and relations for Lie superalgebras of Cartan type, used in the construction of S(g+).","marker":"[7]"}],"fun_headline_variants":["Tensor hierarchy algebra replaces Borcherds in extended geometry","Extended geometry gauging shifts to tensor hierarchy algebras","Ancillary transformations fit tensor hierarchy, not Borcherds","New algebra underpins extended geometry's gauge dynamics","THA emerges as true algebra for extended geometry"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the tensor hierarchy algebra S(g+) exists with the claimed module content and that identity (3.9) has a solution for every relevant Dynkin label configuration, a fact the paper admits is surprisingly difficult to prove directly and is deferred to the companion paper.","fun_headline_variants_meta":{"raw":{"variants":["Tensor hierarchy algebra replaces Borcherds in extended geometry","Extended geometry gauging shifts to tensor hierarchy algebras","Ancillary transformations fit tensor hierarchy, not Borcherds","New algebra underpins extended geometry's gauge dynamics","THA emerges as true algebra for extended geometry"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000228,"raw_usage":{"total_tokens":1398,"prompt_tokens":793,"completion_tokens":605,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":409,"completion_tokens_details":{"reasoning_tokens":530}},"tokens_in":409,"tokens_out":605,"duration_ms":6771,"temperature":1.0,"reasoning_tokens":530,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:33:17.350073+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct construction of S(g+) for a specific g and λ where identity (3.9) either has no solution or leads to a contradiction would undermine the central claim. For instance, checking the identity (3.9) explicitly for a case with ancillary transformations, such as g = E8, λ = the adjoint (where (λ,θ)=2), and verifying that the resulting ℓ indeed satisfies (3.11) and the Jacobi identity would settle the matter.","supporting_citations":[{"cited_title":"Cederwall and J","cited_arxiv_id":null,"evidence_quote":"Companion paper that constructs the tensor hierarchy algebras; the existence of S(g+) and the identity (3.9) rely on it."},{"cited_title":"Generators and relations for Lie superalgebras of Cartan type","cited_arxiv_id":"1802.05767","evidence_quote":"Provides generators and relations for Lie superalgebras of Cartan type, used in the construction of S(g+)."}],"review_version":1}