Related papers: Frobenius-Schur Indicators and Exponents of Spheri…
Euler's continuants are universal polynomials expressing the numerator and denominator of a finite continued fraction whose entries are independent variables. We introduce their categorical lifts which are natural complexes (more precisely,…
We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This…
This is a survey on spherical Hopf algebras. We give criteria to decide when a Hopf algebra is spherical and collect examples. We discuss tilting modules as a mean to obtain a fusion subcategory of the non-degenerate quotient of the…
We study properties of the category of modules of an algebra object A in a tensor category C. We show that the module category inherits various structures from C, provided that A is a Frobenius algebra with certain additional properties. As…
We advance the classification of fusion categories in two directions. Firstly, we completely classify integral fusion categories -- and consequently, semi-simple Hopf algebras -- of dimension $pq^2$, where $p$ and $q$ are distinct primes.…
We introduce the notion of a $\textit{reflection fusion category}$, which is a type of a $G$-crossed category generated by objects of Frobenius-Perron dimension $1$ and $\sqrt{p}$, where $p$ is an odd prime. We show that such categories…
We introduce formulae of Frobenius-Schur indicators of simple objects of Tambara-Yamagami categories. By using techniques of the Fourier transform on finite abelian groups, we study some arithmetic properties of indicators.
We discuss the fermionization of fusion category symmetries in two-dimensional topological quantum field theories (TQFTs). When the symmetry of a bosonic TQFT is described by the representation category $\mathrm{Rep}(H)$ of a semisimple…
Recall (math.QA/9812151) that the exponent of a finite-dimensional complex Hopf algebra H is the order of the Drinfeld element u of the Drinfeld double D(H) of H. Recall also that while this order may be infinite, the eigenvalues of u are…
We introduce two new classes of fusion categories which are obtained by a certain procedure from finite groups - weakly group-theoretical categories and solvable categories. These are fusion categories that are Morita equivalent to iterated…
We introduce and study a family of inhomogeneous symmetric functions which we call the Frobenius-Schur functions. These functions are indexed by partitions and differ from the conventional Schur functions in lower terms only. Our interest…
A common tool in the theory of numerical semigroups is to interpret a desired class of semigroups as the integer lattice points in a rational polyhedron in order to leverage computational and enumerative techniques from polyhedral geometry.…
We associate a diagrammatic monoidal category $\mathcal{H}\textit{eis}_k(A;z,t)$, which we call the quantum Frobenius Heisenberg category, to a symmetric Frobenius superalgebra $A$, a central charge $k \in \mathbb{Z}$, and invertible…
We consider quantum group representations Rep(G_q) for a semisimple algebraic group G at a complex root of unity q. Here we allow q to be of any order. We first show that the Tannakian center in Rep(G_q) is calculated via a twisting of…
The Frobenius-Schur indicator is a parameter $\kappa_a=\pm 1$ assigned to each self-dual particle $a$ in a TQFT. If $\kappa_a$ is negative then straightening out a timelike zig-zag in the worldline of a particle of type $a$ can incur a…
In "Frobenius Categories versus Brauer Blocks", Progress in Math. 274, we introduce the Frobenius P-categories giving two quite different definitions of them. In this paper, we exhibit a third equivalent definition based on the form of the…
Let $E/F$ be a quadratic unramified extension of non-archimedean local fields and $\mathbb H$ a simply connected semisimple algebraic group defined and split over $F$. We establish general results (multiplicities, test vectors) on $\HH…
Let $X$ be a smooth symplectic variety over a field $k$ of characteristic $p>2$ equipped with a restricted structure, which is a class $[\eta] \in H^0(X, \Omega^1_X/d\mathcal O_X)$ whose de Rham differential equals the symplectic form. In…
We introduce an approach to produce gauge invariants of any finite-dimensional Hopf algebras from the Kuperberg invariants of framed 3-manifolds. These invariants are generalizations of Frobenius-Schur indicators of Hopf algebras. The…
The purpose of this article is to show that flat compact K\"ahler manifolds exhibit the structure of a Frobenius manifold, a structure originating in 2D Topological Quantum Field Theory and closely related to Joyce structure. As a result,…