We prove an analog of the Künneth formula for the groups of minimal non-degenerate extensions arXiv:1602.05936 of symmetric fusion categories. We describe in detail the structure of the group of minimal extensions of a pointed super-Tannakian fusion category. This description resembles that of the third cohomology group of a finite abelian group. We explicitly compute this group in several concrete examples.
A fundamental theorem of P. Deligne (2002) states that a pre-Tannakian category over an algebraically closed field of characteristic zero admits a fiber functor to the category of supervector spaces (i.e., is the representation category of an affine proalgebraic supergroup) if and only if it has moderate growth (i.e., the lengths of tensor powers of an object grow at most exponentially). In this paper we prove a characteristic p version of this theorem. Namely we show that a pre-Tannakian category over an algebraically closed field of characteristic p>0 admits a fiber functor into the Verlinde…
We develop a basic theory of affine group dg-schemes, their Lie algebraic counterparts and linear representations. We prove Tannaka type reconstruction theorems that an affine group dg-scheme can be recovered from the dg-tensor category of its linear representations as well as from the rigid dg-tensor category of its finite dimensional linear representations along with the forgetful functors to the underlying dg-tensor category of cochain complexes.
In this paper, we continue with the ideas presented in [GVR17]. In this opportunity, we apply the fermionic action concept to classify in cohomology terms the minimal modular extensions of a super-Tannakian category. For this goal, we study some properties of equivariantization and de-equivariantization processes and cohomology data for the fermionic case.
We incorporate metric data into the framework of Tannaka-Krein duality. Thus, for any group with left invariant metric, we produce a dual metric on its category of unitary representations. We characterize the conditions under which a "double-dual" metric on the group may be recovered from the metric on representations, and provide conditions under which a metric agrees with its double-dual. We also consider some applications to T-duality and quantum Gromov-Hausdorff distance.
One of the most fundamental problems in the theory of finite- dimensional Hopf algebras is their classification over an algebraically closed field k of characteristic 0. This problem is extremely difficult, hence people restrict it to certain classes of Hopf algebras, e.g. to semisimple ones. Semisimple Hopf algebras deserve to be considered as "quantum" analogue of finite groups, but even so, the problem remains extremely hard (even in low dimensions) and very little is known. A great boost to the theory of Hopf algebras was given by Drinfeld who invented the fundamental class of (quasi)trian…
We extend \cite[Theorem 4.5]{DGNO} and \cite[Theorem 4.22]{LKW} to positive characteristic (i.e., to the finite, not necessarily fusion, case). Namely, we prove that if $\D$ is a finite non-degenerate braided tensor category over an algebraically closed field $k$ of characteristic $p>0$, containing a Tannakian Lagrangian subcategory $\Rep(G)$, where $G$ is a finite $k$-group scheme, then $\D$ is braided tensor equivalent to $\Rep(D^ω(G))$ for some $ω\in H^3(G,\mathbb{G}_m)$, where $D^ω(G)$ denotes the twisted double of $G$ \cite{G2}. We then prove that the group $\mathcal{M}_{\rm ext}(\Rep(G))…
We provide a general formula for Mueger's centralizer of any fusion subcategory of a braided fusion category containing a tannakian subcategory. This entails a description for Mueger's centralizer of all fusion subcategories of a group theoretical braided fusion category.
Let $p\geq5$ be a prime, we show that a non-pointed modular fusion category $\mathcal{C}$ is Grothendieck equivalent to $\mathcal{C}(\mathfrak{sl}_2,2(p-1))_A^0$ if and only if $\dim(\mathcal{C})=p\cdot u$, where $u$ is a certain totally positive algebraic unit and $A$ is the regular algebra of the Tannakian subcategory $\text{Rep}(\mathbb{Z}_2)\subseteq\mathcal{C}(\mathfrak{sl}_2,2(p-1))$. As a direct corollary, we classify non-simple modular fusion categories of global dimensions $p^2$.
We show that any slightly degenerate weakly group-theoretical fusion category admits a minimal non-degenerate extension. Let $d$ be a positive square-free integer, given a weakly group-theoretical non-degenerate fusion category $\mathcal{C}$, assume that $\text{FPdim}(\mathcal{C})=nd$ and $(n,d)=1$. If $(\text{FPdim}(X)^2,d)=1$ for all simple objects $X$ of $\mathcal{C}$, then we show that $\mathcal{C}$ contains a non-degenerate fusion subcategory $\mathcal{C}(\mathbb{Z}_d,q)$. In particular, we obtain that integral fusion categories of FP-dimensions $p^md$ such that $\mathcal{C}'\subseteq \te…
We show that the representation category of the quantum group of a non-degenerate bilinear form is monoidally equivalent to the representation category of the quantum group SL_q(2), for a well chosen non-zero parameter q. The main ingredient for the proof of this result is the direct and explicit construction of an appropriate Hopf bigalois extension. Then we get, in characteristic zero, a full description of cosemisimple Hopf algebras whose representation semi-ring is isomorphic to the one of SL(2).
We introduce and analyse a general notion of fundamental group for noncommutative spaces, described by differential graded algebras. For this we consider connections on finitely generated projective bimodules over differential graded algebras and show that the category of flat connections on such modules forms a Tannakian category. As such this category can be realised as the category of representations of an affine group scheme $G$, which in the classical case is (the pro-algebraic completion of) the usual fundamental group. This motivates us to define $G$ to be the fundamental group of the n…
We study the interplay between noncommutative tori and noncommutative elliptic curves through a category of equivariant differential modules on $\mathbb{C}^*$. We functorially relate this category to the category of holomorphic vector bundles on noncommutative tori as introduced by Polishchuk and Schwarz and study the induced map between the corresponding K-theories. In addition, there is a forgetful functor to the category of noncommutative elliptic curves of Soibelman and Vologodsky, as well as a forgetful functor to the category of vector bundles on $\mathbb{C}^*$ with regular singular conn…
We show that the Witt class of a weakly group-theoretical non-degenerate braided fusion category belongs to the subgroup generated by classes of non-degenerate pointed braided fusion categories and Ising braided categories. This applies in particular to solvable non-degenerate braided fusion categories. We also give some sufficient conditions for a braided fusion category to be weakly group-theoretical or solvable in terms of the factorization of its Frobenius-Perron dimension and the Frobenius-Perron dimensions of its simple objects. As an application, we prove that every non-degenerate braid…
Let k be a field of characteristic zero. Etingof and Kazhdan constructed a quantisation U_h(b) of any Lie bialgebra b over k, which depends on the choice of an associator Phi. They prove moreover that this quantisation is functorial in b. Remarkably, the quantum group U_h(b) is endowed with a Tannakian equivalence F_b from the braided tensor category of Drinfeld-Yetter modules over b, with deformed associativity constraints given by Phi, to that of Drinfeld-Yetter modules over U_h(b). In this paper, we prove that the equivalence F_b is functorial in b.
For a braided finite tensor category $\mathcal{C}$ with unit object $1 \in \mathcal{C}$, Lyubashenko considered a certain Hopf algebra $\mathbb{F} \in \mathcal{C}$ endowed with a Hopf pairing $ω: \mathbb{F} \otimes \mathbb{F} \to 1$ to define the notion of a `non-semisimple' modular tensor category. We say that $\mathcal{C}$ is non-degenerate if the Hopf pairing $ω$ is non-degenerate. In this paper, we show that $\mathcal{C}$ is non-degenerate if and only if it is factorizable in the sense of Etingof, Nikshych and Ostrik, if and only if its Müger center is trivial, if and only if the linear ma…
We construct a family of exact functors from the BGG category of representations of the Lie algebra sl to the category of finite-dimensional representations of the degenerate (or graded) affine Hecke algebra H of GL. These functors transform Verma modules to standard modules or zero, and simple modules to simple modules or zero. Any simple H-module can be thus obtained.
A criterion for Müger centralizer of a fusion subcategory of a braided non-degenerate fusion category is given. Along the way we extend some identities on the space of class functions of a fusion category introduced by Shimizu in \cite{scalg}. We also show that in a modular tensor category the product of two conjugacy class sums is a linear combination of conjugacy class sums with rational coefficients.
In this paper, we first show for a slightly degenerate pre-modular fusion category $\mathcal{C}$ that squares of dimensions of simple objects divide half of the dimension of $\mathcal{C}$, and that slightly degenerate fusion categories of FP-dimensions $2p^nd$ and $4p^nd$ are nilpotent, where $p$ is an odd prime and $d$ is an odd square-free integer. Then we classify slightly degenerate generalized Tambara-Yamagami fusion categories and weakly integral slightly degenerate fusion categories of particular dimensions.
We classify braided extensions $C$ of a rank $2$ fusion category. The result shows that $C$ is tensor equivalent to a Deligne's tensor product of some known categories, except $C$ is slightly degenerate and generated by a $\sqrt{2}$-dimensional simple object. To start with, we describe the fusion rules, universal grading group, and the Frobenius-Perron dimensions of simple objects of $C$ without the restriction that $C$ is braided.
We consider algebras in a modular tensor category C. If the trace pairing of an algebra A in C is non-degenerate we associate to A a commutative algebra Z(A), called the full centre, in a doubled version of the category C. We prove that two simple algebras with non-degenerate trace pairing are Morita-equivalent if and only if their full centres are isomorphic as algebras. This result has an interesting interpretation in two-dimensional rational conformal field theory; it implies that there cannot be several incompatible sets of boundary conditions for a given bulk theory.
