Positivity of the anticanonical bundle of a rationally connected manifold - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T01:41:04Z http://mathoverflow.net/feeds/question/51964 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/51964/positivity-of-the-anticanonical-bundle-of-a-rationally-connected-manifold Positivity of the anticanonical bundle of a rationally connected manifold jvp 2011-01-13T14:42:14Z 2011-01-14T12:44:09Z <p>Let $X$ be a rationally connected smooth projective variety defined over $\mathbb C$. </p> <p>(1) Can we find a surface $S \subset X$ such that $(-K_X)^2 \cdot S > 0 ?$ If yes, can we assume that $S$ intersects properly a given codimension $2$ subvariety $V \subset X$ only at isolated points ? The answer is obviously <strong>no</strong>, as Artie pointed out in the comments. </p> <p>(2) Can the square of the first Chern Class of $K_X$ be numerically equivalent to $\sum \lambda_i Y_i$ where $\lambda_i \in \mathbb Q_{&lt;0}$ are negative rational numbers, and $Y_i$ are irreducible codimension two cycles ? </p> <hr> <p><strong>Edit</strong> : As Artie and Francesco noted, (1) is too much to ask for. I still would like to know if (2) can hold ?</p> <p><strong>Edit 2</strong> : The answer to (2) is yes. If we blow up a point in Francesco's example then we obtain a $3$-fold $Y$ with $K_Y = -F + 2E$. Thus $K_Y^2$ is numerically equivalent to $-4 \ell$, where $\ell$ is a line inside the exceptional divisor $E$.</p> http://mathoverflow.net/questions/51964/positivity-of-the-anticanonical-bundle-of-a-rationally-connected-manifold/51979#51979 Answer by Francesco Polizzi for Positivity of the anticanonical bundle of a rationally connected manifold Francesco Polizzi 2011-01-13T16:46:10Z 2011-01-14T12:44:09Z <p>It seems to me that the answer to your question is <strong>no</strong>, because of the following example (which came to my mind after reading Artie Prendergast-Smith's comment).</p> <p>Consider a pencil $\lambda Q_1 + \mu Q_2$ of quartic surfaces in $\mathbb{P}^3$, and let $Z$ be its base locus, that in general will be a smooth curve of degree $16$. Blowing-up $Z$, we obtain a smooth rationally connected $3$-fold $X$ together with a map $\pi \colon X \to \mathbb{P}^1$, which gives to $X$ the structure of a fibration in $K3$ surfaces. If $F$ is the class of a fibre of $\pi$, the formula for the canonical class of a blow-up yields </p> <p>$K_X=-F$. </p> <p>So for every surface $S \subset X$ one has $(-K_X)^2 \cdot S=0$. </p> <p>This can be obviously generalized in any dimension, by considering a pencil of hypersurfaces of degree $n+1$ in $\mathbb{P}^n$ and blowing-up the corresponding base locus. In this way one obtain a smooth rationally connected $n$-fold $X$ with a fibration $\pi \colon X \to \mathbb{P}^1$ in Calabi-Yau varieties, and the anticanonical divisor of $X$ coincides with a fibre of $\pi$.</p>