BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Ivan Losev

Ivan Losev appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.RTmath.AGmath.QAmath.COmath.CTmath.SGmath.RA

Catalog footprint

What is connected

32works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

32 published item(s)

preprint2026arXiv

On De Concini-Kac forms of quantum groups

Quantum groups of semisimple Lie algebras at roots of unity admit several different forms. Among them is the De Concini-Kac form, which is the easiest to define but, perhaps, hardest to study. In this paper, we propose a suitable modification to the De Concini-Kac form, namely the even part algebra, which has some appealing features. Notably, it behaves uniformly with respect to the order of the roots of unity and admits an adjoint action of the Lusztig form. We revisit several results due to De Concini-Kac-Procesi and Tanisaki for the even part algebra. Namely, we give conceptual definitions of the Frobenius and Harish-Chandra centers and describe the entire center in terms of these two subalgebras getting a complete quantum analog of the Veldkamp theorem on the center of the universal enveloping algebras in positive characteristic. We investigate the Azumaya locus of the even part algebra over its center. We also show that the locally finite part of the even part algebra under the adjoint action of the Lusztig form is isomorphic to the reflection equation algebra, which is the quantized coordinate algebra with the product twisted by $R$-matrix. Some results on Lusztig forms at roots of unity are revisited and proved in greater generality including Kempf vanishing theorem and good filtrations on the quantized coordinate algebra.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Representations with minimal support for quantized Gieseker varieties

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Derived equivalences for Symplectic reflection algebras

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Harish-Chandra bimodules over quantized symplectic singularities

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.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Modular representation theory in type A via Soergel bimodules

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Etingof conjecture for quantized quiver varieties II: affine quivers

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Procesi bundles and Symplectic reflection algebras

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Proof of Varagnolo-Vasserot conjecture on cyclotomic categories 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. 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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Quantizations of regular functions on nilpotent orbits

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Rational Cherednik algebras and categorification

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Dimensions of irreducible modules over W-algebras and Goldie ranks

The main goal of this paper is to compute two related numerical invariants of a primitive ideal in the universal enveloping 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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Highest weight sl_2-categorifications II: structure theory

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On Procesi bundles

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On category O for cyclotomic rational Cherednik algebras

We study equivalences for category O_p of the rational Cherednik algebras H_p of type G_l(n) = μ_l^n\rtimes S_n: a highest weight equivalence between O_p and O_{σ(p)} for σ\in S_l and an action of S_l on a non-empty Zariski open set of parameters p; a derived equivalence between O_p and O_{p'} whenever p and p' have integral difference; a highest weight equivalence between O_p and a parabolic category O for the general linear group, under a non-rationality assumption on the parameter p. As a consequence, we confirm special cases of conjectures of Etingof and of Rouquier.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Representations of Rational Cherednik algebras with minimal support and torus knots

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Towards multiplicities for categories O of cyclotomic rational Cherednik algebras

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Highest weight sl_2-categorifications I: crystals

We define highest weight categorical actions of sl_2 on highest weight categories and show that basically all known examples of categorical sl_2-actions on highest weight categories (including rational and polynomial representations of general linear groups, parabolic categories O of type $A$, categories O for cyclotomic Rational Cherednik algebras) are highest weight in our sense. Our main result is an explicit combinatorial description of (the labels of) the crystal on the set of simple objects. A new application of this is to determining the supports of simple modules over the cyclotomic Rational Cherednik algebras starting from their labels.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

1-dimensional representations and parabolic induction for W-algebras

A W-algebra is an associative algebra constructed from a semisimple Lie algebra and its nilpotent element. This paper concentrates on the study of 1-dimensional representations of these algebras. Under some conditions on a nilpotent element (satisfied by all rigid elements) we obtain a criterium for a finite dimensional module to have dimension 1. It is stated in terms of the Brundan-Goodwin-Kleshchev highest weight theory. This criterium allows to compute highest weights for certain completely prime primitive ideals in universal enveloping algebras. We make an explicit computation in a special case in type $E_8$. Our second principal result is a version of a parabolic induction for W-algebras. In this case, the parabolic induction is an exact functor between the categories of finite dimensional modules for two different W-algebras. The most important feature of the functor is that it preserves dimensions. In particular, it preserves one-dimensional representations. A closely related result was obtained previously by Premet. We also establish some other properties of the parabolic induction functor.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Isomorphisms of quantizations via quantization of resolutions

In this paper we prove the existence of isomorphisms between certain non-commutative algebras that are interesting from representation theoretic perspective and arise as quantizations of certain Poisson algebras. We show that quantizations of Kleinian resolutions obtained by three different constructions are isomorphic to each other. The constructions are via symplectic reflection algebras, quantum Hamiltonian reduction, and W-algebras. Next, we prove that parabolic W-algebras in type A are isomorphic to quantum Hamiltonian reductions associated to quivers of type A. Finally, we show that the symplectic reflection algebras for wreath-products of the symmetric group and a Kleinian group are isomorphic to certain quantum Hamiltonian reductions. Our results involving W-algebras are new, while for those dealing with symplectic reflection algebras we just give new proofs. A key ingredient in our proofs is the study of quantizations of symplectic resolutions of appropriate Poisson varieties.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Poisson traces and D-modules on Poisson varieties

To every Poisson algebraic variety X over an algebraically closed field of characteristic zero, we canonically attach a right D-module M(X) on X. If X is affine, solutions of M(X) in the space of algebraic distributions on X are Poisson traces on X, i.e., distributions invariant under Hamiltonian flows. When X has finitely many symplectic leaves, we prove that M(X) is holonomic. Thus, when X is affine and has finitely many symplectic leaves, the space of Poisson traces on X is finite-dimensional. As an application, we deduce that noncommutative filtered algebras whose associated graded algebras are coordinate rings of Poisson varieties with finitely many symplectic leaves have finitely many irreducible finite-dimensional representations. The appendix, by Ivan Losev, strengthens this to show that in such algebras, there are finitely many prime ideals, and they are all primitive. More generally, to any morphism phi: X -> Y and any quasicoherent sheaf of Poisson modules N on X, we attach a right D-module M_phi(X, N) on X, and prove that it is holonomic if X has finitely many symplectic leaves, phi is finite, and N is coherent. As an application, the finiteness result for irreducible representations of noncommutative filtered algebras extends to the case where the associated graded algebra is not necessarily commutative, but is finitely generated as a module over its center, which is the coordinate ring of a Poisson variety with finitely many symplectic leaves. We also describe explicitly (in the settings of affine varieties and compact smooth manifolds) the space of Poisson traces on X when X=V/G, where V is symplectic and G is a finite group acting faithfully on V. In particular, we show that this space is finite-dimensional.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Quantizations of nilpotent orbits vs 1-dimensional representations of W-algebras

Let g be a semisimple Lie algebra over an algebraically closed field K of characteristic 0 and O be a nilpotent orbit in g. Then Orb is a symplectic algebraic variety and one can ask whether it is possible to quantize $\Orb$ (in an appropriate sense) and, if so, how to classify the quantizations. On the other hand, for the pair (g,O) one can construct an associative algebra W called a (finite) W-algebra. The goal of this paper is to clarify a relationship between quantizations of O (and of its coverings) and 1-dimensional W-modules. In the first approximation, our result is that there is a one-to-one correspondence between the two. The result is not new: it was discovered (in a different form) by Moeglin in the 80's.

0 citations0 reviewsNo code linkedOpen access