Related papers: Q-system Completion of 2-functors
Let $C_n$, $Q_n$ and $D_n$ be the cyclic group, the quaternion group and the dihedral group of order $n$, respectively. The structures of the unit groups of the finite group algebras $FQ_{12}$ and $F(C_2 \times Q_{12})$ over a finite field…
We prove two versions of Bochner's theorem for locally compact quantum groups. First, every completely positive definite "function" on a locally compact quantum group $\G$ arises as a transform of a positive functional on the universal…
A Q-algebroid is a Lie superalgebroid equipped with a compatible homological vector field and is the infinitesimal object corresponding to a Q-groupoid. We associate to every Q-algebroid a double complex. As a special case, we define the…
$Q$-systems and $T$-systems are systems of integrable difference equations that have recently attracted much attention, and have wide applications in representation theory and statistical mechanics. We show that certain $\tau$-functions,…
Kolmogorov decomposition for a given completely positive definite kernel is a generalization of Paschke's GNS construction for the completely positive map. Using Kolmogorov decomposition, to every quantum dynamical semigroup (QDS) for…
We construct several new classes of bifunctors $(A,B)\mapsto A\otimes_{\alpha} B$, where $A\otimes_\alpha B$ is a cross norm completion of $A\odot B$ for each pair of C*-algebras $A$ and $B$. For the first class of bifunctors considered…
Our main result establishes functorial desingularization of noetherian quasi-excellent schemes over $\bfQ$ with ordered boundaries. A functorial embedded desingularization of quasi-excellent schemes of characteristic zero is deduced.…
Given a complete, cocomplete category $\mathcal C$, we investigate the problem of describing those small categories $I$ such that the diagonal functor $\Delta:\mathcal C\to {\rm Functors}(I,\mathcal C)$ is a Frobenius functor. This…
We call a tensor functor $F:\mathcal{C}\to\mathcal{D}$ between finite tensor categories $\otimes$-Frobenius if its left and right adjoints are isomorphic as $\mathcal{C}$-bimodule functors. We give several characterizations of this notion…
Let $U'_q(\mathfrak{g})$ be a twisted affine quantum group of type $A_{N}^{(2)}$ or $D_{N}^{(2)}$ and let $\mathfrak{g}_{0}$ be the finite-dimensional simple Lie algebra of type $A_{N}$ or $D_{N}$. For a Dynkin quiver of type…
We study polynomial functors of degree 2, called quadratic, with values in the category of abelian groups $Ab$, and whose source category is an arbitrary category $\C$ with null object such that all objects are colimits of copies of a…
A saturated fusion system over a finite $p$-group $S$ is a category whose objects are the subgroups of $S$ and whose morphisms are injective homomorphisms between the subgroups satisfying certain axioms. A fusion system over $S$ is realized…
The aim of this paper is to present the construction of a general family of C*-algebras which includes, as a special case, the "quantum spacetime algebra" introduced by Doplicher, Fredenhagen and Roberts. It is based on an extension of the…
We introduce the representation category $\mathscr{C}({\bf G})$ for a connected reductive algebraic group ${\bf G}$ which is defined over a finite field $\mathbb{F}_q$ of $q$ elements. We show that this category has many good properties for…
Entwined modules over cowreaths in a monoidal category are introduced. They can be identified to coalgebras in an appropriate monoidal category. It is investigated when such coalgebras are Frobenius (resp. separable), and when the forgetful…
We prove that if $A \subset {\Bbb F}_q$ is such that $$|A|>q^{{1/2}+\frac{1}{2d}},$$ then $${\Bbb F}_q^{*} \subset dA^2=A^2+...+A^2 d \text{times},$$ where $$A^2=\{a \cdot a': a,a' \in A\},$$ and where ${\Bbb F}_q^{*}$ denotes the…
We undertake a systematic study of the so-called $2$-adic ring $C^*$-algebra $\mathcal{Q}_2$. This is the universal $C^*$-algebra generated by a unitary $U$ and an isometry $S_2$ such that $S_2U=U^2S_2$ and $S_2S_2^*+US_2S_2^*U^*=1$.…
We construct a modular functor which takes its values in the monoidal bicategory of finite categories, left exact functors and natural transformations. The modular functor is defined on bordisms that are 2-framed. Accordingly we do not need…
Any Hilbert space with composite dimension can be factorized into a tensor product of smaller Hilbert spaces. This allows to decompose a quantum system into subsystems. We propose a simple tractable model for a constructive study of…
Recently, S. Carpi et al. (Comm. Math. Phys., 402:169-212, 2023) proved that every connected (i.e. haploid) Frobenius algebra in a tensor C$^*$-category is unitarizable (i.e. isomorphic to a special C$^*$-Frobenius algebra). Building on…