## When is  a surface in a threefold  contractible to a curve?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Given a threefold $Y$ containing a surface $S$. Under which conditions can I contract $S$ so that I still end up with a smooth variety? In other words

what are the conditions for the existence of a smooth variety $X$ and a morphism $Y\rightarrow X$ such that the image of $S$ under the morphism is a curve and the morphism is an isomorphism away from $S$?

What are the conditions when $Y$ is a fourfold and $S$ is still a surface?

-

## 3 Answers

You want a divisorial contraction $Y \to X$ on a smooth 3-fold Y. Such contractions have been classified by Mori in his paper "3-folds whose canonical bundles are not numerically effective", thm 3.3. There are exactly the following possibilities:

1. the smooth blow-up of a point; in this case $S$ is isomorphic to $\mathbb{P}^2$ with normal bundle $\mathcal{O}(-1)$;

2. the smooth blow-up of a curve, in this case $S$ is a ruled surface whose normal bundle restricted to the ruling has degree $(-1)$; this is the situation described by Donu Arapura in his answer;

3. the contraction of a plane $S$ with normal bundle $\mathcal{O}(-2)$; in this case the surface $X$ has an isolated singularity isomorphic to the quotient of $\mathbb{A}^3$ by the involution $(x,y,z) \to (-x, -y, -z)$;

4. the contraction of a smooth quadric $S$ whose rulings are numerically equivalent; in this case the image of $S$ is a single point, which is a singular point for $X$;

5. the contraction of a singular quadric $S$; again, the image of $S$ is a point in $X$.

Summing up, if you want that $X$ is smooth and the image of $S$ is a curve, the only possibility is 2.

In the case where $Y$ is a smooth 4-fold and $S$ is a smooth surface, the answer can be found in the paper of Kawamata "Small contractions of four-dimensional algebraic manifolds": in this case the only possibility is that $S$ is the disjoint union of copies of $\mathbb{P}^2$, with normal bundle $\mathcal{O}(-1) \oplus \mathcal{O}(-1)$

-

@ Francesco. Thank you very much for your answer.   In the  of a smooth 4-fold, Kawamata's paper assumed that the contraction is " a small elementary contraction". It sounds that this is a pretty strong restriction since  there are no small elementary contractions in the case of algebraic 3-folds. Do you know if there are any  results with weaker assumptions? – JME Aug 14 2010 at 18:52
Unfortunately I'm not aware of any results with weaker assumptions. Maybe they exist, but I'm not really a specialist in Mory theory... – Francesco Polizzi Aug 18 2010 at 9:43

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

I think there are birational geometers lurking around who would do a better job. But let me make a small attempt for now. If you blow up a smooth curve on a smooth threefold, you would get a ruled surface with normal bundle restricting to $O(-1)$ along the rulings. I think you can do the converse if you allow yourself to work in the category of smooth algebraic spaces [see Artin, Cor. 6.11, Algebraization of formal moduli..., Annals 1970], but such a statement is generally be false for varieties. I remember learning this from Moishezon long ago.

I think that if in addition to the above conditions, the fibre of the ruling is an extremal ray in Mori's sense, you can probably use his stuff to get a projective contraction. Take a look at Kenji Matsuki's book on the Intro. to the Mori program for more about that.

-

I hadn't realized there was already an answer, but I'll let mine stand for now. – Donu Arapura Jul 11 2010 at 22:07
Your reference is very useful! Thank you! – JME Jul 11 2010 at 23:19

You want a divisorial contraction. This paper may be the answer.

1. MR2041612 (2005c:14019) Tziolas, Nikolaos . Terminal 3-fold divisorial contractions of a surface to a curve. I. Compositio Math. 139 (2003), no. 3, 239--261.

from the paper "This paper studies divisorial contractions of a surface to a curve, i.e. when dim $\Gamma = 1$ and X has only index 1 terminal singularities along $\Gamma$. It is not always true that given $\Gamma \subset X$, there is a terminal contraction of a surface to $\Gamma$. We investigate when there is one, give criteria for existence or not and in the case that there is a terminal contraction we also describe the singularities of Y."

-
Do you have a reference for the case where $X$ and $Y$ are smooth fourfolds and $S$ is still a surface contracting to a curve? – JME Jul 11 2010 at 22:55

1
@JME, I can't access these two papers right now but see alpha.science.unitn.it/~andreatt/bravo/rev.html (MR1620110, MR1638131). "...They achieve in dimension four what Mori completed for threefolds. In this they constitute the first significant step of the last decade in the four-dimensional minimal model program..." If not, ask Donu Arapura ! – SandeepJ Jul 12 2010 at 13:11
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 41, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9436323046684265, "perplexity_flag": "head"}