Local numerical equivalences and Okounkov bodies in higher dimensions (Q2153821)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Local numerical equivalences and Okounkov bodies in higher dimensions |
scientific article |
Statements
Local numerical equivalences and Okounkov bodies in higher dimensions (English)
0 references
13 July 2022
0 references
Let \(X\) be a smooth projective variety of dimension \(n\) and let \(D\) and \(D'\) be pseudoeffective divisors on \(X\). Recall that two divisors \(D\) and \(D'\) are numerically equivalent (\(D\equiv D'\)) if and only if \(D\cdot C=D'\cdot C\) for every irreducible curve \(C\) on \(X\). Let \(D=P+N\) be the divisorial Zariski decomposition. For a fixed point \(x\in X\), we can further decompose the negative part \(N=N_x+N_x^c\) into the effective divisors \(N_x\) and \(N_x^c\) such that every irreducible component of \(N_x\) passes through \(x\). We say that the decomposition \[ D=P+N_x+N_x^c \] is the refined divisorial Zariski decomposition of \(D\) at a point \(x\). We say that two pseudoeffective divisors \(D\) and \(D'\) are numerically equivalent near \(x\) (\(D\equiv_x D'\)) if \(P\equiv P'\) and \(N_x\equiv N_x'\). Now we decompose the divisor \(N_x\) as \[ N_x=N_x^{\mathrm{sm}}+N_x^{\mathrm{sing}} \] where every irreducible component of \(N_x^{\mathrm{sm}}\) (resp. \(N_x^{\mathrm{sing}}\)) is smooth (resp. singular). Let \(f: \widetilde{X}\rightarrow X\) be a birational morphism between smooth projective varieties of dimension \(n\) and let \(x\in X\) be a point. An admissible flag \(\widetilde{Y}_{\bullet}\) on \(\widetilde{X}\) is said to be \begin{itemize} \item centered at \(x\) if \(f(\widetilde{Y_n})=\{x\}\), \item proper over \(X\) if \(\mathrm{codim} \, f(\widetilde{Y_i})=i\), \item infinitesimal over \(X\) if \(\mathrm{codim} \, f(\widetilde{Y_n})=1\). \end{itemize} An admissible flag \(\widetilde{Y}_{\bullet}\) on \(\widetilde{X}\) that is proper over \(X\) is said to be induced (by an admissible flag \(Y_{\bullet}\) on \(X\)) if \(f(\widetilde{Y}_i)=Y_i\) for each \(0\leq i\leq n\). An admissible flag \(\widetilde{Y}_{\bullet}\) on \(\widetilde{X}\) that is infinitesimal over \(X\) is said to be induced (by an admissible flag \(Y_{\bullet}\) on \(X\)) if there is a proper admissible flag \(Y_{\bullet}'\) on \(\widetilde{X}\) induced by \(Y_{\bullet}\) such that \(f(\widetilde{Y}_1)=Y_n\) and \(\widetilde{Y}_i=\widetilde{Y}_1\cap Y_{i-1}'\) for \(2\leq i\leq n\). Let \(\Delta_{Y_{\bullet}}(D)\) be the Okounkov body of a divisor \(D\) with respect to an admissible flag \(Y_{\bullet}\). The two main theorems of the paper give a generalization of Roe's results into higher dimensions. Theorem A. Let \(D\) and \(D'\) be big divisors on a smooth projective varieties \(X\), and let \(x\in X\) be a point. Then the following are equivalent: \begin{itemize} \item[1.] \(D\equiv_x D'\), \item[2.] \(\Delta_{\widetilde{Y}_{\bullet}}(f^*D)=\Delta_{\widetilde{Y}_{\bullet}}(f^*D')\) for every admissible flag \(\widetilde{Y}_{\bullet}\) centered at \(x\) defined on a smooth projective variety \(\widetilde{X}\) with birational morphism \(f:\widetilde{X}\rightarrow X\), \item[3.] \(\Delta_{\widetilde{Y}_{\bullet}}(f^*D)=\Delta_{\widetilde{Y}_{\bullet}}(f^*D')\) for every proper admissible flag \(\widetilde{Y}_{\bullet}\) over \(X\) centered at \(x\) defined on a smooth projective variety \(\widetilde{X}\) with birational morphism \(f:\widetilde{X}\rightarrow X\), \item[4.] \(\Delta_{\widetilde{Y}_{\bullet}}(f^*D)=\Delta_{\widetilde{Y}_{\bullet}}(f^*D')\) for every infinitesimal flag \(\widetilde{Y}_{\bullet}\) over \(X\) centered at \(x\) defined on a smooth projective variety \(\widetilde{X}\) with birational morphism \(f:\widetilde{X}\rightarrow X\). \end{itemize} Theorem B. Let \(D\) and \(D'\) be a big divisors on a smooth projective variety \(X\). For a fixed point \(x\in X\), consider the decompositions \[D=P+N_x^{\mathrm{sm}}+N_X^{\mathrm{sing}}+N_x^c, \quad D'=P'+{N'}_x^{\mathrm{sm}}+{N'}_x^{\mathrm{sing}}+{N'}_x^c.\] Then the following are equivalent \begin{itemize} \item[1.] \(P\equiv P'\), \(N_x^{\mathrm{sm}}={N'}_x^{\mathrm{sm}}\), and \(\Delta_{Y_{\bullet}}(N_x^{\mathrm{sing}})=\Delta_{Y_{\bullet}}({N'}_x^{\mathrm{sing}})\) for every admissible flag \(Y_{\bullet}\) centered at \(x\), \item[2.] \(\Delta_{Y_{\bullet}}(D)=\Delta_{Y_{\bullet}}(D')\) for every admissible flag \(Y_{\bullet}\) on \(X\) centered at \(x\), \item[3.] \(\Delta_{\widetilde{Y}_{\bullet}}(f^*D)=\Delta_{\widetilde{Y}_{\bullet}}(f^*D')\) for every induced proper admissible flag \(\widetilde{Y}_{\bullet}\) on \(X\) centered at \(x\) defined on a smooth projective variety \(\widetilde{X}\) with birational morphism \(f:\widetilde{X}\rightarrow X\), \item[4.] \(\Delta_{\widetilde{Y}_{\bullet}}(f^*D)=\Delta_{\widetilde{Y}_{\bullet}}(f^*D')\) for almost every induced infinitesimal admissible flag \(\widetilde{Y}_{\bullet}\) on \(X\) centered at \(x\) defined on a smooth projective variety \(\widetilde{X}\) with birational morphism \(f:\widetilde{X}\rightarrow X\). \end{itemize}
0 references
Okounkov bodies
0 references
numerical equivalences
0 references
Zariski decomposition
0 references
0 references