Related papers: Orbifold completion of 3-categories

Generalized symmetries of quantum field theories can be characterized by topological defects/operators organized into a higher category. In this paper we consider the Axion-Maxwell field theory in four dimensions and, building on the…

We show that a quantum field theory A living on the line and having a group G of inner symmetries gives rise to a category GLoc A of twisted representations. This category is a braided crossed G-category in the sense of Turaev. Its degree…

We show that every involutive Hopf monoid in a complete and finitely cocomplete symmetric monoidal category gives rise to invariants of oriented surfaces defined in terms of ribbon graphs. For every ribbon graph this yields an object in the…

For two DG-categories A and B we define the notion of a spherical Morita quasi-functor A -> B. We construct its associated autoequivalences: the twist T of D(B) and the co-twist F of D(A). We give powerful sufficiency criteria for a…

In this paper, we begin constructing a new finite-dimensional topological quantum field theory (TQFT) for three-manifolds, based on group PSL(2,C) and its action on a complex variable by fractional-linear transformations, by providing its…

We use a 2-categorical version of (de-)equivariantization to classify (3+1)d topological orders with a finite $G$-symmetry. In particular, we argue that (3+1)d fermionic topological order with $G$-symmetry correspond to…

We prove a conjecture of Hutchings and Lee relating the Seiberg-Witten invariants of a closed 3-manifold X with b_1 > 0 to an invariant that `counts' gradient flow lines--including closed orbits--of a circle-valued Morse function on the…

We generalize the definition of orbifold elliptic genus, and introduce orbifold genera of chromatic level h, using h-tuples rather than pairs of commuting elements. We show that our genera are in fact orbifold invariants, and we prove…

We derive the general state sum construction for 2D topological quantum field theories (TQFTs) with source defects on oriented curves, extending the state-sum construction from special symmetric Frobenius algebra for 2-D TQFTs without…

In the past year several constructions of non-invertible symmetries in Quantum Field Theory in $d\geq 3$ have appeared. In this paper we provide a unified perspective on these constructions. Central to this framework are so-called theta…

Consider a d-dimensional quantum field theory (QFT) $\mathfrak{T}$, with a generalized symmetry $\mathcal{S}$, which may or may not be invertible. We study the action of $\mathcal{S}$ on generalized or $q$-charges, i.e. $q$-dimensional…

We introduce Manifold tensor categories, which make precise the notion of a tensor category with a manifold of simple objects. A basic example is the category of vector spaces graded by a Lie group. Unlike classic tensor category theory,…

Tate cohomology has been generalised by several authors using different constructions that have applications in group theory, ring theory and homotopical algebra. Therefore, there is a need for a uniform account that explains why their…

We use shifted symplectic geometry to construct the Moore-Tachikawa topological quantum field theories (TQFTs) in a category of Hamiltonian schemes. Our new and overarching insight is an algebraic explanation for the existence of these…

We define the notion of a holomorphic bundle on the noncommutative toric orbifold $T_{\theta}/G$ associated with an action of a finite cyclic group $G$ on an irrational rotation algebra. We prove that the category of such holomorphic…

We complete the discrete cluster categories of type $\mathbb{A}$ as defined by Igusa and Todorov, by embedding such a discrete cluster category inside a larger one, and then taking a certain Verdier quotient. The resulting category is a…

We present a state sum construction that assigns a scalar to a skeleton in a closed oriented three-dimensional manifold. The input datum is the pivotal bicategory $\mathbf{Mod}^{\mathrm{sph}}(\mathcal{A})$ of spherical module categories…

Let $\text{X}$ denote a projective variety over an algebraically closed field on which a linear algebraic group acts with finitely many orbits. Then, a conjecture of Soergel and Lunts in the setting of Koszul duality and Langlands'…

We introduce a complete obstruction to the existence of nonvanishing vector fields on a closed orbifold $Q$. Motivated by the inertia orbifold, the space of multi-sectors, and the generalized orbifold Euler characteristics, we construct for…

We prove the following result: Let $(\mathcal{O},g_0)$ be a complete, connected 3-orbifold with uniformly positive scalar curvature, with bounded geometry, and containing no bad 2-suborbifolds. Then there is a finite collection…