Okounkov bodies on projectivizations of rank two toric vector bundles (Q555573): Difference between revisions

Let \(X\) be a projective variety over an algebraically closed field, \(n=\dim X\) and \(X_\bullet=\{X=X_n\supset X_{n-1}\supset \dots \supset X_1\supset X_0=\mathrm{pt} \}\) be a flag where each \(X_i\) is an \(i\)-dimensional subvariety non-singular at \(X_0\). By [\textit{R. Lazarsfeld} and \textit{M. Mustata}, Ann. Sci. Éc. Norm. Supér. (4) 42, No. 5, 783--835 (2009; Zbl 1182.14004)], it is known that for any big numerical divisor class \(\xi\in N^1(X)_{\mathbb Q}\), Okounkov's construction yields a convex compact set \(\Delta (\xi )\subset \mathbb R ^n\) (the Okounkov body of \(\xi\)) such that \[ \text{vol}_{\mathbb R}(\Delta (\xi ))=\frac 1 {n!}\cdot \text{vol}_X(\xi ) \] where \(\text{vol}_{\mathbb R}\) is the Euclidean volume and \(\text{vol}_X (\xi )=\lim \frac {h^0(X,\mathcal O _X (mD))}{m^n/n!}\) for any divisor \(D\) in the numerical class of \(\xi\). Moreover, there exists a closed convex cone \(\Delta (X)\subset \mathbb R ^n \times N^1(X)_{\mathbb R}\) such that the fiber \(\Delta (X)_\xi\subset \mathbb R ^n \times \{ \xi \}\) equals \(\Delta (\xi )\) for any big divisor \(\xi \in N^1(X)_{\mathbb Q}\). The explicit description of Okounkov bodies is often hard to obtain. In the toric case however, it is known that the Okounkov body of a toric invariant divisor \(D\) coincides (with respect to a flag consisting of invariant subvarieties) with the usual polytope \(P_D\) of toric geometry. In this paper, the author describes the Okounkov bodies of divisors on the projectivization of a toric vector bundle \(E\). The description is particularly useful for bundles of rank \(2\). In this case, the author recovers a result of Knop saying that the Cox ring of \(\mathbb{P}(E)\) is finitely generated.