Related papers: Equivariant Eilenberg-Watts theorem for module coa…

We use duality theorems to obtain presentations of some categories of modules. To derive these presentations we generalize a result of Cautis-Kamnitzer-Morrison [arXiv:1210.6437v4]: Let $\mathfrak{g}$ be a reductive Lie algebra, and $A$ an…

We investigate left and right co-Frobenius coalgebras and give equivalent characterizations which prove statements dual to the characterizations of Frobenius algebras. We prove that a coalgebra is left and right co-Frobenius if and only if…

For any Kac-Moody group $G$ with Borel $B$, we give a monoidal equivalence between the derived category of $B$-equivariant mixed complexes on the flag variety $G/B$ and (a certain completion of) the derived category of $B^\vee$-monodromic…

The equivariant coarse index is well-understood and widely used for actions by discrete groups. We extend the definition of this index to general locally compact groups. We use a suitable notion of admissible modules over $C^*$-algebras of…

Let X be a T-variety, where T is an algebraic torus. We describe a fully faithful functor from the category of T-equivariant vector bundles on X to a certain category of filtered vector bundles on a suitable quotient of X by T. We show that…

We provide and study an equivariant theory of group (co)homology of a group G with coefficients in a gamma-equivariant G-module A, when a separate group "gamma" acts on G and A, generalizing the classical Eilenberg-MacLane (co)homology of…

Let $H$ be a finite dimensional quasi-Hopf algebra over a field $k$ and ${\mathfrak A}$ a right $H$-comodule algebra in the sense of Hausser and Nill. We first show that on the $k$-vector space ${\mathfrak A}\ot H^*$ we can define an…

Let $G$ be a linear Lie group acting properly and isometrically on a $G$-spin$^c$ manifold $M$ with compact quotient. We show that Poincar\'e duality holds between $G$-equivariant $K$-theory of $M$, defined using finite-dimensional…

We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)categories studied by Ahrens, Kapulkin, and Shulman, we define and study univalent bicategories. To construct examples of univalent…

We prove a finite-dimensional covariant Stinespring theorem for compact quantum groups. Let G be a compact quantum group, and let T:= Rep(G) be the rigid C*-tensor category of finite-dimensional continuous unitary representations of G. Let…

Let W be a complex reflection group and H_c(W) the Rational Cherednik algebra for $W$ depending on a parameter c. One can consider the category O for H_c(W). We prove a conjecture of Rouquier that the categories O for H_c(W) and H_{c'}(W)…

We prove that an arbitrary (not necessarily countably generated) Hilbert $G$-$\cla$ module on a G-C^* algebra $\cla$ admits an equivariant embedding into a trivial $G-\cla$ module, provided G is a compact Lie group and its action on $\cla$…

We prove a new symplectic analogue of Kashiwara's Equivalence from D-module theory. As a consequence, we establish a structure theory for module categories over deformation quantizations that mirrors, at a higher categorical level, the…

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…

For a finite group $G$, we compute the algebraic $K$-theory of the category of equivariant sheaves on a locally compact Hausdorff $G$-space, generalizing a result of Efimov, and determine the equivariant $E$-theory of the $C^*$-algebra of…

A symmetric monoidal category is a category equipped with an associative and commutative (binary) product and an object which is the unit for the product. In fact, those properties only hold up to natural isomorphisms which satisfy some…

Let C be a coalgebra over a field k and A its dual algebra. The category of C-comodules is equivalent to a category of A-modules. We use this to interpret the cotensor product M \square N of two comodules in terms of the appropriate…

This paper addresses the problem of describing the structure of tensor C*-categories M with conjugates and irreducible tensor unit. No assumption on the existence of a braided symmetry or on amenability is made. Our assumptions are…

Following Mitchell's philosophy, in this paper we define the analogous of the triangular matrix algebra to the context of rings with several objects. Given two additive categories $\mathcal{U}$ and $\mathcal{T}$ and $M\in…

The balanced tensor product M (x)_A N of two modules over an algebra A is the vector space corepresenting A-balanced bilinear maps out of the product M x N. The balanced tensor product M [x]_C N of two module categories over a monoidal…