Multipoint Okounkov bodies (Q2152455)

In the paper under review, the author defines and studies the so-called multipoint Newton-Okounkov bodies. Let \(L\) be a big line bundle on a complex projective manifold \(X\) of dimension \(n\) and let \(p_{1},\dots, p_{N} \in X\) be distinct points. Denote by \(>\) a fixed total additive order on \(\mathbb{Z}^{n}\). Then we define \[\Delta_{j}(L) :=\overline{\bigcup_{k\geq 1}\bigg\{ \frac{\nu^{p_{j}}(s)}{k} : s \in V_{k,j}\bigg\}} \subset \mathbb{R}^{n}\] which is called multipoint Newton-Okounkov body of \(L\) at \(p_{j}\), where \[V_{k,j}:=\{s \in H^{0}(X,kL) \setminus \{0\} : \nu^{p_{j}}(s) < \nu^{p_{i}}(s) \text{ for any } i\neq j\}\] for any \(k\geq 1\), and \(\nu^{p_{i}}(s)\) denotes the leading term exponent at \(p_{i}\) with respect to \(>\). These bodies are convex compact sets in \(\mathbb{R}^{n}\) but, unlikely to the one-point case, for \(N\geq 2\) it happen that some \(\Delta_{j}(L)\) are empty. The first result of the paper under review is devoted to the volume of \(L\). Theorem A. Let \(L\) be a big line bundle. Then \[n! \cdot \sum_{i=1}^{N}\mathrm{Vol}_{\mathbb{R}^{n}}(\Delta_{j}(L)) = \mathrm{Vol}_{X}(L).\] Another result is devoted to the properties related to the moving multipoint Seshadri constants. Theorem B. Let \(L\) be a big line bundle and let \(>\) be the deglex order. Then \[\varepsilon_{S}(||L||;p_{1}, \dots, p_{N}) = \max\{0, \xi(L;p_{1}, \dots, p_{N})\},\] where \(\xi(L;p_{1}, \dots, p_{N}) := \sup\{t \geq 0 \, : t\Sigma_{n} \subset \Delta_{j}(L)^{\mathrm{ess}} \text{ for any } j \in \{1, \dots,N\}\}\) and \(\Delta_{j}(L)^{\mathrm{ess}}\) denotes the so-called essential multipoint Newton-Okounkov body. Finally, let us present a result towards the packing problem. We denote the torus-invariant domain by \[\Omega_{j}(L) :=\mu^{-1}(\Delta_{j}(L)^{\mathrm{ess}}),\] where \(\mu : \mathbb{C}^{n} \rightarrow \mathbb{R}^{n}\) is given by \[\mu(z_{1}, \dots, z_{n}):=(|z_{1}|^{2}, \dots, |z_{n}|^{2}).\] Now we say that a finite family of \(n\)-dimensional Kaehler manifolds \(\{(M_{j}, \eta_{j})\}_{j=1}^{N}\) packs into \((X,L)\) for an ample line bundle \(L\) on an \(n\)-dimensional projective manifold \(X\) if for any family of relatively compact open set \(U_{j} \subset M_{j}\) there exists a holomorphic embedding \(f : \bigsqcup_{j=1}^{N} U_j \rightarrow X\) and a Kaehler form \(\omega\) lying in \(c_{1}(L)\) such that \(f_{*}\eta_{j} = \omega_{|f(U_{j})}\). If additionally \[\sum_{j=1}^{N} \int_{M_{j}}\eta_{j}^{n} = \int_{X}c_{1}(L)^{n},\] then we say that \(\{(M_{j},\eta_{j})\}_{j=1}^{N}\) packs perfectly into \((X,L)\). Theorem C. Let \(L\) be an ample line bundle on \(X\). Then \(\{(\Omega_{j}(L),\omega_{\mathrm{std}})\}_{j=1}^{N}\) packs perfectly into \((X,L)\).