-
Simons Lectures on Categorical Symmetries
Authors:
Davi Costa,
Clay Córdova,
Michele Del Zotto,
Dan Freed,
Jonte Gödicke,
Aaron Hofer,
David Jordan,
Davide Morgante,
Robert Moscrop,
Kantaro Ohmori,
Elias Riedel Gårding,
Claudia Scheimbauer,
Anja Švraka
Abstract:
Global Categorical Symmetries are a powerful new tool for analyzing quantum field theories. This volume compiles lecture notes from the 2022 and 2023 summer schools on Global Categorical Symmetries, held at the Perimeter Institute for Theoretical Physics and at the Swiss Map Research Station in Les Diableret. Specifically, this volume collects the lectures:
* An introduction to symmetries in qua…
▽ More
Global Categorical Symmetries are a powerful new tool for analyzing quantum field theories. This volume compiles lecture notes from the 2022 and 2023 summer schools on Global Categorical Symmetries, held at the Perimeter Institute for Theoretical Physics and at the Swiss Map Research Station in Les Diableret. Specifically, this volume collects the lectures:
* An introduction to symmetries in quantum field theory, Kantaro Ohmori
* Introduction to anomalies in quantum field theory, Clay Córdova
* Symmetry Categories 101, Michele Del Zotto
* Applied Cobordism Hypothesis, David Jordan
* Finite symmetry in QFT, Daniel S. Freed
These volumes are devoted to interested newcomers: we only assume (basic) knowledge of quantum field theory (QFT) and some relevant maths. We try to give appropriate references for non-standard materials that are not covered. Our aim in this first volume is to illustrate some of the main questions and ideas together with some of the methods and the techniques necessary to begin exploring global categorical symmetries of QFTs.
△ Less
Submitted 13 November, 2024;
originally announced November 2024.
-
Assembly of Constructible Factorization Algebras
Authors:
Eilind Karlsson,
Claudia I. Scheimbauer,
Tashi Walde
Abstract:
We provide a toolbox of extension, gluing, and assembly techniques for factorization algebras.
Using these tools, we fill various gaps in the literature on factorization algebras on stratified manifolds, the main one being that constructible factorization algebras form a sheaf of symmetric monoidal $\infty$-categories. Additionally, we explain how to assemble constructible factorization algebras…
▽ More
We provide a toolbox of extension, gluing, and assembly techniques for factorization algebras.
Using these tools, we fill various gaps in the literature on factorization algebras on stratified manifolds, the main one being that constructible factorization algebras form a sheaf of symmetric monoidal $\infty$-categories. Additionally, we explain how to assemble constructible factorization algebras from the data on the individual strata together with module structures associated to the relative links; thus answering a question by Ayala.
Along the way, we give detailed proofs of the following facts which are also of independent interest: constructibility is a local condition; the $\infty$-category of disks is a localization of any sufficiently fine poset of disks; constructibility implies the Weiss condition on disks; constructible factorization algebras are algebras for the $\infty$-operad of embedded disks. For each of these, variants or special cases already existed, but they were either incomplete or not general enough.
△ Less
Submitted 17 January, 2025; v1 submitted 28 March, 2024;
originally announced March 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.
-
Relative field theories via relative dualizability
Authors:
Claudia Scheimbauer,
Thomas Stempfhuber
Abstract:
We investigate relative versions of dualizability designed for relative versions of topological field theories (TFTs), also called twisted TFTs, or quiche TFTs in the context of symmetries. In even dimensions we show an equivalence between lax and oplax fully extended framed relative topological field theories valued in an $(\infty , N)$-category in terms of adjunctibility. Motivated by this, we s…
▽ More
We investigate relative versions of dualizability designed for relative versions of topological field theories (TFTs), also called twisted TFTs, or quiche TFTs in the context of symmetries. In even dimensions we show an equivalence between lax and oplax fully extended framed relative topological field theories valued in an $(\infty , N)$-category in terms of adjunctibility. Motivated by this, we systematically investigate higher adjunctibility conditions and their implications for relative TFTs. Summarizing we arrive at the conclusion that oplax relative TFTs is the notion of choice. Finally, for fun we explore a tree version of adjunctibility and compute the number of equivalence classes thereof.
△ Less
Submitted 26 March, 2025; v1 submitted 8 December, 2023;
originally announced December 2023.
-
The AKSZ Construction in Derived Algebraic Geometry as an Extended Topological Field Theory
Authors:
Damien Calaque,
Rune Haugseng,
Claudia Scheimbauer
Abstract:
We construct a family of oriented extended topological field theories using the AKSZ construction in derived algebraic geometry, which can be viewed as an algebraic and topological version of the classical AKSZ field theories that occur in physics. These have as their targets higher categories of symplectic derived stacks, with higher morphisms given by iterated Lagrangian correspondences. We defi…
▽ More
We construct a family of oriented extended topological field theories using the AKSZ construction in derived algebraic geometry, which can be viewed as an algebraic and topological version of the classical AKSZ field theories that occur in physics. These have as their targets higher categories of symplectic derived stacks, with higher morphisms given by iterated Lagrangian correspondences. We define these, as well as analogous higher categories of oriented derived stacks and iterated oriented cospans, and prove that all objects are fully dualizable. Then we set up a functorial version of the AKSZ construction, first implemented in this context by Pantev-Toën-Vaquié-Vezzosi, and show that it induces a family of symmetric monoidal functors from oriented stacks to symplectic stacks. Finally, we construct forgetful functors from the unoriented bordism $(\infty,n)$-category to cospans of spaces, and from the oriented bordism $(\infty,n)$-category to cospans of spaces equipped with an orientation; the latter combines with the AKSZ functors by viewing spaces as constant stacks, giving the desired field theories.
△ Less
Submitted 16 November, 2022; v1 submitted 5 August, 2021;
originally announced August 2021.
-
Comparison of Waldhausen constructions
Authors:
Julia E. Bergner,
Angélica M. Osorno,
Viktoriya Ozornova,
Martina Rovelli,
Claudia I. Scheimbauer
Abstract:
In previous work, we develop a generalized Waldhausen $S_{\bullet}$-construction whose input is an augmented stable double Segal space and whose output is a unital 2-Segal space. Here, we prove that this construction recovers the previously known $S_{\bullet}$-constructions for exact categories and for stable and exact $(\infty,1)$-categories, as well as the relative $S_{\bullet}$-construction for…
▽ More
In previous work, we develop a generalized Waldhausen $S_{\bullet}$-construction whose input is an augmented stable double Segal space and whose output is a unital 2-Segal space. Here, we prove that this construction recovers the previously known $S_{\bullet}$-constructions for exact categories and for stable and exact $(\infty,1)$-categories, as well as the relative $S_{\bullet}$-construction for exact functors.
△ Less
Submitted 28 May, 2020; v1 submitted 11 January, 2019;
originally announced January 2019.
-
2-Segal objects and the Waldhausen construction
Authors:
Julia E. Bergner,
Angélica M. Osorno,
Viktoriya Ozornova,
Martina Rovelli,
Claudia I. Scheimbauer
Abstract:
In a previous paper, we showed that a discrete version of the $S_\bullet$-construction gives an equivalence of categories between unital 2-Segal sets and augmented stable double categories. Here, we generalize this result to the homotopical setting, by showing that there is a Quillen equivalence between a model category for unital 2-Segal objects and a model category for augmented stable double Se…
▽ More
In a previous paper, we showed that a discrete version of the $S_\bullet$-construction gives an equivalence of categories between unital 2-Segal sets and augmented stable double categories. Here, we generalize this result to the homotopical setting, by showing that there is a Quillen equivalence between a model category for unital 2-Segal objects and a model category for augmented stable double Segal objects which is given by an $S_\bullet$-construction. We show that this equivalence fits together with the result in the discrete case and briefly discuss how it encompasses other known $S_\bullet$-constructions.
△ Less
Submitted 28 September, 2018;
originally announced September 2018.
-
The edgewise subdivision criterion for 2-Segal objects
Authors:
Julia E. Bergner,
Angélica M. Osorno,
Viktoriya Ozornova,
Martina Rovelli,
Claudia I. Scheimbauer
Abstract:
We show that the edgewise subdivision of a $2$-Segal object is always a Segal object, and furthermore that this property characterizes $2$-Segal objects.
We show that the edgewise subdivision of a $2$-Segal object is always a Segal object, and furthermore that this property characterizes $2$-Segal objects.
△ Less
Submitted 13 July, 2018;
originally announced July 2018.
-
Duals and adjoints in higher Morita categories
Authors:
Owen Gwilliam,
Claudia Scheimbauer
Abstract:
We study duals for objects and adjoints for $k$-morphisms in $\operatorname{Alg}_n(\mathcal{S})$, an $(\infty,n+N)$-category that models a higher Morita category for $E_n$ algebra objects in a symmetric monoidal $(\infty,N)$-category $\mathcal{S}$. Our model of $\operatorname{Alg}(\mathcal{S})$ uses the geometrically convenient framework of factorization algebras. The main result is that…
▽ More
We study duals for objects and adjoints for $k$-morphisms in $\operatorname{Alg}_n(\mathcal{S})$, an $(\infty,n+N)$-category that models a higher Morita category for $E_n$ algebra objects in a symmetric monoidal $(\infty,N)$-category $\mathcal{S}$. Our model of $\operatorname{Alg}(\mathcal{S})$ uses the geometrically convenient framework of factorization algebras. The main result is that $\operatorname{Alg}_n(\mathcal{S})$ is fully $n$-dualizable, verifying a conjecture of Lurie. Moreover, we unpack the consequences for a natural class of fully extended topological field theories and explore $(n+1)$-dualizability.
△ Less
Submitted 27 June, 2018; v1 submitted 29 April, 2018;
originally announced April 2018.
-
2-Segal sets and the Waldhausen construction
Authors:
Julia E. Bergner,
Angélica M. Osorno,
Viktoriya Ozornova,
Martina Rovelli,
Claudia I. Scheimbauer
Abstract:
It is known by results of Dyckerhoff-Kapranov and of Gálvez--Carrillo-Kock-Tonks that the output of the Waldhausen S.-construction has a unital 2-Segal structure. Here, we prove that a certain S.-functor defines an equivalence between the category of augmented stable double categories and the category of unital 2-Segal sets. The inverse equivalence is described explicitly by a path construction. W…
▽ More
It is known by results of Dyckerhoff-Kapranov and of Gálvez--Carrillo-Kock-Tonks that the output of the Waldhausen S.-construction has a unital 2-Segal structure. Here, we prove that a certain S.-functor defines an equivalence between the category of augmented stable double categories and the category of unital 2-Segal sets. The inverse equivalence is described explicitly by a path construction. We illustrate the equivalence for the known examples of partial monoids, cobordism categories with genus constraints and graph coalgebras.
△ Less
Submitted 2 May, 2017; v1 submitted 9 September, 2016;
originally announced September 2016.
-
A note on the $(\infty,n)$-category of cobordisms
Authors:
Damien Calaque,
Claudia Scheimbauer
Abstract:
In this extended note we give a precise definition of fully extended topological field theories à la Lurie. Using complete $n$-fold Segal spaces as a model, we construct an $(\infty,n)$-category of $n$-dimensional cobordisms, possibly with tangential structure. We endow it with a symmetric monoidal structure and show that we can recover the usual category of cobordisms $n\operatorname{Cob}$ and th…
▽ More
In this extended note we give a precise definition of fully extended topological field theories à la Lurie. Using complete $n$-fold Segal spaces as a model, we construct an $(\infty,n)$-category of $n$-dimensional cobordisms, possibly with tangential structure. We endow it with a symmetric monoidal structure and show that we can recover the usual category of cobordisms $n\operatorname{Cob}$ and the cobordism bicategory $n\operatorname{Cob}^{ext}$ from it.
△ Less
Submitted 27 May, 2018; v1 submitted 29 September, 2015;
originally announced September 2015.
-
(Op)lax natural transformations, twisted quantum field theories, and "even higher" Morita categories
Authors:
Theo Johnson-Freyd,
Claudia Scheimbauer
Abstract:
Motivated by the challenge of defining twisted quantum field theories in the context of higher categories, we develop a general framework for lax and oplax transformations and their higher analogs between strong $(\infty, n)$-functors. We construct a double $(\infty,n)$-category built out of the target $(\infty, n)$-category governing the desired diagrammatics. We define (op)lax transformations as…
▽ More
Motivated by the challenge of defining twisted quantum field theories in the context of higher categories, we develop a general framework for lax and oplax transformations and their higher analogs between strong $(\infty, n)$-functors. We construct a double $(\infty,n)$-category built out of the target $(\infty, n)$-category governing the desired diagrammatics. We define (op)lax transformations as functors into parts thereof, and an (op)lax twisted field theory to be a symmetric monoidal (op)lax natural transformation between field theories. We verify that lax trivially-twisted relative field theories are the same as absolute field theories. As a second application, we extend the higher Morita category of $E_d$-algebras in a symmetric monoidal $(\infty, n)$-category $\mathcal{C}$ to an $(\infty, n+d)$-category using the higher morphisms in $\mathcal{C}$.
△ Less
Submitted 26 January, 2016; v1 submitted 23 February, 2015;
originally announced February 2015.
-
Lectures on mathematical aspects of (twisted) supersymmetric gauge theories
Authors:
Kevin Costello,
Claudia Scheimbauer
Abstract:
Supersymmetric gauge theories have played a central role in applications of quantum field theory to mathematics. Topologically twisted supersymmetric gauge theories often admit a rigorous mathematical description: for example, the Donaldson invariants of a 4-manifold can be interpreted as the correlation functions of a topologically twisted N=2 gauge theory. The aim of these lectures is to describ…
▽ More
Supersymmetric gauge theories have played a central role in applications of quantum field theory to mathematics. Topologically twisted supersymmetric gauge theories often admit a rigorous mathematical description: for example, the Donaldson invariants of a 4-manifold can be interpreted as the correlation functions of a topologically twisted N=2 gauge theory. The aim of these lectures is to describe a mathematical formulation of partially-twisted supersymmetric gauge theories (in perturbation theory). These partially twisted theories are intermediate in complexity between the physical theory and the topologically twisted theories. Moreover, we will sketch how the operators of such a theory form a two complex dimensional analog of a vertex algebra. Finally, we will consider a deformation of the N=1 theory and discuss its relation to the Yangian, as explained in arXiv:1308.0370 and arXiv:1303.2632.
△ Less
Submitted 12 January, 2014;
originally announced January 2014.
