We study algebras constructed by quantum Hamiltonian reduction associated with symplectic quotients of symplectic vector spaces, including deformed preprojective algebras, symplectic reection algebras (rational Cherednik algebras), and quantization of hypertoric varieties introduced by Musson and Van den Bergh in [MVdB]. We determine BRST cohomologies associated with these quantum Hamiltonian reductions. To compute these BRST cohomologies, we make use of the method of deformation quantization (DQ-algebras) and F-action studied by Kashiwara and Rouquier in [KR], and Gordon and Losev in [GL].

We prove the conjecture by Feigin, Fuchs and Gelfand describing the Lie algebra cohomology of formal vector fields on an n-dimensional space with coefficients in symmetric powers of the coadjoint representation. We also compute the cohomology of the Lie algebra of formal vector fields that preserve a given flag at the origin. The latter encodes characteristic classes of flags of foliations and was used in the formulation of the local Riemann-Roch Theorem by Feigin and Tsygan. Feigin, Fuchs and Gelfand described the first symmetric power and to do this they had to make use of a fearsomely complicated computation in invariant theory. By the application of degeneration theorems of appropriate Hochschild-Serre spectral sequences we avoid the need to use the methods of FFG, and moreover we are able to describe all the symmetric powers at once.

We prove the conjecture by Feigin, Fuchs and Gelfand describing the Lie algebra cohomology of formal vector fields on an n-dimensional space with coefficients in symmetric powers of the coadjoint representation. We also compute the cohomology of the Lie algebra of formal vector fields that preserve a given flag at the origin. The latter encodes characteristic classes of flags of foliations and was used in the formulation of the local Riemann-Roch Theorem by Feigin and Tsygan. Feigin, Fuchs and Gelfand described the first symmetric power and to do this they had to make use of a fearsomely complicated computation in invariant theory. By the application of degeneration theorems of appropriate Hochschild-Serre spectral sequences we avoid the need to use the methods of FFG, and moreover we are able to describe all the symmetric powers at once.

We study canonical intertwining operators between induced modules of the trigonometric Cherednik algebra. We demonstrate that these operators correspond to the Zhelobenko operators for the affine Lie algebra . To establish the correspondence, we use the functor of Arakawa, Suzuki and Tsuchiya which maps certain modules to modules of the Cherednik algebra.

Let G be a connected semisimple algebraic group over an algebraically closed field k. In 1965 Steinberg proved that if G is simply connected, then in G there exists a closed irreducible cross-section of the set of closures of regular conjugacy classes. We prove that in arbitrary G such a cross-section exists if and only if the universal covering isogeny Ĝ → G is bijective; this answers Grothendieck's question cited in the epigraph. In particular, for char k = 0, the converse to Steinberg's theorem holds. The existence of a cross-section in G implies, at least for char k = 0, that the algebra k[G]G of class functions on G is generated by rk G elements. We describe, for arbitrary G, a minimal generating set of k[G]G and that of the representation ring of G and answer two Grothendieck's questions on constructing generating sets of k[G]G. We prove the existence of a rational (i.e., local) section of the quotient morphism for arbitrary G and the existence of a rational cross-section in G (for char k = 0, this has been proved earlier); this answers the other question cited in the epigraph. We also prove that the existence of a rational section is equivalent to the existence of a rational W-equivariant map T- - - >G/T where T is a maximal torus of G and W the Weyl group.

We obtain an explicit presentation for the equivariant cobordism ring of a complete flag variety. An immediate corollary is a Borel presentation for the ordinary cobordism ring. Another application is an equivariant Schubert calculus in cobordism. We also describe the rational equivariant cobordism rings of wonderful symmetric varieties of minimal rank.

We introduce the notion of a favourable module for a complex unipotent algebraic group, whose properties are governed by the combinatorics of an associated polytope. We describe two filtrations of the module, one given by the total degree on the PBW basis of the corresponding Lie algebra, the other by fixing a homogeneous monomial order on the PBW basis.

In the favourable case a basis of the module is parametrized by the lattice points of a normal polytope. The filtrations induce at degenerations of the corresponding ag variety to its abelianized version and to a toric variety, the special fibres of the degenerations being projectively normal and arithmetically Cohen-Macaulay. The polytope itself can be recovered as a Newton-Okounkov body. We conclude the paper by giving classes of examples for favourable modules.

We give a criterion of existence of a unipotent group action on the affine cone over a projective variety or, more generally, on the affine quasicone over a variety which is projective over another affine variety.

We study finitely-generated nondiscrete free subgroups in Lie groups. We address the following question first raised by Etienne Ghys: is it always possible to make arbitrarily small perturbation of the generators of the free subgroup in such a way that the new group formed by the perturbed generators be not free? In other words, is it possible to approximate generators of a free subgroup by elements satisfying a nontrivial relation? We prove that the answer to Ghys' question is positive and generalize this result to certain non-free subgroups. We also consider the question on the best approximation rate in terms of the minimal length of relation in the approximating group. We give an upper bound on the optimal approximation rate that is exponential in the r-th power of the minimal length of relation, where 0.19<r<0.2.

We compute the Newton-Okounkov bodies of line bundles on the complete flag variety of GL_n for a geometric valuation coming from a flag of translated Schubert subvarieties. The Schubert subvarieties correspond to the terminal subwords in the decomposition (s_1)(s_2s_1)(s_3s_2s_1)(...)(s_{n-1}...s_1) of the longest element in the Weyl group. The resulting Newton-Okounkov bodies coincide with the Feigin-Fourier-Littelmann-Vinberg polytopes in type A.

We explore orbits, rational invariant functions, and quotients of the natural actions of connected, not necessarily finite dimensional subgroups of the automorphism groups of irreducible algebraic varieties. The applications of the results obtained are given.

We give a combinatorial description of all affine spherical varieties with prescribed weight monoid Γ. As an application, we obtain a characterization of the irreducible components of Alexeev and Brion’s moduli scheme M_Γ for such varieties. Moreover, we find several sufficient conditions for M_Γ to be irreducible and exhibit several examples where M_Γ is reducible. Finally, we provide examples of non-reduced M_Γ.

Let k be an arbitrary field of characteristic zero. In this paper we study quotients of k-rational conic bundles over P 1 k by finite groups of automorphisms. We construct smooth minimal models for such quotients. We show that any quotient is birationally equivalent to a quotient of other k-rational conic bundle cyclic group C2 k of order 2k , dihedral group D2 k of order 2k , alternating group A4 of degree 4, symmetric group S4 of degree 4 or alternating group A5 of degree 5 effectively acting on the base of the conic bundle. Also we construct infinitely many examples of such quotients which are not k-birationally equivalent to each other.