Okounkov bodies on projectivizations of rank two toric vector bundles (Q555573): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Christopher Derek Hacon / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14C20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14E30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14J60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14M25 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5931650 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Okounkov bodies | |||
Property / zbMATH Keywords: Okounkov bodies / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
toric vector bundles | |||
Property / zbMATH Keywords: toric vector bundles / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Klyachko filtrations | |||
Property / zbMATH Keywords: Klyachko filtrations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
toric varieties | |||
Property / zbMATH Keywords: toric varieties / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Cox rings | |||
Property / zbMATH Keywords: Cox rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Mori dream spaces | |||
Property / zbMATH Keywords: Mori dream spaces / rank | |||
Normal rank |
Revision as of 14:38, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Okounkov bodies on projectivizations of rank two toric vector bundles |
scientific article |
Statements
Okounkov bodies on projectivizations of rank two toric vector bundles (English)
0 references
25 July 2011
0 references
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.
0 references
Okounkov bodies
0 references
toric vector bundles
0 references
Klyachko filtrations
0 references
toric varieties
0 references
Cox rings
0 references
Mori dream spaces
0 references