Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $ f: \mathbb{P}^n \dashrightarrow (\mathbb{P}^1)^n , [x_0:\dots :x_n] \mapsto ([x_0,x_1],[x_0,x_2], \dots ,[x_0,x_n])$ a birational map.

In particular, if $X$ is the blow-up of $\mathbb{P}^n$ at $r+n-1$ points and $X'$ is the blow-up of $(\mathbb{P}^1)^n$ at $r$ points. Consider $\phi : X \dashrightarrow X'$ the birational map that makes the diagram with the blow-up's and $f$ commute, is $\phi$ a Crepant birational map?

share|improve this question
    
Maybe you don't believe me, but I still contend that $f$ cannot be a birational map. It is projective: factor as the graph of $f$ followed by the projection onto the second factor. $f$ being separated, means that the graph of $f$ is a closed immersion. Thus, $f$ is projective and therefore proper. Kontsevich proved that if $X$ and $Y$ admit a proper birational map, then the hodge numbers must be the same. In the previous question, I show that the hodge numbers are not the same: mathoverflow.net/questions/123700/crepant-birational-map/… –  Andrew Stout Mar 6 '13 at 7:14
    
Even if you believe $f$ is a birational morphism, since blow-ups are projective, we have that $X$ has the same hodge polynomial of $\mathbb{P}^n$ and $X'$ has the same hodge polynomial of $(\mathbb{P}^1)^n$, but I have already computed these hodge polynomials in the last question. They are not equal. Therefore, there is no crepant resolution of $X \rightarrow X'$ by Batyrev's or Kontsevich's theorem because $H(X,u,v) \neq H(X',u,v)$. –  Andrew Stout Mar 6 '13 at 8:00
1  
@Andrew: doesn't $f$ restrict to an isomorphism between the obvious open subsets isomorphic to $\mathbb{A}^n$? –  quim Mar 6 '13 at 8:22
    
yes, this is true, $f$ is birational, but it is not universally closed. I made an error. –  Andrew Stout Mar 6 '13 at 8:38
add comment

1 Answer 1

up vote 3 down vote accepted

Suppose for the moment that $n=2$. Then the birational map $f\colon \mathbb{P}^n\dashrightarrow(\mathbb{P}^1)^n$ described in the question, which is $f\colon [x:y:z] \dashrightarrow([x:y],[x:z])$ has two base-points, $[0:0:1]$, $[0:1:0]$ and the inverse is $f^{-1}\colon ([a:b],[c:d]) \dashrightarrow[ac:bc:ad]$ and has one base-point, namely $([0:1],[0:1])$. If $X\to \mathbb{P}^2$ is the blow-up of $[0:0:1]$, $[0:1:0]$ and $X'$ is the blow-up of $(\mathbb{P}^1)^2$ at $([0:1],[0:1])$, the corresponding map $X \dashrightarrow X'$ is an isomorphism, and thus a "crepant" birational map. If you want to blow-up more points on $X$ and $X'$, which corresponds via this isomorphism you again get an isomorphism. If you blow-up other points you get a birational map which is not an isomorphism and thus not crepant (between two smooth projective surfaces crepant=isomorphism).

For $n>2$, the birational map $f$ has more that only isolated base-points, so you need to blow-up more complicated stuff, then contract, and maybe blow-up again... and can get a sequence of simple birational maps (blow-ups or inverse of blow-ups) from $\mathbb{P}^n$ to $(\mathbb{P}^1)^n$. In any case, you cannot get morphisms if you only blow-up points of $\mathbb{P}^n$.

share|improve this answer
    
@Jérémy: just a LaTeX suggestion: if you use $\dashrightarrow$ it looks much better. Cheers! –  Sándor Kovács Mar 6 '13 at 11:53
    
OK, that was \dasrightharrow –  Sándor Kovács Mar 6 '13 at 11:55
    
of course, yes, segre embedding is a blow up of one point of $\mathbb{P}^2$. The exception divisors below should line up in the formula I presented. –  Andrew Stout Mar 6 '13 at 12:03
    
@Sándor Kovács. Normally I use $\dasharrow$ and it works in LaTeX but not on this website, thanks for the hint. I fixed it. You can also use \ mapstochar\ dashrightarrow in fact. @Andrew: By Segre embedding you probably mean from $\mathbb{P}^1\times \mathbb{P}^1$ to the quadric in $\mathbb{P}^3$. But in this case it is the blow-up of two pts of $\mathbb{P}^2$, followed by the contraction of the line passing through the two points. –  Jérémy Blanc Mar 6 '13 at 12:11
    
In fact $\mapstochar$ does not work on MO. –  Jérémy Blanc Mar 6 '13 at 12:13
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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