No Arabic abstract
For classical groups SL(n), SO(n) and Sp(2n), we define uniformly geometric valuations on the corresponding complete flag varieties. The valuation in every type comes from a natural coordinate system on the open Schubert cell and is combinatorially related to the Gelfand-Zetlin pattern in the same type. In types A and C, we identify the corresponding Newton-Okounkov polytopes with the Feigin-Fourier-Littelmann-Vinberg polytopes. In types B and D, we compute low-dimensional examples and formulate open questions.
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 compute the Newton--Okounkov bodies of line bundles on a Bott--Samelson resolution of the complete flag variety of $GL_n$ for a geometric valuation coming from a flag of translated Schubert subvarieties. The Bott--Samelson resolution corresponds to the decomposition $(s_1)(s_2s_1)(s_3s_2s_1)(ldots)(s_{n-1}ldots s_1)$ of the longest element in the Weyl group, and the Schubert subvarieties correspond to the terminal subwords in this decomposition. We prove that the resulting Newton--Okounkov polytopes for semiample line bundles satisfy the additivity property with respect to the Minkowski sum. In particular, they are Minkowski sums of Newton--Okounkov polytopes of line bundles on the complete flag varieties for $GL_2$,ldots, $GL_{n}$.
A Newton-Okounkov polytope of a complete flag variety can be turned into a convex geometric model for Schubert calculus. Namely, we can represent Schubert cycles by linear combinations of faces of the polytope so that the intersection product of cycles corresponds to the set-theoretic intersection of faces (whenever the latter are transverse). We explain the general framework and survey particular realizations of this approach in types A, B and C.
I construct a correspondence between the Schubert cycles on the variety of complete flags in C^n and some faces of the Gelfand-Zetlin polytope associated with the irreducible representation of SL_n(C) with a strictly dominant highest weight. The construction is based on a geometric presentation of Schubert cells by Bernstein-Gelfand-Gelfand using Demazure modules. The correspondence between the Schubert cycles and faces is then used to interpret the classical Chevalley formula in Schubert calculus in terms of the Gelfand-Zetlin polytopes. The whole picture resembles the picture for toric varieties and their polytopes.
The main result of this note is that the toric degenerations of flag varieties associated to string polytopes and certain Bott-Samelson resolutions of flag varieties fit into a commutative diagram which gives a resolution of singularities of singular toric varieties corresponding to string polytopes. Our main tool is a result of Anderson which shows that the toric degenerations arising from Newton-Okounkov bodies are functorial in an appropriate sense. We also use results of Fujita which show that Newton-Okounkov bodies of Bott-Samelson varieties with respect to a certain valuation $ u_{max}$ coincide with generalized string polytopes, as well as previous results by the authors which explicitly describe the Newton-Okounkov bodies of Bott-Samelson varieties with respect to a different valuation $ u_{min}$ in terms of Grossberg-Karshon twisted cubes. A key step in our argument is that, under a technical condition, these Newton-Okounkov bodies coincide.