Non-Invertible Symmetries in Compactified Supergravities
Pith reviewed 2026-05-20 16:56 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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.
- [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)
- [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.
- [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
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
-
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
-
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
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
axioms (1)
- domain assumption The eleven-dimensional non-invertible defect construction remains valid under Kaluza-Klein reduction in the zero-mode Supergravity regime.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
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
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
resulting Type IIA defect algebra contains both an invertible Picard subgroup and non-invertible BF-dressed defects
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
-
[1]
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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep02(2015)172 2015
-
[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]
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]
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]
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]
Montero, Miguel and Uranga, Angel M. and Valenzuela, Irene. A Chern-Simons Pandemic. JHEP. 2017. doi:10.1007/JHEP07(2017)123. arXiv:1702.06147
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep07(2017)123 2017
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.physrep.2024.01.007 2024
-
[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]
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]
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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.physrep.2023.11.002 2024
-
[11]
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]
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]
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]
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]
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
work page internal anchor Pith review Pith/arXiv arXiv 2023
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.93.070601 2004
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1143/ptp.119.863 2008
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0393-0440(03)00027-5 2003
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.geomphys.2018.06.005 2018
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0550-3213(95)00158-o 1995
-
[22]
Becker, K. and Becker, M. and Schwarz, J. H. String theory and M-theory: A modern introduction. 2006. doi:10.1017/CBO9780511816086
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0550-3213(95)00621-4 1996
-
[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]
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]
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]
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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0550-3213(96)00171-x 1996
-
[28]
Townsend, P. K. P-Brane Democracy. The World in eleven-dimensions: A Tribute to Oskar Klein. 2014. arXiv:hep-th/9507048
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[29]
Witten, Edward. D-branes and K-theory. JHEP. 1998. doi:10.1088/1126-6708/1998/12/019. arXiv:hep-th/9810188
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1126-6708/1998/12/019 1998
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1126-6708/1997/11/002 1997
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.83.084019 2011
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00220-021-04040-y 2021
- [33]
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1142/s0217751x96002583 1996
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0370-2693(96)00104-9 1996
-
[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]
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]
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]
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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1126-6708/2002/09/033 2002
-
[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
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1126-6708/2005/06/043 2005
-
[41]
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
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[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]
Brennan, T. Daniel and Sun, Zhengdi. A SymTFT for continuous symmetries. JHEP. 2024. doi:10.1007/JHEP12(2024)100. arXiv:2401.06128
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.