Newton-Okounkov polytopes of flag varieties.

*(English)*Zbl 1396.14047The author computes for a valuation coming from a certain flag of (Schubert-)subvarieties for the full flag variety of type A the corresponding Newton-Okounkov bodies. The main result of the paper is that these Newton-Okounkov bodies coincide with the Feigin-Fourier-Littelmann-Vinberg polytopes.

Newton-Okounkov bodies are a far generalization of Newton polytopes and were introduced to study the asymptotic behavior of line bundles (as introduced by independently Okounkov, Lazarsfeld-Mustata, Kaveh-Khovanskii). For the full flag variety of type A Kiritchenko chooses the reduced expression \((s_1)(s_2s_1)\dots(s_{n-1}s_1)\) of the longest element in the symmetric group Sn. The reduced expression determines a flag of translated Schubert varieties in \(\mathrm{GL}_n/B\) (see (*) in the paper). Following constructions of Anderson and Kaveh, such a flag of subvarieties determines a valuation on the field of rational functions on \(\mathrm{GL}_n/B\), which can alternatively be defined by a lowest term order (see Section 2.1). With respect to these valuations Kiritchenko computes Newton-Okounkov bodies for line bundles associated to dominant weights.

To compute explicit examples of the Newton-Okounkov bodies, in Section 2.2 the author introduces coordinates that are compatible with the flag (*). These are closely related to the work of Vakil establishing a geometric Littlewood Richardson rule for Grassmannians. Among the explicit examples presented in Section 2.3 are \(\mathrm{GL}_4/B\) and Grassmannians.

In the following Section 3 the proof of the main result is given. Using general properties of Newton-Okounkov bodies and their compatibility with subvarieties (Lemma 3.2) Kiritchenko takes slices (flags of faces) of both, the Newton-Okounkov body and the FFLV polytopes. The faces are described inductively using convex-geometric methods for the case of FFLV polytopes (Lemma 3.6) and algebro-geometric methods for the Newton Okounkov bodies (Lemma 3.7). The aforementioned Lemmata are used to perform induction in the proof of Theorem 3.5, stating that the corresponding slices of the FFLV polytope and the Newton-Okounkov body coincide. Applied to the trivial slice (the whole polytope) this specializes to the main result. This result is only true in type A. In type C, for which FFLV polytopes are also defined it fails as Kiritchenko shows in Section 2.4 analyzing the case of \(\mathrm{Sp}_4\) in detail.

The last section of the paper studies combinatorial properties of the FFLV polytope and relates to the Gelfand-Tsetlin polytope. Considering flags of faces of the Gelfand-Tsetlin polytope, Kiritchenko proves that the corresponding faces of both polytopes have the same Ehrhardt polynomial. Combining with a previous result of the author this implies in particular that the face polytopes of the FFLV flags have as many integer points as the dimension of certain Demazure modules.

Newton-Okounkov bodies are a far generalization of Newton polytopes and were introduced to study the asymptotic behavior of line bundles (as introduced by independently Okounkov, Lazarsfeld-Mustata, Kaveh-Khovanskii). For the full flag variety of type A Kiritchenko chooses the reduced expression \((s_1)(s_2s_1)\dots(s_{n-1}s_1)\) of the longest element in the symmetric group Sn. The reduced expression determines a flag of translated Schubert varieties in \(\mathrm{GL}_n/B\) (see (*) in the paper). Following constructions of Anderson and Kaveh, such a flag of subvarieties determines a valuation on the field of rational functions on \(\mathrm{GL}_n/B\), which can alternatively be defined by a lowest term order (see Section 2.1). With respect to these valuations Kiritchenko computes Newton-Okounkov bodies for line bundles associated to dominant weights.

To compute explicit examples of the Newton-Okounkov bodies, in Section 2.2 the author introduces coordinates that are compatible with the flag (*). These are closely related to the work of Vakil establishing a geometric Littlewood Richardson rule for Grassmannians. Among the explicit examples presented in Section 2.3 are \(\mathrm{GL}_4/B\) and Grassmannians.

In the following Section 3 the proof of the main result is given. Using general properties of Newton-Okounkov bodies and their compatibility with subvarieties (Lemma 3.2) Kiritchenko takes slices (flags of faces) of both, the Newton-Okounkov body and the FFLV polytopes. The faces are described inductively using convex-geometric methods for the case of FFLV polytopes (Lemma 3.6) and algebro-geometric methods for the Newton Okounkov bodies (Lemma 3.7). The aforementioned Lemmata are used to perform induction in the proof of Theorem 3.5, stating that the corresponding slices of the FFLV polytope and the Newton-Okounkov body coincide. Applied to the trivial slice (the whole polytope) this specializes to the main result. This result is only true in type A. In type C, for which FFLV polytopes are also defined it fails as Kiritchenko shows in Section 2.4 analyzing the case of \(\mathrm{Sp}_4\) in detail.

The last section of the paper studies combinatorial properties of the FFLV polytope and relates to the Gelfand-Tsetlin polytope. Considering flags of faces of the Gelfand-Tsetlin polytope, Kiritchenko proves that the corresponding faces of both polytopes have the same Ehrhardt polynomial. Combining with a previous result of the author this implies in particular that the face polytopes of the FFLV flags have as many integer points as the dimension of certain Demazure modules.

Reviewer: Lara Bossinger (Köln)

##### MSC:

14M25 | Toric varieties, Newton polyhedra, Okounkov bodies |

20G05 | Representation theory for linear algebraic groups |

52B20 | Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) |

PDF
BibTeX
XML
Cite

\textit{V. Kiritchenko}, Transform. Groups 22, No. 2, 387--402 (2017; Zbl 1396.14047)

Full Text:
DOI

##### References:

[1] | Anderson, D, Okounkov bodies and toric degenerations, Math. Ann., 356, 1183-1202, (2013) · Zbl 1273.14104 |

[2] | D. Anderson, Effective divisors on Bott-Samelson varieties, arXiv:1501.00034 (2014). · Zbl 1325.14067 |

[3] | F. Ardila, Th. Bliem, D. Salazar, Gelfand-Tsetlin polytopes and Feigin-Fourier-Littelmann-Vinberg polytopes as marked poset polytopes, J. Comb. Theory, Ser. A 118 (2011), no. 8, 2454-2462. · Zbl 1234.52009 |

[4] | M. Brion, Lectures on the geometry of ag varieties, in: Topics in Cohomo-logical Studies of Algebraic Varieties, Trends Math., Birkhäuser, Basel, 2005, pp. 33-85. · Zbl 1237.17011 |

[5] | Feigin, E; Fourier, G; Littelmann, P, PBW filtration and bases for irreducible modules in type A_{n}, Transform. Groups, 165, 71-89, (2011) · Zbl 1237.17011 |

[6] | E. Feigin, Gh. Fourier, P. Littelmann, Favourable modules: Filtrations, poly-topes, Newton-Okounkov bodies and at degenerations, arXiv:1306.1292v5 (2015). · Zbl 06793800 |

[7] | X. Fang, Gh. Fourier, P. Littelmann, Essential bases and toric degenerations arising from generating sequences, arXiv:1510.02295 (2015). · Zbl 06713694 |

[8] | Foth, P; Kim, S, Row convex tableaux and Bott-Samelson varieties, J. Austral. Math. Soc., 97, 315-330, (2014) · Zbl 1325.14067 |

[9] | Fourier, G, Marked poset polytopes: Minkowski sums, indecomposables, and unimodular equivalence, J. Pure Appl. Algebra, 220, 606-620, (2016) · Zbl 1328.52007 |

[10] | N. Fujita, Newton-Okounkov bodies for Bott-Samelson varieties and string polytopes for generalized Demazure modules, arXiv:1503.08916 (2015). · Zbl 06954173 |

[11] | M. Harada, J. Yang, Newton-Okounkov bodies of Bott-Samelson varieties and Grossberg-Karshon twisted cubes, arXiv:1504.00982v2 (2015). · Zbl 1352.14036 |

[12] | Kaveh, K, Crystal basis and Newton-Okounkov bodies, Duke Math. J., 164, 2461-2506, (2015) · Zbl 1428.14083 |

[13] | K. Kaveh, A. Khovanskii, Newton convex bodies, semigroups of integral points, graded algebras and intersection theory, Ann. of Math. (2), 176 (2012), no. 2, 925-978. · Zbl 1270.14022 |

[14] | V. Kiritchenko, Divided difference operators on convex polytopes, to appear in Adv. Studies in Pure Math., arXiv:1307.7234 (2013). · Zbl 0908.17010 |

[15] | V. Kiritchenko, Geometric mitosis, to appear in Math. Res. Lett., arXiv: 1409.6097 (2014). |

[16] | Littelmann, P, Cones, crystals and patterns, Transform. Groups, 3, 145-179, (1998) · Zbl 0908.17010 |

[17] | Lazarsfeld, R; Mustata, M, Convex bodies associated to linear series, Ann. Sci. de l’ENS, 42, 783-835, (2009) · Zbl 1182.14004 |

[18] | L. Manivel, Fonctions Symétriques, Polynômes de Schubert et Lieux de Dégénérescence, Société Mathématique de France, Paris, 1998. · Zbl 0911.14023 |

[19] | A. Okounkov, Multiplicities and Newton polytopes, in: Kirillov’s Seminar on Representation Theory, Amer. Math. Soc. Transl. Ser. 2, Vol. 181, Amer. Math. Soc., Providence, RI, 1998, pp. 231-244. · Zbl 0920.20032 |

[20] | D. Schmitz, H. Seppanen, Global Okounkov bodies for Bott-Samelson varieties, arXiv:1409.1857v2 (2015). · Zbl 1401.14212 |

[21] | Vakil, R, A geometric Littlewood-Richardson rule, Ann. Math., 164, 371-421, (2006) · Zbl 1163.05337 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.