10
$\begingroup$

Let $X$ be a (smooth, non-compact) complex space. By a compactification of $X$ we mean a compact complex space $\overline X$ which contains a dense open subset biholomorphic to $X$ (we shall identify this subset with $X$) and such that $\overline X\setminus X$ is a proper analytic subset (with no conditions on its codimension).

In particular, given two (different) compactifications of $X$, they always contain biholomorphic dense open subsets.

My question is: given two compactifications of $X$, are they necessarily bimeromorphic?

More precisely, does the biholomorphism between the two dense open subsets always extend to a global bimeromorphic map?

I guess the answer is no, but after a moment of reflection I cannot find any counterexample. Perhaps, it would suffice to look at compactifications of $\mathbb C^2$...

$\endgroup$
3
  • $\begingroup$ This seems related: mathoverflow.net/questions/68421/… $\endgroup$
    – M P
    Commented Jan 18, 2012 at 16:36
  • $\begingroup$ I think that the tag ag.algebraic-geometry could be also appropriate here. I added it $\endgroup$ Commented Jan 18, 2012 at 17:51
  • $\begingroup$ As you wish! The power of points... :) $\endgroup$
    – diverietti
    Commented Jan 18, 2012 at 18:13

2 Answers 2

10
$\begingroup$

As you guessed, the answer is no.

The following counterexample in dimension $2$ can be found in Vo Van Tan's paper On the compactification of strongly pseudoconvex surfaces III, Mathematische Zeitschrift 195 (1987), 259-267.

The Stein surface $\mathbb{C}^* \times \mathbb{C}^*$ admits two algebraic compactifications $M_1$ and $M_2$ which are not bimeromorphic. In fact, $M_1=\mathbb{P}^1 \times \mathbb{P}^1$ is a rational surface whereas $M_2$ is a $\mathbb{P}^1$-bundle over an elliptic curve.

$\endgroup$
7
$\begingroup$

Another example, different but diffeomorphic to Polizzi's, is given by
$E \times \mathbb C$, where $E$ is a fixed elliptic curve say $ \mathbb C^* / \lbrace z \mapsto 2z \rbrace$. It can be compactified as the projective surface $E \times \mathbb P^1$ or as the (non-Kähler) Hopf surface $\mathbb C^2-\{0\} / \lbrace (z,w) \mapsto (2z,2w) \rbrace$.

Notice that the two compactifications have fields of meromorphic functions of different transcendence degree over $\mathbb C$, i.e., they have different algebraic dimensions.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .