Modified Turaev-Viro invariants from quantum 𝔰𝔩(2|1)

Covering theory for linear categories with application to derived categories

In this paper, we use topological techniques to construct generalized trace and modified dimension functions on ideals in certain ribbon categories. Examples of such ribbon categories naturally arise in representation theory where the usual trace and dimension functions are zero, but these generalized trace and modified dimension functions are nonzero. Such examples include categories of finite dimensional modules of certain Lie algebras and finite groups over a field of positive characteristic and categories of finite dimensional modules of basic Lie superalgebras over the complex numbers. These modified dimensions can be interpreted categorically and are closely related to some basic notions from representation theory.

The $q$-deformed associative algebra $U_q'(\mathfrak{so}_n)$ is an example of an $\imath$quantum group. Finite-dimensional simple modules over $U_q'(\mathfrak{so}_n)$ were constructed by Gavrilik and Klimyk which limit to finite-dimensional simple modules over the universal enveloping algebra $U(\mathfrak{so}_n)$ as $q \to 1$. These modules are examples of Gelfand-Tsetlin modules since they are equal to the direct sum of common finite-dimensional eigenspaces under the action of a commutative subalgebra called the Gelfand-Tsetlin subalgebra $\Gamma \subset U_q'(\mathfrak{so}_n)$. In this thesis we begin to study the category of Gelfand-Tsetlin modules over $U_q'(\mathfrak{so}_n)$, which contains the category of finite-dimensional modules. Following the example of Drozd, Futorny and Ovsienko for $U(\mathfrak{gl}_n)$; Mazorchuk and Turowska for $U_q(\mathfrak{gl}_n)$; and Mazorchuk for $U(\mathfrak{so}_n)$; we construct infinite-dimensional analogs to the Gavrilik-Klimyk classical $U_q'(\mathfrak{so}_n)$-modules by removing the conditions on the combinatorial patterns parameterizing the bases. We call these generic Gelfand-Tsetlin modules. We find upper bounds for lengths of these modules for $n=3$ and $n=4$. Taking the limit as $q \to 1$, we obtain generic Gelfand-Tsetlin modules over $U(\mathfrak{so}_n)$ whose matrix coefficients are rational functions, thus extending the work of Mazorchuk. We use these large new families of modules to embed $U_q'(\mathfrak{so}_n)$ and $U(\mathfrak{so}_n)$ into skew group algebras of shift operators. These embeddings map the Gelfand-Tsetlin subalgebras to certain invariant algebras under the actions of the direct products of ($q$-)Weyl groups. Lastly, we use this fact to show the Gelfand-Tsetlin subalgebras are Harish-Chandra subalgebras, as defined by Drozd-Futorny-Ovsienko.

An algebra is said to be $\tau$-tilting finite provided it has only a finite number of $\tau$-rigid objects up to isomorphism. To each such algebra, we associate a category whose objects are the wide subcategories of its category of finite dimensional modules, and whose morphisms are indexed by support $\tau$-tilting pairs.

We study three related homological properties of modules in the BGG category <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for basic classical Lie superalgebras, with specific focus on the general linear superalgebra. These are the projective dimension, associated variety and complexity. We demonstrate connections between projective dimension and singularity of modules and blocks. Similarly we investigate the connection between complexity and atypicality. This creates concrete tools to describe singularity and atypicality as homological, and hence categorical, properties of a block. However, we also demonstrate how two integral blocks in category <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> with identical global categorical characteristics of singularity and atypicality will generally still be inequivalent. This principle implies that category <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="German g German l left-parenthesis m vertical-bar n right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="fraktur">g</mml:mi> <mml:mi mathvariant="fraktur">l</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mi>m</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo stretchy="false">|</mml:mo> </mml:mrow> <mml:mi>n</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathfrak {gl}(m|n)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> can contain infinitely many non-equivalent blocks, which we work out explicitly for <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="German g German l left-parenthesis 3 vertical-bar 1 right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="fraktur">g</mml:mi> <mml:mi mathvariant="fraktur">l</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mn>3</mml:mn> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo stretchy="false">|</mml:mo> </mml:mrow> <mml:mn>1</mml:mn> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathfrak {gl}(3|1)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> . All of this is in sharp contrast with category <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper O"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">O</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {O}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for Lie algebras, but also with the category of finite dimensional modules for superalgebras. Furthermore we characterise modules with finite projective dimension to be those with trivial associated variety. We also study the associated variety of Verma modules. To do this, we also classify the orbits in the cone of self-commuting odd elements under the action of an even Borel subgroup.

Exceptional sequences and Drinfeld double Hall algebras

We propose a new realization, using Harish-Chandra bimodules, of the Serre functor for the BGG category 𝒪 associated to a semi-simple complex finite dimensional Lie algebra. We further show that our realization carries over to classical Lie superalgebras in many cases. Along the way we prove that category 𝒪 and its parabolic generalizations for classical Lie superalgebras are categories with full projective functors. As an application we prove that in many cases the endomorphism algebra of the basic projective-injective module in (parabolic) category 𝒪 for classical Lie superalgebras is symmetric. As a special case we obtain that in these cases the algebras describing blocks of the category of finite dimensional modules are symmetric. We also compute the latter algebras for the superalgebra 𝔮(2).

We prove existence of BGG resolution of an irreducible highest weight module over a quantum group, classify morphisms of Verma modules over a quantum group and find formulas for singular vectors in Verma modules. As an application we find cohomology of the quantum group of the type [Formula: see text] with coefficients in a finite-dimensional module.

Whittaker coinvariants for GL(m|n)

It is usually not straightforward to work with the category of perverse sheaves on a variety using only its definition as a heart of a $t$-structure. In this paper, the category of perverse sheaves on a smooth toric variety with its orbit stratification is described explicitly as a category of finite-dimensional modules over an algebra. An analogous result is also established for various categories of equivariant perverse sheaves, which in particular gives a description of perverse sheaves on toric orbifolds, and we also compare the derived category of the category of perverse sheaves to the derived category of constructible sheaves.

The free-fermion point refers to a GL ( 2 ) × GL ( 1 ) parametrized Yang-Baxter equation within the six-vertex model. It has been known for a long time that this is connected with the quantum group U q ( gl ( 1 | 1 ) ) . We demonstrate that R -matrices from the finite quantum superalgebra U q ( gl ( 1 | 1 ) ) produce a dense subset of the free-fermionic Yang-Baxter equations of the six-vertex model, matching those of the prime, simple modules in the affine quantum superalgebra U q ( gl ˆ ( 1 | 1 ) ) . Either of these quantum groups can be used to generate the full free-fermion point, and we discuss them both. Our discussion includes 6 families of six-vertex models used by Brubaker, Bump, and Friedberg in connection with Tokuyama's theorem, a deformation of the Weyl character formula. Thus our work gives quantum group interpretations for those models, known informally as Tokuyama ice.

Let \mathcal{C}(\mathfrak{g},k) be the unitary modular tensor categories arising from the representation theory of quantum groups at roots of unity for arbitrary simple finite-dimensional complex Lie algebra \mathfrak{g} and positive integer levels k . Here we classify nondegenerate fusion subcategories of the modular tensor categories of local modules \mathcal{C}(\mathfrak{g},k)_R^0 where R is the regular algebra of Tannakian Rep (H)\subset\mathcal{C}(\mathfrak{g},k)_\text{pt} . We describe the decomposition of \mathcal{C}(\mathfrak{g},k)_R^0 into prime factors, and as an application we classify relations in the Witt group of nondegenerately braided fusion categories generated by the equivalency classes of \mathcal{C}(\mathfrak{so}_5,k) and \mathcal{C}(\mathfrak{g}_2,k) for k\in\mathbb{Z}_{\geq1} .

Muger proved in 2003 that the center of a spherical fusion category C of nonzero dimension over an algebraically closed field is a modular fusion category whose dimension is the square of that of C. We generalize this theorem to a pivotal fusion category C over an arbitrary commutative ring k, without any condition on the dimension of the category. (In this generalized setting, modularity is understood as 2-modularity in the sense of Lyubashenko.) Our proof is based on an explicit description of the Hopf algebra structure of the coend of the center of C. Moreover we show that the dimension of C is invertible in k if and only if any object of the center of C is a retract of a “free” half-braiding. As a consequence, if k is a field, then the center of C is semisimple (as an abelian category) if and only if the dimension of C is nonzero. If in addition k is algebraically closed, then this condition implies that the center is a fusion category, so that we recover Muger’s result.

In this paper, we study modular categories whose Galois group actions on their simple objects are transitive. We show that such modular categories admit unique factorization into prime transitive factors. The representations of $SL_2(\mathbb{Z})$ associated with transitive modular categories are proven to be minimal and irreducible. Together with the Verlinde formula, we characterize prime transitive modular categories as the Galois conjugates of the adjoint subcategory of the quantum group modular category $\mathcal{C}(\mathfrak{sl}_2,p-2)$ for some prime $p > 3$. As a consequence, we completely classify transitive modular categories. Transitivity of super-modular categories can be similarly defined. A unique factorization of any transitive super-modular category into s-simple transitive factors is obtained, and the split transitive super-modular categories are completely classified.

Ng and Schauenburg generalized higher Frobenius-Schur indicators to pivotal fusion categories and showed that these indicators may be computed utilizing the modular data of the Drinfel'd center of the given category. We consider two classes of fusion categories generated by a single non-invertible simple object: near groups, those fusion categories with one non-invertible simple object, and Haagerup-Izumi categories, those with one non-invertible simple object for every invertible object. Examples of both types arise as representations of finite or quantum groups or as Jones standard invariants of finite-depth Murray-von Neumann subfactors. We utilize the Evans-Gannon computation of the tube algebras to obtain formulae for the Frobenius-Schur indicators of objects in both of these families.