5
$\begingroup$

Let $X$ be a smooth complex variety of dimension $3$ and $Y$ a (perhaps singular) normal complex variety also of dimension $3$ which is smooth outside a point $y \in Y$. If needed one may assume that both $X$ and $Y$ are projective.

Let $f:X \to Y$ be a proper holomorphic map satisfying the following properties:

  1. the map $f$ is a biholomorphism between $X-f^{-1}(y)$ and $Y-\{y\}$.
  2. the pre-image $f^{-1}(y)$ is (set theoretically) a simple normal crossing divisor.

Question 1. Are the conormal bundles of the irreducible components of $f^{-1}(y)$ pseudo-effective ?

Remark. This question is related to Contracting divisors to a point. Motivated by one of the answers there I posted, a few days ago, a previous version of this question asking if the conormal of the irreducible components are ample. Already in the case where $f^{-1}(y)$ is irreducible this does not seem to be true, contrary to what is claimed in one of the answers to the question linked above. The blow-up of contractible rational curves (existence due to Laufer) with conormal bundle $\mathcal O \oplus \mathcal O(2)$ provide counter-examples. An easier counter-example for my previous question (ampleness of conormal bundles of irreducible components of the exceptional divisor) can be obtained as the blow-up of a smooth point on $\mathbb C^3$ and then the blow-up of a line on the exceptional divisor. The last exceptional divisor, say $E$, contains a $(-1)$-curve $C$ such that $N^*_E \cdot C = -1$.

Still it seems reasonable to ask if the conormal bundle carries some form of positivity.

Question 2. Assuming that the answer to Question 1 is positive, can we say something about the nef part of the Zariski decomposition of $N^*_E$ for an irreducible component $E$ of $f^{-1}(y)$? Can we at least guarantee that it is non-trivial ?

Any references dealing with the subject are mostly welcome.


Added later. The answer to Question 1 seems to be positive. Replace $Y$ by a a sufficiently small neighborhood of $y$. Fix an irreducible component $E$ of the exceptional divisor and let $h$ be a non-constant holomorphic function on $Y$ vanishing at $y$. The pull-back of $h$ under $f$ is a holomorphic function vanishing at $E$, i.e. $f^*h \in H^0(X,\mathcal I)$ where $\mathcal I$ is the ideal sheaf defining $E$. If $k$ is the biggest integer such that $f^*h \in H^0(X,\mathcal I^k)$ then $f^*h$ induces a non-zero section of $\mathcal I^k/\mathcal I^{k+1}$ and therefore of ${N^*_E}^{\otimes k}$. It follows that $N^*_E$ is pseudo-effective.


Added even later. Aparently the conormal bundle of $E$ is a big line-bundle. This should be a consequence of Theorem 3.7 of Faisceaux ample sur les espaces analytiques by Vincenzo Ancona which says that there exists an (non necessarily reduced) ideal sheaf $\mathcal I\subset \mathcal O_X$ defining an analytic subspace $Z$ (analogue of scheme) with $Z_{red} = Y$ and with ample conormal sheaf $N^*_Z = \mathcal I/\mathcal I^2$. Notice that the conormal sheaf is not necessarily locally free and ampleness here means that for any coherent sheaf $\mathcal F$ on $Z$ we have surjectivity of the morphism $$ H^0(Z, \mathcal F \otimes Sym^n N^*_Z ) \otimes \mathcal O_Z \to \mathcal F \otimes Sym^n N^*_Z $$ when $n\gg 0$.

Along an open subset $U$ of $E$, $Z$ coincides with a thickening of $U$ (i.e. $Z_{|U} = kE_{|U}$ and the ampleness of $N^*_Z$ allows us to produce global sections of $Sym^n N^*_Z$ ($n\gg0$) which will separate points in $U$ and will induce sections of powers of ${N^*_E}^{\otimes nk}$ with the same property. This is enough to prove that $N^*_E$ is big.


I am still interested in references on the subject and alternative arguments to deal with questions 1 and 2.

$\endgroup$
1
$\begingroup$

There are $3$-folds contractions $f : X \longrightarrow Y$ which contract only a $\mathbb{P}^1$ (set-theoretically) and the conormal bundle of this $\mathbb{P}^1$ is $\mathcal{O}(-1) \oplus \mathcal{O}(3)$.

On the other ahnd, this is precisely what locally $\mathbb{Q}$-factorial singularities are done for. To avoid this kind of weird phenomena.

$\endgroup$
4
  • $\begingroup$ but these maps don't satisfy condition (2) of the question... $\endgroup$ – user47305 Feb 1 '17 at 19:35
  • $\begingroup$ @Mark : sure! As the first counter-example given by the OP ($\mathcal{O} \oplus \mathcal{O}(-2)$) doesn't either! But perhaps if you blow it up... $\endgroup$ – Libli Feb 1 '17 at 19:38
  • $\begingroup$ Thanks for the comment. I agree that locally $\mathbb Q$-factorial is a natural condition but I also believe that the question is natural as stated.Of course, it would be nice to have an argument to deal with question 2 when $Y$ is locally $\mathbb Q$-factorial, or even when $Y$ is smooth. $\endgroup$ – Jorge Vitório Pereira Feb 2 '17 at 1:27
  • $\begingroup$ @Libli: I see... We can use Sándor's "slick" argument in mathoverflow.net/questions/86123/… to prove that the conormal is big when the singularity if $\mathbb Q$-factorial. $\endgroup$ – Jorge Vitório Pereira Feb 2 '17 at 14:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.