{"id":"16e46278-7e66-463f-a779-13cc40156b44","arxiv_id":"2605.16188","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Non-invertible symmetry defects from 11D supergravity descend to Type IIA, splitting the Bianchi sector into invertible H[3] and twisted non-invertible F[4] parts with a BF-type auxiliary sector.","lead":"This paper studies the Kaluza-Klein descent of non-invertible higher-form symmetry defects from eleven-dimensional supergravity down to Type IIA supergravity on a circle. Researchers in string theory and quantum symmetries might read it to see how non-invertible structures behave under dimensional reduction.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"Pushforward of auxiliary topological sector under KK reduction in zero-mode regime","rationale":"The reader's weakest assumption directly identifies the same point. The full text presumably contains the construction, but the zero-mode compatibility for the auxiliary sector remains the least explicitly secured step; the proposed check would confirm or refute whether the descent preserves the claimed structure.","tokens_in":1697,"tokens_out":332,"duration_ms":33463,"concrete_test":"Take the explicit 11D defect operator and auxiliary 7D CS action from the paper; perform the circle reduction explicitly on a test manifold (e.g., S^1 × T^6) keeping only zero modes, compute the resulting 6D BF sector and fusion rules, and verify whether the non-invertible BF-dressed defects reproduce the claimed Type IIA algebra without additional phases or invertibility restoration.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim requires that the full 11D defect (including auxiliary topological sector) admits a well-defined pushforward along the M-theory circle, with the 7D Chern-Simons-like auxiliary theory descending to a 6D BF-type sector while preserving non-invertibility. This is least secure in the zero-mode Supergravity regime, where massive KK modes are integrated out; the topological auxiliary sector could receive corrections or lose its non-invertible character if the reduction does not commute with the defect construction or if the Bianchi identity splitting (dF̃_{[4]} + H_{[3]} ∧ F_{[2]} = 0) does not fully capture the auxiliary coupling after descent.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript studies the Kaluza-Klein descent of non-invertible higher-form symmetry defects from eleven-dimensional supergravity to Type IIA supergravity. It claims that the full defect, including its auxiliary topological sector, admits a pushforward along the M-theory circle in the zero-mode supergravity regime; the 7D Chern-Simons-like auxiliary theory descends to a 6D BF-type sector; the 11D Bianchi sector splits into an invertible H_{[3]}-sector and a twisted non-invertible F̃_{[4]}-sector governed by dF̃_{[4]} + H_{[3]} ∧ F_{[2]} = 0; and the resulting Type IIA defect algebra contains both an invertible Picard subgroup and non-invertible BF-dressed defects, with charged probes identified via the standard M-theory/Type IIA brane dictionary.","tokens_in":1837,"tokens_out":678,"duration_ms":45662,"significance":"If the central claims are established, the work would provide a concrete bridge between non-invertible symmetries in M-theory and their Type IIA counterparts, extending the study of generalized symmetries to compactified supergravity settings. It builds directly on an existing eleven-dimensional construction and the standard M-theory/Type IIA dictionary, and the explicit splitting of the Bianchi identity offers a potentially falsifiable prediction for the structure of the reduced defect algebra.","major_comments":[{"comment":"The central claim that the auxiliary topological sector remains well-defined and pushforward-compatible under Kaluza-Klein reduction specifically in the zero-mode regime (where massive modes are integrated out) is load-bearing yet unsupported by explicit derivation. The manuscript states the descent of the 7D Chern-Simons-like theory to a 6D BF sector but does not demonstrate that the auxiliary coupling commutes with the reduction or that the Bianchi identity splitting fully captures the non-invertible character after descent.","section":"Kaluza-Klein descent section (around the pushforward claim)"},{"comment":"The assertion that the compactification splits the Bianchi sector into an invertible H_{[3]}-sector and a twisted non-invertible F̃_{[4]}-sector controlled by dF̃_{[4]} + H_{[3]} ∧ F_{[2]} = 0 is presented without an intermediate calculation showing how the auxiliary sector descends without receiving corrections from the zero-mode truncation. This step is required to establish that the resulting Type IIA defects remain non-invertible.","section":"Bianchi sector splitting paragraph"}],"minor_comments":[{"comment":"Notation for the twisted field strength F̃_{[4]} is introduced without an explicit definition of the twist in terms of the auxiliary sector; a short clarifying equation would improve readability.","section":"Notation paragraph"},{"comment":"The abstract states results with 'we show' but the main text would benefit from a brief outline of the logical steps (e.g., 'Step 1: ...') before the detailed descent.","section":"Introduction"}],"recommendation":"major_revision","confidential_remarks":"The manuscript appears to rest heavily on a prior eleven-dimensional construction; the editor may wish to verify that the novelty disclosure clearly distinguishes the new descent results from that earlier work."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and constructive comments on our manuscript. The points raised highlight the importance of providing more explicit derivations for the Kaluza-Klein descent of the auxiliary sector and the Bianchi identity splitting. We address each comment below and have incorporated additional calculations into the revised manuscript to strengthen these sections.","responses":[{"response":"We agree that an explicit derivation would improve the rigor of the central claim. In the zero-mode regime, the auxiliary 7D Chern-Simons-like theory is purely topological; its coupling to the defect is invariant under integration over the M-theory circle because massive Kaluza-Klein modes decouple from topological sectors. We will add a dedicated subsection that performs the explicit pushforward of the auxiliary theory, showing that it descends to the 6D BF sector without additional corrections and that the non-invertible character is preserved. This directly addresses the commutation of the auxiliary coupling with the reduction.","revision_made":"yes","referee_comment":"[Kaluza-Klein descent section (around the pushforward claim)] The central claim that the auxiliary topological sector remains well-defined and pushforward-compatible under Kaluza-Klein reduction specifically in the zero-mode regime (where massive modes are integrated out) is load-bearing yet unsupported by explicit derivation. The manuscript states the descent of the 7D Chern-Simons-like theory to a 6D BF sector but does not demonstrate that the auxiliary coupling commutes with the reduction or that the Bianchi identity splitting fully captures the non-invertible character after descent."},{"response":"We concur that intermediate steps are needed for transparency. Beginning from the 11D Bianchi identity associated with the non-invertible defect, the reduction along the circle decomposes the 4-form into components that yield the invertible H_{[3]} sector together with the twisted non-invertible F̃_{[4]} obeying dF̃_{[4]} + H_{[3]} ∧ F_{[2]} = 0. Because the auxiliary sector is topological, the zero-mode truncation introduces no further corrections. We will insert a step-by-step calculation of this splitting in the revised manuscript, confirming that the Type IIA defects retain their non-invertible nature.","revision_made":"yes","referee_comment":"[Bianchi sector splitting paragraph] The assertion that the compactification splits the Bianchi sector into an invertible H_{[3]}-sector and a twisted non-invertible F̃_{[4]}-sector controlled by dF̃_{[4]} + H_{[3]} ∧ F_{[2]} = 0 is presented without an intermediate calculation showing how the auxiliary sector descends without receiving corrections from the zero-mode truncation. This step is required to establish that the resulting Type IIA defects remain non-invertible."}],"tokens_in":1504,"tokens_out":591,"duration_ms":56801,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that the authors take the eleven-dimensional non-invertible higher-form defects, auxiliary topological sector included, and push them forward along the M-theory circle to produce a Type IIA defect algebra that mixes an invertible Picard subgroup with non-invertible BF-dressed defects. They also split the Bianchi identity into an invertible H3 sector and a twisted non-invertible F4 sector controlled by dF̃4 + H3 ∧ F2 = 0, with charged probes read off from the usual brane dictionary. This is a direct application of the standard M-theory to IIA reduction to the generalized-symmetry setting. What works is the clean organization: the seven-dimensional Chern-Simons-like auxiliary theory descends to a six-dimensional BF-type sector, and the resulting algebra is presented as a concrete outcome rather than an abstract claim. The construction builds on prior 11D work without obvious circularity or invented entities. The soft spot is the zero-mode regime itself. The central step—that the full defect including the auxiliary sector admits a well-defined pushforward when massive KK modes are integrated out—remains at the level of a statement in the abstract. It is not obvious that the reduction commutes with the defect construction or that the auxiliary coupling survives without corrections, exactly as the stress-test note flags. If the full text supplies explicit descent equations or a check that the Bianchi identity holds after reduction, that would close the gap; otherwise the claim rests on an assumption that needs more support. This is for people already working on non-invertible symmetries in supergravity and string compactifications. A reader who knows the 11D construction will see the value in the IIA application and the splitting. It deserves a serious referee because the connection is useful and the question it raises about the auxiliary sector is well-posed, even if the current write-up needs the missing steps filled in.","headline":"The paper descends the full 11D non-invertible defect with auxiliary sector to IIA, splitting the algebra into invertible and BF-dressed parts, but the zero-mode pushforward step is stated more than derived.","tokens_in":2332,"tokens_out":466,"would_cite":false,"duration_ms":65373,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/RealityFromDistinction.lean","rs_theorem":"reality_from_one_distinction","paper_passage":"the full defect, including its auxiliary topological sector, admits a pushforward along the M-theory circle in the zero-mode Supergravity regime. The seven-dimensional Chern–Simons-like auxiliary theory descends to a six-dimensional BF-type sector... dF̃[4]+H[3]∧F[2]=0"},{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"resulting Type IIA defect algebra contains both an invertible Picard subgroup and non-invertible BF-dressed defects"}],"headline":"KK descent of non-invertible SUGRA defects with auxiliary BF/TQFT sectors shows no RS-shaped structure","alignment":"orthogonal","rationale":"The paper's core machinery (pushforward of 11D defects along M-theory circle, descent of 7D CS-like auxiliary to 6D BF, splitting of Bianchi into invertible H[3] and twisted non-invertible F̃[4] with dF̃[4]+H[3]∧F[2]=0, resulting Picard + BF-dressed algebra) operates entirely within conventional supergravity and higher-form symmetry formalism. It invokes no J-cost, reciprocal symmetry, golden-ratio identities, 8-tick periodicity, or parameter-free derivation of constants. RS framework derives spacetime, constants and D=3 from a single distinction via J(x) and φ-ladder; this paper's constructions are standard effective-field-theory reductions and do not parallel any such forcing step.","tokens_in":56248,"confidence":"high","tokens_out":405,"duration_ms":24882,"cache_read_input_tokens":32896,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Non-invertible defects from eleven-dimensional supergravity push forward along the M-theory circle to yield a Type IIA defect algebra with both invertible and non-invertible components.","keywords":["non-invertible symmetries","higher-form symmetries","supergravity defects","Kaluza-Klein reduction","M-theory","Type IIA","BF theory","Bianchi identities"],"falsifier":"Perform the explicit pushforward computation of the eleven-dimensional defect operator along the circle and verify that the descended operators in Type IIA obey the twisted Bianchi identity d tilde F4 + H3 wedge F2 equals zero.","tokens_in":2615,"feed_emoji":"🔄","tokens_out":800,"duration_ms":113897,"temperature":0.7,"pith_summary":"The paper examines the Kaluza-Klein descent of non-invertible higher-form symmetry defects from eleven-dimensional supergravity to Type IIA supergravity. It shows that the full defect structure, including the auxiliary topological sector, admits a pushforward along the compact circle in the zero-mode regime. The auxiliary Chern-Simons theory reduces to a six-dimensional BF sector, and the Bianchi sector splits into an invertible H3 part and a twisted non-invertible tilde F4 part obeying a specific Bianchi identity. This construction produces a mixed defect algebra in Type IIA whose charged objects match via the brane dictionary. A reader would care because it gives an explicit map for how generalized symmetries survive dimensional reduction in supergravity.","feed_headline":"Non-invertible defects descend from 11D supergravity to Type IIA","feed_subtitle":"Pushforward of the full defect including auxiliary sector splits Bianchi identity and produces mixed algebra with BF-dressed non-invertible,","key_machinery":"The pushforward of the complete eleven-dimensional non-invertible defect along the M-theory circle, which descends the auxiliary topological sector and splits the Bianchi identity to produce the mixed Type IIA algebra.","core_discovery":"Starting from the eleven-dimensional construction of non-invertible Supergravity defects, the full defect including its auxiliary topological sector admits a pushforward along the M-theory circle in the zero-mode Supergravity regime. The seven-dimensional Chern-Simons-like auxiliary theory descends to a six-dimensional BF-type sector. The compactification of the eleven-dimensional Bianchi sector splits into an invertible H_{[3]}-sector and a twisted non-invertible tilde F_{[4]}-sector controlled by d tilde F_{[4]} + H_{[3]} wedge F_{[2]} = 0. The resulting Type IIA defect algebra contains both an invertible Picard subgroup and non-invertible BF-dressed defects, with charged probes identified","pith_inferences":["The descent procedure may extend to other compactifications and reveal patterns for how non-invertible symmetries behave in lower-dimensional supergravities.","The mixed invertible and non-invertible structure could constrain allowed flux backgrounds or couplings in Type IIA theories.","Similar pushforward methods might apply to defects in further reductions or to related constructions in heterotic or type I theories."],"forward_implications":["The seven-dimensional Chern-Simons auxiliary theory descends directly to a six-dimensional BF-type sector.","The eleven-dimensional Bianchi sector splits into an invertible H3 sector and a twisted non-invertible tilde F4 sector.","The Type IIA defect algebra consists of an invertible Picard subgroup together with non-invertible BF-dressed defects.","Charged probes are identified via the standard M-theory to Type IIA brane dictionary."],"fun_headline_variants":[],"cache_read_input_tokens":64,"weakest_assumption_plain":"The eleven-dimensional non-invertible defect construction including its auxiliary sector must remain well-defined and pushforward-compatible under Kaluza-Klein reduction in the zero-mode regime.","fun_headline_variants_meta":{"error":"xAI API error (429): The model is currently at capacity due to high demand. Please try again in a few minutes. For guaranteed processing and availability, please request Provisioned Throughput: https://docs.x.ai/developers/advanced-api-usage/provisioned-throughput"},"cache_creation_input_tokens":0},"created_at":"2026-05-20T16:56:31.753843+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Perform the explicit pushforward computation of the eleven-dimensional defect operator along the circle and verify that the descended operators in Type IIA obey the twisted Bianchi identity d tilde F4 + H3 wedge F2 equals zero.","supporting_citations":[],"review_version":1}