Multiple point Seshadri constants and the dimension of adjoint linear series (Q1909208)

Let \(L\) be a big and nef line bundle on an \(n\)-dimensional (irreducible) complex projective variety \(X\), and \(m\) an integer. For pairwise distinct \(x_1, \dots, x_m \in X\) define the multiple point Seshadri constant at \(x_1, \dots, x_m\) by \[ \varepsilon (L, x_1, \dots, x_m) : = \inf_C {L \cdot C \over \sum_i \text{mult}_{x_i} C}, \] where the infimum is taken over all integral curves \(C\) with \(C \cap \{x_1, \dots, x_m\} \neq \emptyset\). -- Another way of saying this is that \(\varepsilon (L, x_1, \dots, x_m)\) is the maximum of all real numbers \(\varepsilon\) such that \(H = f^* L - \varepsilon \sum^m_{i = 1} E_i\) considered as an \(\mathbb{R}\)-divisor is nef on the blow up \(f:\text{Bl}_{\{x_1, \dots, x_m\}} (X) \to X\) of \(X\) along \(x_1, \dots, x_m\), where \(E_i\) denote the exceptional divisors. Since nef divisors have nonnegative self-intersection, this immediately gives the upper bound \(\varepsilon (L, x_1, \dots, x_m) \leq \root n \of {L^n}/ \root n \of {m}\). It turns out that for \(m \gg 0\) and very general points this bound is asymptotically sharp. -- Here by very general points we mean that \((x_1, \dots, x_m)\) is outside the union of countably many proper subvarieties of \(X \times \cdots \times X\), and by general that \((x_1, \dots, x_m)\) is outside a Zariski closed subset. Write for short \(\varepsilon (L,n,m)\) for the multiple point Seshadri constant of \(L\) at \(m\) very general points. Note that, by the open nature of ampleness, the multiple point Seshadri constants at general and very general points are related in the following way: for any \(\delta > 0\) one has \(\varepsilon (L, x_1, \dots, x_m) \geq \varepsilon (L,n,m) - \delta\) for general points \(x_1, \dots, x_m\). Here we prove with an elementary argument: Let \(L\) be a nef and big line bundle on an \(n\)-dimensional complex-projective variety \(X\) and \(m \geq 2\) an integer. Then \(\varepsilon (L,n,m) \geq \min \{\varepsilon (L,n,1), \root n \of {L^n}/2\), \(\root n \of {L^n (m - 1)^{n - 1}}/m\}\).