Researcher profile

Ivan Losev

Ivan Losev contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

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

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.

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.

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.

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.

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.

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.

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.

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.

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.