A Lefschetz hyperplane theorem for Mori dream spaces (Q543319): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(X\) be a normal complex projective variety. The Cox ring of \(X\) is \[ R(X)=\bigoplus H^0(X,L), \] where the sum is taken over all elements of the Picard group of \(X\). A Mori dream space is a variety whose Cox ring is finitely generated. Mori dream spaces are very interesting because, as the name itself suggests, they behave particularly well with respect to Mory theory. In particular the cone of (pseudo-)effective divisors of a Mori dream space can be decomposed into finitely many Mori chambers, given by the closures of the equivalence classes made up by (\(\mathbb{Q}\)-)line bundles that asymptotically define the same rational map. The main theorem of this paper is an analogue for Mori dream spaces of the classical Lefschetz hyperplane theorem. In fact it gives a sufficient condition (*) such that if \(X\) is a smooth Mori dream space satisfying (*) and \(Y\subseteq X\) is a smooth ample divisor, then: {\parindent=6mm \begin{itemize}\item[-]\(Y\) is a Mori dream space; \item[-]The restriction map determines an isomorphism between the Néron-Severi groups \(N^1(X)_\mathbb{R}\simeq N^1(Y)_\mathbb{R}\); \item[-]After identifying \(N^1(X)_\mathbb{R}\) and \(N^1(Y)_\mathbb{R}\) via the restriction map, each Mori chamber of \(Y\) is a union of some Mori chambers of \(X\); \item[-]The restriction map identifies the nef cones \(\mathrm{Nef}(X)\) and \(\mathrm{Nef}(Y)\).\end{itemize}} As shown in [\textit{Y. Hu, S. Keel}, Mich. Math. J., 48, 331--348 (2000; Zbl 1077.14554)] every Mori dream space \(X\) is naturally a GIT quotient of the affine variety \(V=\mathrm{Spec} \;R(X)\) under the action of an algebraic torus. Moreover this GIT quotient is a good geometric quotient and the unstable locus \(V^{un}\) always has codimension \(\geq 2\) in \(V\). \(X\) satisfies \((*)\) if its unstable locus \(V^{un}\) has codimension \(\geq 3\) in \(V\). Equivalently \(X\) is said to have small unstable locus. In the paper the author also gives some explicit sufficient conditions for a Mori dream space to have small unstable locus and a characterization of this property in the case of a simplicial toric variety in terms of the structure of its fan. | |||
Property / review text: Let \(X\) be a normal complex projective variety. The Cox ring of \(X\) is \[ R(X)=\bigoplus H^0(X,L), \] where the sum is taken over all elements of the Picard group of \(X\). A Mori dream space is a variety whose Cox ring is finitely generated. Mori dream spaces are very interesting because, as the name itself suggests, they behave particularly well with respect to Mory theory. In particular the cone of (pseudo-)effective divisors of a Mori dream space can be decomposed into finitely many Mori chambers, given by the closures of the equivalence classes made up by (\(\mathbb{Q}\)-)line bundles that asymptotically define the same rational map. The main theorem of this paper is an analogue for Mori dream spaces of the classical Lefschetz hyperplane theorem. In fact it gives a sufficient condition (*) such that if \(X\) is a smooth Mori dream space satisfying (*) and \(Y\subseteq X\) is a smooth ample divisor, then: {\parindent=6mm \begin{itemize}\item[-]\(Y\) is a Mori dream space; \item[-]The restriction map determines an isomorphism between the Néron-Severi groups \(N^1(X)_\mathbb{R}\simeq N^1(Y)_\mathbb{R}\); \item[-]After identifying \(N^1(X)_\mathbb{R}\) and \(N^1(Y)_\mathbb{R}\) via the restriction map, each Mori chamber of \(Y\) is a union of some Mori chambers of \(X\); \item[-]The restriction map identifies the nef cones \(\mathrm{Nef}(X)\) and \(\mathrm{Nef}(Y)\).\end{itemize}} As shown in [\textit{Y. Hu, S. Keel}, Mich. Math. J., 48, 331--348 (2000; Zbl 1077.14554)] every Mori dream space \(X\) is naturally a GIT quotient of the affine variety \(V=\mathrm{Spec} \;R(X)\) under the action of an algebraic torus. Moreover this GIT quotient is a good geometric quotient and the unstable locus \(V^{un}\) always has codimension \(\geq 2\) in \(V\). \(X\) satisfies \((*)\) if its unstable locus \(V^{un}\) has codimension \(\geq 3\) in \(V\). Equivalently \(X\) is said to have small unstable locus. In the paper the author also gives some explicit sufficient conditions for a Mori dream space to have small unstable locus and a characterization of this property in the case of a simplicial toric variety in terms of the structure of its fan. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Salvatore Cacciola / 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: 14L24 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5909112 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Mori dream space | |||
Property / zbMATH Keywords: Mori dream space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Lefschetz theorem | |||
Property / zbMATH Keywords: Lefschetz theorem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
nef cone | |||
Property / zbMATH Keywords: nef cone / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Mori chamber | |||
Property / zbMATH Keywords: Mori chamber / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(m\)-neighborly fan | |||
Property / zbMATH Keywords: \(m\)-neighborly fan / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Cox ring | |||
Property / zbMATH Keywords: Cox ring / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
GIT quotient | |||
Property / zbMATH Keywords: GIT quotient / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1969402354 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0809.4036 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4668444 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homogeneous coordinates for algebraic varieties. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Existence of minimal models for varieties of log general type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3976185 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hilbert's 14th problem and Cox rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4324883 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher-dimensional algebraic geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4780265 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groupe de Picard des variétés de modules de fibrés semi-stable sur les courbes algébriques. (Picard groups of moduli varieties of semi- stable bundles on algebraic curves) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The total coordinate ring of a normal projective variety / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to Toric Varieties. (AM-131) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the existence of certain smooth toric varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4143433 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The weak Lefschetz principle is false for ample cones. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mori dream spaces and GIT. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4011315 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4821063 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5462454 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3827224 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Del Pezzo surfaces and representation theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gröbner bases, monomial group actions, and the Cox rings of Del Pezzo surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On contractions of extremal rays of Fano manifolds. / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:57, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Lefschetz hyperplane theorem for Mori dream spaces |
scientific article |
Statements
A Lefschetz hyperplane theorem for Mori dream spaces (English)
0 references
17 June 2011
0 references
Let \(X\) be a normal complex projective variety. The Cox ring of \(X\) is \[ R(X)=\bigoplus H^0(X,L), \] where the sum is taken over all elements of the Picard group of \(X\). A Mori dream space is a variety whose Cox ring is finitely generated. Mori dream spaces are very interesting because, as the name itself suggests, they behave particularly well with respect to Mory theory. In particular the cone of (pseudo-)effective divisors of a Mori dream space can be decomposed into finitely many Mori chambers, given by the closures of the equivalence classes made up by (\(\mathbb{Q}\)-)line bundles that asymptotically define the same rational map. The main theorem of this paper is an analogue for Mori dream spaces of the classical Lefschetz hyperplane theorem. In fact it gives a sufficient condition (*) such that if \(X\) is a smooth Mori dream space satisfying (*) and \(Y\subseteq X\) is a smooth ample divisor, then: {\parindent=6mm \begin{itemize}\item[-]\(Y\) is a Mori dream space; \item[-]The restriction map determines an isomorphism between the Néron-Severi groups \(N^1(X)_\mathbb{R}\simeq N^1(Y)_\mathbb{R}\); \item[-]After identifying \(N^1(X)_\mathbb{R}\) and \(N^1(Y)_\mathbb{R}\) via the restriction map, each Mori chamber of \(Y\) is a union of some Mori chambers of \(X\); \item[-]The restriction map identifies the nef cones \(\mathrm{Nef}(X)\) and \(\mathrm{Nef}(Y)\).\end{itemize}} As shown in [\textit{Y. Hu, S. Keel}, Mich. Math. J., 48, 331--348 (2000; Zbl 1077.14554)] every Mori dream space \(X\) is naturally a GIT quotient of the affine variety \(V=\mathrm{Spec} \;R(X)\) under the action of an algebraic torus. Moreover this GIT quotient is a good geometric quotient and the unstable locus \(V^{un}\) always has codimension \(\geq 2\) in \(V\). \(X\) satisfies \((*)\) if its unstable locus \(V^{un}\) has codimension \(\geq 3\) in \(V\). Equivalently \(X\) is said to have small unstable locus. In the paper the author also gives some explicit sufficient conditions for a Mori dream space to have small unstable locus and a characterization of this property in the case of a simplicial toric variety in terms of the structure of its fan.
0 references
Mori dream space
0 references
Lefschetz theorem
0 references
nef cone
0 references
Mori chamber
0 references
\(m\)-neighborly fan
0 references
Cox ring
0 references
GIT quotient
0 references