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

We know that (for an algebraically closed field $k$) there is an equivalence between algebraic curves over $k$ (up to birational equivalence) and fields of transcendence degree $1$ over $k$.

Is there something similar for higher dimensional algebraic varieties?

share|improve this question
    
For algebraic varieties the transcendence degree of the function field is equal to the dimension, so the answer is yes: just replace $1$ with $n := \dim X$ –  Francesco Polizzi Jun 19 '12 at 16:14
    
Is this a functorial equivalence? Where can I read about this? –  expmat Jun 19 '12 at 16:15
1  
Hartshorne, Chapter I, Section 4 –  Francesco Polizzi Jun 19 '12 at 16:21
1  
In your "we know that" sentence, you really need the fields of transcendence degree 1 to be finitely generated. –  S. Carnahan Jun 20 '12 at 8:30

1 Answer 1

For $X,Y$ integral $k$-varieties, there is a bijection {$f: X \to Y$ dominant rational} <-> $\mathrm{Hom}_k(K(Y),K(X))$.

Also, there is an equivalence of categories {integral $k$-varieties with morphisms as above} and {finitely generated field extensions of $k$}.

share|improve this answer

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.