pith. sign in

arxiv: 2605.16188 · v1 · pith:CAT5MYJFnew · submitted 2026-05-15 · ✦ hep-th · math-ph· math.MP

Non-Invertible Symmetries in Compactified Supergravities

Pith reviewed 2026-05-20 16:56 UTC · model grok-4.3

classification ✦ hep-th math-phmath.MP
keywords non-invertible symmetrieshigher-form symmetriessupergravity defectsKaluza-Klein reductionM-theoryType IIABF theoryBianchi identities
0
0 comments X

The pith

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.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

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.

Core claim

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

What carries the argument

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.

If this is right

  • 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.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Load-bearing premise

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.

What would settle it

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.

read the original abstract

We study the \textit{Kaluza--Klein} descent of non-invertible higher-form symmetry defects from eleven-dimensional Supergravity to Type IIA Supergravity. Starting from the eleven-dimensional construction of non-invertible Supergravity defects, we show that 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 \textit{Chern--Simons}-like auxiliary theory descends to a six-dimensional \(BF\)-type sector. We also show that the compactification of the eleven-dimensional \textit{Bianchi} sector splits into an invertible \(H_{[3]}\)-sector and a twisted non-invertible \(\widetilde F_{[4]}\)-sector, controlled by \(d\widetilde 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 through the standard M-theory/Type IIA brane dictionary.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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.

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 (2)
  1. [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.
  2. [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.
minor comments (2)
  1. [Notation paragraph] 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.
  2. [Introduction] 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.

Simulated Author's Rebuttal

2 responses · 0 unresolved

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.

read point-by-point responses
  1. Referee: [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.

    Authors: 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: yes

  2. Referee: [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.

    Authors: 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: yes

Circularity Check

0 steps flagged

KK descent of 11D non-invertible defects to IIA is self-contained

full rationale

The paper explicitly constructs the pushforward of the full defect (including auxiliary topological sector) along the M-theory circle using the standard M-theory/Type IIA brane dictionary and Kaluza-Klein reduction in the zero-mode regime. The splitting of the Bianchi sector into invertible H_{[3]} and twisted non-invertible F̃_{[4]} sectors follows directly from the given Bianchi identity dF̃_{[4]} + H_{[3]} ∧ F_{[2]} = 0 after descent. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or unverified self-citation chain; the central algebra (invertible Picard subgroup plus BF-dressed defects) is derived as a new output rather than presupposed. The prior 11D construction is invoked as input but does not force the descent result by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard Kaluza-Klein reduction techniques and the prior eleven-dimensional non-invertible defect construction; no free parameters or new invented entities are introduced in the abstract.

axioms (1)
  • domain assumption The eleven-dimensional non-invertible defect construction remains valid under Kaluza-Klein reduction in the zero-mode Supergravity regime.
    Invoked when stating that the full defect admits a pushforward along the M-theory circle.

pith-pipeline@v0.9.0 · 5733 in / 1274 out tokens · 57022 ms · 2026-05-20T16:56:31.753843+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

43 extracted references · 43 canonical work pages · 23 internal anchors

  1. [1]

    Generalized Global Symmetries

    Gaiotto, Davide and Kapustin, Anton and Seiberg, Nathan and Willett, Brian. Generalized Global Symmetries. JHEP. 2015. doi:10.1007/JHEP02(2015)172. arXiv:1412.5148

  2. [2]

    Non-invertible symmetries in supergravity

    Garc \' a-Valdecasas, Eduardo. Non-invertible symmetries in supergravity. JHEP. 2023. doi:10.1007/JHEP04(2023)102. arXiv:2301.00777

  3. [3]

    and Giorgi, Giacomo and Marques, Diego and Rosabal, J

    Fernandez-Melgarejo, Jose J. and Giorgi, Giacomo and Marques, Diego and Rosabal, J. A. Noninvertible symmetries in type IIB supergravity. Phys. Rev. D. 2025. doi:10.1103/PhysRevD.111.066024. arXiv:2407.09402

  4. [4]

    Chern-Weil global symmetries and how quantum gravity avoids them

    Heidenreich, Ben and McNamara, Jacob and Montero, Miguel and Reece, Matthew and Rudelius, Tom and Valenzuela, Irene. Chern-Weil global symmetries and how quantum gravity avoids them. JHEP. 2021. doi:10.1007/JHEP11(2021)053. arXiv:2012.00009

  5. [5]

    and Julia, B

    Cremmer, E. and Julia, B. and Scherk, Joel. Supergravity Theory in 11 Dimensions. Phys. Lett. B. 1978. doi:10.1016/0370-2693(78)90894-8

  6. [6]

    A Chern-Simons Pandemic

    Montero, Miguel and Uranga, Angel M. and Valenzuela, Irene. A Chern-Simons Pandemic. JHEP. 2017. doi:10.1007/JHEP07(2017)123. arXiv:1702.06147

  7. [7]

    ICTP Lectures on (Non-)Invertible Generalized Symmetries

    Schafer-Nameki, Sakura. ICTP lectures on (non-)invertible generalized symmetries. Phys. Rept. 2024. doi:10.1016/j.physrep.2024.01.007. arXiv:2305.18296

  8. [8]

    SymTFTs for U(1) symmetries from descent

    Gagliano, Finn and Garc \' a Etxebarria, I \ n aki. SymTFTs for U(1) symmetries from descent. 2024. arXiv:2411.15126

  9. [9]

    and McNamara, Jacob and Montero, Miguel and Sharon, Adar and Vafa, Cumrun and Valenzuela, Irene

    Heckman, Jonathan J. and McNamara, Jacob and Montero, Miguel and Sharon, Adar and Vafa, Cumrun and Valenzuela, Irene. Fate of stringy noninvertible symmetries. Phys. Rev. D. 2024. doi:10.1103/PhysRevD.110.106001. arXiv:2402.00118

  10. [10]

    Lectures on Generalized Symmetries

    Bhardwaj, Lakshya and Bottini, Lea E. and Fraser-Taliente, Ludovic and Gladden, Liam and Gould, Dewi S. W. and Platschorre, Arthur and Tillim, Hannah. Lectures on generalized symmetries. Phys. Rept. 2024. doi:10.1016/j.physrep.2023.11.002. arXiv:2307.07547

  11. [11]

    Cordova, T.T

    Cordova, Clay and Dumitrescu, Thomas T. and Intriligator, Kenneth and Shao, Shu-Heng. Snowmass White Paper: Generalized Symmetries in Quantum Field Theory and Beyond. Snowmass 2021. 2022. arXiv:2205.09545

  12. [12]

    Non-invertible global symmetries and completeness of the spectrum

    Heidenreich, Ben and McNamara, Jacob and Montero, Miguel and Reece, Matthew and Rudelius, Tom and Valenzuela, Irene. Non-invertible global symmetries and completeness of the spectrum. JHEP. 2021. doi:10.1007/JHEP09(2021)203. arXiv:2104.07036

  13. [13]

    Branes and Non-Invertible Symmetries

    Garc \' a Etxebarria, I \ n aki. Branes and Non-Invertible Symmetries. Fortsch. Phys. 2022. doi:10.1002/prop.202200154. arXiv:2208.07508

  14. [14]

    Fusion category symmetry

    Thorngren, Ryan and Wang, Yifan. Fusion category symmetry. Part I. Anomaly in-flow and gapped phases. JHEP. 2024. doi:10.1007/JHEP04(2024)132. arXiv:1912.02817

  15. [15]

    What's Done Cannot Be Undone: TASI Lectures on Non-Invertible Symmetries

    Shao, Shu-Heng. What's Done Cannot Be Undone: TASI Lectures on Non-Invertible Symmetries. Theoretical Advanced Study Institute in Elementary Particle Physics 2023 : Aspects of Symmetry. 2023. arXiv:2308.00747

  16. [16]

    Kramers-Wannier duality from conformal defects

    Frohlich, Jurg and Fuchs, Jurgen and Runkel, Ingo and Schweigert, Christoph. Kramers-Wannier duality from conformal defects. Phys. Rev. Lett. 2004. doi:10.1103/PhysRevLett.93.070601. arXiv:cond-mat/0404051

  17. [17]

    On relationships among Chern-Simons theory, BF theory and matrix model

    Ishii, Takaaki and Ishiki, Goro and Ohta, Kazutoshi and Shimasaki, Shinji and Tsuchiya, Asato. On relationships among Chern-Simons theory, BF theory and matrix model. Prog. Theor. Phys. 2008. doi:10.1143/PTP.119.863. arXiv:0711.4235

  18. [18]

    Kalkkinen, Jussi and Stelle, K. S. Large gauge transformations in M theory. J. Geom. Phys. 2003. doi:10.1016/S0393-0440(03)00027-5. arXiv:hep-th/0212081

  19. [19]

    Chern-Simons terms and the Three Notions of Charge

    Marolf, Donald. Chern-Simons terms and the three notions of charge. International Conference on Quantization, Gauge Theory, and Strings: Conference Dedicated to the Memory of Professor Efim Fradkin. 2000. arXiv:hep-th/0006117

  20. [20]

    Localization for Chern-Simons on Circle Bundles via Loop Groups

    Mickler, Ryan. Localization for Chern Simons on circle bundles via loop groups. J. Geom. Phys. 2018. doi:10.1016/j.geomphys.2018.06.005. arXiv:1507.01626

  21. [21]

    String Theory Dynamics In Various Dimensions

    Witten, Edward. String theory dynamics in various dimensions. Nucl. Phys. B. 1995. doi:10.1016/0550-3213(95)00158-O. arXiv:hep-th/9503124

  22. [22]

    and Becker, M

    Becker, K. and Becker, M. and Schwarz, J. H. String theory and M-theory: A modern introduction. 2006. doi:10.1017/CBO9780511816086

  23. [23]

    Heterotic and Type I String Dynamics from Eleven Dimensions

    Horava, Petr and Witten, Edward. Heterotic and Type I string dynamics from eleven dimensions. Nucl. Phys. B. 1996. doi:10.1016/0550-3213(95)00621-4. arXiv:hep-th/9510209

  24. [24]

    Noninvertible Chiral Symmetry and Exponential Hierarchies

    Cordova, Clay and Ohmori, Kantaro. Noninvertible Chiral Symmetry and Exponential Hierarchies. Phys. Rev. X. 2023. doi:10.1103/PhysRevX.13.011034. arXiv:2205.06243

  25. [25]

    Noninvertible Global Symmetries in the Standard Model

    Choi, Yichul and Lam, Ho Tat and Shao, Shu-Heng. Noninvertible Global Symmetries in the Standard Model. Phys. Rev. Lett. 2022. doi:10.1103/PhysRevLett.129.161601. arXiv:2205.05086

  26. [26]

    Non-invertible Gauss law and axions

    Choi, Yichul and Lam, Ho Tat and Shao, Shu-Heng. Non-invertible Gauss law and axions. JHEP. 2023. doi:10.1007/JHEP09(2023)067. arXiv:2212.04499

  27. [27]

    Duality of Type II 7-branes and 8-branes

    Bergshoeff, E. and de Roo, M. and Green, Michael B. and Papadopoulos, G. and Townsend, P. K. Duality of type II 7 branes and 8 branes. Nucl. Phys. B. 1996. doi:10.1016/0550-3213(96)00171-X. arXiv:hep-th/9601150

  28. [28]

    Townsend, P. K. P-Brane Democracy. The World in eleven-dimensions: A Tribute to Oskar Klein. 2014. arXiv:hep-th/9507048

  29. [29]

    D-Branes And K-Theory

    Witten, Edward. D-branes and K-theory. JHEP. 1998. doi:10.1088/1126-6708/1998/12/019. arXiv:hep-th/9810188

  30. [30]

    K-theory and Ramond-Ramond charge

    Minasian, Ruben and Moore, Gregory W. K theory and Ramond-Ramond charge. JHEP. 1997. doi:10.1088/1126-6708/1997/11/002. arXiv:hep-th/9710230

  31. [31]

    Symmetries and Strings in Field Theory and Gravity

    Banks, Tom and Seiberg, Nathan. Symmetries and Strings in Field Theory and Gravity. Phys. Rev. D. 2011. doi:10.1103/PhysRevD.83.084019. arXiv:1011.5120

  32. [32]

    Symmetries in quantum field theory and quantum gravity

    Harlow, Daniel and Ooguri, Hirosi. Symmetries in quantum field theory and quantum gravity. Commun. Math. Phys. 2021. doi:10.1007/s00220-021-04040-y. arXiv:1810.05338

  33. [33]

    1963 , PAGES =

    Kobayashi, Shoshichi and Nomizu, Katsumi , TITLE =. 1963 , PAGES =

  34. [34]

    Duff, M. J. M Theory (The Theory Formerly Known as Strings). Int. J. Mod. Phys. A. 1996. doi:10.1142/S0217751X96002583. arXiv:hep-th/9608117

  35. [35]

    Townsend, P. K. D-branes from M-branes. Phys. Lett. B. 1996. doi:10.1016/0370-2693(96)00104-9. arXiv:hep-th/9512062

  36. [36]

    Non-invertible Condensation, Duality, and Triality Defects in 3+1 Dimensions

    Choi, Yichul and Cordova, Clay and Hsin, Po-Shen and Lam, Ho Tat and Shao, Shu-Heng. Non-invertible Condensation, Duality, and Triality Defects in 3+1 Dimensions. Commun. Math. Phys. 2023. doi:10.1007/s00220-023-04727-4. arXiv:2204.09025

  37. [37]

    Higher Gauging and Non-invertible Condensation Defects

    Roumpedakis, Konstantinos and Seifnashri, Sahand and Shao, Shu-Heng. Higher Gauging and Non-invertible Condensation Defects. Commun. Math. Phys. 2023. doi:10.1007/s00220-023-04706-9. arXiv:2204.02407

  38. [38]

    Apruzzi, Fabio and Bonetti, Federico and Gould, Dewi S. W. and Schafer-Nameki, Sakura. Aspects of categorical symmetries from branes: SymTFTs and generalized charges. SciPost Phys. 2024. doi:10.21468/SciPostPhys.17.1.025. arXiv:2306.16405

  39. [39]

    Kaluza-Klein bundles and manifolds of exceptional holonomy

    Kaste, Peter and Minasian, Ruben and Petrini, Michela and Tomasiello, Alessandro. Kaluza-Klein bundles and manifolds of exceptional holonomy. JHEP. 2002. doi:10.1088/1126-6708/2002/09/033. arXiv:hep-th/0206213

  40. [40]

    Loop Groups, Kaluza-Klein Reduction and M-Theory

    Bergman, Aaron and Varadarajan, Uday. Loop groups, Kaluza-Klein reduction and M-theory. JHEP. 2005. doi:10.1088/1126-6708/2005/06/043. arXiv:hep-th/0406218

  41. [41]

    TASI Lectures on D-Branes

    Polchinski, Joseph. Tasi lectures on D-branes. Theoretical Advanced Study Institute in Elementary Particle Physics (TASI 96): Fields, Strings, and Duality. 1996. arXiv:hep-th/9611050

  42. [42]

    Fusion 3-Categories for Duality Defects

    Bhardwaj, Lakshya and D \'e coppet, Thibault and Schafer-Nameki, Sakura and Yu, Matthew. Fusion 3-Categories for Duality Defects. Commun. Math. Phys. 2025. doi:10.1007/s00220-025-05388-1. arXiv:2408.13302

  43. [43]

    Daniel and Sun, Zhengdi

    Brennan, T. Daniel and Sun, Zhengdi. A SymTFT for continuous symmetries. JHEP. 2024. doi:10.1007/JHEP12(2024)100. arXiv:2401.06128