Skip to main content
3 of 5
added 573 characters in body
Dmitri Panov
  • 28.9k
  • 4
  • 92
  • 161

Here is an example. Let $X=\mathbb CP^2\times \mathbb CP^1$ blown up in one point. Denote by $E$ the exceptional divisor, and denote by $\pi$ the projection of $X$ to $\mathbb CP^2$. Then for $n=n(A)$ sufficiently large $L_n=\pi^*(O(n))\otimes O(E)$ is what you want. To see this we need the following two simple facts: $c_1(\pi^*(O(n)))\cdot c_1(O(E))=0$ and $c_1(O(E))^3=1$. $L_{n}$ is not big because the $H^0(kL_n)$ grows quadratically with $k$.

The idea of this example is very simple, it works in dimensions $2m+1$. We take a semi-ample line bundle $L_{sa}$ with Itaka dimension $2m$ http://en.wikipedia.org/wiki/Iitaka_dimension (in particular it is not big), and tensor it with a line bundle corresponding to an exceptional divisor $E$. We chose them so that $c_1(L_{sa})\cdot c_1(O(E))=0$, i.e., these bundles "don't interact". For large $n$ the class $(c_1(nL_{sa}))^k$ (provided $k\le 2m$) is represented by a cycle of a high degree (with respect to $A$), so it "beats" $(c_1(A))^k$. Finally $E^{2m+1}=1$.

Dmitri Panov
  • 28.9k
  • 4
  • 92
  • 161