-
Weak topological phases in the presence of interactions
Authors:
Omar Antolín Camarena,
Arun Debray,
Cameron Krulewski,
Natalia Pacheco-Tallaj,
Daniel Sheinbaum,
Luuk Stehouwer
Abstract:
We investigate the stability of weak symmetry-protected topological phases (SPTs) in the presence of short-range interactions, focusing on the tenfold way classification. Using Atiyah's Real $\mathit{KR}$-theory and Anderson-dualized bordism, we classify free and interacting weak phases across all Altland-Zirnbauer symmetry classes in low dimensions. Extending the free-to-interacting map of Freed-…
▽ More
We investigate the stability of weak symmetry-protected topological phases (SPTs) in the presence of short-range interactions, focusing on the tenfold way classification. Using Atiyah's Real $\mathit{KR}$-theory and Anderson-dualized bordism, we classify free and interacting weak phases across all Altland-Zirnbauer symmetry classes in low dimensions. Extending the free-to-interacting map of Freed-Hopkins, we mathematically compute how the behavior of free weak SPTs changes when interactions are introduced as well as predict intrinsically-interacting weak phases in certain classes. Our mathematical techniques involve T-duality and the James splitting of the torus. Our results provide a mathematical framework for understanding the persistence of weak SPTs under interactions, with potential implications for experimental and theoretical studies of these phases.
△ Less
Submitted 13 October, 2024;
originally announced October 2024.
-
Equivariant Witt Complexes and Twisted Topological Hochschild Homology
Authors:
Anna Marie Bohmann,
Teena Gerhardt,
Cameron Krulewski,
Sarah Petersen,
Lucy Yang
Abstract:
The topological Hochschild homology of a ring (or ring spectrum) $R$ is an $S^1$-spectrum, and the fixed points of THH($R$) for subgroups $C_n\subset S^1$ have been widely studied due to their use in algebraic K-theory computations. Hesselholt and Madsen proved that the fixed points of topological Hochschild homology are closely related to Witt vectors. Further, they defined the notion of a Witt c…
▽ More
The topological Hochschild homology of a ring (or ring spectrum) $R$ is an $S^1$-spectrum, and the fixed points of THH($R$) for subgroups $C_n\subset S^1$ have been widely studied due to their use in algebraic K-theory computations. Hesselholt and Madsen proved that the fixed points of topological Hochschild homology are closely related to Witt vectors. Further, they defined the notion of a Witt complex, and showed that it captures the algebraic structure of the homotopy groups of the fixed points of THH. Recent work of Angeltveit, Blumberg, Gerhardt, Hill, Lawson and Mandell defines a theory of twisted topological Hochschild homology for equivariant rings (or ring spectra) that builds upon Hill, Hopkins and Ravenel's work on equivariant norms. In this paper, we study the algebraic structure of the equivariant homotopy groups of twisted THH. In particular, we define an equivariant Witt complex and prove that the equivariant homotopy of twisted THH has this structure. Our definition of equivariant Witt complexes contributes to a growing body of research in the subject of equivariant algebra.
△ Less
Submitted 7 March, 2025; v1 submitted 9 September, 2024;
originally announced September 2024.
-
A Higher Spin Statistics Theorem for Invertible Quantum Field Theories
Authors:
Cameron Krulewski,
Lukas Müller,
Luuk Stehouwer
Abstract:
We prove that every unitary invertible quantum field theory satisfies a generalization of the famous spin statistics theorem. To formulate this extension, we define a `higher spin' action of the stable orthogonal group $O$ on appropriate spacetime manifolds, which extends both the reflection involution and spin flip. On the algebraic side, we define a `higher statistics' action of $O$ on the unive…
▽ More
We prove that every unitary invertible quantum field theory satisfies a generalization of the famous spin statistics theorem. To formulate this extension, we define a `higher spin' action of the stable orthogonal group $O$ on appropriate spacetime manifolds, which extends both the reflection involution and spin flip. On the algebraic side, we define a `higher statistics' action of $O$ on the universal target for invertible field theories, $I\mathbb{Z}$, which extends both complex conjugation and fermion parity $(-1)^F$. We prove that every unitary invertible quantum field theory intertwines these actions.
△ Less
Submitted 7 August, 2024;
originally announced August 2024.
-
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.
-
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.
-
Dagger $n$-categories
Authors:
Giovanni Ferrer,
Brett Hungar,
Theo Johnson-Freyd,
Cameron Krulewski,
Lukas Müller,
Nivedita,
David Penneys,
David Reutter,
Claudia Scheimbauer,
Luuk Stehouwer,
Chetan Vuppulury
Abstract:
We present a coherent definition of dagger $(\infty,n)$-category in terms of equivariance data trivialized on parts of the category. Our main example is the bordism higher category $\mathbf{Bord}_{n}^X$. This allows us to define a reflection-positive topological quantum field theory to be a higher dagger functor from $\mathbf{Bord}_{n}^X$ to some target higher dagger category $\mathcal{C}$. Our de…
▽ More
We present a coherent definition of dagger $(\infty,n)$-category in terms of equivariance data trivialized on parts of the category. Our main example is the bordism higher category $\mathbf{Bord}_{n}^X$. This allows us to define a reflection-positive topological quantum field theory to be a higher dagger functor from $\mathbf{Bord}_{n}^X$ to some target higher dagger category $\mathcal{C}$. Our definitions have a tunable parameter: a group $G$ acting on the $(\infty,1)$-category $\mathbf{Cat}_{(\infty,n)}$ of $(\infty,n)$-categories. Different choices for $G$ accommodate different flavours of higher dagger structure; the universal choice is $G = \operatorname{Aut}(\mathbf{Cat}_{(\infty,n)}) = (\mathbb{Z}/2\mathbb{Z})^n$, which implements dagger involutions on all levels of morphisms. The Stratified Cobordism Hypothesis suggests that there should be a map $\mathrm{PL}(n) \to \operatorname{Aut}(\mathbf{AdjCat}_{(\infty,n)})$, where $\mathrm{PL}(n)$ is the group of piecewise-linear automorphisms of $\mathbb{R}^n$ and $\mathbf{AdjCat}_{(\infty,n)}$ the $(\infty,1)$-category of $(\infty,n)$-categories with all adjoints; we conjecture more strongly that $\operatorname{Aut}(\mathbf{AdjCat}_{(\infty,n)}) \cong \mathrm{PL}(n)$. Based on this conjecture we propose a notion of dagger $(\infty,n)$-category with unitary duality or $\mathrm{PL}(n)$-dagger category. We outline how to construct a $\mathrm{PL}(n)$-dagger structure on the fully-extended bordism $(\infty,n)$-category $\mathbf{Bord}_n^X$ for any stable tangential structure $X$; our outline restricts to a rigorous construction of a coherent dagger structure on the unextended bordism $(\infty,1)$-category $\mathbf{Bord}_{n,n-1}^X$. The article is a report on the results of a workshop held in Summer 2023, and is intended as a sketch of the big picture and an invitation for more thorough development.
△ Less
Submitted 23 April, 2024; v1 submitted 3 March, 2024;
originally announced March 2024.
-
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.
