相关论文: Representation and character theory in 2-categorie…
We give formulae relating the value of an irreducible character of a classical group at a matrix to entries of powers of the matrix. This yields a far-reaching generalization of a result of J. L. Cisneros-Molina concerning the $GL_2$ case.
We exhibit a computational type theory which combines the higher-dimensional structure of cartesian cubical type theory with the internal parametricity primitives of parametric type theory, drawing out the similarities and distinctions…
There could be thousands of Introductions/Surveys of representation theory, given that it is an enormous field. This is just one of them, quite personal and informal. It has an increasing level of difficulty; the first part is intended for…
We study (vertically) normal lax double functors valued in the weak double category $\mathbb{C}\mathrm{at}$ of small categories, functors, profunctors and natural transformations, which we refer to as lax double presheaves. We show that for…
We extend the 2-representation theory of finitary 2-categories to certain 2-categories with infinitely many objects, denoted locally finitary 2-categories, and extend the classical classification results of simple transitive…
We develop semantics and syntax for bicategorical type theory. Bicategorical type theory features contexts, types, terms, and directed reductions between terms. This type theory is naturally interpreted in a class of structured…
The current form of quantum mechanics is very successful and is almost certainly correct. It is remarkable, however, that the entire structure-from the mass, spin and charge labels on particlelike states to antisymmetry to broken internal…
We define basic notions in the category of conic representations of a topological group and prove elementary facts about them. We show that a conic representation determines an ordinary dynamical system of the group together with a…
A 2-group is a `categorified' version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G x G -> G has been replaced by a functor. A number of precise definitions of this notion have…
We construct Quantum Representation Theory which describes quantum analogue of representations in frame of "non-commutative linear geometry" developed by Manin. To do it we generalise the internal hom-functor to the case of adjunction with…
We bring a linkage from representation theory of Lie groups to homotopy theory for maps between flag manifolds. As applications we derive from representation theory abundant families of homotopy classes of maps between flag manifolds whose…
The generalized character theory of Hopkins, Kuhn, and Ravenel is an important tool in the study of Morava E-theory and higher height phenomena in chromatic homotopy theory. In this paper, we provide an introduction to HKR character theory…
We develop quaternionic analysis using as a guiding principle representation theory of various real forms of the conformal group. We first review the Cauchy-Fueter and Poisson formulas and explain their representation theoretic meaning. The…
This is an expository book on unitary representations of topological groups, and of several dual spaces, which are spaces of such representations up to some equivalence. The most important notions are defined for topological groups, but a…
We give an introductory account of Khovanov's categorification of the Heisenberg algebra, and construct a combinatorial model for it in a 2-category of spans of groupoids. We also treat a categorification of $U(sl_n)$ in a similar way.…
We give a presentation of Feynman categories from a representation--theoretical viewpoint. Feynman categories are a special type of monoidal categories and their representations are monoidal functors. They can be viewed as a far reaching…
Quandle representations are homomorphisms from a quandle to the group of invertible matrices on some vector space taken with the conjugation operation. We study certain families of quandle representations. More specifically, we introduce…
We show that any Abelian module category over the (degenerate or quantum) Heisenberg category satisfying suitable finiteness conditions may be viewed as a 2-representation over a corresponding Kac-Moody 2-category (and vice versa). This…
Murray, Roberts and Wockel showed that there is no strict model of the string 2-group using the free loop group. Instead, they construct the next best thing, a coherent model for the string 2-group using the free loop group, with explicit…
This article develops a theory of cell combinatorics and cell 2-representations for differential graded 2-categories. We introduce two types of partial preorders, called the strong and weak preorder. We then analyse and compare them. The…