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

Let $f:X\to Y$ be a finite, dominant morphism of projective varieties. I suspect that $\deg(f)\cdot\deg(Y)=\deg(X)$ always holds, where $\deg(f)=[K(X):K(Y)]$. If required, we may assume that $X$ and $Y$ are projective over an algebraically closed field (of characteristic zero even). My question is whether this is true and if so, I would love to have a reference.

share|improve this question
4  
What is the degree of an abstract variety? –  Qiaochu Yuan Apr 30 '11 at 16:46
    
I don't know, but these are projective varieties. –  Jesko Hüttenhain Apr 30 '11 at 16:59
    
I might still explain what I mean by $\deg(X)$: It is $\dim(X)!$ times the leading coefficient of the Hilbert Polynomial of its homogeneous coordinate ring. For hypersurfaces $X=Z(f)$ and $f$ an element of degree $d$, one can show that $d=\deg(X)$. This is about all the intuition I have about degrees of projective varieties, maybe someone else can shed some more light. –  Jesko Hüttenhain Apr 30 '11 at 17:02
3  
The homogeneous coordinate ring is not a property of a projective variety; it is a property of an embedding of a projective variety into projective space. In particular, the same variety can embed into projective space via embeddings of different degrees. –  Qiaochu Yuan Apr 30 '11 at 17:16
2  
A simple example of what can go wrong is to let $X = Y = \mathbb{P}^1$ but to embed the first copy as a conic in $\mathbb{P}^2$ and to embed the second copy via an isomorphism in $\mathbb{P}^1$. Then the "degree" of $X$ is $2$, the "degree" of $Y$ is $1$, and there is an isomorphism $f : X \to Y$ which therefore has degree $1$. –  Qiaochu Yuan Apr 30 '11 at 17:37
show 6 more comments

1 Answer

up vote 3 down vote accepted

This is not true in general.

In fact, let $H_X$ be a hyperplane section of $X$ and $H_Y$ be a hyperplane section of $Y$, with respect to the fixed embeddings $X \subset \mathbb{P}^N$ and $Y \subset \mathbb{P}^M$. Then

$\deg X= (H_X)^n, \quad \deg Y =(H_Y)^n$,

where $n= \dim X = \dim Y$.

Now requiring

$\deg X = (\deg f) \cdot \deg Y \quad (*)$

is equivalent to require $(H_X)^n=(\deg f) \cdot (H_Y)^n$. This is true for instance if the map $f \colon X \to Y$ is induced by a subsystem of the complete linear system $|H_X|$, otherwise it is false in general.

For instance, let $X \subset \mathbb{P}^5$ be the Veronese surface and $Y=\mathbb{P}^2$. Since $X$ and $Y$ are isomorphic, there is a map $f \colon X \to Y$ of degree $1$, but $\deg X=4$ and $\deg Y=1$.

Analogously, let us consider $X=\mathbb{P}^1 \times \mathbb{P}^1 \subset \mathbb{P}^3$. Then $X$ is a quadric and any $2$-dimensional, base-point free subsystem of the complete linear system $|H_X|$ induces a finite morphism $f \colon X \to \mathbb{P}^2$ of degree $2$, so in this case $(*)$ is satisfied. However, you can compose $f$ with any isomorphism $g \colon X' \to X$, where $X' \subset \mathbb{P}^N$ is a Segre embedding of $\mathbb{P}^1 \times \mathbb{P}^1$ with $N >3$, obtaining a map $f' \colon X' \to \mathbb{P}^2$ of degree $2$ which does not satisfy $(*)$, since $\deg X' >2$.

share|improve this answer
    
Thanks very much, the last example made Qiaochu Yan's point perfectly clear. –  Jesko Hüttenhain May 1 '11 at 13:44
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.