相关论文: Higher-Dimensional Algebra V: 2-Groups

2-group symmetries arise in physics when a 0-form symmetry $G^{[0]}$ and a 1-form symmetry $H^{[1]}$ intertwine, forming a generalised group-like structure. Specialising to the case where both $G^{[0]}$ and $H^{[1]}$ are compact, connected,…

The goal of this thesis is to define a 2-dimensional version of abelian categories, where symmetric 2-groups play the role that abelian groups played in 1-dimensional algebra. Abelian and 2-abelian groupoid enriched categories are defined…

This thesis contains various results on unitary 2-representations of finite groups and their 2-characters, as well as on pivotal structures for fusion categories. The motivation is extended topological quantum field theory (TQFT), where the…

In this note we show that the second homotopy group of $B(2,G)$, the classifying space for commutativity for a compact Lie group $G$, contains a direct summand isomorphic to $\pi_1(G)\oplus\pi_1([G,G])$, where $[G,G]$ is the commutator…

A VB-groupoid is a Lie groupoid equipped with a compatible linear structure. In this paper, we describe a correspondence, up to isomorphism, between VB-groupoids and 2-term representations up to homotopy of Lie groupoids. Under this…

In this paper we study a 2-dimensional version of Quillen's homotopy category construction. Given a category $\mathscr{A}$ and a class of morphisms $\Sigma \subset \mathscr{A}$ containing the identities, we construct a 2-category…

We show that every dense subgroup of a connected Lie group G contains a dense subgroup generated by 2d elements, where d=dim(G). We also give a detailed proof for the quantitive characterization of a contracting projective transformation in…

Consider any sequence of finite groups $A^t$, where $t$ takes values in an integer index set $\mathbf{Z}$. A group system $A$ is a set of sequences with components in $A^t$ that forms a group under componentwise addition in $A^t$, for each…

We generalise the usual notion of fibred category; first to fibred 2-categories and then to fibred bicategories. Fibred 2-categories correspond to 2-functors from a 2-category into 2-Cat. Fibred bicategories correspond to trihomomorphisms…

Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant and contravariant transfer maps are in mutual…

Categorical structures and their pseudomaps rarely form locally presentable 2-categories in the sense of Cat-enriched category theory. However, we show that if the categorical structure in question is sufficiently weak (such as the…

In the representation theory of reductive $p$-adic groups $G$, the issue of reducibility of induced representations is an issue of great intricacy. It is our contention, expressed as a conjecture in [3], that there exists a simple geometric…

We introduce a framework to define coalgebra and bialgebra structures on two-dimensional (2D) square lattices, extending the algebraic theory of Hopf algebras and quantum groups beyond the one-dimensional (1D) setting. Our construction is…

We construct a model structure on the category $\mathrm{DblCat}$ of double categories and double functors, whose trivial fibrations are the double functors that are surjective on objects, full on horizontal and vertical morphisms, and fully…

In this paper, we investigate the behavior of the Fourier transform on finite dimensional 2-step Lie groups and develop a general theory akin to that of the whole space or the torus. We provide a familiar framework in which computations are…

By a 2-ring we mean a groupoid with a structure analogous to that of a ring, up to coherent isomorphisms. Two different notions of 2-ring appear in the literature: the notion of {\em Ann-category}, due to Quang, and the notion of {\em…

We continue our study of semi-strict tricategories in which the only weakness is in vertical composition. We assemble the doubly-degenerate such tricategories into a 2-category, defining weak functors and transformations. We exhibit a…

In this paper, we continue our study of the class of diagram groups. Simply speaking, a diagram is a labelled plane graph bounded by a pair of paths (the top path and the bottom path). To multiply two diagrams, one simply identifies the top…

Dimensional reduction of theories involving (super-)gravity gives rise to sigma models on coset spaces of the form G/H, with G a non-compact group, and H its maximal compact subgroup. The reverse process, called oxidation, is the…

In this paper a notion of {\it generalized 2-vector space} is introduced which includes Kapranov and Voevodsky 2-vector spaces. Various kinds of generalized 2-vector spaces are considered and examples are given. The existence of non free…