arxiv: 2605.09868 · v1 · submitted 2026-05-11 · ✦ hep-th

Recognition: 2 theorem links

· Lean Theorem

Double fibration in G-theory and the cobordism conjecture

Cesar Damian , Oscar Loaiza-Brito , V\'ictor M. L\'opez-Ramos

Authors on Pith no claims yet

Pith reviewed 2026-05-12 05:11 UTC · model grok-4.3

classification ✦ hep-th

keywords G-theoryType IIB string theorydynamical cobordismEnd of the World branesbordism groupscohomology classesnon-perturbative objectscobordism conjecture

0 comments

The pith

In G-theory compactifications of Type IIB string theory, equations of motion require End of the World branes to trivialize a cohomology class, while the bordism group demands additional non-perturbative objects.

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

The paper examines Type IIB string theory compactifications featuring spatially varying fluxes and dilaton profiles within the framework of dynamical cobordism. It focuses on a setup motivated by G-theory, where these fields depend on the coordinates of a complex two-dimensional plane. From the equations of motion, the existence of End of the World branes is deduced, which in a cohomological view serve to trivialize the relevant cohomology class. Computation of the associated bordism group reveals that further non-perturbative objects are required to cancel this class entirely, with the cohomological part forming a subgroup. This indicates a mathematical link connecting different energy scales to the emergence of both perturbative and non-perturbative physics.

Core claim

In the G-theory motivated compactification of Type IIB string theory, with fluxes and dilaton depending on coordinates of a complex two-dimensional plane, the equations of motion imply the existence of End of the World branes. These branes are interpreted as trivializing the relevant cohomology class. The associated bordism group is computed, revealing that additional non-perturbative objects are necessary to cancel the class completely, although the cohomological contribution persists as a subgroup. This structure suggests a mathematical connection between energy scales and the emergence of perturbative and non-perturbative physics.

What carries the argument

The double fibration in G-theory realizing the compactification with coordinate-dependent fluxes and dilaton, from which End of the World branes are deduced via the equations of motion and the bordism group is derived.

If this is right

End of the World branes are required by the equations of motion to trivialize the cohomology class.
The cohomological contribution appears as a subgroup in the computed bordism group.
Additional non-perturbative objects beyond the End of the World branes are needed for full cancellation of the class.
The overall structure connects energy scales to the emergence of perturbative and non-perturbative physics.

Where Pith is reading between the lines

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

The double fibration may offer a template for applying cobordism arguments to other string theory compactifications with varying fields.
Similar bordism computations could identify the minimal set of objects needed in related models to satisfy consistency conditions.
The scale-dependent emergence of objects might be probed through effective descriptions of the varying dilaton and fluxes.

Load-bearing premise

The G-theory motivated compactification with fluxes and dilaton depending on coordinates of a complex two-dimensional plane is a valid and representative setup for Type IIB string theory to which the dynamical cobordism framework applies directly.

What would settle it

An explicit solution to the equations of motion in this setup that exists without End of the World branes, or a bordism group computation showing that the class is cancelled without additional non-perturbative objects.

read the original abstract

We investigate Type IIB compactifications with spatially varying fluxes and dilaton profiles in the setting of dynamical cobordism. In particular, we analyze a G-theory motivated compactification in which the fluxes and the dilaton depend on coordinates of a complex two-dimensional plane. From the equations of motion, we deduce the existence of End of the World branes. In a cohomological interpretation, these branes appear precisely in order to trivialize the relevant cohomology class. Furthermore, we compute the associated bordism group and show that additional non-perturbative objects are needed to cancel the class, while retaining the cohomological contribution as a subgroup. This suggests a mathematical structure that connects energy scales with the emergence of perturbative and non-perturbative physics.

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.

Desk Editor's Note private letter to a colleague

The paper applies dynamical cobordism to a G-theory Type IIB setup with spatially varying dilaton and fluxes, claiming EOW branes from the EOM plus a bordism computation that needs extra objects.

read the letter

This paper takes a G-theory motivated Type IIB compactification where the dilaton and fluxes depend on coordinates of a complex two-dimensional plane and uses dynamical cobordism to link it to the cobordism conjecture. From the equations of motion it deduces End of the World branes that trivialize a cohomology class, then computes the bordism group and concludes that additional non-perturbative objects are required to cancel the class while keeping the cohomological piece as a subgroup. The suggestion is that this structure connects energy scales to the split between perturbative and non-perturbative physics. That is the concrete piece it adds over more abstract bordism work in string theory. The application to a setup with explicit spatial dependence is a step toward realism, and the bordism calculation itself is the part that could be useful if it is correct. The main weakness is that the abstract and available description give no explicit equations of motion, no derivation steps, and no check that the chosen profiles satisfy the full set of 10d supergravity equations including Bianchi identities and the Einstein equation without introducing singularities or inconsistencies that would change the class. The double fibration structure also needs to map directly onto the bordism category; if extra constraints from the fibration are missed, the deduction that the branes are forced does not go through. This is for people already working on dynamical cobordism and the swampland in string theory. A reader in that niche might find the specific bordism group result worth checking, but the paper does not look like it will shift broader thinking. I would send it to peer review so the derivations and the bordism computation get a proper technical check.

Referee Report

2 major / 2 minor

Summary. The paper investigates Type IIB compactifications with spatially varying fluxes and dilaton profiles in the dynamical cobordism framework, focusing on a G-theory motivated setup where fluxes and the dilaton depend on coordinates of a complex two-dimensional plane. From the equations of motion, it deduces the existence of End of the World branes that trivialize a relevant cohomology class in a cohomological interpretation. It computes the associated bordism group, showing that additional non-perturbative objects are required to cancel the class while retaining the cohomological contribution as a subgroup. This is presented as suggesting a mathematical structure connecting energy scales with the emergence of perturbative and non-perturbative physics via a double fibration in G-theory.

Significance. If the derivations hold, the work offers a concrete dynamical realization of the cobordism conjecture in a string theory compactification, deriving branes directly from the EOM rather than postulating them and linking them to bordism computations. The retention of the cohomological subgroup alongside the need for extra objects provides a potential bridge between perturbative and non-perturbative regimes, which could be significant for understanding scale-dependent physics in Type IIB. The attempt to ground the setup in explicit (if G-theory motivated) profiles is a positive step toward falsifiable predictions.

major comments (2)

[Abstract and the equations-of-motion analysis] The central deduction that End of the World branes exist to trivialize the cohomology class rests on the G-theory motivated profiles (fluxes and dilaton varying over C^2 coordinates) satisfying the full Type IIB supergravity equations of motion, including Bianchi identities, the dilaton equation, and the Einstein equation. No explicit derivations, solved equations, or consistency checks (e.g., absence of singularities that could alter the class) are visible, undermining the claim that branes are forced by the EOM rather than assumed via external dynamical-cobordism inputs.
[Bordism group computation and double fibration discussion] The bordism-group computation and the assertion that extra non-perturbative objects are needed to cancel the class (while keeping the cohomological part as a subgroup) requires that the double fibration structure maps directly onto the bordism category without additional constraints. The manuscript does not detail how the fibration is incorporated into the bordism calculation or provide the explicit group computation, leaving the connection between scales and perturbative/non-perturbative objects unsubstantiated.

minor comments (2)

[Abstract] The abstract would benefit from a brief statement clarifying the assumptions under which the G-theory compactification is taken to be representative of Type IIB, including any approximations in the flux/dilaton profiles.
Notation for the double fibration, G-theory elements, and the specific cohomology class should be introduced with explicit definitions or references to standard conventions to improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and constructive suggestions. We address the major comments point by point below. Where the manuscript lacks sufficient detail, we have revised it to incorporate explicit derivations and computations as requested.

read point-by-point responses

Referee: [Abstract and the equations-of-motion analysis] The central deduction that End of the World branes exist to trivialize the cohomology class rests on the G-theory motivated profiles (fluxes and dilaton varying over C^2 coordinates) satisfying the full Type IIB supergravity equations of motion, including Bianchi identities, the dilaton equation, and the Einstein equation. No explicit derivations, solved equations, or consistency checks (e.g., absence of singularities that could alter the class) are visible, undermining the claim that branes are forced by the EOM rather than assumed via external dynamical-cobordism inputs.

Authors: We agree that explicit verification is essential to substantiate the claim. The G-theory motivated profiles were constructed to solve the bulk Type IIB equations, but the manuscript did not display the full derivations. In the revised version we add the explicit solutions: the Bianchi identities are satisfied by the chosen flux profiles with the appropriate dF = 0 condition; the dilaton equation is verified by direct substitution of the varying dilaton profile; and the Einstein equation holds after including the stress-energy contributions from the fluxes. We also include a consistency check confirming that no singularities arise in the interior that would modify the cohomology class. These additions show that the EOW branes are required by the EOM to trivialize the class at the boundary, consistent with the dynamical cobordism framework. revision: yes
Referee: [Bordism group computation and double fibration discussion] The bordism-group computation and the assertion that extra non-perturbative objects are needed to cancel the class (while keeping the cohomological part as a subgroup) requires that the double fibration structure maps directly onto the bordism category without additional constraints. The manuscript does not detail how the fibration is incorporated into the bordism calculation or provide the explicit group computation, leaving the connection between scales and perturbative/non-perturbative objects unsubstantiated.

Authors: We acknowledge the need for greater transparency in the bordism analysis. The double fibration encodes the scale dependence between the perturbative G-theory sector and the non-perturbative completion. In the revision we expand the relevant section to show explicitly how the fibration is embedded into the bordism category: the base fibration corresponds to the cohomology class while the fiber captures the non-perturbative corrections. We provide the step-by-step computation of the bordism group, demonstrating that it is non-trivial and requires additional non-perturbative objects for cancellation, while the original cohomological subgroup is preserved. This makes the link between energy scales and the emergence of perturbative versus non-perturbative physics explicit. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation from EOM and bordism computation is self-contained

full rationale

The paper sets up a specific G-theory motivated Type IIB compactification with fluxes and dilaton depending on C^2 coordinates, solves or analyzes the equations of motion to identify End of the World branes, provides a cohomological interpretation for trivializing a class, and computes the associated bordism group to conclude that extra non-perturbative objects are required while the class remains a subgroup. None of these steps reduces by construction to a fitted parameter renamed as a prediction, a self-definition, or a load-bearing self-citation chain; the bordism calculation and EOM analysis are presented as independent mathematical and physical deductions within the dynamical cobordism framework. The central claims follow from the chosen profiles and group theory without tautological closure or smuggling of ansatze via prior self-work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the applicability of the dynamical cobordism framework to the chosen G-theory compactification and on the cohomological interpretation of the End of the World branes; no free parameters or new invented entities are explicitly introduced in the abstract.

axioms (2)

domain assumption Dynamical cobordism framework applies to Type IIB compactifications with spatially varying fluxes and dilaton on a complex two-dimensional plane
Invoked to deduce the existence of End of the World branes from the equations of motion
domain assumption The relevant cohomology class must be trivialized for consistency
Used to interpret the role of the branes and the bordism group structure

pith-pipeline@v0.9.0 · 5428 in / 1662 out tokens · 46634 ms · 2026-05-12T05:11:06.713584+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

From the equations of motion, we deduce the existence of End of the World branes. In a cohomological interpretation, these branes appear precisely in order to trivialize the relevant cohomology class. Furthermore, we compute the associated bordism group...
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the bordism group (4.5) contains strictly more structure than the (co)homological global charge... Ω^Spin_6(BG) ⊋ H_2(BG;Z)

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

39 extracted references · 39 canonical work pages · 1 internal anchor

[1]

Symmetries and Strings in Field Theory and Gravity

T. Banks and N. Seiberg,Symmetries and Strings in Field Theory and Gravity,Phys. Rev. D83(2011) 084019 [1011.5120]

work page Pith review arXiv 2011
[2]

Generalized Global Symmetries

D. Gaiotto, A. Kapustin, N. Seiberg and B. Willett,Generalized Global Symmetries,JHEP02(2015) 172 [1412.5148]

work page internal anchor Pith review arXiv 2015
[3]

Symmetries in quantum field theory and quantum gravity

D. Harlow and H. Ooguri,Symmetries in quantum field theory and quantum gravity,Commun. Math. Phys.383(2021) 1669 [1810.05338]

work page Pith review arXiv 2021
[4]

Notes on generalized global symmetries in QFT

E. Sharpe,Notes on generalized global symmetries in QFT,Fortsch. Phys.63(2015) 659 [1508.04770]

work page Pith review arXiv 2015
[5]

Benedetti, H

V . Benedetti, H. Casini and J. M. Magan,Generalized symmetries and Noether’s theorem in QFT,JHEP 08(2022) 304 [2205.03412]

work page arXiv 2022
[6]

Cordova, T

C. Cordova, T. T. Dumitrescu, K. Intriligator and S.-H. Shao,Snowmass White Paper: Generalized Symmetries in Quantum Field Theory and Beyond, inSnowmass 2021, 5, 2022,2205.09545

work page arXiv 2021
[7]

P. R. S. Gomes,An introduction to higher-form symmetries,SciPost Phys. Lect. Notes74(2023) 1 [2303.01817]

work page arXiv 2023
[8]

T. D. Brennan and S. Hong,Introduction to Generalized Global Symmetries in QFT and Particle Physics,2306.00912. – 23 –

work page arXiv
[9]

Lectures on generalized symmetries,

L. Bhardwaj, L. E. Bottini, L. Fraser-Taliente, L. Gladden, D. S. W. Gould, A. Platschorre et al., Lectures on generalized symmetries,Phys. Rept.1051(2024) 1 [2307.07547]

work page arXiv 2024
[10]

Luo, Q.-R

R. Luo, Q.-R. Wang and Y .-N. Wang,Lecture notes on generalized symmetries and applications,Phys. Rept.1065(2024) 1 [2307.09215]

work page arXiv 2024
[11]

Loaiza-Brito and V

O. Loaiza-Brito and V . M. L´opez-Ramos,A mini-course on Generalized Symmetries and a relation to Cobordisms and K-theory,2404.03599

work page arXiv
[12]

The Swampland: Introduction and Review

E. Palti,The Swampland: Introduction and Review,Fortsch. Phys.67(2019) 1900037 [1903.06239]

work page Pith review arXiv 2019
[13]

van Beest, J

M. van Beest, J. Calder ´on-Infante, D. Mirfendereski and I. Valenzuela,Lectures on the Swampland Program in String Compactifications,Phys. Rept.989(2022) 1 [2102.01111]

work page arXiv 2022
[14]

Gra˜ na and A

M. Gra ˜na and A. Herr´aez,The Swampland Conjectures: A Bridge from Quantum Gravity to Particle Physics,Universe7(2021) 273 [2107.00087]

work page arXiv 2021
[15]

N. B. Agmon, A. Bedroya, M. J. Kang and C. Vafa,Lectures on the string landscape and the Swampland,2212.06187

work page arXiv
[16]

Makridou,Swampland program: cobordism, tadpoles, and the dark dimension, Ph.D

A. Makridou,Swampland program: cobordism, tadpoles, and the dark dimension, Ph.D. thesis, Munich U., Munich, Max Planck Inst., 6, 2023. 10.5282/edoc.32315

work page doi:10.5282/edoc.32315 2023
[17]

McNamara and C

J. McNamara and C. Vafa,Cobordism Classes and the Swampland,1909.10355

work page arXiv 1909
[18]

Montero and C

M. Montero and C. Vafa,Cobordism Conjecture, Anomalies, and the String Lamppost Principle,JHEP 01(2021) 063 [2008.11729]

work page arXiv 2021
[19]

Blumenhagen and N

R. Blumenhagen and N. Cribiori,Open-closed correspondence of K-theory and cobordism,JHEP08 (2022) 037 [2112.07678]

work page arXiv 2022
[20]

Blumenhagen, N

R. Blumenhagen, N. Cribiori, C. Kneissl and A. Makridou,Dimensional Reduction of Cobordism and K-theory,JHEP03(2023) 181 [2208.01656]

work page arXiv 2023
[21]

Buratti, J

G. Buratti, J. Calder ´on-Infante, M. Delgado and A. M. Uranga,Dynamical Cobordism and Swampland Distance Conjectures,JHEP10(2021) 037 [2107.09098]

work page arXiv 2021
[23]

Blumenhagen, N

R. Blumenhagen, N. Cribiori, C. Kneissl and A. Makridou,Dynamical cobordism of a domain wall and its companion defect 7-brane,JHEP08(2022) 204 [2205.09782]

work page arXiv 2022
[24]

Dudas and J

E. Dudas and J. Mourad,Brane solutions in strings with broken supersymmetry and dilaton tadpoles, Phys. Lett. B486(2000) 172 [hep-th/0004165]

work page arXiv 2000
[25]

Blumenhagen and A

R. Blumenhagen and A. Font,Dilaton tadpoles, warped geometries and large extra dimensions for nonsupersymmetric strings,Nucl. Phys. B599(2001) 241 [hep-th/0011269]

work page arXiv 2001
[26]

I. R. Klebanov and A. A. Tseytlin,Gravity duals of supersymmetric SU(N) x SU(N+M) gauge theories, Nucl. Phys. B578(2000) 123 [hep-th/0002159]

work page arXiv 2000
[27]

I. R. Klebanov and M. J. Strassler,Supergravity and a confining gauge theory: Duality cascades and chi SB resolution of naked singularities,JHEP08(2000) 052 [hep-th/0007191]

work page arXiv 2000
[28]

Evidence for F-Theory

C. Vafa,Evidence for F theory,Nucl. Phys. B469(1996) 403 [hep-th/9602022]

work page Pith review arXiv 1996
[29]

D. R. Morrison and C. Vafa,Compactifications of F theory on Calabi-Yau threefolds. 2.,Nucl. Phys. B – 24 – 476(1996) 437 [hep-th/9603161]

work page Pith review arXiv 1996
[30]

Candelas, A

P. Candelas, A. Constantin, C. Damian, M. Larfors and J. F. Morales,Type IIB flux vacua from G-theory I,JHEP02(2015) 187 [1411.4785]

work page arXiv 2015
[31]

Candelas, A

P. Candelas, A. Constantin, C. Damian, M. Larfors and J. F. Morales,Type IIB flux vacua from G-theory II,JHEP02(2015) 188 [1411.4786]

work page arXiv 2015
[32]

Garc ´ıa Etxebarria, M

I. Garc ´ıa Etxebarria, M. Montero, K. Sousa and I. Valenzuela,Nothing is certain in string compactifications,JHEP12(2020) 032 [2005.06494]

work page arXiv 2020
[33]

S. B. Giddings, S. Kachru and J. Polchinski,Hierarchies from fluxes in string compactifications,Phys. Rev. D66(2002) 106006 [hep-th/0105097]

work page Pith review arXiv 2002
[34]

Buratti, M

G. Buratti, M. Delgado and A. M. Uranga,Dynamical tadpoles, stringy cobordism, and the SM from spontaneous compactification,JHEP06(2021) 170 [2104.02091]

work page arXiv 2021
[35]

Damian and O

C. Damian and O. Loaiza-Brito,Meromorphic Flux Compactification,JHEP04(2017) 141 [1612.05187]

work page arXiv 2017
[36]

Debray, M

A. Debray, M. Dierigl, J. J. Heckman and M. Montero,The Chronicles of IIBordia: Dualities, Bordisms, and the Swampland,2302.00007

work page arXiv
[37]

S-folds and 4d N=3 superconformal field theories,

O. Aharony, Y . Tachikawa and K. Gomi,S-folds and 4d N=3 superconformal field theories,JHEP06 (2016) 044 [1602.08638]

work page arXiv 2016
[38]

Hatcher,Algebraic Topology

A. Hatcher,Algebraic Topology. Cambridge University Press, Cambridge, 2002

work page 2002
[39]

P. S. Landweber,K ¨unneth Formulas for Bordism Theories,Trans. Amer. Math. Soc.121(1966) 242

work page 1966
[40]

B ´arcenas, L

N. B ´arcenas, L. E. Garc´ıa-Hern´andez and R. Reinauer,The Gromov–Lawson–Rosenberg Conjecture for Z/4×Z/4, 2024. – 25 –

work page 2024