4
votes
1answer
468 views

Why is the inverse of a bijective rational map rational?

Let $f:X\to Y$ be a bijective rational map of an open dense subset $X$ of $\mathbb{C}\times\mathbb{C}$ onto an open dense subset $Y$ of $\mathbb{C}\times\mathbb{C}$. How to prove that the inverse map ...
3
votes
0answers
77 views

birational classification of rationally connected 3-folds

What is the birational classification of (smooth projective) rationally connected 3-folds (over algebraically closed fields of characteristic $0$ or even $\mathbf{C}$, if $\mathrm{char}(k) = p > ...
2
votes
1answer
220 views

Is each rationally chain connected surface rational?

Consider a 2-dimensional smooth projective algebraic surface S over complex numbers. Could you recommend any exact references to the proofs of the following assertions (of course, if they are true): ...
2
votes
0answers
75 views

singularities preserved by integral closure

Let $X$ be an affine variety. Let $A$ be the coordinate ring of $X$ and let $K$ be the fraction field of $A$. Given a Galois extension $K\subset L$, let $B$ be the integral closure of $A$ in $L$. Let ...
3
votes
1answer
176 views

Vanishing theorems for pluri-canonical bundle

I would like to know if Grauer-Riemenschneider vanishing theorem is still true in the setting of pluri-canonical bundle, i.e. the power of canonical bundle. Let me recall Grauer-Riemenschneider ...
1
vote
2answers
242 views

Numerically negative exceptional divisor on a surface.

Suppose $S$ is an algebraic surface (possibly projective) over an algebraically closed field $k$. Suppose $D_i$ are irreducible smooth curves (rational, if you want) with negative self-intersection ...
3
votes
1answer
365 views

Exceptional loci are covered by rational curves: easy case

It's well-known that the exceptional locus of a birational morphism is covered by rational curves, in various degrees of generality. The best result I know in this direction is the following: Theorem ...
8
votes
3answers
455 views

Birational automorphisms of canonical models

Let $X$ be a variety with canonical singularities such that $K_X$ is ample. Do you have a reference of the fact that every birational map from $X$ to itself is biregular? Thank you
7
votes
1answer
408 views

Simplified treatment of resolutions of complex analytic varieties?

According to the article of Hauser: The Hironaka theorem on resolution of singularities http://www.ams.org/journals/bull/2003-40-03/S0273-0979-03-00982-0/home.html The existence of resolution of ...
1
vote
0answers
315 views

birational equivalence and mirror CYs

If a CY X is a mirror to Y then any CY Z which is birational to X is also a Mirror of Y. This is the motivation for the Kawamata's "moveable Kahler cone" which includes the Kahler cones of all the CYs ...