Related papers: Scott's Representation Theorem and the Univalent K…
A functor on compact Hausdorf spaces is constructed as the sum of certain equivariant K-theory groups. It is shown that the functor takes values in lambda-rings and satisfies a Thom isomorphism. In the case that the space is a CW-complex…
A fundamental result in representation theory is Kostant's theorem which describes the algebra of polynomials on a reductive Lie algebra as a module over its invariants. We prove a quantum analogue of this theorem for the general linear…
Clifford theory relates the representation theory of finite groups to those of a fixed normal subgroup by means of induction and restriction, which is an adjoint pair of functors. We generalize this result to the situation of a…
We set up foundations of representation theory over $S$, the sphere spectrum, which is the `initial ring' of stable homotopy theory. In particular, we treat $S$-Lie algebras and their representations, characters, $gl_n(S)$-Verma modules and…
Constructive meaning is given to the assertion that every finite Boolean algebra is an injective object in the category of distributive lattices. To this end, we employ Scott's notion of entailment relation, in which context we describe…
Given a quantized enveloping algebra $U_q(\mathfrak g)$ and a pair of dominant weights ($\lambda$, $\mu$), we extend a conjecture raised by Lusztig in \cite{Lusztig:1992}to a more general form and then prove this extended Lusztig's…
A partial algebra construction of Gr\"atzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that…
This paper resolves the unicity conjecture of Bonahon and Wong for the Kauffman bracket skein algebras of all oriented finite type surfaces at all roots of unity. The proof is a consequence of a general unicity theorem that says that the…
We solve two problems in the theory of correspondences that have important implications in the theory of product systems. The first problem is the question whether every correspondence is the correspondence associated (by the representation…
Let $(K,\mathcal O,k)$ be a $p$-modular system and assume $k$ is algebraically closed. We show that if $\Lambda$ is an $\mathcal O$-order in a separable $K$-algebra, then $\textrm{Pic}_{\mathcal O}(\Lambda)$ carries the structure of an…
We first discuss the relationship between the SL(2;R)/U(1) supercoset and N=2 Liouville theory and make a precise correspondence between their representations. We shall show that the discrete unitary representations of SL(2;R)/U(1) theory…
We develop the Scott model of the programming language PCF in univalent type theory. Moreover, we work constructively and predicatively. To account for the non-termination in PCF, we use the lifting monad (also known as the partial map…
Starting from any proper action of any locally compact quantum group on any discrete quantum space, we show that its equivariant representation theory yields a concrete unitary 2-category of finite type Hilbert bimodules over the discrete…
We extend unbounded Kasparov theory to encompass conformal group and quantum group equivariance. This new framework allows us to treat conformal actions on both manifolds and noncommutative spaces. As examples, we present unbounded…
The representation theory (idempotents, quivers, Cartan invariants and Loewy series) of the higher order unital peak algebras is investigated. On the way, we obtain new interpretations and generating functions for the idempotents of descent…
Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…
Let $X(Q,\Lambda)$ be a quasitoric manifold associated to a simple convex polytope $Q$ and characteristic function $\Lambda$. Let $T\cong (\mathbb{S}^1)^n$ denote the compact $n$-torus acting on $X=X(Q,\Lambda)$. The main aim of this…
A simplified construction of representations is presented for the quantized enveloping algebra Uq(g), with g being a simple complex Lie algebra belonging to one of the four principal series A, B, C or D. The carrier representation space is…
Computational reflection allows us to turn verified decision procedures into efficient automated reasoning tools in proof assistants. The typical applications of such methodology include mathematical structures that have decidable theory…
A global representation is a compatible collection of representations of the outer automorphism groups of the groups belonging to some collection of finite groups $\mathscr{U}$. Global representations assemble into an abelian category…