We show that quite universally the holonomicity of the complexity function of a big divisor on a projective variety does not predict the polyhedrality of the Newton-Okounkov body associated to every flag.
Tropical geometry and the theory of Newton-Okounkov bodies are two methods which produce toric degenerations of an irreducible complex projective variety. Kaveh-Manon showed that the two are related. We give geometric maps between the Newton-Okounkov bodies corresponding to two adjacent maximal-dimensional prime cones in the tropicalization of $X$. Under a technical condition, we produce a natural algebraic wall-crossing map on the underlying value semigroups (of the corresponding valuations). In the case of the tropical Grassmannian $Gr(2,m)$, we prove that the algebraic wall-crossing map is the restriction of a geometric map. In an Appendix by Nathan Ilten, he explains how the geometric wall-crossing phenomenon can also be derived from the perspective of complexity-one $T$-varieties; Ilten also explains the connection to the combinatorial mutations studied by Akhtar-Coates-Galkin-Kasprzyk.
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.
In this paper, we study the geometry of various Hessenberg varieties in type A, as well as families thereof, with the additional goal of laying the groundwork for future computations of Newton-Okounkov bodies of Hessenberg varieties. Our main results are as follows. We find explicit and computationally convenient generators for the local defining ideals of indecomposable regular nilpotent Hessenberg varieties, and then show that all regular nilpotent Hessenberg varieties are local complete intersections. We also show that certain families of Hessenberg varieties, whose generic fibers are regular semisimple Hessenberg varieties and the special fiber is a regular nilpotent Hessenberg variety, are flat and have reduced fibres. This result further allows us to give a computationally effective formula for the degree of a regular nilpotent Hessenberg variety with respect to a Plucker embedding. Furthermore, we construct certain flags of subvarieties of a regular nilpotent Hessenberg variety, obtained by intersecting with Schubert varieties, which are suitable for computing Newton-Okounkov bodies. As an application of our results, we explicitly compute many Newton-Okounkov bodies of the two-dimensional Peterson variety with respect to Plucker embeddings.
We consider flags $E_bullet={Xsupset Esupset {q}}$, where $E$ is an exceptional divisor defining a non-positive at infinity divisorial valuation $ u_E$ of a Hirzebruch surface $mathbb{F}_delta$ and $X$ the surface given by $ u_E,$ and determine an analogue of the Seshadri constant for pairs $( u_E,D)$, $D$ being a big divisor on $mathbb{F}_delta$. The main result is an explicit computation of the vertices of the Newton-Okounkov bodies of pairs $(E_bullet,D)$ as above, showing that they are quadrilaterals or triangles and distinguishing one case from another.
Let $X$ be a smooth irreducible complex algebraic variety of dimension $n$ and $L$ a very ample line bundle on $X$. Given a toric degeneration of $(X,L)$ satisfying some natural technical hypotheses, we construct a deformation ${J_s}$ of the complex structure on $X$ and bases $mathcal{B}_s$ of $H^0(X,L, J_s)$ so that $J_0$ is the standard complex structure and, in the limit as $s to infty$, the basis elements approach dirac-delta distributions centered at Bohr-Sommerfeld fibers of a moment map associated to $X$ and its toric degeneration. The theory of Newton-Okounkov bodies and its associated toric degenerations shows that the technical hypotheses mentioned above hold in some generality. Our results significantly generalize previous results in geometric quantization which prove independence of polarization between Kahler quantizations and real polarizations. As an example, in the case of general flag varieties $X=G/B$ and for certain choices of $lambda$, our result geometrically constructs a continuous degeneration of the (dual) canonical basis of $V_{lambda}^*$ to a collection of dirac delta functions supported at the Bohr-Sommerfeld fibres corresponding exactly to the lattice points of a Littelmann-Berenstein-Zelevinsky string polytope $Delta_{underline{w}_0}(lambda) cap mathbb{Z}^{dim(G/B)}$.