Related papers: On unimodular finite tensor categories

For any site of definition $\mathcal C$ of a Grothendieck topos $\mathcal E$, we define a notion of a $\mathcal C$-ary Lawvere theory $\tau: \mathscr C \to \mathscr T$ whose category of models is a stack over $\mathcal E$. Our definitions…

We analyze the homothety types of associative bilinear forms that can occur on a Hopf algebra or on a local Frobenius \(k\)-algebra \(R\) with residue field \(k\). If \(R\) is symmetric, then there exists a unique form on \(R\) up to…

Given a rigid C*-tensor category C with simple unit and a probability measure $\mu$ on the set of isomorphism classes of its simple objects, we define the Poisson boundary of $(C,\mu)$. This is a new C*-tensor category P, generally with…

We prove that the Drinfeld center $Z(\mathcal{C})$ of a pivotal finite tensor category $\mathcal{C}$ comes with the structure of a ribbon Grothendieck-Verdier category in the sense of Boyarchenko-Drinfeld. Phrased operadically, this makes…

We produce a cofibrantly generated simplicial symmetric monoidal model structure for the category of (small unital) C*-categories, whose weak equivalences are the unitary equivalences. The closed monoidal structure consists of the maximal…

Monoidal functors U:C --> M with left adjoints determine, in a universal way, monoids T in the category of oplax monoidal endofunctors on M. Such monads will be called bimonads. Treating bimonads as abstract "quantum groupoids" we derive…

We study a 2-functor that assigns to a bimodule category over a finite k-linear tensor category a k-linear abelian category. This 2-functor can be regarded as a category-valued trace for 1-morphisms in the tricategory of finite tensor…

Recall that a locally compact group G is called unimodular if the left Haar measure on G is equal to the right one. It is proved in this paper that G is unimodular iff it is approximable by finite quasigroups (Latin squares).

We give a category theoretic approach to several known equivalences from (classic) tilting theory and commutative algebra. Furthermore, we apply our main results to establish a duality theory for relative Cohen-Macaulay modules in the sense…

Let $\mathcal{A}$ and $\mathcal{B}$ be monoidal categories and let $R:\mathcal{A} \rightarrow \mathcal{B}$ be a lax monoidal functor. If $R$ has a left adjoint $L$, it is well-known that the two adjoints induce functors $\overline{R}={\sf…

We determine the subfactors $N\subset R$ of the hyperfinite $II_1$-factor R with finite index for which the $C^*$-tensor category of the associated $(N,N)$-bimodules is equivalent to the $C^*$-tensor category $\C{U}_G$ of all unitary finite…

We re-interpret Goodwin's translation functors for a finite $W$-algebra $H_\ell$ as an action of a monoidal subcategory of $U(\mathfrak{g})$-mod on the category of finitely generated $H_\ell$-modules. This action is obtained by transporting…

For a recollement $(\mathcal{D}B,\mathcal{D}A,\mathcal{D}C)$ of derived categories of algebras, we investigate when the functor $j^*:\mathcal{D}A\rightarrow\mathcal{D}C$ is an eventually homological isomorphism. In this context, we compare…

We show that every logmodular subalgebra of $M_n(\mathbb{C})$ is unitary equivalent to an algebra of block upper triangular matrices, which was conjectured in \cite{VM}. In particular, this shows that every unital contractive representation…

Every fusion category C that is k-linear over a suitable field k, is the category of finite-dimensional comodules of a Weak Hopf Algebra H. This Weak Hopf Algebra is finite-dimensional, cosemisimple and has commutative bases. It arises as…

We show that the Temperley--Lieb category $\mathbf{TL}(q;\mathbb{C})$ embeds in an ultraproduct of modular tensor categories when $q$ is not a root of unity. As a result, we show that its Drinfeld center is semisimple and describe its…

We prove an analog of Deligne's theorem for finite symmetric tensor categories $\mathcal{C}$ with the Chevalley property over an algebraically closed field $k$ of characteristic $2$. Namely, we prove that every such category $\mathcal{C}$…

In Rev. Math. Phys. 4 (1997) 785 we study Hilbert-C* systems {F,G} where the fixed point algebra A has nontrivial center Z and where A'\cap F=Z is satisfied. The corresponding category of all canonical endomorphisms of A contains…

Let $H$ be a finite Hopf algebra with $C_{H,H} = C_{H,H}^{-1}.$ The duality theorem is shown for $H$, i.e., $$ (R # H)# H^{\hat *} \cong R \otimes (H \bar \otimes H^{\hat *}) \hbox {as algebras in} {\cal C}.$$ Also, it is proved that the…

Let $\mathscr{C}$ be an additive subcategory of left $\Lambda$-modules, we establish relations of the orthogonal classes of $\mathscr{C}$ and (co)res $\widetilde{\mathscr{C}}$ under separable equivalences. As applications, we obtain that…