Showing 1–12 of 12 results for author: Ovsienko, S

Noncommutative Noether's problem for complex reflection groups

Authors: Farkhod Eshmatov, Vyacheslav Futorny, Sergiy Ovsienko, Joao Fernando Schwarz

Abstract: We solve the noncommutative Noether's problem for the reflection groups by showing that the skew field of the invariants of the Weyl algebra under the action of any reection group is a Weyl field, that is isomorphic to a skew field of some Weyl algebra over a transcendental extension of the ground field. We also extend this result to the invariants of the ring of differential operators on any dime… ▽ More We solve the noncommutative Noether's problem for the reflection groups by showing that the skew field of the invariants of the Weyl algebra under the action of any reection group is a Weyl field, that is isomorphic to a skew field of some Weyl algebra over a transcendental extension of the ground field. We also extend this result to the invariants of the ring of differential operators on any dimensional torus.The results are applied to obtain analogs of the Gelfand-Kirillov Conjecture for Cherednik algebras and Galois algebras. △ Less

Submitted 2 December, 2016; v1 submitted 21 May, 2015; originally announced May 2015.

Quasi-hereditary algebras, exact Borel subalgebras, A-infinity-categories and boxes

Authors: Steffen Koenig, Julian Külshammer, Sergiy Ovsienko

Abstract: Highest weight categories arising in Lie theory are known to be associated with finite dimensional quasi-hereditary algebras such as Schur algebras or blocks of category $\mathcal O$. An analogue of the PBW theorem will be shown to hold for quasi-hereditary algebras: Up to Morita equivalence each such algebra has an exact Borel subalgebra. The category $\mathcal{F}(Δ)$ of modules with standard (Ve… ▽ More Highest weight categories arising in Lie theory are known to be associated with finite dimensional quasi-hereditary algebras such as Schur algebras or blocks of category $\mathcal O$. An analogue of the PBW theorem will be shown to hold for quasi-hereditary algebras: Up to Morita equivalence each such algebra has an exact Borel subalgebra. The category $\mathcal{F}(Δ)$ of modules with standard (Verma, Weyl, \dots) filtration, which is exact, but rarely abelian, will be shown to be equivalent to the category of representations of a directed box. This box is constructed as a quotient of a dg algebra associated with the $A_{\infty}$-structure on $\mathcal{F}(Δ)$. Its underlying algebra is an exact Borel subalgebra. △ Less

Submitted 30 April, 2014; v1 submitted 10 May, 2013; originally announced May 2013.

Comments: 28 pages, with an appendix with examples of 8 pages

MSC Class: 16G10; 16E45; 17B10; 17B35

Torsion theories induced from commutative subalgebras

Authors: Vyacheslav Futorny, Serge Ovsienko, Manuel Saorin

Abstract: We begin a study of torsion theories for representations of an important class of associative algebras over a field which includes all finite W-algebras of type A, in particular the universal enveloping algebra of gl(n) (or sl(n)) for all n. If U is such and algebra which contains a finitely generated commutative subalgebra A, then we show that any A-torsion theory defined by the coheight of pr… ▽ More We begin a study of torsion theories for representations of an important class of associative algebras over a field which includes all finite W-algebras of type A, in particular the universal enveloping algebra of gl(n) (or sl(n)) for all n. If U is such and algebra which contains a finitely generated commutative subalgebra A, then we show that any A-torsion theory defined by the coheight of prime ideals is liftable to U. Moreover, for any simple U-module M, all associated prime ideals of M in Spec A have the same coheight. Hence,thecoheight of the associated prime ideals of A is an invariant of a given simple U-module. This implies a stratification of the category of $U$-modules controlled by the coheight of associated prime ideals of A. Our approach can be viewed as a generalization of the classical paper by R.Block, it allows in particular to study representations of gl(n) beyond the classical category of weight or generalized weight modules. △ Less

Submitted 11 March, 2010; originally announced March 2010.

MSC Class: 16D60; 16D90; 16D70; 17B65

Gelfand-Kirillov Conjecture and Harish-Chandra Modules for Finite W-Algebras

Authors: Vyacheslav Futorny, Alexander Molev, Serge Ovsienko

Abstract: We address two problems regarding the structure and representation theory of finite W-algebras associated with the general linear Lie algebras. Finite W-algebras can be defined either via the Whittaker model of Kostant or, equivalently, by the quantum Hamiltonian reduction. Our first main result is a proof of the Gelfand-Kirillov conjecture for the skew fields of fractions of the finite W-algebr… ▽ More We address two problems regarding the structure and representation theory of finite W-algebras associated with the general linear Lie algebras. Finite W-algebras can be defined either via the Whittaker model of Kostant or, equivalently, by the quantum Hamiltonian reduction. Our first main result is a proof of the Gelfand-Kirillov conjecture for the skew fields of fractions of the finite W-algebras. The second main result is a parametrization of finite families of irreducible Harish-Chandra modules by the characters of the Gelfand-Tsetlin subalgebra. As a corollary, we obtain a complete classification of generic irreducible Harish-Chandra modules for the finite W-algebras. △ Less

Submitted 5 June, 2009; v1 submitted 7 January, 2008; originally announced January 2008.

MSC Class: 17B35; 17B37; 17B67; 16D60; 16D90; 16D70; 81R10

Gelfand-Tsetlin bases for representations of finite W-algebras and shifted Yangians

Authors: V. Futorny, A. Molev, S. Ovsienko

Abstract: Remarkable subalgebras of the Yangian for gl_n called the shifted Yangians were introduced in a recent work by Brundan and Kleshchev in relation to their study of finite W-algebras. In particular, in that work a classification of finite-dimensional irreducible representations of the shifted Yangians and the associated finite W-algebras was given. We construct a class of these representations in… ▽ More Remarkable subalgebras of the Yangian for gl_n called the shifted Yangians were introduced in a recent work by Brundan and Kleshchev in relation to their study of finite W-algebras. In particular, in that work a classification of finite-dimensional irreducible representations of the shifted Yangians and the associated finite W-algebras was given. We construct a class of these representations in an explicit form via bases of Gelfand-Tsetlin type. △ Less

Submitted 4 November, 2007; originally announced November 2007.

Comments: 13 pages, contribution to the proceedings of the conference "Lie Theory and its Applications in Physics", Varna 2007

Journal ref: in "Lie theory and its applications in physics VII", (H.-D. Doebner and V.K. Dobrev, Eds), Proceedings of the VII International Workshop, Varna, Bulgaria, June 2007. Heron Press, Sofia, 2008, pp. 352-363.

Fibers of characters in Harish-Chandra categories

Authors: Vyacheslav Futorny, Serge Ovsienko

Abstract: We solve the problem of extension of characters of commutative subalgebras in associative (noncommutative) algebras for a class of subrings (Galois orders) in skew group rings. These results can be viewed as a noncommutative analogue of liftings of prime ideals in the case of integral extensions of commutative rings. The proposed approach can be applied to the representation theory of many infin… ▽ More We solve the problem of extension of characters of commutative subalgebras in associative (noncommutative) algebras for a class of subrings (Galois orders) in skew group rings. These results can be viewed as a noncommutative analogue of liftings of prime ideals in the case of integral extensions of commutative rings. The proposed approach can be applied to the representation theory of many infinite dimensional algebras including universal enveloping algebras of reductive Lie algebras, Yangians and finite $W$-algebras. In particular, we develop a theory of Gelfand-Tsetlin modules for $\gl_n$. Besides classification results we characterize their categories in the generic case extending the classical results on $\gl_2$. △ Less

Submitted 11 June, 2009; v1 submitted 2 October, 2006; originally announced October 2006.

Comments: 31 pages

MSC Class: 16D60; 16D90; 16D70; 17B65

Galois orders

Authors: Vyacheslav Futorny, Serge Ovsienko

Abstract: We introduce and develop a structure theory of a new class of noncommutative rings - Galois orders, that generalize classical orders in noncommutative rings. Galois orders realized as certain subrings of invariants in skew semigroup rings. This class of rings contains many classical objects, in particular the Generalized Weyl algebras, the universal enveloping algebra of the general linear Lie a… ▽ More We introduce and develop a structure theory of a new class of noncommutative rings - Galois orders, that generalize classical orders in noncommutative rings. Galois orders realized as certain subrings of invariants in skew semigroup rings. This class of rings contains many classical objects, in particular the Generalized Weyl algebras, the universal enveloping algebra of the general linear Lie algebra and certain rings of invariant differential operators on algebraic varieties. △ Less

Submitted 15 September, 2008; v1 submitted 2 October, 2006; originally announced October 2006.

Comments: 26 pages

MSC Class: 16D60; 16D90; 16D70; 17B65

Quadratic duals, Koszul dual functors, and applications

Authors: Volodymyr Mazorchuk, Serge Ovsienko, Catharina Stroppel

Abstract: The paper studies quadratic and Koszul duality for modules over positively graded categories. Typical examples are modules over a path algebra, which is graded by the path length, of a not necessarily finite quiver with relations. We present a very general definition of quadratic and Koszul duality functors backed up by explicit examples. This generalises previous results in two substantial ways… ▽ More The paper studies quadratic and Koszul duality for modules over positively graded categories. Typical examples are modules over a path algebra, which is graded by the path length, of a not necessarily finite quiver with relations. We present a very general definition of quadratic and Koszul duality functors backed up by explicit examples. This generalises previous results in two substantial ways: We work in the setup of graded categories, i.e. we allow infinitely many idempotents and also define a ``Koszul'' duality functor for not necessarily Koszul categories. As an illustration of the techniques we reprove the Koszul duality of translation and Zuckerman functors for the classical category O in a quite elementary and explicit way. As applications we propose a definition of a "Koszul" dual category for integral blocks of Harish-Chandra bimodules and for blocks outside the critical hyperplanes for the Kac-Moody category O. △ Less

Submitted 6 March, 2008; v1 submitted 20 March, 2006; originally announced March 2006.

Comments: 50 pages, revised version to appear in Trans. AMS

MSC Class: 16S37

Journal ref: Trans. Amer. Math. Soc. 361 (2009), no. 3, 1129-1172

A pairing in homology and the category of linear complexes of tilting modules for a quasi-hereditary algebra

Authors: Volodymyr Mazorchuk, Serge Ovsienko

Abstract: We show that there exists a natural non-degenerate pairing of the homomorphism space between two neighbor standard modules over a quasi-hereditary algebra with the first extension space between the corresponding costandard modules and vise versa. Investigation of this phenomenon leads to a family of pairings involving standard, costandard and tilting modules. In the graded case, under some "Kosz… ▽ More We show that there exists a natural non-degenerate pairing of the homomorphism space between two neighbor standard modules over a quasi-hereditary algebra with the first extension space between the corresponding costandard modules and vise versa. Investigation of this phenomenon leads to a family of pairings involving standard, costandard and tilting modules. In the graded case, under some "Koszul-like" assumptions (which we prove are satisfied for example for the blocks of the category $\mathcal{O}$), we obtain a non-degenerate pairing between certain graded homomorphism and graded extension spaces. This motivates the study of the category of linear tilting complexes for graded quasi-hereditary algebras. We show that, under assumptions, similar to those mentioned above, this category realizes the module category for the Koszul dual of the Ringel dual of the original algebra. As a corollary we obtain that under these assumptions the Ringel and Koszul dualities commute. △ Less

Submitted 30 November, 2004; originally announced November 2004.

Comments: with an Appendix written by Catharina Stroppel

MSC Class: 16E30; 17B10

Journal ref: J. Math. Kyoto Univ. 45 (2005), no. 4, 711-741

Kostant theorem for special filtered algebras

Authors: Vyacheslav Futorny, Serge Ovsienko

Abstract: A famous result of Kostant states that the universal enveloping algebra of a semisimple complex Lie algebra is a free module over its center. We prove an analogue of this result for a class of filtered algebras and apply it to show the freeness over its center of the restricted Yangian and the universal enveloping algebra of the restricted current algebra associated with the general linear Lie a… ▽ More A famous result of Kostant states that the universal enveloping algebra of a semisimple complex Lie algebra is a free module over its center. We prove an analogue of this result for a class of filtered algebras and apply it to show the freeness over its center of the restricted Yangian and the universal enveloping algebra of the restricted current algebra associated with the general linear Lie algebra. △ Less

Submitted 29 March, 2003; originally announced March 2003.

MSC Class: 13A02;16W70;17B37;81R10

Harish-Chandra modules for Yangians

Authors: Vyacheslav Futorny, Alexander Molev, Serge Ovsienko

Abstract: We study Harish-Chandra representations of Yangian for gl(2). We prove an analogue of Kostant theorem showing that resterited Yangians for gl(2) are free modules over certain maximal commutative subalgebras. We also study the categories of generic Harish-Chandra modules, describe their simple modules and indecomposable modules in tame blocks. We study Harish-Chandra representations of Yangian for gl(2). We prove an analogue of Kostant theorem showing that resterited Yangians for gl(2) are free modules over certain maximal commutative subalgebras. We also study the categories of generic Harish-Chandra modules, describe their simple modules and indecomposable modules in tame blocks. △ Less

Submitted 25 April, 2003; v1 submitted 19 December, 2002; originally announced December 2002.

Comments: corrected version

MSC Class: 17B35; 81R10; 17B67

A construction of quotient A_infinity-categories

Authors: Volodymyr Lyubashenko, Sergiy Ovsienko

Abstract: We construct an A_infinity-category D(C|B) from a given A_infinity-category C and its full subcategory B. The construction is similar to a particular case of Drinfeld's quotient of differential graded categories. We use D(C|B) to construct an A_infinity-functor of K-injective resolutions of a complex. The conventional derived category is obtained as the 0-th cohomology of the quotient of differe… ▽ More We construct an A_infinity-category D(C|B) from a given A_infinity-category C and its full subcategory B. The construction is similar to a particular case of Drinfeld's quotient of differential graded categories. We use D(C|B) to construct an A_infinity-functor of K-injective resolutions of a complex. The conventional derived category is obtained as the 0-th cohomology of the quotient of differential graded category of complexes over acyclic complexes. △ Less

Submitted 15 February, 2008; v1 submitted 3 November, 2002; originally announced November 2002.

Comments: 49 pages, LaTeX, uses Paul Taylor's diagrams.tex. Close to published version

Journal ref: Homology, Homotopy and Applications 8 (2006) n. 2, 157-203