Uniformity of ampleness - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T09:30:11Z http://mathoverflow.net/feeds/question/48356 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/48356/uniformity-of-ampleness Uniformity of ampleness diverietti 2010-12-05T10:36:12Z 2010-12-07T06:15:24Z <p>Let $X$ be a smooth projective variety over $\mathbb C$ and $A\to X$ an ample line bundle. </p> <p>Is there an integer $k_0$ such that for all line bundle $L\to X$, the tensor product $A^{\otimes k}\otimes L$ is ample for every $k\ge k_0$?</p> <p>Of course the answer is yes if we let $k_0$ depend on $L$, but the point here is that $k_0$ must be an universal constant depending only on $X$ and $A$.</p> <p>Thanks in advance.</p> <p>EDIT: In fact the answer is NO in general: take for example $X=\mathbb P^n$ and $A=\mathcal O(1)$. Then for each $k$ there exists a line bundle $L$ on $\mathbb P^n$, namely $L=\mathcal O(-k-1)$ such that $A^{\otimes k}\otimes L$ is not ample. So, <strong>is there any reasonable condition on $X$ and $A$, or on the family in which we let the bundles $L$ vary, such that the statement holds true?</strong></p> <p>My question was motivated by the following on positivity:</p> <p>Let $X$ be a compact complex manifold endowed with a positive (in the sense that it carries a smooth hermitian metric whose Chern curvature tensor is positive definite) line bundle $A\to X$. For every pair of points $p,q\in X$ consider the blow-up $\sigma\colon\widetilde X\to X$ at this two point and let $E_p$, $E_q$ be the two exceptional divisors (if $p=q$ then consider $2E_p$). Is there a uniform $k_0>0$ (independent of $p$ and $q$) such that $$\sigma^* A^{\otimes k}\otimes\mathcal O_{\widetilde X}(-E_p-E_q)$$ is positive whenever $k\ge k_0$?</p> <p><strong>EDIT bis.</strong> Here is a beginning of a possible proof. Le us take the case $p=q$ and suppose the contrary. Then, there is a sequence of points $(p_k)\subset X$ such that $$\sigma^* A^{\otimes k}\otimes\mathcal O_{\widetilde X}(-2E_{p_k})$$ is not positive definite. Since $X$ is compact, after extracting a subsequence we may suppose that $p_k\to p\in X$. Let $k_0$ be a integer such that $$\sigma^* A^{\otimes k}\otimes\mathcal O_{\widetilde X}(-2E_{p})$$ is positive definite for all $k>k_0$. This integer certainly exists, since $\mathcal O_{E_p}(-E_p)$ is positive. </p> <p>If we are able to construct for all points $q$ nearby $p$ a smooth hermitian metric such that $$\sigma^* A^{\otimes k}\otimes\mathcal O_{\widetilde X}(-2E_{q})$$ is positive definite whenever $k\ge k_0$ we then get a contradiction and we are done.</p> <p>For the moment I am not still able to do this last part. This should be achieved by a somehow clever use of a partition of unity on $\widetilde X$.</p> http://mathoverflow.net/questions/48356/uniformity-of-ampleness/48359#48359 Answer by J.C. Ottem for Uniformity of ampleness J.C. Ottem 2010-12-05T11:44:02Z 2010-12-05T23:32:03Z <p>I don't think it would be possible to put restrictions on $X$ and $A$ such that $A^k\otimes L$ is ample for any line bundle $L$. If such a condition holds, then in particular every line bundle is ample (which is impossible unless $X$ is a point). </p> <p>Perhaps by restricting the set of line bundles $L$ would give you better results, but even in this case it might require specific conditions on $X$, e.g., letting $L$ vary over the effective line bundles, would give that the closures of the ample cone and the effective cone are equal, which is a strong requirement. </p> <p><strong>Comment to the 2nd question:</strong> How about something like this: Let $I=I_{p,q}$ be the ideal sheaf of $p\cup q$ and let $p:X'\to X$ be the blow-up of $X$ with center $I$ with exceptional divisor $E$. Let $A=O(1)$ and let $F$ be a coherent sheaf on $X'$. We want to show that $L=p^*O(n) \otimes O(-E)$ is ample, or equivalently that large powers of $L$ kill the higher cohomology of $F$. By the Leray spectral sequence,</p> <p>$$H^i(X',L^{\otimes k}\otimes F)=H^i(X, I^k(nk) \otimes p_* F).$$ This latter group vanishes for $i>0$ and $k/n$ large, since $A=O(1)$ is ample $(p_*O(−kE)=I^k$, all the higher direct images $R^i O(-kE)$ vanish, and $p_*F$ is coherent). So if we can show that this $n$ can be chosen independently of $p,q$ we should be done. Note that when $F=O_X$, $n$ can be chosen independently of $p,q$ since all $I$ have the same Hilbert polynomial. </p> http://mathoverflow.net/questions/48356/uniformity-of-ampleness/48376#48376 Answer by Sándor Kovács for Uniformity of ampleness Sándor Kovács 2010-12-05T17:25:16Z 2010-12-05T17:25:16Z <p>You are essentially asking about a bound on the Seshadri constant of $A$ (on $X$). In fact, you are asking for something a little stronger. You can see the definition and basic properties of Seshadri constants in Lazarsfeld's <a href="http://books.google.com/books?id=jAWVmIz80A4C&amp;pg=PA269&amp;dq=lazarsfeld+positivity+seshadri+constant&amp;hl=en&amp;ei=bcb7TP3SBYP-8AaWuuWRCw&amp;sa=X&amp;oi=book_result&amp;ct=result&amp;resnum=1&amp;ved=0CCMQ6AEwAA#v=onepage&amp;q&amp;f=false" rel="nofollow">Positivity in algebraic geometry</a>. </p> <p>The answer to your first question is obviously <em>no</em> as already pointed out by Francesco and JC.</p> <p>In the second question, do you want something independent of $X$? This is not going to happen for special points of $X$. Miranda gave examples (see Lazarsfeld's book) of surfaces with arbitrarily small Seshadri constants which implies that you cannot have a bound that works for all $X$. </p> <p>If your bound may depend on $X$, then something along the lines of what JC suggests should work.</p> http://mathoverflow.net/questions/48356/uniformity-of-ampleness/48420#48420 Answer by Sándor Kovács for Uniformity of ampleness Sándor Kovács 2010-12-06T05:11:14Z 2010-12-07T06:15:24Z <blockquote> <p><strong>Remark:</strong> If $p=q$, then one can just work with $E_p$ instead of $2E_p$ and then at the end take $2k_0$ instead of $k_0$, so we may assume that $p\neq q$ and in particular that the exceptional divisor to be subtracted is reduced.</p> </blockquote> <p>-</p> <blockquote> <p><strong>Lemma 1.</strong> Let $D$ be a semi-ample Cartier divisor on a smooth projective variety $Y$ and assume that for any proper curve $C\subseteq Y$, the intersection number $D\cdot C>0$. Then $D$ is ample.</p> </blockquote> <p><em>Proof.</em> Consider the morphism induced by a large enough multiple of $D$. If it had a positive dimensional fiber, then it would contain a proper curve which would have intersection $0$ with $L$ which contradicts the assumption. <strong>Q.E.D.</strong></p> <blockquote> <p><strong>Lemma 2.</strong> Let $X$ be a a smooth projective variety, $\sigma: Y\to X$ the blow up of the points $p_1,\dots,p_r\in X$ with (reduced) exceptional divisor $E\subset Y$ and finally let $A$ be an ample Cartier divisor on $X$. Assume that $k_0,k_1\in\mathbb N$ are such that $k_0A-K_X$ is ample and $k_1(\sigma^*A)-E$ is nef. Then $k(\sigma^*A)-E$ is ample for any $k\geq k_0+\dim X \cdot k_1+1$.</p> </blockquote> <p><em>Proof.</em> First observe that $K_Y\sim \sigma^* K_X + (\dim X−1) E$ and hence with $m=k-k_0-\dim X\cdot k_1> 0$, <code>$$(k(\sigma^*A)-E)-K_Y\sim m(\sigma^*A) + \sigma^*(k_0 A-K_X) + \dim X \cdot(k_1(\sigma^*A)-E)$$</code> is nef and big. Then by the Basepoint-free theorem $k(\sigma^*A)-E$ is semi-ample. It also follows that for any proper curve $C\subseteq Y$, the intersection number $(k(\sigma^*A)-E)\cdot C>0$. Indeed, if $C\subseteq E$, then $\sigma^*A\cdot C=0$ and $-E\cdot C>0$ and if $C\not\subseteq E$, then $(\sigma^*A)\cdot C>0$ and $(k_0(\sigma^*A)-E)\cdot C\geq 0$. This is enough as $k>k_0$. Finally, then $k(\sigma^*A)-E$ is ample by Lemma 1. <strong>Q.E.D.</strong></p> <blockquote> <p><strong>Claim</strong> The <em>motivating</em> positivity statement of the question is true.</p> </blockquote> <p><em>Proof.</em> Let $k_0$ be such that $k_0A-K_X$ is ample and let $k_1$ be an integer that is larger than $1/\varepsilon_p+1/\varepsilon_q$ for the <em>Seshadri constants</em> $\varepsilon_p=\varepsilon(A, p)$ and $\varepsilon_q=\varepsilon(\sigma_p^*A-E_p, q)$, where $\sigma_p$ is the blow up of $p$ alone. Then Lemma 2 implies the desired statement.</p> <p>Note that for a fixed $X$ and fixed $A$ there is a lower bound for the Seshadri constants that works for all $p\in X$.</p> http://mathoverflow.net/questions/48356/uniformity-of-ampleness/48446#48446 Answer by damiano for Uniformity of ampleness damiano 2010-12-06T14:53:32Z 2010-12-06T14:53:32Z <p>I see that Sándor already gave an answer to the question, but I wanted to expand on my comment, giving an answer that does not rely on the Basepoint-free Theorem. It exploits the fact that ampleness is open both in the cone of divisors and in families, and that the family of divisors that we consider is parameterized by a quasi-compact scheme (namely $X \times X$, or more precisely $(X \times X \setminus \Delta) \sqcup \Delta$, where $\Delta$ denote the diagonal of $X \times X$).</p> <p>Let $X$ be a smooth projective variety and let $A$ be an ample divisor on $X$. For $p \in X$ denote by $E_p$ the exceptional divisor of the blow up of $X$ at $p$; to simplify the notation, denote also by $A$ the pull-back of $A$ to the blow up of $X$ at $p$.</p> <p><strong>Lemma.</strong> Let $p$ be a point of $X$ and let $A$ be an ample divisor on $X$. For large enough $k \in \mathbb{R}$ the divisor $kA-E_p$ is ample on $X_p$.</p> <p><em>Proof.</em> Let $B$ be an ample divisor on $X_p$. Write $B=B'-tE_p$, where $B'$ is the pull-back of a divisor on $X$ and $t \in \mathbb{R}$; note that the ampleness of $B$ implies that $t>0$. Choose $h$ large enough so that $hA-B'$ is ample on $X$; we deduce that the divisor $hA-tE_p = (hA-B') + (B'-tE_p) = (hA-B') + B$ is ample on $X_p$, and the lemma follows.</p> <p>Observe that the Lemma implies that for $p,q \in X$ the divisor $kA-E_p-E_q$ is ample on $(X_p)_q$ for sufficiently large $k$, by similar arguments.</p> <p>For $k \in \mathbb{R}$ define $A_k := \{(p,q) \in X \times X \mid kA-E_p-E_q {\textrm{ is ample}}\}$. Since the property of being ample is an open property (see Lazarsfeld's Positivity I, Theorem 1.2.17), it follows that $A_k$ is (the set of closed points of) an open set. Moreover, applying the Lemma, we deduce that $\cup _k A_k = X \times X$. Finally, by quasi-compactness of $X \times X$ and the inclusions $A_k \subset A_{k'}$ for $k &lt; k'$, we conclude that a fixed $k$ suffices for all pairs of points.</p> http://mathoverflow.net/questions/48356/uniformity-of-ampleness/48524#48524 Answer by diverietti for Uniformity of ampleness diverietti 2010-12-07T00:46:58Z 2010-12-07T01:00:35Z <p><strong>1.</strong> Here is an elementary and constructive proof from a hermitian point of view.</p> <p>I will reproduce it only in the case of curves and blow-up equal to the identity, the general case being just more complicated to write.</p> <p>Let $C$ be a compact curve and $A\to C$ a positive line bundle. If the uniformity is not true, then there exists a sequence $(p_k)\subset C$ such that $$A^{\otimes k}\otimes\mathcal O_C(-p_k)$$ is not positive. Up to subsequence we can suppose that $p_k\to p\in C$. Let $k_0$ be an integer such that $$A^{\otimes k_0}\otimes\mathcal O_C(-p)$$ is positive when $\mathcal O_C(-p)$ is endowed with the following metric:</p> <p>Take a trivialization of $\mathcal O_C(-p)$ consisting in a coordinate chart $U$ centered in $p$ and in the open set <code>$V_p=C\setminus\{p\}$</code> complementary of the point $p$. Put the trivial metrics $h_{U}$ and $h_{V_p}$ on this two trivialization and glue them together with the very simple partition of unity given by a smooth function $\vartheta\colon C\to\mathbb[0,1]$ which has compact support contained in $U$ and is identically equal to $1$ in an open neighborhood $\Omega$ of $p$; the metric on $\mathcal O_C(-p)$ is thus given by <code>$h_{\mathcal O_C(-p)}=\vartheta\,h_U+(1-\vartheta)\,h_{V_p}$</code>.</p> <p>Then, for every $q$ in the aforesaid open neighborhood we can put the metric $h_{\mathcal O_C(-q)}$ on $\mathcal O_C(-q)$ given by <code>$\vartheta\,h_U+(1-\vartheta)\,h_{V_q}$</code> where $h_{V_q}$ is the constant metric on the trivialization <code>$V_q=C\setminus\{q\}$</code> of $\mathcal O_C(-q)$. </p> <p>These two metrics are in fact equal Therefore, the two curvatures coincide and $$A^{\otimes k_0}\otimes\mathcal O_C(-q)$$ is positive, contradiction.</p> <p><strong>2.</strong> If you prefer a less constructive and more global approach, here it is:</p> <p>Let $p$ and $q$ two distinct points on a compact curve $C$, the $\mathcal O_C(p-q)$ has zero first Chern class, and thus this line bundle admits a metric $h$ of identically zero curvature <code>$i\,\Theta(\mathcal O_C(p-q),h)$</code> (this is just the $\partial\bar\partial$-lemma). Now put any smooth hermitian metric on $h_q$ on $\mathcal O_C(q)$. Then $h_p=h\otimes h_q$ is a metric on $\mathcal O_C(p)$.</p> <p>Therefore <code>\begin{aligned} i\,\Theta(\mathcal O_C(p),h_p)&amp;=i\,\Theta(\mathcal O_C(p),h_p)-i\,\Theta(\mathcal O_C(q),h_q)+i\,\Theta(\mathcal O_C(q),h_q) \\ &amp;=i\,\Theta(\mathcal O_C(p-q),\underbrace{h_p\otimes h_q^{-1}}_{=h})+i\,\Theta(\mathcal O_C(q),h_q)\\ &amp;=i\,\Theta(\mathcal O_C(q),h_q), \end{aligned}</code> so that the same constant $k_0$ can be taken for all prime divisor $p$ in order to have that $$A^{\otimes k}\otimes\mathcal O_C(-p)$$ has positive definite Chern curvature.</p>