3
$\begingroup$

Recently I posted an "announcement" on arxiv where I said something to the effect of "this is the first example we know where contracting (a tree of) rational curves from a non-singular algebraic surface (over $\mathbb{C}$) leads to a (normal) non-algebraic surface." Now that I am writing up the actual paper, I thought that may be I should broaden my knowledge base! So I ask: is there some example of this sort already known?

Remarks:

  1. Grauert constructed (in this article: mathscinet link, springerlink) such non-algebraic surfaces by blowing down curves of genus $\geq 2$ (in Section 4.8, Example d) and remarked that he did not know if it is possible (to construct non-algebraic normal surfaces) from blowing down tori.

  2. An example of Nagata described in a previous question of mine shows that it is indeed possible with tori.

  3. In the second paragraph of the first page of this article (mathscinet link) Artin mentions an example of Hironaka that shows that "in general there are no numerical criteria equivalent with (algebraic) contractibility of a given curve." Does anyone know what is this example?

  4. Happy New Year!

Improve this question
$\endgroup$
5
  • $\begingroup$ Check out Schröer's papers arxiv.org/abs/math/9911004 and arxiv.org/abs/math/9911119. $\endgroup$
    – Angelo
    Commented Dec 30, 2012 at 21:32
  • $\begingroup$ @Angelo: Thanks! But I knew of these (perhaps should have mentioned them in the question) and they do not contain (and as far as I can see, do not shed any light on the construction of) any such examples. $\endgroup$
    – pinaki
    Commented Dec 30, 2012 at 21:41
  • 1
    $\begingroup$ Algebraic spaces are "algebraic". It says so right in the name! $\endgroup$
    – Jason Starr
    Commented Dec 31, 2012 at 11:31
  • $\begingroup$ @Jason: OK, I admit it wasn't such a good choice of words :) Would you prefer if I change "something non-algebraic" to "non-algebraic surfaces"? $\endgroup$
    – pinaki
    Commented Dec 31, 2012 at 13:33
  • $\begingroup$ @auniket: Of course I understand what you mean, so my comment is joking. I think "non-schematic" is a bit more precise than "non-algebraic". $\endgroup$
    – Jason Starr
    Commented Dec 31, 2012 at 15:55

0

Reset to default

You must log in to answer this question.