Showing 1–17 of 17 results for author: Debray, A

Smith homomorphisms and Spin$^h$ structures

Authors: Arun Debray, Cameron Krulewski

Abstract: In this article, we answer two questions of Buchanan-McKean (arXiv:2312.08209) about bordism for manifolds with spin$^h$ structures: we establish a Smith isomorphism between the reduced spin$^h$ bordism of $\mathbb{RP}^\infty$ and pin$^{h-}$ bordism, and we provide a geometric explanation for the isomorphism… ▽ More In this article, we answer two questions of Buchanan-McKean (arXiv:2312.08209) about bordism for manifolds with spin$^h$ structures: we establish a Smith isomorphism between the reduced spin$^h$ bordism of $\mathbb{RP}^\infty$ and pin$^{h-}$ bordism, and we provide a geometric explanation for the isomorphism $Ω_{4k}^{\mathrm{Spin}^c} \otimes\mathbb Z[1/2] \cong Ω_{4k}^{\mathrm{Spin}^h} \otimes\mathbb Z[1/2]$. Our proofs use the general theory of twisted spin structures and Smith homomorphisms that we developed in arXiv:2405.04649 joint with Devalapurkar, Liu, Pacheco-Tallaj, and Thorngren, specifically that the Smith homomorphism participates in a long exact sequence with explicit, computable terms. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 15 pages; comments welcome!

The Smith Fiber Sequence of Invertible Field Theories

Authors: Arun Debray, Sanath K. Devalapurkar, Cameron Krulewski, Yu Leon Liu, Natalia Pacheco-Tallaj, Ryan Thorngren

Abstract: Smith homomorphisms are maps between bordism groups that change both the dimension and the tangential structure. We give a completely general account of Smith homomorphisms, unifying the many examples in the literature. We provide three definitions of Smith homomorphisms, including as maps of Thom spectra, and show they are equivalent. Using this, we identify the cofiber of the spectrum-level Smit… ▽ More Smith homomorphisms are maps between bordism groups that change both the dimension and the tangential structure. We give a completely general account of Smith homomorphisms, unifying the many examples in the literature. We provide three definitions of Smith homomorphisms, including as maps of Thom spectra, and show they are equivalent. Using this, we identify the cofiber of the spectrum-level Smith map and extend the Smith homomorphism to a long exact sequence of bordism groups, which is a powerful computation tool. We discuss several examples of this long exact sequence, relating them to known constructions such as Wood's and Wall's sequences. Furthermore, taking Anderson duals yields a long exact sequence of invertible field theories, which has a rich physical interpretation. We developed the theory in this paper with applications in mind to symmetry breaking in quantum field theory, which we study in a companion paper. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Comments: 73 pages, 3 figures. Originally posted as the mathematical sections of arXiv:2309.16749. This version features new content in sections 6 and 8

Differential cohomology (encyclopedia article)

Authors: Arun Debray

Abstract: We give an overview of differential cohomology from the point of view of algebraic topology. This includes a survey of several different definitions of differential cohomology groups, a discussion of differential characteristic classes, an introduction to differential generalized cohomology theory, and some applications in physics. We give an overview of differential cohomology from the point of view of algebraic topology. This includes a survey of several different definitions of differential cohomology groups, a discussion of differential characteristic classes, an introduction to differential generalized cohomology theory, and some applications in physics. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Comments: 20 pages, article for the Encyclopedia of Mathematical Physics, 2nd ed

Global anomalies & bordism of non-supersymmetric strings

Authors: Ivano Basile, Arun Debray, Matilda Delgado, Miguel Montero

Abstract: The three tachyon-free non-supersymmetric string theories in ten dimensions provide a handle on quantum gravity away from the supersymmetric lamppost. However, they have not been shown to be fully consistent; although local anomalies cancel due to versions of the Green-Schwarz mechanism, there could be global anomalies, not cancelled by the Green-Schwarz mechanism, that could become fatal patholog… ▽ More The three tachyon-free non-supersymmetric string theories in ten dimensions provide a handle on quantum gravity away from the supersymmetric lamppost. However, they have not been shown to be fully consistent; although local anomalies cancel due to versions of the Green-Schwarz mechanism, there could be global anomalies, not cancelled by the Green-Schwarz mechanism, that could become fatal pathologies. We compute the twisted string bordism groups that control these anomalies via the Adams spectral sequence, showing that they vanish completely in two out of three cases (Sugimoto and $SO(16)^2$) and showing a partial vanishing also in the third (Sagnotti 0'B model). We also compute lower-dimensional bordism groups of the non-supersymmetric string theories, which are of interest to the classification of branes in these theories via the Cobordism Conjecture. We propose a worldvolume content based on anomaly inflow for the $SO(16)^2$ NS5-brane, and discuss subtleties related to the torsion part of the Bianchi identity. As a byproduct of our techniques and analysis, we also reprove that the outer $\mathbb{Z}_2$ automorphism swap** the two $E_8$ factors in the supersymmetric heterotic string is also non-anomalous. △ Less

Submitted 14 April, 2024; v1 submitted 10 October, 2023; originally announced October 2023.

Comments: 67 pages + references, 10 figures, 1 table

Report number: IFT-23-129

A Long Exact Sequence in Symmetry Breaking: order parameter constraints, defect anomaly-matching, and higher Berry phases

Authors: Arun Debray, Sanath K. Devalapurkar, Cameron Krulewski, Yu Leon Liu, Natalia Pacheco-Tallaj, Ryan Thorngren

Abstract: We study defects in symmetry breaking phases, such as domain walls, vortices, and hedgehogs. In particular, we focus on the localized gapless excitations which sometimes occur at the cores of these objects. These are topologically protected by an 't Hooft anomaly. We classify different symmetry breaking phases in terms of the anomalies of these defects, and relate them to the anomaly of the broken… ▽ More We study defects in symmetry breaking phases, such as domain walls, vortices, and hedgehogs. In particular, we focus on the localized gapless excitations which sometimes occur at the cores of these objects. These are topologically protected by an 't Hooft anomaly. We classify different symmetry breaking phases in terms of the anomalies of these defects, and relate them to the anomaly of the broken symmetry by an anomaly-matching formula. We also derive the obstruction to the existence of a symmetry breaking phase with a local defect. We obtain these results using a long exact sequence of groups of invertible field theories, which we call the "symmetry breaking long exact sequence" (SBLES). The mathematical backbone of the SBLES is studied in a companion paper. Our work further develops the theory of higher Berry phase and its bulk-boundary correspondence, and serves as a new computational tool for classifying symmetry protected topological phases. △ Less

Submitted 8 May, 2024; v1 submitted 28 September, 2023; originally announced September 2023.

Comments: 31 pages, 4 figures. The mathematical sections have been removed and now appear in 2405.04649

Adams spectral sequences for non-vector-bundle Thom spectra

Authors: Arun Debray, Matthew Yu

Abstract: When $R$ is one of the spectra $\mathit{ku}$, $\mathit{ko}$, $\mathit{tmf}$, $\mathit{MTSpin}^c$, $\mathit{MTSpin}$, or $\mathit{MTString}$, there is a standard approach to computing twisted $R$-homology groups of a space $X$ with the Adams spectral sequence, by using a change-of-rings isomorphism to simplify the $E_2$-page. This approach requires the assumption that the twist comes from a vector… ▽ More When $R$ is one of the spectra $\mathit{ku}$, $\mathit{ko}$, $\mathit{tmf}$, $\mathit{MTSpin}^c$, $\mathit{MTSpin}$, or $\mathit{MTString}$, there is a standard approach to computing twisted $R$-homology groups of a space $X$ with the Adams spectral sequence, by using a change-of-rings isomorphism to simplify the $E_2$-page. This approach requires the assumption that the twist comes from a vector bundle, i.e. the twist map $X\to B\mathrm{GL}_1(R)$ factors through $B\mathrm{O}$. We show this assumption is unnecessary by working with Baker-Lazarev's Adams spectral sequence of $R$-modules and computing its $E_2$-page for a large class of twists of these spectra. We then work through two example computations motivated by anomaly cancellation for supergravity theories. △ Less

Submitted 2 May, 2023; originally announced May 2023.

Comments: 41 pages, comments welcome

Bordism for the 2-group symmetries of the heterotic and CHL strings

Authors: Arun Debray

Abstract: In the presence of a nonzero B-field, the symmetries of the $\mathrm E_8\times \mathrm E_8$ heterotic string form a 2-group, or a categorified group, as do the symmetries of the CHL string. We express the bordism groups of the corresponding tangential structures as twisted string bordism groups, then compute them through dimension 11 modulo a few unresolved ambiguities. Then, we use these bordism… ▽ More In the presence of a nonzero B-field, the symmetries of the $\mathrm E_8\times \mathrm E_8$ heterotic string form a 2-group, or a categorified group, as do the symmetries of the CHL string. We express the bordism groups of the corresponding tangential structures as twisted string bordism groups, then compute them through dimension 11 modulo a few unresolved ambiguities. Then, we use these bordism groups to study anomalies and defects for these two string theories. △ Less

Submitted 28 April, 2023; originally announced April 2023.

Comments: 64 pages. Comments welcome!

The Chronicles of IIBordia: Dualities, Bordisms, and the Swampland

Authors: Arun Debray, Markus Dierigl, Jonathan J. Heckman, Miguel Montero

Abstract: In this work we investigate the Swampland Cobordism Conjecture in the context of type IIB string theory geometries with non-trivial duality bundle. Quite remarkably, we find that many non-trivial bordism classes with duality bundles in Mp$(2,\mathbb{Z})$, a double cover of SL$(2,\mathbb{Z})$ related to fermions, correspond to asymptotic boundaries of well-known supersymmetric F-theory backgrounds.… ▽ More In this work we investigate the Swampland Cobordism Conjecture in the context of type IIB string theory geometries with non-trivial duality bundle. Quite remarkably, we find that many non-trivial bordism classes with duality bundles in Mp$(2,\mathbb{Z})$, a double cover of SL$(2,\mathbb{Z})$ related to fermions, correspond to asymptotic boundaries of well-known supersymmetric F-theory backgrounds. These include $[p,q]$-7-branes, non-Higgsable clusters, S-folds, as well as various lower-dimensional generalizations. These string theoretic objects break the global symmetries associated to the non-trivial bordism groups, providing a strong test of the Cobordism Conjecture. Further including worldsheet orientation reversal promotes the duality group to the Pin$^+$ cover of GL$(2,\mathbb{Z})$. The corresponding bordism groups require a new non-supersymmetric "reflection 7-brane" and its compactifications to ensure the absence of global symmetries, thus providing an interesting prediction of the Cobordism Conjecture for non-supersymmetric type IIB backgrounds. A major component of the present work is the explicit derivation of the involved bordism groups as well as their generators, which correspond to asymptotic boundaries of explicit string theory backgrounds. The main tool is the Adams spectral sequence, to which we provide a detailed introduction. We anticipate that the same techniques can be applied in a wide variety of settings. △ Less

Submitted 31 January, 2023; originally announced February 2023.

Comments: 143 pages + appendices + references, 35 Figures, 16 Tables, 1 Map to the Lands of IIBordia

Report number: LMU-ASC 06/23, IFT-UAM/CSIC-23-7

What bordism-theoretic anomaly cancellation can do for U

Authors: Arun Debray, Matthew Yu

Abstract: We perform a bordism computation to show that the $E_{7(7)}(\mathbb{R})$ U-duality symmetry of 4d $\mathcal N = 8$ supergravity could have an anomaly invisible to perturbative methods; then we show that this anomaly is trivial. We compute the relevant bordism group using the Adams and Atiyah-Hirzebruch spectral sequences, and we show the anomaly vanishes by computing $η$-invariants on the Wu manif… ▽ More We perform a bordism computation to show that the $E_{7(7)}(\mathbb{R})$ U-duality symmetry of 4d $\mathcal N = 8$ supergravity could have an anomaly invisible to perturbative methods; then we show that this anomaly is trivial. We compute the relevant bordism group using the Adams and Atiyah-Hirzebruch spectral sequences, and we show the anomaly vanishes by computing $η$-invariants on the Wu manifold, which generates the bordism group. △ Less

Submitted 10 October, 2022; originally announced October 2022.

Comments: 29 pages, 4 figures

Constructing the Virasoro groups using differential cohomology

Authors: Arun Debray, Yu Leon Liu, Christoph Weis

Abstract: The Virasoro groups are a family of central extensions of $\mathrm{Diff}^+(S^1)$, the group of orientation-preserving diffeomorphisms of $S^1$, by the circle group $\mathbb T$. We give a novel, geometric construction of these central extensions using "off-diagonal" differential lifts of the first Pontryagin class, thus affirmatively answering a question of Freed-Hopkins. The Virasoro groups are a family of central extensions of $\mathrm{Diff}^+(S^1)$, the group of orientation-preserving diffeomorphisms of $S^1$, by the circle group $\mathbb T$. We give a novel, geometric construction of these central extensions using "off-diagonal" differential lifts of the first Pontryagin class, thus affirmatively answering a question of Freed-Hopkins. △ Less

Submitted 20 December, 2021; originally announced December 2021.

Comments: 26 pages

Journal ref: Int. Math. Res. Not. 2023, no. 21, pp. 18537-18574

Differential Cohomology: Categories, Characteristic Classes, and Connections

Authors: Araminta Amabel, Arun Debray, Peter J. Haine

Abstract: We give an overview of differential cohomology from a modern, homotopy-theoretic perspective in terms of sheaves on manifolds. Although modern techniques are used, we base our discussion in the classical precursors to this modern approach, such as Chern-Weil theory and differential characters, and include the necessary background to increase accessibility. Special treatment is given to differentia… ▽ More We give an overview of differential cohomology from a modern, homotopy-theoretic perspective in terms of sheaves on manifolds. Although modern techniques are used, we base our discussion in the classical precursors to this modern approach, such as Chern-Weil theory and differential characters, and include the necessary background to increase accessibility. Special treatment is given to differential characteristic classes, including a differential lift of the first Pontryagin class. Multiple applications, including to configuration spaces, invertible field theories, and conformal immersions, are also discussed. This book is based on talks given at MIT's Juvitop seminar jointly with UT Austin in the Fall of 2019. △ Less

Submitted 18 January, 2023; v1 submitted 24 September, 2021; originally announced September 2021.

Comments: Comments very welcome! Edited by: A. Amabel, A. Debray, P. Haine. Talks by: A. Amabel, D. Chua, A. Debray, S. Devalapurkar, D. Freed, P. Haine, M. Hopkins, G. Parker, C. Reid, and A. Zhang. v2. Added Chapter 13 on classifying spaces for G-bundles. Improved notation. Corrected numerous typos and made a number of minor additions. v1. 232 pages

The anomaly that was not meant IIB

Authors: Arun Debray, Markus Dierigl, Jonathan J. Heckman, Miguel Montero

Abstract: Type IIB supergravity enjoys a discrete non-Abelian duality group, which has potential quantum anomalies. In this paper we explicitly compute these, and present the bordism group that controls them, modulo some physically motivated assumptions. Quite surprisingly, we find that they do not vanish, which naively would signal an inconsistency of F-theory. Remarkably, a subtle modification of the stan… ▽ More Type IIB supergravity enjoys a discrete non-Abelian duality group, which has potential quantum anomalies. In this paper we explicitly compute these, and present the bordism group that controls them, modulo some physically motivated assumptions. Quite surprisingly, we find that they do not vanish, which naively would signal an inconsistency of F-theory. Remarkably, a subtle modification of the standard 10d Chern-Simons term cancels these anomalies, a fact which relies on the ***specific*** field content of type IIB supergravity. We also discover other ways to cancel this anomaly, via a topological analog of the Green-Schwarz mechanism. These alternative type IIB theories have the same low energy supergravity limit as ordinary type IIB, but a different spectrum of extended objects. They could either be part of the Swampland, or connect to the standard theory via domain walls. △ Less

Submitted 22 November, 2021; v1 submitted 29 July, 2021; originally announced July 2021.

Comments: 40 pages + appendices, 4 figures, 331776 bordism classes. v2: Added references, expanded discussion on quadratic refinement

Report number: LMU-ASC 24/21

Stable diffeomorphism classification of some unorientable 4-manifolds

Authors: Arun Debray

Abstract: Kreck's modified surgery theory reduces the classification of closed, connected 4-manifolds, up to connect sum with some number of copies of $S^2\times S^2$, to a series of bordism questions. We implement this in the case of unorientable 4-manifolds M and show that for some choices of fundamental groups, the computations simplify considerably. We use this to solve some cases in which $π_1(M)$ is f… ▽ More Kreck's modified surgery theory reduces the classification of closed, connected 4-manifolds, up to connect sum with some number of copies of $S^2\times S^2$, to a series of bordism questions. We implement this in the case of unorientable 4-manifolds M and show that for some choices of fundamental groups, the computations simplify considerably. We use this to solve some cases in which $π_1(M)$ is finite of order 2 mod 4: under an assumption on cohomology, there are nine stable diffeomorphism classes for which M is pin$^+$, one stable diffeomorphism class for which M is pin$^-$, and four stable diffeomorphism classes for which M is neither. We also determine the corresponding stable homeomorphism classes. △ Less

Submitted 7 March, 2021; v1 submitted 7 February, 2021; originally announced February 2021.

Comments: 10 pages. Comments welcome! v2: fixed an error in an important lemma

MSC Class: 57K40 (Primary) 57R75; 57R90 (Secondary)

Invertible phases for mixed spatial symmetries and the fermionic crystalline equivalence principle

Authors: Arun Debray

Abstract: Freed-Hopkins give a mathematical ansatz for classifying gapped invertible phases of matter with a spatial symmetry in terms of Borel-equivariant generalized homology. We propose a slight generalization of this ansatz to account for cases where the symmetry type mixes nontrivially with the spatial symmetry, such as crystalline phases with spin-1/2 fermions. From this ansatz, we prove as a theorem… ▽ More Freed-Hopkins give a mathematical ansatz for classifying gapped invertible phases of matter with a spatial symmetry in terms of Borel-equivariant generalized homology. We propose a slight generalization of this ansatz to account for cases where the symmetry type mixes nontrivially with the spatial symmetry, such as crystalline phases with spin-1/2 fermions. From this ansatz, we prove as a theorem a "fermionic crystalline equivalence principle," as predicted in the physics literature. Using this and the Adams spectral sequence, we compute classifications of some classes of phases with a point group symmetry; in cases where these phases have been studied by other methods, our results agree with the literature. △ Less

Submitted 10 March, 2021; v1 submitted 4 February, 2021; originally announced February 2021.

Comments: 88 pages. Comments welcome! v2: fixed a few incorrect calculations

MSC Class: 81T45 (Primary) 57R90 (Secondary)

Lectures on invertible field theories

Authors: Arun Debray, Soren Galatius, Martin Palmer

Abstract: Four lectures on invertible field theories at the Park City Mathematics Institute 2019. Cobordism categories are introduced both as plain categories and topologically enriched. We then discuss localization of categories and its relationship to classifying spaces, and state the main theorem of classification of invertible field theories in these terms. We also discuss symmetric monoidal structures… ▽ More Four lectures on invertible field theories at the Park City Mathematics Institute 2019. Cobordism categories are introduced both as plain categories and topologically enriched. We then discuss localization of categories and its relationship to classifying spaces, and state the main theorem of classification of invertible field theories in these terms. We also discuss symmetric monoidal structures and their relationship to actions of the little disk operads. In the final lecture we discuss an application of cobordism categories to characteristic classes of surface bundles. Emphasis will be on self-contained definitions and statements, referring to original literature for proofs. We also include problem sets from the three exercise sessions at the summer school, and solutions to two problems. △ Less

Submitted 2 August, 2020; v1 submitted 18 December, 2019; originally announced December 2019.

Comments: Lecture notes by S. Galatius, problem sets and solutions by A. Debray, S. Galatius, and M. Palmer. 57 pages. Video available at https://www.youtube.com/playlist?list=PLldN_DpkXL3ZKUTrWUOHWTuFPRIFGgfqP

Report number: CPH-GEOTOP-DNRF151 MSC Class: 57R56

Journal ref: In D. Freed, S. Gukov, C. Manolescu, C. Teleman, U. Tillmann (Eds.): Quantum Field Theory and Manifold Invariants (AMS, IAS/Park City Mathematics Series, 2021 vol 28, pp. 347-402)

The low-energy TQFT of the generalized double semion model

Authors: Arun Debray

Abstract: The generalized double semion (GDS) model, introduced by Freedman and Hastings, is a lattice system similar to the toric code, with a gapped Hamiltonian whose definition depends on a triangulation of the ambient manifold $M$, but whose space of ground states does not depend on the triangulation, but only on the underlying manifold. In this paper, we use topological quantum field theory (TQFT) to i… ▽ More The generalized double semion (GDS) model, introduced by Freedman and Hastings, is a lattice system similar to the toric code, with a gapped Hamiltonian whose definition depends on a triangulation of the ambient manifold $M$, but whose space of ground states does not depend on the triangulation, but only on the underlying manifold. In this paper, we use topological quantum field theory (TQFT) to investigate the low-energy limit of the GDS model. We define and study a functorial TQFT $Z_{\mathrm{GDS}}$ in every dimension $n$ such that for every closed $(n - 1)$-manifold $M$, $Z_{\mathrm{GDS}}(M)$ is isomorphic to the space of ground states of the GDS model on $M$; the isomorphism can be chosen to intertwine the actions of the map** class group of $M$ that arise on both sides. Throughout this paper, we compare our constructions and results with their known analogues for the toric code. △ Less

Submitted 8 November, 2018; originally announced November 2018.

MSC Class: 81T27 (Primary); 57R56 (Secondary)

The Arf-Brown TQFT of Pin$^-$ Surfaces

Authors: Arun Debray, Sam Gunningham

Abstract: The Arf-Brown invariant $\mathit{AB}(Σ)$ is an 8th root of unity associated to a surface $Σ$ equipped with a pin$^-$ structure. In this note we investigate a certain fully extended, invertible, topological quantum field theory (TQFT) whose partition function is the Arf-Brown invariant. Our motivation comes from the recent work of Freed-Hopkins on the classification of topological phases, of which… ▽ More The Arf-Brown invariant $\mathit{AB}(Σ)$ is an 8th root of unity associated to a surface $Σ$ equipped with a pin$^-$ structure. In this note we investigate a certain fully extended, invertible, topological quantum field theory (TQFT) whose partition function is the Arf-Brown invariant. Our motivation comes from the recent work of Freed-Hopkins on the classification of topological phases, of which the Arf-Brown TQFT provides a nice example of the general theory; physically, it can be thought of as the low energy effective theory of the Majorana chain, or as the anomaly theory of a free fermion in 1 dimension. △ Less

Submitted 29 March, 2018; originally announced March 2018.