Return to Answer

Let $M=M_1\times M_2$ and $D_i$ the pull back of an anti-canonical divisor on $M_i$. Then $D_1+D_2\in |-K_M|$ but they are individually not ample. (They are nef though).

I don't know what you $\lambda$ is, but if you want coefficients strictly between $0$ and $1$, then choose two different anti-canonical divisor on each factor and multiply them by $1/2$.

To get an example with not nef components take $M$ to be the blow-up of $\mathbb P^n$ in a single point with $E\simeq \mathbb P^{n-1}$ the exceptional divisor. Then $M$ is a $\mathbb P^1$-bundle on $\mathbb P^{n-1}$. (There is a projection $\pi:M\to E$ with fibers isomorphic to $\mathbb P^1$).

Then the anti-canonical divisor of $M$ is something nef pulled-back from the $\mathbb P^{n-1}$ plus a multiple of $E$ which is not nef. More precisely, one can write $K_M\sim a\pi^*H+bE$ where $H\subseteq E$ is the hyperplane class. Now, if $F\simeq \mathbb P^1$ is a fiber of $\pi$, then $K_M|_{F}\sim K_{\mathbb P^1}$ so $b=-2$ and $(K_M+E)|_E\sim K_E\sim -nH$ and $E|_E\sim -H$, so $a=-(n+1)$, that is, $$ -K_M \sim (n+1)\pi^*H +2 E. $$

You can also consider the blow-up morphism $\sigma: M\to \mathbb P^n$ and write $$ -K_M \sim \sigma^*(-K_{\mathbb P^n}) - (n-1) E $$ in which case $-(n-1)E$ is not nef, but then the coefficients are not in the range you declared.

Now the good(?) news is that this hinges on the fact that $M$ is a blow-up and I believe that for $n>2$, $\mathbb P^n$ is the only manifold whose blow-up is Fano, so you might be able to get some kind of a statement by assuming that $M$ is not rational or something like that.

Let $M=M_1\times M_2$ and $D_i$ the pull back of an anti-canonical divisor on $M_i$. Then $D_1+D_2\in |-K_M|$ but they are individually not ample. (They are nef though).

I don't know what you $\lambda$ is, but if you want coefficients strictly between $0$ and $1$, then choose two different anti-canonical divisor on each factor and multiply them by $1/2$.

To get an example with not nef components take $M$ to be the blow-up of $\mathbb P^n$ in a single point with $E\simeq \mathbb P^{n-1}$ the exceptional divisor. Then $M$ is a $\mathbb P^1$-bundle on $\mathbb P^{n-1}$. (There is a projection $\pi:M\to E$ with fibers isomorphic to $\mathbb P^1$).

Then the anti-canonical divisor of $M$ is something nef pulled-back from the $\mathbb P^{n-1}$ plus a multiple of $E$ which is not nef. More precisely, one can write $K_M\sim a\pi^*H+bE$ where $H\subseteq E$ is the hyperplane class. Now, if $F\simeq \mathbb P^1$ is a fiber of $\pi$, then $K_M|_{F}\sim K_{\mathbb P^1}$ so $b=-2$ and $(K_M+E)|_E\sim K_E\sim -nH$ and $E|_E\sim -H$, so $a=-(n+1)$, that is, $$ -K_M \sim (n+1)\pi^*H +2 E. $$

You can also consider the blow-up morphism $\sigma: M\to \mathbb P^n$ and write $$ -K_M \sim \sigma^*(-K_{\mathbb P^n}) - (n-1) E $$ in which case $-(n-1)E$ is not nef, but then the coefficients are not in the range you declared.

This is definitely false with requiring ample.

Let $M=M_1\times M_2$ and $D_i$ the pull back of an anti-canonical divisor on $M_i$. Then $D_1+D_2\in |-K_M|$ but they are individually not ample. (They are nef though).

I don't know what you $\lambda$ is, but if you want coefficients strictly between $0$ and $1$, then choose two different anti-canonical divisor on each factor and multiply them by $1/2$.

To get an example with not nef components take $M$ to be the blow-up of $\mathbb P^n$ in a single point with $E\simeq \mathbb P^{n-1}$ the exceptional divisor. Then $M$ is a $\mathbb P^1$-bundle on $\mathbb P^{n-1}$. (There is a projection $\pi:M\to E$ with fibers isomorphic to $\mathbb P^1$).

Then the anti-canonical divisor of $M$ is something nef pulled-back from the $\mathbb P^{n-1}$ plus a multiple of $E$ which is not nef. More precisely, one can write $K_M\sim a\pi^*H+bE$ where $H\subseteq E$ is the hyperplane class. Now, if $F\simeq \mathbb P^1$ is a fiber of $\pi$, then $K_M|_{F}\sim K_{\mathbb P^1}$ so $b=-2$ and $(K_M+E)|_E\sim K_E\sim -nH$ and $E|_E\sim -H$, so $a=-(n+1)$, that is, $$ -K_M \sim (n+1)\pi^*H +2 E. $$

You can also consider the blow-up morphism $\sigma: M\to \mathbb P^n$ and write $$ -K_M \sim \sigma^*(-K_{\mathbb P^n}) - (n-1) E $$ in which case $-(n-1)E$ is not nef, but then the coefficients are not in the range you declared.

Now the good(?) news is that this hinges on the fact that $M$ is a blow-up and I believe that for $n>2$, $\mathbb P^n$ is the only manifold whose blow-up is Fano, so you might be able to get some kind of a statement by assuming that $M$ is not rational or something like that.

Let $M=M_1\times M_2$ and $D_i$ the pull back of an anti-canonical divisor on $M_i$. Then $D_1+D_2\in |-K_M|$ but they are individually not ample. (They are nef though).

I don't know what you $\lambda$ is, but if you want coefficients strictly between $0$ and $1$, then choose two different anti-canonical divisor on each factor and multiply them by $1/2$.

To get an example with not nef components take $M$ to be the blow-up of $\mathbb P^n$ in a single point with $E\simeq \mathbb P^{n-1}$ the exceptional divisor. Then $M$ is a $\mathbb P^1$-bundle on $\mathbb P^{n-1}$. (There is a projection $\pi:M\to E$ with fibers isomorphic to $\mathbb P^1$).

Then the anti-canonical divisor of $M$ is something nef pulled-back from the $\mathbb P^{n-1}$ plus a multiple of $E$ which is not nef. More precisely, one can write $K_M\sim a\pi^*H+bE$ where $H\subseteq E$ is the hyperplane class. Now, if $F\simeq \mathbb P^1$ is a fiber of $\pi$, then $K_M|_{F}\sim K_{\mathbb P^1}$ so $b=-2$ and $(K_M+E)|_E\sim K_E\sim -nH$ and $E|_E\sim -H$, so $a=-(n+1)$, that is, $$ -K_M \sim (n+1)\pi^*H +2 E. $$

You can also consider the blow-up morphism $\sigma: M\to \mathbb P^n$ and write $$ -K_M \sim \sigma^*(-K_{\mathbb P^n}) - (n-1) E $$ in which case $-(n-1)E$ is not nef, but then the coefficients are not in the range you declared.

Now the good(?) news is that this hinges on the fact that $M$ is a blow-up and I believe that for $n>2$, $\mathbb P^n$ is the only manifold whose blow-up is Fano, so you might be able to get some kind of a statement by assuming that $M$ is not rational or something like that.

This is definitely false with requiring ample.

Let $M=M_1\times M_2$ and $D_i$ the pull back of an anti-canonical divisor on $M_i$. Then $D_1+D_2\in |-K_M|$ but they are individually not ample. (They are nef though).

I don't know what you $\lambda$ is, but if you want coefficients strictly between $0$ and $1$, then choose two different anti-canonical divisor on each factor and multiply them by $1/2$.

To get an example with not nef components take $M$ to be the blow-up of $\mathbb P^n$ in a single point with $E\simeq \mathbb P^{n-1}$ the exceptional divisor. Then $M$ is a $\mathbb P^1$-bundle on $\mathbb P^{n-1}$ and an anti-canonical divisor is something nef pulled-back from the $\mathbb P^{n-1}$ plus a multiple of $E$ which is not nef.

Now the good(?) news is that this is hinges on the fact that $M$ is a blow-up and I believe that for $n>2$, $\mathbb P^n$ is the only manifold whose blow-up is Fano, so you might be able to get some kind of a statement by assuming that $M$ is not rational or something like that.

This is definitely false with requiring ample.

Let $M=M_1\times M_2$ and $D_i$ the pull back of an anti-canonical divisor on $M_i$. Then $D_1+D_2\in |-K_M|$ but they are individually not ample. (They are nef though).

I don't know what you $\lambda$ is, but if you want coefficients strictly between $0$ and $1$, then choose two different anti-canonical divisor on each factor and multiply them by $1/2$.

To get an example with not nef components take $M$ to be the blow-up of $\mathbb P^n$ in a single point with $E\simeq \mathbb P^{n-1}$ the exceptional divisor. Then $M$ is a $\mathbb P^1$-bundle on $\mathbb P^{n-1}$. (There is a projection $\pi:M\to E$ with fibers isomorphic to $\mathbb P^1$).

Then the anti-canonical divisor of $M$ is something nef pulled-back from the $\mathbb P^{n-1}$ plus a multiple of $E$ which is not nef. More precisely, one can write $K_M\sim a\pi^*H+bE$ where $H\subseteq E$ is the hyperplane class. Now, if $F\simeq \mathbb P^1$ is a fiber of $\pi$, then $K_M|_{F}\sim K_{\mathbb P^1}$ so $b=-2$ and $(K_M+E)|_E\sim K_E\sim -nH$ and $E|_E\sim -H$, so $a=-(n+1)$, that is, $$ -K_M \sim (n+1)\pi^*H +2 E. $$

You can also consider the blow-up morphism $\sigma: M\to \mathbb P^n$ and write $$ -K_M \sim \sigma^*(-K_{\mathbb P^n}) - (n-1) E $$ in which case $-(n-1)E$ is not nef, but then the coefficients are not in the range you declared.

Now the good(?) news is that this hinges on the fact that $M$ is a blow-up and I believe that for $n>2$, $\mathbb P^n$ is the only manifold whose blow-up is Fano, so you might be able to get some kind of a statement by assuming that $M$ is not rational or something like that.