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

Suppose that $X$ and $Y$ are smooth projective varieties which are birationally equivalent. I would like to have that $$\textrm{deg} \ \textrm{td}(X) = \textrm{deg} \ \textrm{td}(Y).$$ Invoking the Hirzebruch-Riemann-Roch theorem, this boils down to showing that $$ \chi(X,\mathcal{O}_X) = \chi(Y,\mathcal{O}_Y).$$

This is probably a basic fact. A stronger statement is apparently shown in Birationale Transformation von linearen Scharen auf algebraischen Mannigfaltigkeiten by van der Waerden. The only problem is that I can't seem to find it in that article (probably because I don't read that well German).

For $\dim X =2$ one can prove this as Hartshorne does as follows.

Any birational transformation of nonsingular projective curves can be factored into a sequence of monoidal transformations and their inverses. For such a monoidal transformation, the result follows from Proposition 3.4 in Chapter V of Hartshorne.

Does this work in the general case?

share|improve this question
2  
In characteristic 0 there is a result of Wlodarczyk known as Weak Factorization Theorem which claims that every birational map between smooth varieties can be decomposed as a sequence of smooth blowups and smooth blowdowns. –  Sasha May 26 '10 at 3:29

4 Answers 4

up vote 10 down vote accepted

If you are willing to stick to characteristic zero, then you can assume that there is actually a morphism $f\colon X\longrightarrow Y$ realizing the birational equivalence (reason: look at the graph $\Gamma\subset X\times Y$ realizing the birational equivalence and take its closure, use resolution of singularities to resolve $\Gamma$, and then replace $X$ by $\Gamma$). In this case, $f_{*}\mathcal{O}_{X}=\mathcal{O}_{Y}$, and all higher direct images are zero, the Leray spectral sequence then implies that the Euler characteristics are equal.

More generally, if $Y$ has rational singularities and $f\colon X\longrightarrow Y$ is a proper birational map, with $X$ smooth, then $f_{*}\mathcal{O}_{X}=\mathcal{O}_Y$ and all higher direct images are zero (this is the definition of rational singularities) and so the same conclusion follows. Smooth varieties have rational singularities! (The computation for smooth varieties is necessary to show that the definition makes sense, i.e., that checking that this property holds for one resolution $X$ implies that it holds for all resolutions).

share|improve this answer

The dimensions $h^i(\mathcal O_X)$ of the cohomology groups of $\mathcal O_X$, and thus the Euler characteristic, are birational invariants of smooth proper varieties in positive characteristic as well, by a recent work of Andre Chatzistamatiou and Kay Rülling. It is not published yet but a preprint is available.

share|improve this answer

If you can settle for complex numbers, then there is the following simple argument. By the symmetry of the Hodge numbers, you have that $\dim H^p(X,\mathcal{O}_X) = \dim H^0(X,\Omega^p_X)$. So it suffices to show that the latter numbers are birational invariants. But whenever $X\to Y$ is birational, then its locus of indeterminacy has codimension at least two. On the other hand, Hartog's extension lemma says that functions (hence also p-forms) can be extended to the whole space if they are defined off a codimension two subset. One concludes that any birational map induces an isomorphism of global sections of the sheaf of p-forms, so we are done.

share|improve this answer
4  
This argument works for any subfield of the complex numbers as well of course. And it extends to any field of characteristic 0 by a Lefschetz principle argument (although as always there is a lot hidden in that statement). –  Ravi Vakil May 25 '10 at 21:45
3  
Hodge symmetry also follows from the strong Lefschetz theorem for Hodge cohomology and Serre duality. The strong Lefschetz theorem for Hodge cohomology follows, I believe, from the strong Lefschetz theorem for étale cohomology and $p$-adic Hodge theory. Hence there should be an algebraic, though very involved, proof. (Though using a $p$-adic Lefschetz principle, instead of a complex one.) –  Torsten Ekedahl May 26 '10 at 5:53

The quantity that you are asking about (i.e. $\chi(X,\mathcal O_X)$) is closely related to the arithmetic genus (namely, the arithmetic genus is equal to $(-1)^{\dim X}(\chi(X,\mathcal O_X)-1)$), and so you will probably have better luck searching for "birational invariance of arithmetic genus". Doing so, one finds for example the following link, which states that over a field of char. $0$, the arithmetic genus is birationally invariant. I'm not sure whether the situation in char. $p$ has improved since that article was written.

share|improve this answer
1  
Yes, I read that article too. Since I'm only interested in the characteristic zero case this does confirm that it's true. It's just that I would like to see "why" it is true. I looked through the Hirzebruch's book referred to in Dolgachev's article and couldn't find it. –  Ari May 25 '10 at 20:42
1  
False alarm. It's written in Hirzebruch's book on page 176. –  Ari May 25 '10 at 20:46

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.