Showing 1–50 of 79 results for author: Losev, I

Probabilistic Correlation Functions of the Schwarzian Field Theory

Authors: Ilya Losev

Abstract: We study correlation functions of the probabilistic Schwarzian Field Theory. We compute cross-ratio correlation functions exactly in the case when the corresponding Wilson lines do not intersect, confirming predictions made in the physics literature via limit of the conformal bootstrap and the DOZZ formula. Moreover, we prove that these correlation functions characterise the measure uniquely. We u… ▽ More We study correlation functions of the probabilistic Schwarzian Field Theory. We compute cross-ratio correlation functions exactly in the case when the corresponding Wilson lines do not intersect, confirming predictions made in the physics literature via limit of the conformal bootstrap and the DOZZ formula. Moreover, we prove that these correlation functions characterise the measure uniquely. We use them to define and compute the stress-energy tensor correlation functions, and demonstrate, in particular, that these agree with the results obtained earlier by formal differentiation of the partition function. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Large Deviations of the Schwarzian Field Theory

Authors: Ilya Losev

Abstract: We prove a large deviations principle for the probabilistic Schwarzian Field Theory at low temperatures. We demonstrate that the good rate function is equal to the action of the Schwarzian Field Theory, and we find its minimisers. In addition, we define an analogue of the Hölder condition on the functional space $\mathrm{Diff}^1(\mathbb{T})/\mathrm{PSL}(2,\mathbb{R})$ in terms of cross-ratio obser… ▽ More We prove a large deviations principle for the probabilistic Schwarzian Field Theory at low temperatures. We demonstrate that the good rate function is equal to the action of the Schwarzian Field Theory, and we find its minimisers. In addition, we define an analogue of the Hölder condition on the functional space $\mathrm{Diff}^1(\mathbb{T})/\mathrm{PSL}(2,\mathbb{R})$ in terms of cross-ratio observables, characterise them in terms of the usual Hölder property on the space of continuous functions, and deduce the corresponding compact embedding theorem. We also show that the Schwarzian measure concentrates on functions satisfying the defined condition. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Probabilistic Definition of the Schwarzian Field Theory

Authors: Roland Bauerschmidt, Ilya Losev, Peter Wildemann

Abstract: We define the Schwarzian Field Theory as a finite measure on $\mathrm{Diff}^1(\mathbb{T})/\mathrm{PSL}(2,\mathbb{R})$ and compute its generalised partition functions exactly using methods of stochastic analysis. The Schwarzian Field Theory has attracted recent attention due to its role in the analysis of the Sachdev--Ye--Kitaev model and as the proposed holographic dual to Jackiw--Teitelboim gravi… ▽ More We define the Schwarzian Field Theory as a finite measure on $\mathrm{Diff}^1(\mathbb{T})/\mathrm{PSL}(2,\mathbb{R})$ and compute its generalised partition functions exactly using methods of stochastic analysis. The Schwarzian Field Theory has attracted recent attention due to its role in the analysis of the Sachdev--Ye--Kitaev model and as the proposed holographic dual to Jackiw--Teitelboim gravity. In two companion papers by Losev, the predicted exact cross-ratio correlation functions for non-crossing Wilson lines and the large deviations are derived from the probability measure.} △ Less

Submitted 24 June, 2024; originally announced June 2024.

Quantum category O vs affine Hecke category

Authors: Ivan Losev

Abstract: The goal of this paper is to relate the quantum category $\mathcal{O}$ (known also as the category of modules over the mixed quantum group) at an odd root of unity to the affine Hecke category. Namely, we prove equivalences of highest weight categories between integral blocks of the affine category $\mathcal{O}$ and the heart of the so called ``new'' t-structure on the affine Hecke category. In or… ▽ More The goal of this paper is to relate the quantum category $\mathcal{O}$ (known also as the category of modules over the mixed quantum group) at an odd root of unity to the affine Hecke category. Namely, we prove equivalences of highest weight categories between integral blocks of the affine category $\mathcal{O}$ and the heart of the so called ``new'' t-structure on the affine Hecke category. In order to do this we deform our categories over the formal neighborhood of $0$ in the dual affine Cartan and show that the categories of standardly filtered objects in the deformations are equivalent. For this, we construct functors from the deformed categories to the category of bimodules over the formal power series on the affine Cartan. Then we use what we call the Rouquier-Soergel theory, also developed in this paper, to show that on the categories of standardly filtered objects, these functors are full embeddings with the same image. △ Less

Submitted 4 October, 2023; originally announced October 2023.

Comments: 63 pages

MSC Class: 20G42

Canonical filtrations on Harish-Chandra modules

Authors: Ivan Losev

Abstract: The goal of this paper is to show that a wide class of Harish-Chandra $(\mathfrak{g},K)$-modules including all irreducible ones come with a certain canonical filtration. The goal of this paper is to show that a wide class of Harish-Chandra $(\mathfrak{g},K)$-modules including all irreducible ones come with a certain canonical filtration. △ Less

Submitted 21 September, 2023; originally announced September 2023.

Comments: 14 pages

MSC Class: 17B10; 17B35

On Harish-Chandra modules over quantizations of nilpotent orbits

Authors: Ivan Losev, Shilin Yu

Abstract: Let $G$ be a semisimple algebraic group over the complex numbers and $K$ be a connected reductive group map** to $G$ so that the Lie algebra of $K$ gets identified with a symmetric subalgebra of $\mathfrak{g}$. So we can talk about Harish-Chandra $(\mathfrak{g},K)$-modules, where $\mathfrak{g}$ is the Lie algebra of $G$. The goal of this paper is to give a geometric classification of irreducible… ▽ More Let $G$ be a semisimple algebraic group over the complex numbers and $K$ be a connected reductive group map** to $G$ so that the Lie algebra of $K$ gets identified with a symmetric subalgebra of $\mathfrak{g}$. So we can talk about Harish-Chandra $(\mathfrak{g},K)$-modules, where $\mathfrak{g}$ is the Lie algebra of $G$. The goal of this paper is to give a geometric classification of irreducible Harish-Chandra modules with full support over the filtered quantizations of the algebras of the form $\mathbb{C}[\mathbb{O}]$, where $\mathbb{O}$ is a nilpotent orbit in $\mathfrak{g}$ with codimension of the boundary at least $4$. Namely, we embed the set of isomorphism classes of irreducible Harish-Chandra modules into the set of isomorphism classes of irreducible $K$-equivariant suitably twisted local systems on $\mathbb{O}\cap \mathfrak{k}^\perp$. We show that under certain conditions, for example when $K\subset G$ or when $\mathfrak{g}\cong \mathfrak{so}_n,\mathfrak{sp}_{2n}$, this embedding is in fact a bijection. On the other hand, for $\mathfrak{g}=\mathfrak{sl}_n$ and $K=\operatorname{Spin}_n$, the embedding is not bijective and we give a description of the image. Finally, we perform a partial classification for exceptional Lie algebras. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: 80 pages

MSC Class: 17B10; 17B35

How long are the arms in DBM?

Authors: Ilya Losev, Stanislav Smirnov

Abstract: We study Diffusion Limited Aggregation (DLA) and its one-parameter generalisation -- Dielectric-Breakdown Model (DBM) on $\mathbb{Z}^2$ and $\mathbb{Z}^3$. We prove a growth estimate for DBM, analogous to the famous Kesten's estimate for DLA. We also provide a new proof of the latter. We study Diffusion Limited Aggregation (DLA) and its one-parameter generalisation -- Dielectric-Breakdown Model (DBM) on $\mathbb{Z}^2$ and $\mathbb{Z}^3$. We prove a growth estimate for DBM, analogous to the famous Kesten's estimate for DLA. We also provide a new proof of the latter. △ Less

Submitted 27 July, 2023; originally announced July 2023.

Comments: 16 pages

MSC Class: 82C24

On modular Soergel bimodules, Harish-Chandra bimodules, and category O

Authors: Ivan Losev

Abstract: In this paper we continue the study of the category of modular Harish-Chandra bimodules initiated by Bezrukavnikov and Riche and also study the modular version of the BGG category $\mathcal{O}$. We prove a version of the Bezrukavnikov-Mirkovic-Rumynin localization theorem for the Harish-Chandra bimodules and for the category $\mathcal{O}$. We also relate the category of Harish-Chandra bimodules to… ▽ More In this paper we continue the study of the category of modular Harish-Chandra bimodules initiated by Bezrukavnikov and Riche and also study the modular version of the BGG category $\mathcal{O}$. We prove a version of the Bezrukavnikov-Mirkovic-Rumynin localization theorem for the Harish-Chandra bimodules and for the category $\mathcal{O}$. We also relate the category of Harish-Chandra bimodules to the affine Hecke category building on the prior work of Bezrukavnikov and Riche. △ Less

Submitted 11 February, 2023; originally announced February 2023.

Comments: 33 pages

Unipotent Ideals and Harish-Chandra Bimodules

Authors: Ivan Losev, Lucas Mason-Brown, Dmytro Matvieievskyi

Abstract: Let $G$ be a complex reductive algebraic group. In this paper, we give a geometric definition of a unipotent representation of $G$. Our definition generalizes the notion of a special unipotent representation, due to Barbasch-Vogan and Arthur. The representations we define arise from finite equivariant covers of nilpotent co-adjoint $G$-orbits. To each such cover $\tilde{\mathbb{O}}$, we attach a d… ▽ More Let $G$ be a complex reductive algebraic group. In this paper, we give a geometric definition of a unipotent representation of $G$. Our definition generalizes the notion of a special unipotent representation, due to Barbasch-Vogan and Arthur. The representations we define arise from finite equivariant covers of nilpotent co-adjoint $G$-orbits. To each such cover $\tilde{\mathbb{O}}$, we attach a distinguished filtered algebra $\mathcal{A}_0$ equipped with a graded Poisson isomorphism $\mathrm{gr}(\mathcal{A}_0)\simeq \mathbb{C}[\tilde{\mathbb{O}}]$. The algebra $\mathcal{A}_0$ receives a distinguished homomorphism from the universal envelo** algebra $U(\mathfrak{g})$, and the kernel of this homomorphism is a completely prime primitive ideal in $U(\mathfrak{g})$ with associated variety $\overline{\mathbb{O}}$. A unipotent ideal is any ideal in $U(\mathfrak{g})$ which arises in this fashion. A unipotent representation is an irreducible Harish-Chandra bimodule which is annihilated (on both sides) by such an ideal. Our unipotent ideals and representations have all of the expected properties: the unipotent representations attached to $\tilde{\mathbb{O}}$ are parameterized by irreducible representations of a certain finite group (generalizing Lusztig's canonical quotient) and, when restricted to $K$, are of the form conjectured by Vogan. In classical types, all unipotent ideals are maximal, and all unipotent representations are unitary (we expect these properties to hold for arbitrary groups). Finally, all special unipotent representations are unipotent. To prove the last assertion, we introduce a refinement of Barbasch-Vogan-Lusztig-Spaltenstein duality, inspired by the symplectic duality of Braden, Licata, Proudfoot, and Webster. △ Less

Submitted 18 February, 2024; v1 submitted 7 August, 2021; originally announced August 2021.

Comments: 191 pages

Almost commuting varieties for symplectic Lie algebras

Authors: Ivan Losev

Abstract: In this note we introduce and study the almost commuting varieties for the symplectic Lie algebras. In this note we introduce and study the almost commuting varieties for the symplectic Lie algebras. △ Less

Submitted 22 April, 2021; originally announced April 2021.

Comments: 5 pages

Affine Springer Fibers, Procesi bundles, and Cherednik algebras

Authors: Pablo Boixeda Alvarez, Ivan Losev

Abstract: Let $\mathfrak{g}$ be a semisimple Lie algebra, $\mathfrak{t}$ its Cartan subalgebra and $W$ the Weyl group. The goal of this paper is to prove an isomorphism between suitable completions of the equivariant Borel-Moore homology of certain affine Springer fibers for $\mathfrak{g}$ and the global sections of a bundle related to a Procesi bundle on the smooth locus of a partial resolution of… ▽ More Let $\mathfrak{g}$ be a semisimple Lie algebra, $\mathfrak{t}$ its Cartan subalgebra and $W$ the Weyl group. The goal of this paper is to prove an isomorphism between suitable completions of the equivariant Borel-Moore homology of certain affine Springer fibers for $\mathfrak{g}$ and the global sections of a bundle related to a Procesi bundle on the smooth locus of a partial resolution of $(\mathfrak{t}\oplus \mathfrak{t}^*)/W$. We deduce some applications of our isomorphism including a conditional application to the center of the small quantum group. Our main method is to compare certain bimodules over rational and trigonometric Cherednik algebras. △ Less

Submitted 19 April, 2021; originally announced April 2021.

Comments: 43 pages

MSC Class: 16G99

Localization theorems for quantized symplectic resolutions

Authors: Ivan Losev

Abstract: The goal of this paper is to establish Beilinson-Bernstein type localization theorems for quantizations of some conical symplectic resolutions. We prove the full localization theorems for finite and affine type A Nakajima quiver varieties. The proof is based on two partial results that hold in more general situations. First, we establish an exactness result for global section functor if there is a… ▽ More The goal of this paper is to establish Beilinson-Bernstein type localization theorems for quantizations of some conical symplectic resolutions. We prove the full localization theorems for finite and affine type A Nakajima quiver varieties. The proof is based on two partial results that hold in more general situations. First, we establish an exactness result for global section functor if there is a tilting generator that has a rank 1 summand. Second, we examine when the global section functor restricts to an equivalence between categories $\mathcal{O}$. △ Less

Submitted 20 March, 2021; originally announced March 2021.

Comments: 54 pages

MSC Class: 16G99

Categorical braid group actions and cactus groups

Authors: Iva Halacheva, Anthony Licata, Ivan Losev, Oded Yacobi

Abstract: Let $\mathfrak{g}$ be a semisimple simply-laced Lie algebra of finite type. Let $\mathcal{C}$ be an abelian categorical representation of the quantum group $U_q(\mathfrak{g})$ categorifying an integrable representation $V$. The Artin braid group $B$ of $\mathfrak{g}$ acts on $D^b(\mathcal{C})$ by Rickard complexes, providing a triangulated equivalence… ▽ More Let $\mathfrak{g}$ be a semisimple simply-laced Lie algebra of finite type. Let $\mathcal{C}$ be an abelian categorical representation of the quantum group $U_q(\mathfrak{g})$ categorifying an integrable representation $V$. The Artin braid group $B$ of $\mathfrak{g}$ acts on $D^b(\mathcal{C})$ by Rickard complexes, providing a triangulated equivalence $Θ_{w_0}:D^b(\mathcal{C}_μ) \to D^b(\mathcal{C}_{w_0(μ)})$, where $μ$ is a weight of $V$ and $Θ_{w_0}$ is a positive lift of the longest element of the Weyl group. We prove that this equivalence is t-exact up to shift when $V$ is isotypic, generalising a fundamental result of Chuang and Rouquier in the case $\mathfrak{g}=\mathfrak{sl}_2$. For general $V$, we prove that $Θ_{w_0}$ is a perverse equivalence with respect to a Jordan-Hölder filtration of $\mathcal{C}$. Using these results we construct, from the action of $B$ on $V$, an action of the cactus group on the crystal of $V$. This recovers the cactus group action on $V$ defined via generalised Schützenberger involutions, and provides a new connection between categorical representation theory and crystal bases. We also use these results to give new proofs of theorems of Berenstein-Zelevinsky, Rhoades, and Stembridge regarding the action of symmetric group on the Kazhdan-Lusztig basis of its Specht modules. △ Less

Submitted 14 June, 2023; v1 submitted 14 January, 2021; originally announced January 2021.

Comments: v3: 26 pages, fixed a mistake in Theorem 3.6. v2: 26 pages, revision based on referee comments. v1: 23 pages

Jacobi matrices with lacunary spectrum

Authors: Ilya Losev

Abstract: We find asymptotics of entries of Jacobi matrices with lacunary spectral data under some additional growth conditions. We also prove the inverse results. In addition, we study connections between Jacobi matrices, canonical systems and de Branges spaces for lacunary spectral data We find asymptotics of entries of Jacobi matrices with lacunary spectral data under some additional growth conditions. We also prove the inverse results. In addition, we study connections between Jacobi matrices, canonical systems and de Branges spaces for lacunary spectral data △ Less

Submitted 16 September, 2020; originally announced September 2020.

Dimensions of modular irreducible representations of semisimple Lie algebras

Authors: Roman Bezrukavnikov, Ivan Losev

Abstract: In this paper we classify and give Kazhdan-Lusztig type character formulas for equivariantly irreducible representations of Lie algebras of reductive algebraic groups over a field of large positive characteristic. The equivariance is with respect to a group whose connected component is a torus. Character computation is done in two steps. First, we treat the case of distinguished $p$-characters: th… ▽ More In this paper we classify and give Kazhdan-Lusztig type character formulas for equivariantly irreducible representations of Lie algebras of reductive algebraic groups over a field of large positive characteristic. The equivariance is with respect to a group whose connected component is a torus. Character computation is done in two steps. First, we treat the case of distinguished $p$-characters: those that are not contained in a proper Levi. Here we essentially show that the category of equivariant modules we consider is a cell quotient of an affine parabolic category $\mathcal{O}$. For this, we prove an equivalence between two categorifications of a parabolically induced module over the affine Hecke algebra conjectured by the first named author. For the general nilpotent $p$-character, we get character formulas by explicitly computing the duality operator on a suitable equivariant K-group. △ Less

Submitted 15 November, 2020; v1 submitted 20 May, 2020; originally announced May 2020.

Comments: 61 pages; v2 64 pages: references added and exposition elaborated; v3 65 pages, accepted version

MSC Class: 17B20; 17B35; 17B50

Representations with minimal support for quantized Gieseker varieties

Authors: Pavel Etingof, Vasily Krylov, Ivan Losev, José Simental

Abstract: We study the minimally supported representations of quantizations of Gieseker moduli spaces. We relate them to $\operatorname{SL}_n$-equivariant D-modules on the nilpotent cone of $\mathfrak{sl}_n$ and to minimally supported representations of type A rational Cherednik algebras. Our main result is character formulas for minimally supported representations of quantized Gieseker moduli spaces. We study the minimally supported representations of quantizations of Gieseker moduli spaces. We relate them to $\operatorname{SL}_n$-equivariant D-modules on the nilpotent cone of $\mathfrak{sl}_n$ and to minimally supported representations of type A rational Cherednik algebras. Our main result is character formulas for minimally supported representations of quantized Gieseker moduli spaces. △ Less

Submitted 8 January, 2021; v1 submitted 16 February, 2020; originally announced February 2020.

Comments: v2: typos corrected; acknowledgments added; the final published version

Journal ref: Math. Z. vol. 297 (2021) 1-29

On inductive construction of Procesi bundles

Authors: Ivan Losev

Abstract: A Procesi bundle, a rank $n!$ vector bundle on the Hilbert scheme $H_n$ of $n$ points in $\mathbb{C}^2$, was first constructed by Mark Haiman in his proof of the $n!$ theorem by using a complicated combinatorial argument. Since then alternative constructions of this bundle were given by Bezrukavnikov-Kaledin and by Ginzburg. In this paper we give a geometric/ representation-theoretic proof of the… ▽ More A Procesi bundle, a rank $n!$ vector bundle on the Hilbert scheme $H_n$ of $n$ points in $\mathbb{C}^2$, was first constructed by Mark Haiman in his proof of the $n!$ theorem by using a complicated combinatorial argument. Since then alternative constructions of this bundle were given by Bezrukavnikov-Kaledin and by Ginzburg. In this paper we give a geometric/ representation-theoretic proof of the inductive formula for the Procesi bundle that plays an important role in Haiman's construction. Then we use the inductive formula to prove a weaker version of the $n!$ theorem: the normalization of Haiman's isospectral Hilbert scheme is Cohen-Macaulay and Gorenstein, and the normalization morphism is bijective. This improves an earlier result of Ginzburg. △ Less

Submitted 25 January, 2019; v1 submitted 17 January, 2019; originally announced January 2019.

Comments: v3: 24 pages, new title and abstract; Section 6 completely rewritten and Section 1 modified

MSC Class: 14E16; 53D55; 16G99

Harish-Chandra bimodules over quantized symplectic singularities

Authors: Ivan Losev

Abstract: In this paper we classify the irreducible Harish-Chandra bimodules with full support over filtered quantizations of conical symplectic singularities under the condition that none of the slices to codimension 2 symplectic leaves has type $E_8$. More precisely, we show that the top quotient $\overline{\operatorname{HC}}(\mathcal{A}_λ)$ of the category of Harish-Chandra bimodules over the quantizatio… ▽ More In this paper we classify the irreducible Harish-Chandra bimodules with full support over filtered quantizations of conical symplectic singularities under the condition that none of the slices to codimension 2 symplectic leaves has type $E_8$. More precisely, we show that the top quotient $\overline{\operatorname{HC}}(\mathcal{A}_λ)$ of the category of Harish-Chandra bimodules over the quantization $\mathcal{A}_λ$ with parameter $λ$ embeds into the category of representations of the algebraic fundamental group, $Γ$, of the open leaf. The image coincides with the representations of $Γ/Γ_λ$, where $Γ_λ$ is a normal subgroup of $Γ$ that can be recovered from the quantization parameter $λ$. As an application of our results, we describe the Lusztig quotient group in terms of the geometry of the normalization of the orbit closure in almost all cases. △ Less

Submitted 15 July, 2020; v1 submitted 17 October, 2018; originally announced October 2018.

Comments: 29 pages; v2 32 pages, improved exposition

MSC Class: 16G99; 16W70; 17B35

Goldie ranks of primitive ideals and indexes of equivariant Azumaya algebras

Authors: Ivan Losev, Ivan Panin

Abstract: Let $\mathfrak{g}$ be a semisimple Lie algebra. We establish a new relation between the Goldie rank of a primitive ideal $\mathcal{J}\subset U(\mathfrak{g})$ and the dimension of the corresponding irreducible representation $V$ of an appropriate finite W-algebra. Namely, we show that $\operatorname{Grk}(\mathcal{J}) \leqslant \dim V/d_V$, where $d_V$ is the index of a suitable equivariant Azumaya… ▽ More Let $\mathfrak{g}$ be a semisimple Lie algebra. We establish a new relation between the Goldie rank of a primitive ideal $\mathcal{J}\subset U(\mathfrak{g})$ and the dimension of the corresponding irreducible representation $V$ of an appropriate finite W-algebra. Namely, we show that $\operatorname{Grk}(\mathcal{J}) \leqslant \dim V/d_V$, where $d_V$ is the index of a suitable equivariant Azumaya algebra on a homogeneous space. We also compute $d_V$ in representation theoretic terms. △ Less

Submitted 15 November, 2020; v1 submitted 15 February, 2018; originally announced February 2018.

Comments: 13 pages; v2 15 pages, improved exposition, accepted version

MSC Class: 17B35; 16A16

On modular categories O for quantized symplectic resolutions

Authors: Ivan Losev

Abstract: In this paper we study highest weight and standardly stratified structures on modular analogs of categories $\mathcal{O}$ over quantizations of symplectic resolutions and show how to recover the usual categories $\mathcal{O}$ (reduced mod $p\gg 0$) from our modular categories. More precisely, we consider a conical symplectic resolution that is defined over a finite localization of $\mathbb{Z}$ and… ▽ More In this paper we study highest weight and standardly stratified structures on modular analogs of categories $\mathcal{O}$ over quantizations of symplectic resolutions and show how to recover the usual categories $\mathcal{O}$ (reduced mod $p\gg 0$) from our modular categories. More precisely, we consider a conical symplectic resolution that is defined over a finite localization of $\mathbb{Z}$ and is equipped with a Hamiltonian action of a torus $T$ that has finitely many fixed points. We consider algebras $\mathcal{A}_λ$ of global sections of a quantization in characterstic $p\gg 0$, where $λ$ is a parameter. Then we consider a category $\tilde{\mathcal{O}}_λ$ consisting of all finite dimensional $T$-equivariant $\mathcal{A}_λ$-modules. We show that for $λ$ lying in a {\it p-alcove} $\,^p\!A$, the category $\tilde{\mathcal{O}}_λ$ is highest weight (in some generalized sense). Moreover, we show that every face of $\,^p\!A$ that survives in $\,^p\!A/p$ when $p\rightarrow \infty$ defines a standardly stratified structure on $\tilde{\mathcal{O}}_λ$. We identify the associated graded categories for these standardly stratified structures with reductions mod $p$ of the usual categories $\mathcal{O}$ in characteristic $0$. Applications of our construction include computations of wall-crossing bijections in characteristic $p$ and the existence of gradings on categories $\mathcal{O}$ in characteristic $0$. △ Less

Submitted 23 March, 2021; v1 submitted 20 December, 2017; originally announced December 2017.

Comments: 50 pages; v2 58 pages, various mistakes fixed and exposition improved

MSC Class: 16E35; 16G99

On dimension growth of modular irreducible representations of semisimple Lie algebras

Authors: Roman Bezrukavnikov, Ivan Losev

Abstract: In this paper we investigate the growth with respect to $p$ of dimensions of irreducible representations of a semisimple Lie algebra $\mathfrak{g}$ over $\overline{\mathbb{F}}_p$. More precisely, it is known that for $p\gg 0$, the irreducibles with a regular rational central character $λ$ and $p$-character $χ$ are indexed by a certain canonical basis in the $K_0$ of the Springer fiber of $χ$. This… ▽ More In this paper we investigate the growth with respect to $p$ of dimensions of irreducible representations of a semisimple Lie algebra $\mathfrak{g}$ over $\overline{\mathbb{F}}_p$. More precisely, it is known that for $p\gg 0$, the irreducibles with a regular rational central character $λ$ and $p$-character $χ$ are indexed by a certain canonical basis in the $K_0$ of the Springer fiber of $χ$. This basis is independent of $p$. For a basis element, the dimension of the corresponding module is a polynomial in $p$. We show that the canonical basis is compatible with the two-sided cell filtration for a parabolic subgroup in the affine Weyl group defined by $λ$. We also explain how to read the degree of the dimension polynomial from a filtration component of the basis element. We use these results to establish conjectures of the second author and Ostrik on a classification of the finite dimensional irreducible representations of W-algebras, as well as a strengthening of a result by the first author with Anno and Mirkovic on real variations of stabilities for the derived category of the Springer resolution. △ Less

Submitted 26 June, 2018; v1 submitted 4 August, 2017; originally announced August 2017.

Comments: 24 pages, v2 acknowledgements added; v3 references added

MSC Class: 17B20; 17B35; 17B50

Derived equivalences for Symplectic reflection algebras

Authors: Ivan Losev

Abstract: In this paper we study derived equivalences for Symplectic reflection algebras. We establish a version of the derived localization theorem between categories of modules over Symplectic reflection algebras and categories of coherent sheaves over quantizations of Q-factorial terminalizations of the symplectic quotient singularities. To do this we construct a Procesi sheaf on the terminalization and… ▽ More In this paper we study derived equivalences for Symplectic reflection algebras. We establish a version of the derived localization theorem between categories of modules over Symplectic reflection algebras and categories of coherent sheaves over quantizations of Q-factorial terminalizations of the symplectic quotient singularities. To do this we construct a Procesi sheaf on the terminalization and show that the quantizations of the terminalization are simple sheaves of algebras. We will also sketch some applications: to the generalized Bernstein inequality and to perversity of wall crossing functors. △ Less

Submitted 20 May, 2020; v1 submitted 17 April, 2017; originally announced April 2017.

Comments: 17 pages, v2 acknowledgements added, v3 19 pages, the exposition is made more detailed; v4 accepted version, significant modifications

MSC Class: 16E99; 16G99

Modular representation theory in type A via Soergel bimodules

Authors: Ben Elias, Ivan Losev

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… ▽ More 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. △ Less

Submitted 2 January, 2017; originally announced January 2017.

Comments: Many figures, color viewing essential

On Refined Filtration By Supports for Rational Cherednik Categories O

Authors: Ivan Losev, Seth Shelley-Abrahamson

Abstract: For a complex reflection group $W$ with reflection representation $\mathfrak{h}$, we define and study a natural filtration by Serre subcategories of the category $\mathcal{O}_c(W, \mathfrak{h})$ of representations of the rational Cherednik algebra $H_c(W, \mathfrak{h})$. This filtration refines the filtration by supports and is analogous to the Harish-Chandra series appearing in the representation… ▽ More For a complex reflection group $W$ with reflection representation $\mathfrak{h}$, we define and study a natural filtration by Serre subcategories of the category $\mathcal{O}_c(W, \mathfrak{h})$ of representations of the rational Cherednik algebra $H_c(W, \mathfrak{h})$. This filtration refines the filtration by supports and is analogous to the Harish-Chandra series appearing in the representation theory of finite groups of Lie type. Using the monodromy of the Bezrukavnikov-Etingof parabolic restriction functors, we show that the subquotients of this filtration are equivalent to categories of finite-dimensional representations over generalized Hecke algebras. When $W$ is a finite Coxeter group, we give a method for producing explicit presentations of these generalized Hecke algebras in terms of finite-type Iwahori-Hecke algebras. This yields a method for counting the number of irreducible objects in $\mathcal{O}_c(W, \mathfrak{h})$ of given support. We apply these techniques to count the number of irreducible representations in $\mathcal{O}_c(W, \mathfrak{h})$ of given support for all exceptional Coxeter groups $W$ and all parameters $c$, including the unequal parameter case. This completes the classification of the finite-dimensional irreducible representations of $\mathcal{O}_c(W, \mathfrak{h})$ for exceptional Coxeter groups $W$ in many new cases. △ Less

Submitted 13 February, 2018; v1 submitted 24 December, 2016; originally announced December 2016.

Comments: 62 pages. v2: Minor revisions, to appear in Selecta Math. (N.S.)

Representation theory of quantized Gieseker varieties, I

Authors: Ivan Losev

Abstract: We study the representation theory of quantizations of Gieseker moduli spaces. We describe the categories of finite dimensional representations for all parameters and categories O for special values of parameters. We find the values of parameters, where the quantizations have finite homological dimension, and establish abelian localization theorem. We describe the two-sided ideals. Finally, we det… ▽ More We study the representation theory of quantizations of Gieseker moduli spaces. We describe the categories of finite dimensional representations for all parameters and categories O for special values of parameters. We find the values of parameters, where the quantizations have finite homological dimension, and establish abelian localization theorem. We describe the two-sided ideals. Finally, we determine annihilators of the irreducible objects in categories O for some special choices of one-parameter subgroups. △ Less

Submitted 1 March, 2017; v1 submitted 25 November, 2016; originally announced November 2016.

Comments: 31 pages, v2 32 pages, acknowledgements added and some arguments elaborated

MSC Class: 16G99 (Primary); 16G20; 53D20; 53D55 (Secondary)

Deformations of symplectic singularities and Orbit method for semisimple Lie algebras

Authors: Ivan Losev

Abstract: We classify filtered quantizations of conical symplectic singularities and use this to show that all filtered quantizations of symplectic quotient singularities are spherical Symplectic reflection algebras of Etingof and Ginzburg. We further apply our classification and a classification of filtered Poisson deformations obtained by Namikawa to establish a version of the Orbit method for semisimple… ▽ More We classify filtered quantizations of conical symplectic singularities and use this to show that all filtered quantizations of symplectic quotient singularities are spherical Symplectic reflection algebras of Etingof and Ginzburg. We further apply our classification and a classification of filtered Poisson deformations obtained by Namikawa to establish a version of the Orbit method for semisimple Lie algebras. Namely, we produce a natural map from the set of adjoint orbits in a semisimple Lie algebra to the set of primitive ideals in the universal envelo** algebra. We show that the map is injective for classical Lie algebras. △ Less

Submitted 24 July, 2021; v1 submitted 2 May, 2016; originally announced May 2016.

Comments: 29 pages; v2 30 pages, improved exposition; v3 33 pages, section 3 significantly modified, and section 4 is modified; v4 44 pages, exposition significantly revised

MSC Class: 16S80; 17B35

Wall-crossing functors for quantized symplectic resolutions: perversity and partial Ringel dualities

Authors: Ivan Losev

Abstract: In this paper we study wall-crossing functors between categories of modules over quantizations of symplectic resolutions. We prove that wall-crossing functors through faces are perverse equivalences and use this to verify an Etingof type conjecture for quantizations of Nakajima quiver varieties associated to affine quivers. In the case when there is a Hamiltonian torus action on the resolution wit… ▽ More In this paper we study wall-crossing functors between categories of modules over quantizations of symplectic resolutions. We prove that wall-crossing functors through faces are perverse equivalences and use this to verify an Etingof type conjecture for quantizations of Nakajima quiver varieties associated to affine quivers. In the case when there is a Hamiltonian torus action on the resolution with finitely many fixed points so that it makes sense to speak about categories $\mathcal{O}$ over quantizations, we introduce new standardly stratified structures on these categories $\mathcal{O}$ and relate the wall-crossing functors to the Ringel duality functors associated to these standardly stratified structures. △ Less

Submitted 22 April, 2016; originally announced April 2016.

Comments: 29 pages

MSC Class: 16G99 (Primary); 16G20; 53D20; 53D55 (Secondary)

Rational Cherednik algebras and categorification

Authors: Ivan Losev

Abstract: In this survey article we review Kac-Moody and Heisenberg algebra actions on the categories $\mathcal{O}$ of the rational Cherednik algebras associated to groups $G(\ell,1,n)$. Using these actions we solve basic representation theoretic problems for these categories such as the classification of finite dimensional irreducible representations and computation of characters of the irreducibles. In this survey article we review Kac-Moody and Heisenberg algebra actions on the categories $\mathcal{O}$ of the rational Cherednik algebras associated to groups $G(\ell,1,n)$. Using these actions we solve basic representation theoretic problems for these categories such as the classification of finite dimensional irreducible representations and computation of characters of the irreducibles. △ Less

Submitted 28 September, 2015; originally announced September 2015.

Comments: 36 pages, survey

MSC Class: 05E10; 16G99; 17B67; 20C08

Supports of simple modules in cyclotomic Cherednik categories O

Authors: Ivan Losev

Abstract: The goal of this paper is to compute the supports of simple modules in the categories $\mathcal{O}$ for the rational Cherednik algebras associated to groups $G(\ell,1,n)$. For this we compute some combinatorial maps on the set of simples: wall-crossing bijections and a certain $\mathfrak{sl}_\infty$-crystal associated to a Heisenberg algebra action on a Fock space. The goal of this paper is to compute the supports of simple modules in the categories $\mathcal{O}$ for the rational Cherednik algebras associated to groups $G(\ell,1,n)$. For this we compute some combinatorial maps on the set of simples: wall-crossing bijections and a certain $\mathfrak{sl}_\infty$-crystal associated to a Heisenberg algebra action on a Fock space. △ Less

Submitted 15 November, 2020; v1 submitted 1 September, 2015; originally announced September 2015.

Comments: 28 pages, v2 30 pages, 5.6 expanded, mistakes fixed; 32 pages, improved exposition, accepted version

MSC Class: 05E10; 16G99; 17B67; 20F55

Cacti and cells

Authors: Ivan Losev

Abstract: The goal of this paper is to construct an action of the cactus group of a Weyl group W on W that is nicely compatible with Kazhdan-Lusztig cells. The action is realized by the wall-crossing bijections that are combinatorial shadows of wall-crossing functors on the category O. The goal of this paper is to construct an action of the cactus group of a Weyl group W on W that is nicely compatible with Kazhdan-Lusztig cells. The action is realized by the wall-crossing bijections that are combinatorial shadows of wall-crossing functors on the category O. △ Less

Submitted 14 June, 2015; originally announced June 2015.

Comments: 18 pages

MSC Class: 05E10; 17B35; 18E30

Quantizations of regular functions on nilpotent orbits

Authors: Ivan Losev

Abstract: We study the quantizations of the algebras of regular functions on nilpotent orbits. We show that such a quantization always exists and is unique if the orbit is birationally rigid. Further we show that, for special birationally rigid orbits, the quantization has integral central character in all cases but four (one orbit in E_7 and three orbits in E_8). We use this to complete the computation of… ▽ More We study the quantizations of the algebras of regular functions on nilpotent orbits. We show that such a quantization always exists and is unique if the orbit is birationally rigid. Further we show that, for special birationally rigid orbits, the quantization has integral central character in all cases but four (one orbit in E_7 and three orbits in E_8). We use this to complete the computation of Goldie ranks for primitive ideals with integral central character for all special nilpotent orbits but one (in E_8). Our main ingredient is results on the geometry of normalizations of the closures of nilpotent orbits by Fu and Namikawa. △ Less

Submitted 29 May, 2015; originally announced May 2015.

Comments: 17 pages

MSC Class: 17B35 (primary); 53D55; 16G99 (secondary)

On categories O for quantized symplectic resolutions

Authors: Ivan Losev

Abstract: In this paper we study categories O over quantizations of symplectic resolutions admitting Hamiltonian tori actions with finitely many fixed points. In this generality, these categories were introduced by Braden, Licata, Proudfoot and Webster. We establish a family of standardly stratified structures (in the sense of the author and Webster) on these categories O. We use these structures to study s… ▽ More In this paper we study categories O over quantizations of symplectic resolutions admitting Hamiltonian tori actions with finitely many fixed points. In this generality, these categories were introduced by Braden, Licata, Proudfoot and Webster. We establish a family of standardly stratified structures (in the sense of the author and Webster) on these categories O. We use these structures to study shuffling functors of Braden, Licata, Proudfoot and Webster (called cross-walling functors in this paper). Most importantly, we prove that all cross-walling functors are derived equivalences that define an action of the Deligne groupoid of a suitable real hyperplane arrangement. △ Less

Submitted 6 April, 2016; v1 submitted 2 February, 2015; originally announced February 2015.

Comments: 27 pages, v2 36 pages, new material added

MSC Class: 16E35; 16G99

Journal ref: Compositio Math. 153 (2017) 2445-2481

Bernstein inequality and holonomic modules

Authors: Ivan Losev, Pavel Etingof

Abstract: In this paper we study the representation theory of filtered algebras with commutative associated graded whose spectrum has finitely many symplectic leaves. Examples are provided by the algebras of global sections of quantizations of symplectic resolutions, quantum Hamiltonian reductions, spherical symplectic reflection algebras. We introduce the notion of holonomic modules for such algebras. We s… ▽ More In this paper we study the representation theory of filtered algebras with commutative associated graded whose spectrum has finitely many symplectic leaves. Examples are provided by the algebras of global sections of quantizations of symplectic resolutions, quantum Hamiltonian reductions, spherical symplectic reflection algebras. We introduce the notion of holonomic modules for such algebras. We show that the generalized Bernstein inequality holds for simple modules and turns into equality for holonomic simples provided the algebraic fundamental groups of all leaves are finite. Under the same assumption, we prove that the associated variety of a simple holonomic module is equi-dimensional. We also prove that, if the regular bimodule has finite length or if the algebra in question is a quantum Hamiltonian reduction, then any holonomic module has finite length. This allows to reduce the Bernstein inequality for arbitrary modules to simple ones. We prove that the regular bimodule has finite length for the global sections of quantizations of symplectic resolutions and for Rational Cherednik algebras. The paper contains a joint appendix by the author and Etingof that motivates the definition of a holonomic module in the case of global sections of a quantization of a symplectic resolution. △ Less

Submitted 28 February, 2016; v1 submitted 6 January, 2015; originally announced January 2015.

Comments: 17 pages, main paper by Losev, appendix by Etingof and Losev; v2 18 pages, new results added, mistakes fixed; v3 some mistakes fixed and proofs modifed

MSC Class: 16W70

Procesi bundles and Symplectic reflection algebras

Authors: Ivan Losev

Abstract: In this survey we describe an interplay between Procesi bundles on symplectic resolutions of quotient singularities and Symplectic reflection algebras. Procesi bundles were constructed by Haiman and, in a greater generality, by Bezrukavnikov and Kaledin. Symplectic reflection algebras are deformations of skew-group algebras defined in complete generality by Etingof and Ginzburg. We construct and c… ▽ More In this survey we describe an interplay between Procesi bundles on symplectic resolutions of quotient singularities and Symplectic reflection algebras. Procesi bundles were constructed by Haiman and, in a greater generality, by Bezrukavnikov and Kaledin. Symplectic reflection algebras are deformations of skew-group algebras defined in complete generality by Etingof and Ginzburg. We construct and classify Procesi bundles, prove an isomorphism between spherical Symplectic reflection algebras, give a proof of wreath Macdonald positivity and of localization theorems for cyclotomic Rational Cherednik algebras. △ Less

Submitted 4 January, 2015; originally announced January 2015.

Comments: 45 pages

MSC Class: 14E16; 53D20; 53D55 (Primary) 05E05; 16G20; 16G99; 16S36; 17B63; 20F55 (Secondary)

Totally aspherical parameters for Cherednik algebras

Authors: Ivan Losev

Abstract: We introduce the notion of a totally aspherical parameter for a Rational Cherednik algebra. We get an explicit construction of the projective object defining the KZ functor for such parameters. We establish the existence of sufficiently many totally aspherical parameters for the groups G(l,1,n). We introduce the notion of a totally aspherical parameter for a Rational Cherednik algebra. We get an explicit construction of the projective object defining the KZ functor for such parameters. We establish the existence of sufficiently many totally aspherical parameters for the groups G(l,1,n). △ Less

Submitted 27 September, 2014; v1 submitted 13 September, 2014; originally announced September 2014.

Comments: 14 pages, preliminary version; v2 references added

MSC Class: 16G99

Finite dimensional quotients of Hecke algebras

Authors: Ivan Losev

Abstract: Let W be a complex reflection group. We prove that there is the maximal finite dimensional quotient of the Hecke algebra H_q(W) of W and that the dimension of this quotient coincides with |W|. This is a weak version of a Broué-Malle-Rouquier conjecture from 1998. The proof is based on categories O for Rational Cherednik algebras. Let W be a complex reflection group. We prove that there is the maximal finite dimensional quotient of the Hecke algebra H_q(W) of W and that the dimension of this quotient coincides with |W|. This is a weak version of a Broué-Malle-Rouquier conjecture from 1998. The proof is based on categories O for Rational Cherednik algebras. △ Less

Submitted 23 July, 2014; originally announced July 2014.

Comments: 8 pages

MSC Class: 20C08; 20F55; 16G99

Journal ref: Algebra Number Theory 9 (2015) 493-502

Derived equivalences for Rational Cherednik algebras

Authors: Ivan Losev

Abstract: Let W be a complex reflection group and H_c(W) the Rational Cherednik algebra for $W$ depending on a parameter c. One can consider the category O for H_c(W). We prove a conjecture of Rouquier that the categories O for H_c(W) and H_{c'}(W) are derived equivalent provided the parameters c,c' have integral difference. Two main ingredients of the proof are a connection between the Ringel duality and H… ▽ More Let W be a complex reflection group and H_c(W) the Rational Cherednik algebra for $W$ depending on a parameter c. One can consider the category O for H_c(W). We prove a conjecture of Rouquier that the categories O for H_c(W) and H_{c'}(W) are derived equivalent provided the parameters c,c' have integral difference. Two main ingredients of the proof are a connection between the Ringel duality and Harish-Chandra bimodules and an analog of a deformation technique developed by the author and Bezrukavnikov. We also show that some of the derived equivalences we construct are perverse. △ Less

Submitted 25 December, 2015; v1 submitted 29 June, 2014; originally announced June 2014.

Comments: 32 pages, preliminary version; v2 33 pages some proofs rewritten; v3 32 pages, proofs of the main results substantially simplified, other minor changes; v4 some proofs were modified, other minor changes

MSC Class: 16E99; 16G99

Journal ref: Duke Math. J. 166, no. 1 (2017), 27-73

Etingof conjecture for quantized quiver varieties II: affine quivers

Authors: Ivan Losev

Abstract: We study the representation theory of quantizations of Gieseker moduli spaces. Namely, we prove the localization theorems for these algebras, describe their finite dimensional representations and two-sided ideals as well as their categories O in some special cases. We apply this to prove our conjecture with Bezrukavnikov on the number of finite dimensional irreducible representations of quantized… ▽ More We study the representation theory of quantizations of Gieseker moduli spaces. Namely, we prove the localization theorems for these algebras, describe their finite dimensional representations and two-sided ideals as well as their categories O in some special cases. We apply this to prove our conjecture with Bezrukavnikov on the number of finite dimensional irreducible representations of quantized quiver varieties for quivers of affine type. △ Less

Submitted 29 November, 2016; v1 submitted 20 May, 2014; originally announced May 2014.

Comments: This preprint is superseded by arXiv:1502.00595, arXiv:1604.06678, arXiv:1611.08470

MSC Class: 16G99 (Primary); 16G20; 53D20; 53D55 (Secondary)

Abelian localization for cyclotomic Cherednik algebras

Authors: Ivan Losev

Abstract: In this paper we prove the abelian localization theorem for modules over cyclotomic Rational Cherednik algebras. In this paper we prove the abelian localization theorem for modules over cyclotomic Rational Cherednik algebras. △ Less

Submitted 2 February, 2014; originally announced February 2014.

Comments: 10 pages, preliminary version

MSC Class: 16G99

Tensor product categorifications and the super Kazhdan-Lusztig conjecture

Authors: Jonathan Brundan, Ivan Losev, Ben Webster

Abstract: We give a new proof of the "super Kazhdan-Lusztig conjecture" for the Lie super algebra $\mathfrak{gl}_{n|m}(\mathbb{C})$ as formulated originally by the first author. We also prove for the first time that any integral block of category O for $\mathfrak{gl}_{n|m}(\mathbb{C})$ (and also all of its parabolic analogs) possesses a graded version which is Koszul. Our approach depends crucially on an ap… ▽ More We give a new proof of the "super Kazhdan-Lusztig conjecture" for the Lie super algebra $\mathfrak{gl}_{n|m}(\mathbb{C})$ as formulated originally by the first author. We also prove for the first time that any integral block of category O for $\mathfrak{gl}_{n|m}(\mathbb{C})$ (and also all of its parabolic analogs) possesses a graded version which is Koszul. Our approach depends crucially on an application of the uniqueness of tensor product categorifications established recently by the second two authors. △ Less

Submitted 18 February, 2016; v1 submitted 1 October, 2013; originally announced October 2013.

Comments: 58 pages; v2: relatively minor changes, a few adjustments to wording and references; v3: final version, more minor changes, to appear in IMRN

Journal ref: Int. Math. Res. Notices 20 (2017), 6329-6410

Etingof conjecture for quantized quiver varieties

Authors: Roman Bezrukavnikov, Ivan Losev

Abstract: We compute the number of finite dimensional irreducible modules for the algebras quantizing Nakajima quiver varieties. We get a lower bound for all quivers and vectors of framing and provide an exact count in the case when the quiver is of finite type or is of affine type and the framing is the coordinate vector at the extending vertex. The latter case precisely covers Etingof's conjecture on the… ▽ More We compute the number of finite dimensional irreducible modules for the algebras quantizing Nakajima quiver varieties. We get a lower bound for all quivers and vectors of framing and provide an exact count in the case when the quiver is of finite type or is of affine type and the framing is the coordinate vector at the extending vertex. The latter case precisely covers Etingof's conjecture on the number of finite dimensional irreducible representations for Symplectic reflection algebras associated to wreath-product groups. We use several different techniques, the two principal ones are categorical Kac-Moody actions and wall-crossing functors. We finish the paper outlining some future directions of research. △ Less

Submitted 15 November, 2020; v1 submitted 6 September, 2013; originally announced September 2013.

Comments: v4, 95 pages, major changes, accepted version

MSC Class: Primary 16G99; Secondary 16G20; 53D20; 53D55

Infinitesimal Cherednik algebras as W-algebras

Authors: Ivan Losev, Alexander Tsymbaliuk

Abstract: In this article we establish an isomorphism between universal infinitesimal Cherednik algebras and W-algebras for Lie algebras of the same type and 1-block nilpotent elements. As a consequence we obtain some fundamental results about infinitesimal Cherednik algebras. In this article we establish an isomorphism between universal infinitesimal Cherednik algebras and W-algebras for Lie algebras of the same type and 1-block nilpotent elements. As a consequence we obtain some fundamental results about infinitesimal Cherednik algebras. △ Less

Submitted 30 March, 2014; v1 submitted 29 May, 2013; originally announced May 2013.

Comments: 24 pages; v2 minor corrections

Journal ref: Transf. Groups 19 (2014), no. 2, 495-526

Proof of Varagnolo-Vasserot conjecture on cyclotomic categories O

Authors: Ivan Losev

Abstract: We prove an asymptotic version of a conjecture by Varagnolo and Vasserot on an equivalence between the category O for a cyclotomic Rational Cherednik algebra and a suitable truncation of an affine parabolic category O. We prove an asymptotic version of a conjecture by Varagnolo and Vasserot on an equivalence between the category O for a cyclotomic Rational Cherednik algebra and a suitable truncati… ▽ More We prove an asymptotic version of a conjecture by Varagnolo and Vasserot on an equivalence between the category O for a cyclotomic Rational Cherednik algebra and a suitable truncation of an affine parabolic category O. We prove an asymptotic version of a conjecture by Varagnolo and Vasserot on an equivalence between the category O for a cyclotomic Rational Cherednik algebra and a suitable truncation of an affine parabolic category O that, in particular, implies Rouquier's conjecture on the decomposition numbers in the former. Our proof uses two ingredients: an extension of Rouquier's deformation approach as well as categorical actions on highest weight categories and related combinatorics. This text replaces arXiv:1207.1299. △ Less

Submitted 13 September, 2015; v1 submitted 21 May, 2013; originally announced May 2013.

Comments: 50 pages. arXiv admin note: substantial text overlap with arXiv:1207.1299, v2 minor changes, v2 has a serious gap in 10.4, see Remark 1.2 in v3. v3 has a simpler proof, 33 pages, v4 accepted version, some changes

MSC Class: 16G99

Representations of Rational Cherednik algebras with minimal support and torus knots

Authors: Pavel Etingof, Eugene Gorsky, Ivan Losev

Abstract: We obtain several results about representations of rational Cherednik algebras, and discuss their applications. Our first result is the Cohen-Macaulayness property (as modules over the polynomial ring) of Cherednik algebra modules with minimal support. Our second result is an explicit formula for the character of an irreducible minimal support module in type A_{n-1} for c=m/n, and an expression of… ▽ More We obtain several results about representations of rational Cherednik algebras, and discuss their applications. Our first result is the Cohen-Macaulayness property (as modules over the polynomial ring) of Cherednik algebra modules with minimal support. Our second result is an explicit formula for the character of an irreducible minimal support module in type A_{n-1} for c=m/n, and an expression of its quasispherical part (i.e., the isotypic part of "hooks") in terms of the HOMFLY polynomial of a torus knot colored by a Young diagram. We use this formula and the work of Calaque, Enriquez and Etingof to give explicit formulas for the characters of the irreducible equivariant D-modules on the nilpotent cone for SL_m. Our third result is the construction of the Koszul-BGG complex for the rational Cherednik algebra, which generalizes the construction of the Koszul-BGG resolution by Berest-Etingof-Ginzburg and Gordon, and the calculation of its homology in type A. We also show in type A that the differentials in the Koszul-BGG complex are uniquely determined by the condition that they are nonzero homomorphisms of modules over the Cherednik algebra. Finally, our fourth result is the symmetry theorem, which identifies the quasispherical components in the representations with minimal support over the rational Cherednik algebras H_{m/n}(S_n) and H_{n/m}(S_m). In fact, we show that the simple quotients of the corresponding quasispherical subalgebras are isomorphic as filtered algebras. This symmetry has a natural interpretation in terms of invariants of torus knots. △ Less

Submitted 2 August, 2013; v1 submitted 11 April, 2013; originally announced April 2013.

Comments: 45 pages, latex; the new version contains a new subsection 3.4 on the Cohen-Macaulay property of subspace arrangements and a strengthened version of Theorem 1.4

Journal ref: Advances in Mathematics 277 (2015), 124-180

On Procesi bundles

Authors: Ivan Losev

Abstract: Procesi bundles are certain vector bundles on symplectic resolutions of symplectic quotient singularities for wreath-products of the symmetric groups with Kleinian groups. Roughly speaking, we can define Procesi bundles as bundles on resolutions that provide derived McKay equivalence. In this paper we classify Procesi bundles on resolutions obtained by Hamiltonian reduction and relate the Procesi… ▽ More Procesi bundles are certain vector bundles on symplectic resolutions of symplectic quotient singularities for wreath-products of the symmetric groups with Kleinian groups. Roughly speaking, we can define Procesi bundles as bundles on resolutions that provide derived McKay equivalence. In this paper we classify Procesi bundles on resolutions obtained by Hamiltonian reduction and relate the Procesi bundles to the tautological bundles on the resolutions. Our proofs are based on deformation arguments and a connection of Procesi bundles with Symplectic reflection algebras. △ Less

Submitted 12 January, 2014; v1 submitted 19 March, 2013; originally announced March 2013.

Comments: 13 pages; v2 Subsection 3.1 rewritten, other minor changes

MSC Class: primary 14E16; secondary 16S35; 53D20; 53D55

On uniqueness of tensor products of irreducible categorifications

Authors: Ivan Losev, Ben Webster

Abstract: In this paper, we propose an axiomatic definition for a tensor product categorification. A tensor product categorification is an abelian category with a categorical action of a Kac-Moody algebra g in the sense of Rouquier or Khovanov-Lauda whose Grothendieck group is isomorphic to a tensor product of simple modules. However, we require a much stronger structure than a mere isomorphism of represent… ▽ More In this paper, we propose an axiomatic definition for a tensor product categorification. A tensor product categorification is an abelian category with a categorical action of a Kac-Moody algebra g in the sense of Rouquier or Khovanov-Lauda whose Grothendieck group is isomorphic to a tensor product of simple modules. However, we require a much stronger structure than a mere isomorphism of representations; most importantly, each such categorical representation must have standardly stratified structure compatible with the categorification functors, and with combinatorics matching those of the tensor product. With these stronger conditions, we recover a uniqueness theorem similar in flavor to that of Rouquier for categorifications of simple modules. Furthermore, we already know of an example of such a categorification: the representations of algebras T^λpreviously defined by the second author using generators and relations. Next, we show that tensor product categorifications give a categorical realization of tensor product crystals analogous to that for simple crystals given by cyclotomic quotients of KLR algebras. Examples of such categories are also readily found in more classical representation theory; for finite and affine type A, tensor product categorifications can be realized as quotients of the representation categories of cyclotomic q-Schur algebras. △ Less

Submitted 25 August, 2013; v1 submitted 6 March, 2013; originally announced March 2013.

Comments: 27 pages; v2 28 pages, minor corrections

MSC Class: 16G99; 17B10; 18D99

Journal ref: Selecta Math. (N.S.) 21 (2015), no. 2, 345-377

Dimensions of irreducible modules over W-algebras and Goldie ranks

Authors: Ivan Losev

Abstract: The main goal of this paper is to compute two related numerical invariants of a primitive ideal in the universal envelo** algebra of a semisimple Lie algebra. The first one, very classical, is the Goldie rank of an ideal. The second one is the dimension of an irreducible module corresponding to this ideal over an appropriate finite W-algebra. We concentrate on the integral central character case… ▽ More The main goal of this paper is to compute two related numerical invariants of a primitive ideal in the universal envelo** algebra of a semisimple Lie algebra. The first one, very classical, is the Goldie rank of an ideal. The second one is the dimension of an irreducible module corresponding to this ideal over an appropriate finite W-algebra. We concentrate on the integral central character case. We prove, modulo a conjecture, that in this case the two are equal. Also, modulo the same conjecture, we compute certain scale factors introduced by Joseph. Our conjecture asserts that there is a one-dimensional module over the W-algebra with certain additional properties. The conjecture is proved for the classical types. This completes a program of computing Goldie ranks proposed by Joseph in the 80's. We also provide an essentially Kazhdan-Lusztig type formula for computing the characters of the irreducibles in the Brundan-Goodwin-Kleshchev category O for a W-algebra again under the assumption that the central character is integral. The formula is based on a certain functor (a generalized Soegel functor) from an appropriate parabolic category O to the W-algebra category O. We prove a number of properties of this functor including the quotient property and the double centralizer property. We develop several topics related to our generalized Soergel functor. For example, we discuss its analog for the category of Harish-Chandra bimodules. We also discuss generalizations to the case of categories O over Dixmier algebras. The most interesting example of this situation comes from the theory of quantum groups: we prove that an algebra that is basically Luszitg's form of a quantum group at a root of unity is a Dixmier algebra. For this we check that the quantum Frobenius epimorphism splits. △ Less

Submitted 3 August, 2014; v1 submitted 5 September, 2012; originally announced September 2012.

Comments: 51 pages, preliminary version, comments welcome; v2, 52 pages, minor changes; v3, 58 pages, improved exposition; v4 final version

MSC Class: 17B35; 16G99

Representations of general linear groups and categorical actions of Kac-Moody algebras

Authors: Ivan Losev

Abstract: This is an expanded version of the lectures given by the author on the 3rd school "Lie algebras, algebraic groups and invariant theory" in Togliatti, Russia. In these notes we explain the concept of a categorical Kac-Moody action by studying an example of the category of rational representations of a general linear group in positive characteristic. We also deal with some more advanced topics: a ca… ▽ More This is an expanded version of the lectures given by the author on the 3rd school "Lie algebras, algebraic groups and invariant theory" in Togliatti, Russia. In these notes we explain the concept of a categorical Kac-Moody action by studying an example of the category of rational representations of a general linear group in positive characteristic. We also deal with some more advanced topics: a categorical action on the polynomial representations and crystals of categorical actions. △ Less

Submitted 5 September, 2012; originally announced September 2012.

Comments: 20 pages

MSC Class: 18D99; 05E10 (Primary) 16G99; 17B10; 20G05 (Secondary)

Towards multiplicities for categories O of cyclotomic rational Cherednik algebras

Authors: Ivan Losev

Abstract: Varagnolo and Vasserot conjectured an equivalence between the category O for a cyclotomic Rational Cherednik algebra and a truncation of an affine parabolic category O of type A. In this paper we reduce their conjecture to some purely combinatorial conjecture. Our principal tool for the reduction is the theory of categorical sl_2-actions on highest weight categories. Then we prove our combinatoria… ▽ More Varagnolo and Vasserot conjectured an equivalence between the category O for a cyclotomic Rational Cherednik algebra and a truncation of an affine parabolic category O of type A. In this paper we reduce their conjecture to some purely combinatorial conjecture. Our principal tool for the reduction is the theory of categorical sl_2-actions on highest weight categories. Then we prove our combinatorial conjecture in some cases. △ Less

Submitted 22 May, 2013; v1 submitted 5 July, 2012; originally announced July 2012.

Comments: This paper has been withdrawn by the author. 25 pages; v2, 36 pages, substantial changes, more material added, replaced by arXiv:1305.4894

MSC Class: 16G99

Highest weight sl_2-categorifications II: structure theory

Authors: Ivan Losev

Abstract: This paper continues the study of highest weight categorical sl_2-actions started in part I. We start by refining the definition given there and showing that all examples considered in part I are also highest weight categorifications in the refined sense. Then we prove that any highest weight sl_2-categorification can be filtered in such a way that the successive quotients are so called basic high… ▽ More This paper continues the study of highest weight categorical sl_2-actions started in part I. We start by refining the definition given there and showing that all examples considered in part I are also highest weight categorifications in the refined sense. Then we prove that any highest weight sl_2-categorification can be filtered in such a way that the successive quotients are so called basic highest weight sl_2-categorifications. For a basic highest weight categorification we determine minimal projective resolutions of standard objects. We use this, in particular, to examine the structure of tilting objects in basic categorifications and to show that the Ringel duality is given by the Rickard complex. We finish by discussing open problems. △ Less

Submitted 15 October, 2014; v1 submitted 25 March, 2012; originally announced March 2012.

Comments: 31 pages, preliminary version, comments welcome; v2 35 pages, several new subsections added; v3 36 pages minor changes; v4 35 pages, final version to appear in Trans. Amer. Math. Soc

MSC Class: 18D99; 05E10 (Primary) 16G99; 17B10; 20G05 (Secondary)