Generalized trace and modified dimension functions on ribbon categories

Covering theory for linear categories with application to derived categories

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 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

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.

The category of finite dimensional modules over the quantum superalgebra [Formula: see text] is not semi-simple and the quantum dimension of a generic [Formula: see text]-module vanishes. This vanishing happens for any value of [Formula: see text] (even when [Formula: see text] is not a root of unity). These properties make it difficult to create a fusion or modular category. Loosely speaking, the standard way to obtain such a category from a quantum group is: (1) specialize [Formula: see text] to a root of unity; this forces some modules to have zero quantum dimension, (2) quotient by morphisms of modules with zero quantum dimension, (3) show the resulting category is finite and semi-simple. In this paper, we show an analogous construction works in the context of [Formula: see text] by replacing the vanishing quantum dimension with a modified quantum dimension. In particular, we specialize [Formula: see text] to a root of unity, quotient by morphisms of modules with zero modified quantum dimension and show the resulting category is generically finite semi-simple. Moreover, we show the categories of this paper are relative [Formula: see text]-spherical categories. As a consequence, we obtain invariants of 3-manifold with additional structures.

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.

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.

Unitary Highest Weight Representations in Hilbert Spaces of Holomorphic Functions on Infinite Dimensional Domains

Methods and results from the representation theory of finite di- mensional algebras have led to many interactions with other areas of mathe- matics. Such areas include the theory of Lie algebras and quantum groups, commutative algebra, algebraic geometry and topology, and in particular the new theory of cluster algebras. The aim of this workshop was to further de- velop such interactions and to stimulate progress in the representation theory of algebras.

We survey recent results regarding embeddings of finite simple groups (and their nonsplit central extensions) in complex Lie groups, especially the Lie groups of exceptional type. Introduction Throughout this paper, L will be a finite group. Representation theory for L is usually understood to be the study of group morphisms L → GL(n, k) for distinguished collections of fields k (e.g., all overfields of a fixed field F ) and positive integers n . The topic of this survey is motivated by the question as to what happens if GL ( n ,·) is replaced by another algebraic group G (·). We shall mainly be concerned with the case where L is a finite simple group (that is, a finite nonabelian simple group) or a central extension thereof, and G(k) is a connected simple algebraic group over a field k . A further restriction of our discussion concerns the field k . It will mostly be taken to be the complex numbers, in which case we will mainly study group morphisms from L to the complex Lie group G (ℂ). (See below for some exceptions in §3 and §5.) For G (·) of classical type, the theory for representations L → G (ℂ) differs little from the usual one for GL ( n , ℂ). Indeed, a representation L → GL ( n , ℂ) decomposes into irreducible subrepresentations. The decomposition is well controlled by character theory.

1.1. Let G be a connected reductive algebraic group defined over a finite (prime) field Fp of p elements. For a given rational G-module M one can consider the restrictions of M to the restricted Lie algebra Lie(G) and to the finite group G(Fp) of Fp-rational points. Even though there is no direct functorial connection between the categories of restricted Lie(G)-modules and G(Fp)-modules, the ambient algebraic group G can serve as a bridge linking these two important module categories. Early results of Curtis in the 1960s provided a one-to-one correspondence between the simple restricted modules (over k = Fp) of Lie(G) and those of G(Fp). This correspondence is given by simply restricting certain classes of simple G-modules. More importantly, these results, along with work of Steinberg, allow one to easily transfer the questions pertaining to the computation of irreducible characters among these three categories. For over thirty years, this approach has been one of the main ideas used to relate the representation and cohomology theory of algebraic groups, Lie algebras, and finite groups of Lie type (in the defining characteristic) (see, e.g., [CPSvan], [Jan2], [Hum3], and [Jan1]). Given the previous results in this area, a natural course of investigation should be to find relationships between canonical modules, like projective modules, for Lie(G) and G(Fp). More precisely,

Irreducible representations of nongraded Witt type Lie algebras

Quasicrystal Lie algebras and their generalizations