Birational invariant

In algebraic geometry, a birational invariant is a property that is preserved under birational equivalence.

Formal definition

A birational invariant is a quantity or object that is well-defined on a birational equivalence class of algebraic varieties. In other words, it depends only on the function field of the variety.

Examples

The first example is given by the grounding work of Riemann himself: in his thesis, he shows that one can define a Riemann surface to each algebraic curve; every Riemann surface comes from an algebraic curve, well defined up to birational equivalence and two birational equivalent curves give the same surface. Therefore, the Riemann surface, or more simply its genus is a birational invariant.

A more complicated example is given by Hodge theory: in the case of an algebraic surface, the Hodge numbers h^0,1 and h^0,2 of a non-singular projective complex surface are birational invariants. The Hodge number h^1,1 is not, since the process of blowing up a point to a curve on the surface can augment it.

gollark: I must be used to [LANGUAGE REDACTED].

gollark: Oh, yes, how foolish of me.

gollark: But I think it lets you have `when` in patterns.

gollark: Er, a `when`... not expression... apioform.

gollark: You can use a `when` block or something too, can't you?

References

Reichstein, Z.; Youssin, B. (2002), "A birational invariant for algebraic group actions", Pacific Journal of Mathematics, 204 (1): 223–246, arXiv:math/0007181, doi:10.2140/pjm.2002.204.223, MR 1905199.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.