Related papers: Generalised Orbifolds and G-equivariantisation
Given any category $\mathcal{C}$ with pullbacks and a terminal object, we show that the data consisting of the objects of $\mathcal{C}$, the spans of $\mathcal{C}$, and the isomorphism classes of spans of spans of $\mathcal{C}$, forms a…
We define a notion of tensor product of bimodule categories and prove that with this product the 2-category of C-bimodule categories for fixed tensor C is a monoidal 2-category in the sense of Kapranov and Voevodsky. We then provide a…
For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify…
In five- and six-dimensional $U(N)$ and $SU(N)$ gauge theories compactified on $S^1/Z_2$ and $T^2/Z_3$ orbifolds, we propose a new method to classify the equivalence classes (ECs) of boundary conditions (BCs) wihtout depending on the…
We prove a decomposition formula for the dimensional reduction of an extended topological field theory that arises as an orbifold of an equivariant topological field theory. Our decomposition formula can be expressed in terms of a…
The B-model topological string theory on a Calabi-Yau threefold X has a symmetry group Gamma, generated by monodromies of the periods of X. This acts on the topological string wave function in a natural way, governed by the quantum…
Let $G$ be a connected graph. The Jacobian group (also known as the Picard group or sandpile group) of $G$ is a finite abelian group whose cardinality equals the number of spanning trees of $G$. The Jacobian group admits a canonical simply…
Given a Calabi-Yau manifold $X$ acted by a group $G$ and considering the $B$-branes on $X$ as objects in the derived category of coherent sheaves, we give a definition of equivariant branes, which generalizes the concept of equivariant…
For a $C^{*}$-category with a strict $G$-action we construct examples of equivariant coarse homology theories. To this end we first introduce versions of Roe categories of objects in $C^{*}$-categories which are controlled over bornological…
Let $\mathcal{G}$ be a Lie groupoid. The category $B\mathcal{G}$ of principal $\mathcal{G}$-bundles defines a differentiable stack. On the other hand, given a differentiable stack $\mathcal{D}$, there exists a Lie groupoid $\mathcal{H}$…
We prove that an action $\rho:A\to M(C_0(\mathbb{G})\otimes A)$ of a locally compact quantum group on a $C^*$-algebra has a universal equivariant compactification, and prove a number of other category-theoretic results on…
We review the problem of finding a general framework within which one can construct quantum theories of non-standard models for space, or space-time. The starting point is the observation that entities of this type can typically be regarded…
For a countable discrete group $G$, we construct a new and concrete model for the equivariant topological $K$-homology theory of $G$, which is defined for all $G$-actions, not just for proper $G$-actions. The construction of our model…
Let U(g) denote the universal enveloping algebra of a Lie algebra g. We show the existence of a ribbon algebra in a particular deformation of U(g) which leads to a symmetric pre-monoidal category of U(g)-modules.
We introduce the notion of crystallographic T-duality, inspired by the appearance of $K$-theory with graded equivariant twists in the study of topological crystalline materials. Besides giving a range of new topological T-dualities, it also…
The group of continuous binary operations on a topological space is studied; its relationship with the group of homeomorphisms is established. The category of binary $G$-spaces and bi-equivariant maps is constructed, which is a natural…
A universal category-theoretical characterization of groupoid equivariant $KK^G$-theory for ${\mathbb{Z}}_2$-graded $C^*$-algebras is established, by observing the ``$KK$-axiom'' that for each $[s,{\cal E} \oplus B, \mathbb{F}] \in…
The main result of this paper utilizes the representation graph of a group $G$, $R(V,G)$, and gives a general construction of a diagrammatic category $\mathbf{Dgrams}_{R(V,G)}$. The proof of the main theorem shows that, given explicit…
This paper explores the relationship amongst the various simplicial and pseudo-simplicial objects characteristically associated to any bicategory C. It proves the fact that the geometric realizations of all of these possible candidate…
We define an equivariant and equicovariant versions of the notion of module nuclearity. More precisely, for a discrete group $\Gamma$ and operator $\mathcal A$-$\Gamma$-(co)module $\mathcal B$, $\mathcal E$ over a $\Gamma$-C$^*$-algebra…