Showing papers in "arXiv: Representation Theory in 2017"

Lattice theory of torsion classes

Abstract: The aim of this paper is to establish a lattice theoretical framework to study the partially ordered set $\operatorname{\mathsf{tors}} A$ of torsion classes over a finite-dimensional algebra $A$. We show that $\operatorname{\mathsf{tors}} A$ is a complete lattice which enjoys very strong properties, as bialgebraicity and complete semidistributivity. Thus its Hasse quiver carries the important part of its structure, and we introduce the brick labelling of its Hasse quiver and use it to study lattice congruences of $\operatorname{\mathsf{tors}} A$. In particular, we give a representation-theoretical interpretation of the so-called forcing order, and we prove that $\operatorname{\mathsf{tors}} A$ is completely congruence uniform. When $I$ is a two-sided ideal of $A$, $\operatorname{\mathsf{tors}} (A/I)$ is a lattice quotient of $\operatorname{\mathsf{tors}} A$ which is called an algebraic quotient, and the corresponding lattice congruence is called an algebraic congruence. The second part of this paper consists in studying algebraic congruences. We characterize the arrows of the Hasse quiver of $\operatorname{\mathsf{tors}} A$ that are contracted by an algebraic congruence in terms of the brick labelling. In the third part, we study in detail the case of preprojective algebras $\Pi$, for which $\operatorname{\mathsf{tors}} \Pi$ is the Weyl group endowed with the weak order. In particular, we give a new, more representation theoretical proof of the isomorphism between $\operatorname{\mathsf{tors}} k Q$ and the Cambrian lattice when $Q$ is a Dynkin quiver. We also prove that, in type $A$, the algebraic quotients of $\operatorname{\mathsf{tors}} \Pi$ are exactly its Hasse-regular lattice quotients.

Koszul duality for Kac-Moody groups and characters of tilting modules

Abstract: We establish a character formula for indecomposable tilting modules for connected reductive groups in characteristic p in terms of p-Kazhdan-Lusztig polynomials, for p>h the Coxeter number. Using results of Andersen, one may deduce a character formula for simple modules if p>2h-3. Our results are a consequence of an extension to modular coefficients of a monoidal Koszul duality equivalence established by Bezrukavnikov and Yun.

Minimal inclusions of torsion classes

Abstract: Let $\Lambda$ be a finite-dimensional associative algebra. The torsion classes of $mod\, \Lambda$ form a lattice under containment, denoted by $tors\, \Lambda$. In this paper, we characterize the cover relations in $tors\, \Lambda$ by certain indecomposable modules. We consider three applications: First, we show that the completely join-irreducible torsion classes (torsion classes which cover precisely one element) are in bijection with bricks. Second, we characterize faces of the canonical join complex of $tors\, \Lambda$ in terms of representation theory. Finally, we show that, in general, the algebra $\Lambda$ is not characterized by its lattice $tors\, \Lambda$. In particular, we study the torsion theory of a quotient of the preprojective algebra of type $A_n$. We show that its torsion class lattice is isomorphic to the weak order on $A_n$.

Notes on the geometric Satake equivalence

Abstract: These notes are devoted to a detailed exposition of the proof of the Geometric Satake Equivalence for general coefficients, following Mirkovic-Vilonen.

On cohomological Hall algebras of quivers : Yangians

Abstract: We consider the cohomological Hall algebra Y of a Lagrangian substack of the moduli stack of representations of the preprojective algebra of an arbitrary quiver Q, and its actions on the cohomology of quiver varieties We conjecture that Y is equal, after a suitable extension of scalars, to the Yangian introduced by Maulik and Okounkov, and we construct an embedding of Y in the Yangian, intertwining the respective actions of both algebras on the cohomology of quiver varieties

Modular representation theory in type A via Soergel bimodules

Abstract: In this paper we express certain multiplicities in modular representation-theoretic categories of type A in terms of affine p-Kazhdan-Lusztig polynomials. The representation-theoretic categories we deal with include the categories of rational representations of GL(n), representations of the quantum group for gl(n), and representations of (degenerate) cyclotomic Hecke and Schur algebras, where the base field is an algebraically closed field of arbitrary prime characteristic. In order to approach this problem we define Soergel-theoretic versions of parabolic categories O in characteristic p. We show that these categories have many common features with the classical parabolic categories O; for example, they are highest weight. We produce a homomorphism from a (finite or affine) type A 2-Kac-Moody category to the diagrammatic version of the category of singular Soergel bimodules (again, of finite or affine type A). This leads to a categorical Kac-Moody action on the Soergel-theoretic categories O. Then we relate the representation-theoretic categories to Soergel-theoretic ones by proving a uniqueness result for highest weight categorical actions on Fock spaces.

Universal two-parameter $\mathcal{W}_{\infty}$-algebra and vertex algebras of type $\mathcal{W}(2,3,\dots, N)$

Abstract: We prove the longstanding physics conjecture that there exists a unique two-parameter $\mathcal{W}_{\infty}$-algebra which is freely generated of type $\mathcal{W}(2,3,\dots)$, and generated by the weights $2$ and $3$ fields. Subject to some mild constraints, all vertex algebras of type $\mathcal{W}(2,3,\dots, N)$ for some $N$ can be obtained as quotients of this universal algebra. As an application, we show that for $n\geq 3$, the structure constants for the principal $\mathcal{W}$-algebras $\mathcal{W}^k(\mathfrak{s}\mathfrak{l}_n, f_{\text{prin}})$ are rational functions of $k$ and $n$, and we classify all coincidences among the simple quotients $\mathcal{W}^k(\mathfrak{s}\mathfrak{l}_n, f_{\text{prin}})$ for $n\geq 2$. We also obtain many new coincidences between $\mathcal{W}^k(\mathfrak{s}\mathfrak{l}_n, f_{\text{prin}})$ and other vertex algebras of type $\mathcal{W}(2,3,\dots, N)$ which arise as cosets of affine vertex algebras or nonprincipal $\mathcal{W}$-algebras

Free-monodromic mixed tilting sheaves on flag varieties

Abstract: In this paper we propose a construction of a monoidal category of "free-monodromic" tilting perverse sheaves on (Kac-Moody) flag varieties in the setting of the "mixed modular derived category" introduced by the first and third authors. This category shares most of the properties of their counterpart in characteristic 0, defined by Bezrukavnikov-Yun using certain pro-objects in triangulated categories. This construction is the main new ingredient in the forthcoming construction of a "modular Koszul duality" equivalence for constructible sheaves on flag varieties.

Representations of the oriented skein category

Abstract: The oriented skein category $OS(z,t)$ is a ribbon category which underpins the definition of the HOMFLY-PT invariant of an oriented link, in the same way that the Temperley-Lieb category underpins the Jones polynomial. In this article, we develop its representation theory using a highest weight theory approach. This allows us to determine the Grothendieck ring of its additive Karoubi envelope for all possible choices of parameters, including the (already well-known) semisimple case, and all non-semisimple situations. Then we construct a graded lift of $OS(z,t)$ by realizing it as a 2-representation of a Kac-Moody 2-category. We also discuss the degenerate analog of $OS(z,t)$, which is the oriented Brauer category $OB(\delta)$.

Affine Hecke algebras for Langlands parameters

Abstract: It is well-known that affine Hecke algebras are very useful to describe the smooth representations of any connected reductive p-adic group G, in terms of the supercuspidal representations of its Levi subgroups. The goal of this paper is to create a similar role for affine Hecke algebras on the Galois side of the local Langlands correspondence. To every Bernstein component of enhanced Langlands parameters for G we canonically associate an affine Hecke algebra (possibly extended with a finite R-group). We prove that the irreducible representations of this algebra are naturally in bijection with the members of the Bernstein component, and that the set of central characters of the algebra is naturally in bijection with the collection of cuspidal supports of these enhanced Langlands parameters. These bijections send tempered or (essentially) square-integrable representations to the expected kind of Langlands parameters. Furthermore we check that for many reductive p-adic groups, if a Bernstein component B for G corresponds to a Bernstein component B^\vee of enhanced Langlands parameters via the local Langlands correspondence, then the affine Hecke algebra that we associate to B^\vee is Morita equivalent with the Hecke algebra associated to B. This constitutes a generalization of Lusztig's work on unipotent representations. It might be useful to establish a local Langlands correspondence for more classes of irreducible smooth representations.

Ring objects in the equivariant derived Satake category arising from Coulomb branches (with an appendix by Gus Lonergan)

Abstract: This is the second companion paper of arXiv:1601.03586. We consider the morphism from the variety of triples introduced in arXiv:1601.03586 to the affine Grassmannian. The direct image of the dualizing complex is a ring object in the equivariant derived category on the affine Grassmannian (equivariant derived Satake category). We show that various constructions in arXiv:1601.03586 work for an arbitrary commutative ring object. The second purpose of this paper is to study Coulomb branches associated with star shaped quivers, which are expected to be conjectural Higgs branches of $3d$ Sicilian theories in type $A$ by arXiv:1007.0992.

Signed exceptional sequences and the cluster morphism category

Abstract: We introduce signed exceptional sequences as factorizations of morphisms in the cluster morphism category. The objects of this category are wide subcategories of the module category of a hereditary algebra. A morphism (T ) : A ! B is an equivalence class of rigid objects T in the cluster category of A so that B is the right hom-ext perpendicular category of the underlying object jTj 2 A. Factorizations of a morphism (T ) are given by totally orderings of the components of T. This is equivalent to a \signed exceptional sequences." For an algebra of nite representation type, the geometric realization of the cluster morphism category is the Eilenberg-MacLane space with fundamental group equal to the \picture group" introduced by the authors in (IOTW15b).

Small Representations of Finite Classical Groups

Abstract: Finite group theorists have established many formulas that express interesting properties of a finite group in terms of sums of characters of the group. An obstacle to applying these formulas is lack of control over the dimensions of representations of the group. In particular, the representations of small dimensions tend to contribute the largest terms to these sums, so a systematic knowledge of these small representations could lead to proofs of important conjectures which are currently out of reach. Despite the classification by Lusztig of the irreducible representations of finite groups of Lie type, it seems that this aspect remains obscure. In this note we develop a language which seems to be adequate for the description of the “small” representations of finite classical groups and puts in the forefront the notion of rank of a representation. We describe a method, the “eta correspondence”, to construct small representations, and we conjecture that our construction is exhaustive. We also give a strong estimate on the dimension of small representations in terms of their rank. For the sake of clarity, in this note we describe in detail only the case of the finite symplectic groups.

The cluster category of a surface with punctures via group actions

Abstract: Given a certain triangulation of a punctured surface with boundary, we construct a new triangulated surface without punctures which covers it. This new surface is naturally equipped with an action of a group of order two, and its quotient by this action recovers the original surface. We show that the group acts on the quivers with potentials associated to the surfaces, and that their Ginzburg dg algebras are skew group algebras of each other, up to Morita equivalence. We then use these results to construct functors between the generalized cluster categories associated to the triangulations. This allows us to give a complete description of the indecomposable objects of these categories in terms of curves on the surface, when the surface has punctures and non-empty boundary.

Continuous tensor categories from quantum groups I: algebraic aspects

Abstract: We describe the algebraic ingredients of a proof of the conjecture of Frenkel and Ip that the category of positive representations $\mathcal{P}_\lambda$ of the quantum group $U_q(\mathfrak{sl}_{n+1})$ is closed under tensor products. Our results generalize those of Ponsot and Teschner in the rank 1 case of $U_q(\mathfrak{sl}_2)$. In higher rank, many nontrivial features appear, the most important of these being a surprising connection to the quantum integrability of the open Coxeter-Toda lattice. We show that the closure under tensor products follows from the orthogonality and completeness of the Toda eigenfunctions (i.e. the q-Whittaker functions), and obtain an explicit construction of the Clebsch-Gordan intertwiner giving the decomposition of $\mathcal{P}_\lambda \otimes \mathcal{P}_\mu$ into irreducibles.

Special tilting modules for algebras with positive dominant dimension

Abstract: We study certain special tilting and cotilting modules for an algebra with positive dominant dimension, each of which is generated or cogenerated (and usually both) by projective-injectives. These modules have various interesting properties, for example that their endomorphism algebras always have global dimension at most that of the original algebra. We characterise minimal d-Auslander-Gorenstein algebras and d-Auslander algebras via the property that these special tilting and cotilting modules coincide. By the Morita-Tachikawa correspondence, any algebra of dominant dimension at least 2 may be expressed (essentially uniquely) as the endomorphism algebra of a generator-cogenerator for another algebra, and we also study our special tilting and cotilting modules from this point of view, via the theory of recollements and intermediate extension functors.

The many graded cellular bases of Hecke algebras

Abstract: We settle a long-standing problem in the theory of Hecke algebras of complex reflection groups by constructing many (graded) integral cellular bases of these algebras. As applications, we explicitly construct the simple modules of Ariki's categorification theorem and prove unitriangularity of decomposition matrices over arbitrary fields, we also prove Martin-Woodcock's conjecture.

Unipotent representations and the dual pair correspondence

Abstract: This chapter describes properties of unipotent representations in relation to the Θ-correspondence and relations of the K-structure to rational function of coadjoint orbits in the Lie algebra. The main focus is on the complex case.

The mirror conjecture for minuscule flag varieties

Abstract: We prove Rietsch's mirror conjecture that the Dubrovin quantum connection for minuscule flag varieties is isomorphic to the character D-module of the Berenstein-Kazhdan geometric crystal. The idea is to recognize the quantum connection as Galois and the geometric crystal as automorphic. We reveal surprising relations with the works of Frenkel-Gross, Heinloth-Ngo-Yun and Zhu on Kloosterman sheaves. The isomorphism comes from global rigidity results where Hecke eigensheaves are determined by their local ramification. As corollaries we obtain combinatorial identities for counts of rational curves and the Peterson variety presentation of the small quantum cohomology ring.

Crystals and monodromy of Bethe vectors

Abstract: Fix a semisimple Lie algebra g. Gaudin algebras are commutative algebras acting on tensor product multiplicity spaces for g-representations. These algebras depend on a parameter which is a point in the Deligne-Mumford moduli space of marked stable genus 0 curves. When the parameter is real, then the Gaudin algebra acts with simple spectrum on the tensor product multiplicity space and gives us a basis of eigenvectors. In this paper, we study the monodromy of these eigenvectors as the parameter varies within the real locus; this gives an action of the fundamental group of this moduli space, which is called the cactus group. We prove a conjecture of Etingof which states that the monodromy of eigenvectors for Gaudin algebras agrees with the action of the cactus group on tensor products of g-crystals. In fact, we prove that the coboundary category of normal g-crystals can be reconstructed using the coverings of the moduli spaces. Our main tool is the construction of a crystal structure on the set of eigenvectors for shift of argument algebras, another family of commutative algebras which act on any irreducible g-representation. We also prove that the monodromy of such eigenvectors is given by the internal cactus group action on g-crystals.

Categorical diagonalization of full twists

Abstract: We conjecture that the complex of Soergel bimodules associated with the full twist braid is categorically diagonalizable, for any finite Coxeter group. This utilizes the theory of categorical diagonalization introduced earlier by the authors. We prove our conjecture in type $A$, and as a result we obtain a categorification of the Young idempotents.

Derived categories of quasi-hereditary algebras and their derived composition series

Abstract: We study composition series of derived module categories in the sense of Angeleri Hugel, Konig & Liu for quasi-hereditary algebras. More precisely, we show that having a composition series with all factors being derived categories of vector spaces does not characterise derived categories of quasi-hereditay algebras. This gives a negative answer to a question of Liu & Yang and the proof also confirms part of a conjecture of Bobinski & Malicki. In another direction, we show that derived categories of quasi-hereditary algebras can have composition series with lots of different lengths and composition factors. In other words, there is no Jordan-Holder property for composition series of derived categories of quasi-hereditary algebras.

Quiver varieties and elliptic quantum groups

Abstract: We define a sheafified elliptic quantum group for any symmetric Kac-Moody Lie algebra. This definition is naturally obtained from the elliptic cohomological Hall algebra of a preprojective algebra. The sheafified elliptic quantum group is an algebra object in a certain monoidal category of coherent sheaves on the colored Hilbert scheme of an elliptic curve. We show that the elliptic quantum group acts on the equivariant elliptic cohomology of Nakajima quiver varieties. This action is compatible with the action induced by Hecke correspondence, a construction similar to that of Nakajima. The elliptic Drinfeld currents are obtained as generating series of certain rational sections of the sheafified elliptic quantum group. We show that the Drinfeld currents satisfy the commutation relations of the dynamical elliptic quantum group studied by Felder and Gautam-Toledano Laredo.

A first guide to the character theory of finite groups of Lie type

Abstract: This survey article is an introduction to some of Lusztig's work on the character theory of a finite group of Lie type $G(F_q)$, where $q$ is a power of a prime~$p$. It is partly based on two series of lectures given at the Centre Bernoulli (EPFL) in July 2016 and at a summer school in Les Diablerets in August 2015. Our focus here is on questions related to the parametrization of the irreducible characters and on results which hold without any assumption on~$p$ or~$q$.

On The Mackey Formula for Connected Centre Groups

Abstract: Let $\mathbf{G}$ be a connected reductive algebraic group over $\overline{\mathbb{F}}_p$ and let $F : \mathbf{G} \to \mathbf{G}$ be a Frobenius endomorphism endowing $\mathbf{G}$ with an $\mathbb{F}_q$-rational structure. Bonnafe--Michel have shown that the Mackey formula for Deligne--Lusztig induction and restriction holds for the pair $(\mathbf{G},F)$ except in the case where $q = 2$ and $\mathbf{G}$ has a quasi-simple component of type $\sf{E}_6$, $\sf{E}_7$, or $\sf{E}_8$. Using their techniques we show that if $q = 2$ and $Z(\mathbf{G})$ is connected then the Mackey formula holds unless $\mathbf{G}$ has a quasi-simple component of type $\sf{E}_8$. This establishes the Mackey formula, for instance, in the case where $(\mathbf{G},F)$ is of type $\sf{E}_7(2)$. Using this, together with work of Bonnafe--Michel, we can conclude that the Mackey formula holds on the space of unipotently supported class functions if $Z(\mathbf{G})$ is connected.

Stability conditions, $τ$-tilting Theory and Maximal Green Sequences

Abstract: Extending the notion of maximal green sequences to an abelian category, we characterize the stability functions, as defined by Rudakov, that induce a maximal green sequence in an abelian length category Furthermore, we use $\tau$-tilting theory to give a description of the wall and chamber structure of any finite dimensional algebra Finally we introduce the notion of green paths in the wall and chamber structure of an algebra and show that green paths serve as geometrical generalization of maximal green sequences in this context

Separated monic representations II: Frobenius subcategories and RSS equivalences

Abstract: This paper aims at looking for Frobenius subcategories, via the separated monomorphism category ${\rm smon}(Q, I, \x)$, and on the other hand, to establish an {\rm RSS} equivalence from ${\rm smon}(Q, I, \x)$ to its dual ${\rm sepi}(Q, I, \x)$. For a bound quiver $(Q, I)$ and an algebra $A$, where $Q$ is acyclic and $I$ is generated by monomial relations, let $\Lambda=A\otimes_k kQ/I$. For any additive subcategory $\x$ of $A$-mod, we construct ${\rm smon}(Q, I, \x)$ combinatorially. This construction describe Gorenstein-projective $\m$-modules as $\mathcal {GP}(\m) = {\rm smon}(Q, I, \mathcal {GP}(A))$. It admits a homological interpretation, and enjoys a reciprocity ${\rm smon}(Q, I, \ ^\bot T)= \ ^\bot (T\otimes kQ/I)$ for a cotilting $A$-module $T$. As an application, ${\rm smon}(Q, I, \x)$ has Auslander-Reiten sequences if $\x$ is resolving and contravariantly finite with $\widehat{\x}=A$-mod. In particular, ${\rm smon}(Q, I, A)$ has Auslander-Reiten sequences. It also admits a filtration interpretation as ${\rm smon}(Q, I, \mathscr{X})={\rm Fil}(\mathscr{X}\otimes \mathcal P(kQ/I))$, provided that $\x$ is extension-closed. As an application, ${\rm smon}(Q, I, \x)$ is an extension-closed Frobenius subcategory if and only if so is $\x$. This gives "new" Frobenius subcategories of $\m$-mod in the sense that they are not $\mathcal{GP}(\m)$. Ringel-Schmidmeier-Simson equivalence ${\rm smon}(Q, I, \x)\cong{\rm sepi}(Q, I, \x)$ is introduced and the existence is proved for arbitrary extension-closed subcategories $\x$. In particular, the Nakayama functor $\mathcal N_\m$ gives an {\rm RSS} equivalence ${\rm smon}(Q, I, A)\cong{\rm sepi}(Q, I, A)$ if and only if $A$ is Frobenius. For a chain $Q$ with arbitrary $I$, an explicit formula of an {\rm RSS} equivalence is found for arbitrary additive subcategories $\x$.

Monoidal categories associated with strata of flag manifolds

Abstract: We construct a monoidal category $\mathscr{C}_{w,v}$ which categorifies the doubly-invariant algebra $^{N'(w)}\mathbb{C}[N]^{N(v)}$ associated with Weyl group elements $w$ and $v$. It gives, after a localization, the coordinate algebra $\mathbb{C}[\mathcal{R}_{w,v}]$ of the open Richardson variety associated with $w$ and $v$. The category $\mathscr{C}_{w,v}$ is realized as a subcategory of the graded module category of a quiver Hecke algebra $R$. When $v= \mathrm{id}$, $\mathscr{C}_{w,v}$ is the same as the monoidal category which provides a monoidal categorification of the quantum unipotent coordinate algebra $A_q(\mathfrak{n}(w))_{\mathbb{Z}[q,q^{-1}]}$ given by Kang-Kashiwara-Kim-Oh. We show that the category $\mathscr{C}_{w,v}$ contains special determinantial modules $\mathsf{M}(w_{\le k}\Lambda, v_{\le k}\Lambda)$ for $k=1, \ldots, \ell(w)$, which commute with each other. When the quiver Hecke algebra $R$ is symmetric, we find a formula of the degree of $R$-matrices between the determinantial modules $\mathsf{M}(w_{\le k}\Lambda, v_{\le k}\Lambda)$. When it is of finite $ADE$ type, we further prove that there is an equivalence of categories between $\mathscr{C}_{w,v}$ and $\mathscr{C}_u$ for $w,u,v \in \mathsf{W}$ with $w = vu$ and $\ell(w) = \ell(v) + \ell(u)$.

Affine wreath product algebras

Abstract: We study the structure and representation theory of affine wreath product algebras and their cyclotomic quotients. These algebras, which appear naturally in Heisenberg categorification, simultaneously unify and generalize many important algebras appearing in the literature. In particular, special cases include degenerate affine Hecke algebras, affine Sergeev algebras (degenerate affine Hecke-Clifford algebras), and wreath Hecke algebras. In some cases, specializing the results of the current paper recovers known results, but with unified and simplified proofs. In other cases, we obtain new results, including proofs of two open conjectures of Kleshchev and Muth.

Conic divisorial ideals of Hibi rings and their applications to non-commutative crepant resolutions.

Abstract: In this paper, we study divisorial ideals of a Hibi ring which is a toric ring arising from a partially ordered set. We especially characterize the special class of divisorial ideals called conic using the associated partially ordered set. Using our description of conic divisorial ideals, we also construct a module giving a non-commutative crepant resolution (= NCCR) of the Segre product of polynomial rings. Furthermore, applying the operation called mutation, we give other modules giving NCCRs of it.