### Article

## Singularities of divisors on flag varieties via Hwang's product theorem

We give an alternative proof of a recent result by Pasquier stating that for a generalized flag variety X=G/P and an effective Q-divisor D stable with respect to a Borel subgroup the pair (X,D) is Kawamata log terminal if and only if [D]=0.

We describe an elementary convex geometric algorithm for realizing Schubert cycles in complete flag varieties by unions of faces of polytopes. For GL_n and Gelfand{Zetlin polytopes, combinatorics of this algorithm coincides with that of the mitosis on pipe dreams introduced by Knutson and Miller. For Sp_4 and a Newton{Okounkov polytope of the symplectic flag variety, the algorithm yields a new combinatorial rule that extends to Sp_{2n}.

The aim of these notes is to give an introduction into Schubert calculus on Grassmannians and flag varieties. We discuss various aspects of Schubert calculus, such as applications to enumerative geometry, structure of the cohomology rings of Grassmannians and flag varieties, Schur and Schubert polynomials. We conclude with a survey of results of V. Kiritchenko, V. Timorin and the author on a new approach to Schubert calculus on full flag varieties via combinatorics of Gelfand-Zetlin polytopes.

We consider representations of rational Cherednik algebras that are particular ideals in the ring of polynomials. We investigate convergence of the integrals that express the Gaussian inner product on these representations. We derive that the integrals converge for the minimal submodules in types *B* and *D* for the singular values suggested by Cherednik with at most one exception; hence the corresponding modules are unitary. The analogous result on unitarity of the minimal submodules in type *A* was obtained by Etingof and Stoica; we give a different proof of convergence of the Gaussian product in this case. We also obtain partial results on unitarity of the minimal submodule in the case of exceptional Coxeter groups and group *B* with unequal parameters.

The degenerate Lie group is a semidirect product of the Borel subgroup with the normal abelian unipotent subgroup. We introduce a class of the highest weight representations of the degenerate group of type A, generalizing the PBW-graded representations of the classical group. Following the classical construction of the flag varieties, we consider the closures of the orbits of the abelian unipotent subgroup in the projectivizations of the representations. We show that the degenerate flag varieties $\Fl^a_n$ and their desingularizations $R_n$ can be obtained via this construction. We prove that the coordinate ring of $R_n$ is isomorphic to the direct sum of duals of the highest weight representations of the degenerate group. In the end, we state several conjectures on the structure of the highest weight representations.

Let k be a field of characteristic zero, let G be a connected reductive algebraic group over k and let g be its Lie algebra. Let k(G), respectively, k(g), be the field of k- rational functions on G, respectively, g. The conjugation action of G on itself induces the adjoint action of G on g. We investigate the question whether or not the field extensions k(G)/k(G)^G and k(g)/k(g)^G are purely transcendental. We show that the answer is the same for k(G)/k(G)^G and k(g)/k(g)^G, and reduce the problem to the case where G is simple. For simple groups we show that the answer is positive if G is split of type A_n or C_n, and negative for groups of other types, except possibly G_2. A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of G on itself.

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.