Recognition: 2 theorem links
· Lean TheoremSuper-Higher-Form Symmetries
Pith reviewed 2026-05-13 04:14 UTC · model grok-4.3
The pith
Supergeometry reveals an enlarged set of topological conserved supercurrents in supersymmetric theories, including new geometric Chern-Weil symmetries.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using a supergeometry framework, the construction of higher-form symmetries in supersymmetric theories reveals an enlarged set of topological conserved supercurrents. These include conventional Chern-Weil symmetries as well as new geometric Chern-Weil symmetries built from invariant supermanifold forms. In N=1 super-Maxwell theory in three dimensions, explicit operators and charged defects are defined, with charges determined by a super-linking number between their supporting hypersurfaces. The paper supplies initial guidance on constructing super-symTFTs for Chern-Weil and geometric Chern-Weil symmetries from supergravity.
What carries the argument
The supergeometry framework that embeds supersymmetric theories to generate invariant supermanifold forms, which in turn produce geometric Chern-Weil symmetries and associated topological supercurrents.
If this is right
- Supersymmetric theories possess a larger collection of higher-form symmetries than previously identified, all realized through topological supercurrents.
- In three-dimensional super-Maxwell theory, symmetry operators and charged defects exist whose charges are fixed by a super-linking number.
- Super-symmetric topological field theories can be derived directly from supergravity for both Chern-Weil and geometric Chern-Weil symmetries.
- The new geometric Chern-Weil symmetries arise specifically from invariant forms on supermanifolds.
Where Pith is reading between the lines
- The enlarged symmetry structure may impose new selection rules on correlation functions or instanton contributions in supersymmetric models.
- Super-linking numbers could serve as topological invariants useful for classifying defects across a broader range of supersymmetric field theories.
- Embedding these symmetries in supergravity might lead to consistency conditions that constrain possible compactifications or vacua.
Load-bearing premise
The supergeometry framework is assumed to correctly capture all relevant topological conserved supercurrents in supersymmetric theories without additional physical constraints or inconsistencies.
What would settle it
An explicit computation in N=1 super-Maxwell theory in three dimensions that finds the proposed operators fail to commute with the supercurrents or that the super-linking number does not yield consistent integer charges on defects.
Figures
read the original abstract
We review the construction of higher-form symmetries for supersymmetric theories using a supergeometry framework. This reveals an enlarged set of topological conserved supercurrents, including Chern-Weil symmetries and new geometric Chern-Weil symmetries built from invariant supermanifold forms. In N=1 super-Maxwell theory in three dimensions, we construct the corresponding operators and charged defects, with charges determined by a super-linking number between their supporting hypersurfaces. At the end we provide as an original unpublished contribution some hints on how to construct super-symTFT for Chern-Weil and geometric Chern-Weil symmetries directly from supergravity.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper reviews the construction of higher-form symmetries for supersymmetric theories using a supergeometry framework. This reveals an enlarged set of topological conserved supercurrents, including Chern-Weil symmetries and new geometric Chern-Weil symmetries built from invariant supermanifold forms. In N=1 super-Maxwell theory in three dimensions, the authors construct the corresponding operators and charged defects, with charges determined by a super-linking number between their supporting hypersurfaces. The manuscript concludes with hints on constructing a super-symTFT for these symmetries directly from supergravity.
Significance. If the constructions are rigorous, the work provides a valuable extension of higher-form symmetry concepts into supersymmetric theories via supergeometry, identifying an enlarged set of topological supercurrents and offering concrete operators/defects in an explicit example. The original hints toward super-symTFTs from supergravity represent a forward-looking contribution that could guide future developments in topological aspects of supersymmetric field theories.
minor comments (2)
- The abstract refers to an 'original unpublished contribution' in the final section; the manuscript should explicitly delineate which parts are review versus new to clarify the scope of novelty for readers.
- Notation for supermanifolds, invariant forms, and the super-linking number should be introduced with brief definitions or references upon first appearance to improve accessibility for readers outside supergeometry.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of our manuscript, including the summary of our review on super-higher-form symmetries in supersymmetric theories via supergeometry, the identification of enlarged topological supercurrents, and the forward-looking hints on constructing super-symTFTs from supergravity. We appreciate the recommendation for minor revision and the recognition of the work's potential value. However, the report lists no specific major comments, so we have no point-by-point responses to provide at this time. We remain available to address any minor issues or clarifications if they arise in a subsequent round.
Circularity Check
No significant circularity detected
full rationale
This is a review paper that summarizes existing constructions of higher-form symmetries in supersymmetric theories via supergeometry, with the central claims (enlarged topological supercurrents, Chern-Weil symmetries, and operators in N=1 super-Maxwell) presented as reviews of prior frameworks rather than new derivations. The only original element is described as 'hints' toward super-symTFT at the end, without equations or claims that reduce to self-defined inputs, fitted parameters renamed as predictions, or load-bearing self-citations. No load-bearing steps in the provided abstract or summary reduce by construction to the paper's own assumptions or prior self-references; the argument remains self-contained as an outline of external and exploratory material.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Supergeometry framework accurately describes higher-form symmetries in supersymmetric theories
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We review the construction of higher-form symmetries for supersymmetric theories using a supergeometry framework... In N=1 super-Maxwell theory in three dimensions, we construct the corresponding operators and charged defects, with charges determined by a super-linking number
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The super-Maxwell action reads S = −1/2 ∫ F ∧ ★F ... The equation of motion d★F=0 and the Bianchi identity dF=0 provide two conservation laws.
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]
Classical direct interstring action.Phys
Michael Kalb and Pierre Ramond. Classical direct interstring action.Phys. Rev. D, 9:2273– 2284, 1974
work page 1974
-
[2]
DualityinGeneralizedIsingModelsandPhaseTransitionsWithoutLocalOrder Parameters.J
F.J.Wegner. DualityinGeneralizedIsingModelsandPhaseTransitionsWithoutLocalOrder Parameters.J. Math. Phys., 12:2259–2272, 1971
work page 1971
-
[3]
Topological Excitations in U(1) Invariant Theories.Phys
Robert Savit. Topological Excitations in U(1) Invariant Theories.Phys. Rev. Lett., 39:55, 1977
work page 1977
-
[4]
GaugeInvariance for ExtendedObjects.Phys
Claudio Teitelboim. GaugeInvariance for ExtendedObjects.Phys. Lett. B,167:63–68, 1986
work page 1986
-
[5]
Claudio Teitelboim. Monopoles of Higher Rank.Phys. Lett. B, 167:69–72, 1986
work page 1986
-
[6]
Magnetic and Electric Confinement of Quarks.Phys
Yoichiro Nambu. Magnetic and Electric Confinement of Quarks.Phys. Rept., 23:250–253, 1976
work page 1976
-
[7]
Instantons and disorder in antisymmetric tensor gauge fields.Nucl
Peter Orland. Instantons and disorder in antisymmetric tensor gauge fields.Nucl. Phys. B, 205:107–118, 1982
work page 1982
-
[8]
Generalized global symmetries.J
Davide Gaiotto, Anton Kapustin, Nathan Seiberg, and Brian Willett. Generalized global symmetries.J. High Energy Phys., 02:172, 2015
work page 2015
-
[9]
Kramers-Wannier duality from conformal defects.Phys
Jurg Frohlich, Jurgen Fuchs, Ingo Runkel, and Christoph Schweigert. Kramers-Wannier duality from conformal defects.Phys. Rev. Lett., 93:070601, 2004
work page 2004
-
[10]
ICTP lectures on (non-)invertible generalized symmetries.Phys
Sakura Schäfer-Nameki. ICTP lectures on (non-)invertible generalized symmetries.Phys. Rept., 1063:1–55, 2024
work page 2024
-
[11]
What’s Done Cannot Be Undone: TASI Lectures on Non-Invertible Sym- metries
Shu-Heng Shao. What’s Done Cannot Be Undone: TASI Lectures on Non-Invertible Sym- metries. 8 2023
work page 2023
-
[12]
Topological defect lines in two dimensional fermionic CFTs.SciPost Phys., 15(5):216, 2023
Chi-Ming Chang, Jin Chen, and Fengjun Xu. Topological defect lines in two dimensional fermionic CFTs.SciPost Phys., 15(5):216, 2023
work page 2023
-
[13]
Fermionic higher-form symmetries.SciPost Phys., 15(4):142, 2023
Yi-Nan Wang and Yi Zhang. Fermionic higher-form symmetries.SciPost Phys., 15(4):142, 2023
work page 2023
-
[14]
Understanding fermionic generalized symmetries.Phys
Federico Ambrosino, Ran Luo, Yi-Nan Wang, and Yi Zhang. Understanding fermionic generalized symmetries.Phys. Rev. D, 110:105020, 2024. 16 Super-Higher-Form SymmetriesSilvia Penati
work page 2024
-
[15]
LakshyaBhardwaj,KanseiInamura,andApoorvTiwari.Fermionicnon-invertiblesymmetries in (1+1)d: Gapped and gapless phases, transitions, and symmetry TFTs.SciPost Phys., 18(6):194, 2025
work page 2025
-
[16]
Fermionic quantum criticality through the lens of topological holography
Sheng-Jie Huang. Fermionic quantum criticality through the lens of topological holography. Phys. Rev. B, 111(15):155130, 2025
work page 2025
-
[17]
Topologicalholography forfermions
RuiWen, Weicheng Ye, andAndrew C.Potter. Topologicalholography forfermions. 42024
-
[18]
Super-higher-formsymmetries.J.HighEnergyPhys., 08:169, 2025
PietroAntonioGrassiandSilviaPenati. Super-higher-formsymmetries.J.HighEnergyPhys., 08:169, 2025
work page 2025
-
[19]
Federico Ambrosino, Alessandro Duci, Pietro Antonio Grassi, and Silvia Penati. SymTFT in Superspace. 4 2026
work page 2026
-
[20]
C. A. Cremonini, P. A. Grassi, and S. Penati. Supersymmetric Wilson Loops via Integral Forms.JHEP, 04:161, 2020
work page 2020
-
[21]
Surface Operators in Superspace.JHEP, 11:050, 2020
Carlo Alberto Cremonini, Pietro Antonio Grassi, and Silvia Penati. Surface Operators in Superspace.JHEP, 11:050, 2020
work page 2020
-
[22]
ICTP lectures on (non-)invertible generalized symmetries.Phys
Sakura Schafer-Nameki. ICTP lectures on (non-)invertible generalized symmetries.Phys. Rept., 1063:1–55, 2024
work page 2024
-
[23]
R. Bott and L. W. Tu. Differential forms in algebraic topology. graduate texts in mathematics (book 82) , springer; 1st edition (april 21, 1995). , 1995
work page 1995
-
[24]
Chern-Weil global symmetries and how quantum gravity avoids them
Ben Heidenreich, Jacob McNamara, Miguel Montero, Matthew Reece, Tom Rudelius, and Irene Valenzuela. Chern-Weil global symmetries and how quantum gravity avoids them. JHEP, 11:053, 2021
work page 2021
-
[25]
Field theories with higher-group symmetry from composite currents.JHEP, 04:045, 2021
Tomáš Brauner. Field theories with higher-group symmetry from composite currents.JHEP, 04:045, 2021
work page 2021
-
[26]
Higher-group structure in 2n- dimensional axion-electrodynamics.JHEP, 01:150, 2023
Tatsuki Nakajima, Tadakatsu Sakai, and Ryo Yokokura. Higher-group structure in 2n- dimensional axion-electrodynamics.JHEP, 01:150, 2023
work page 2023
-
[27]
Cam- bridge University Press, 1984
Bryce Dewitt.Supermanifolds (Cambridge Monographs on Mathematical Physics). Cam- bridge University Press, 1984
work page 1984
- [28]
-
[29]
Notes on supermanifolds and integration.Pure Appl
Edward Witten. Notes on supermanifolds and integration.Pure Appl. Math. Q., 15(1):3–56, 2019
work page 2019
-
[30]
L. Castellani, R. Catenacci, and P. A. Grassi. The Geometry of Supermanifolds and New Supersymmetric Actions.Nucl. Phys. B, 899:112–148, 2015
work page 2015
-
[31]
The geometry of super- manifolds and new supersymmetric actions.Nucl
Leonardo Castellani, Roberto Catenacci, and Pietro Antonio Grassi. The geometry of super- manifolds and new supersymmetric actions.Nucl. Phys. B, 899:112–148, 2015. 17 Super-Higher-Form SymmetriesSilvia Penati
work page 2015
-
[32]
C. A. Cremonini, P. A. Grassi, R. Noris, and L. Ravera. Supergravities and branes from Hilbert-Poincaré series.JHEP, 12:088, 2023
work page 2023
-
[33]
GiovanniFelder,JurgFrohlich,JurgenFuchs,andChristophSchweigert.Correlationfunctions andboundaryconditionsinRCFTandthree-dimensionaltopology.Compos.Math.,131:189– 237, 2002
work page 2002
-
[34]
TFTconstructionofRCFTcorrelators
JürgenFuchs,IngoRunkel,andChristophSchweigert. TFTconstructionofRCFTcorrelators
-
[35]
Partition functions.Nucl. Phys. B, 646:353–497, 2002
work page 2002
-
[36]
Hosseini, and Sakura Schäfer-Nameki
Fabio Apruzzi, Federico Bonetti, Iñaki García Etxebarria, Saghar S. Hosseini, and Sakura Schäfer-Nameki. Symmetry TFTs from String Theory.Commun. Math. Phys., 402(1):895– 949, 2023
work page 2023
-
[37]
AdS/CFTcorrespondenceandtopologicalfieldtheory.JHEP,12:012,1998
EdwardWitten. AdS/CFTcorrespondenceandtopologicalfieldtheory.JHEP,12:012,1998
work page 1998
-
[38]
Anti-de Sitter space and the center of the gauge group
Ofer Aharony and Edward Witten. Anti-de Sitter space and the center of the gauge group. JHEP, 11:018, 1998
work page 1998
-
[39]
L. Castellani and I. Pesando. The Complete superspace action of chiral D = 10, N=2 super- gravity.Int. J. Mod. Phys. A, 8:1125–1138, 1993
work page 1993
-
[40]
Chern-simonstheoryonsupermanifolds.J.High Energy Phys., 09:170, 2016
PietroAntonioGrassiandCarloMaccaferri. Chern-simonstheoryonsupermanifolds.J.High Energy Phys., 09:170, 2016
work page 2016
-
[41]
R. D’Auria and P. Fre. Geometric Supergravity in d = 11 and Its Hidden Supergroup.Nucl. Phys. B, 201:101–140, 1982. [Erratum: Nucl.Phys.B 206, 496 (1982)]. 18
work page 1982
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.