[Paper Review] Rational and Non-Rational Algebraic Varieties: Lectures of János Kollár

Karen E. Smith, Joel Rosenberg|ArXiv.org|Jul 15, 1997

Algebraic Geometry and Number Theory21 references3 citations

TL;DR

This paper presents a comprehensive exposition of János Kollár's lectures on rational and non-rational algebraic varieties, focusing on varieties over non-algebraically closed fields. It establishes foundational results including Segre's non-rationality theorem for cubic surfaces of Picard number one, Manin's birational equivalence theorem, and Kollár's construction of low-degree non-rational hypersurfaces, supported by detailed exercises and solutions.

ABSTRACT

This is a detailed write-up of Kollár's course at the EMS summer school in Algebraic Geometry in Eger, Hungary, August 1996. The topics include definitions and examples of rational and unirational varieties, with special attention to varieties defined over non-algebraically closed fields, Segre's theorem on non-rationality of cubic surfaces of Picard number one, Manin's theorem that birationally equivalent cubic surfaces of Picard number one are projectively equivalent, and Kollár's method for constructing examples of low degree non-rational hypersurfaces. Includes many exercises and their solutions.

Motivation & Objective

• To provide a detailed, accessible exposition of János Kollár's course on rational and non-rational algebraic varieties delivered at the EMS summer school in Eger, Hungary, 1996.
• To clarify the distinction between rational, unirational, and non-rational varieties, especially in the context of varieties defined over non-algebraically closed fields.
• To present and explain key theorems such as Segre's non-rationality result for cubic surfaces of Picard number one and Manin's classification of birationally equivalent cubic surfaces.
• To demonstrate Kollár's method for constructing examples of low-degree non-rational hypersurfaces, advancing the understanding of rationality in algebraic geometry.
• To support learning through a collection of exercises with complete solutions, enhancing pedagogical utility for researchers and students.

Proposed method

• Leveraging Kollár's original lectures, the paper systematically develops the theory of rational and unirational varieties using foundational algebraic geometry over arbitrary fields.
• Applying birational geometry techniques to analyze the structure of cubic surfaces, particularly focusing on their Picard number and rationality properties.
• Employing cohomological and geometric invariants to distinguish rational from non-rational varieties, especially in the case of cubic surfaces with Picard number one.
• Utilizing Kollár's construction method to generate explicit examples of hypersurfaces of low degree that are proven to be non-rational via obstruction-theoretic arguments.
• Integrating exercises with full solutions to reinforce theoretical concepts and illustrate key techniques in rationality testing.
• Drawing on classical results such as Segre’s theorem and Manin’s theorem to establish foundational classification results in the birational geometry of surfaces.

Experimental results

Research questions

• RQ1 What conditions on a cubic surface over a non-algebraically closed field imply its non-rationality, particularly when the Picard number is one?
• RQ2 To what extent are birationally equivalent cubic surfaces of Picard number one projectively equivalent, and how does this classification arise?
• RQ3 How can one construct explicit examples of hypersurfaces of low degree that are non-rational, and what techniques underlie such constructions?
• RQ4 What role do field arithmetic and Galois actions play in determining the rationality of algebraic varieties defined over non-closed fields?
• RQ5 How do the interplay between birational invariants and geometric structure constrain the existence of rational parametrizations?

Key findings

• Segre's theorem establishes that a smooth cubic surface over a non-algebraically closed field with Picard number one is non-rational.
• Manin's theorem proves that two cubic surfaces of Picard number one that are birationally equivalent must also be projectively equivalent.
• Kollár's method successfully constructs examples of hypersurfaces of low degree (specifically, degree d ≤ n in n-dimensional projective space) that are non-rational, extending known non-rationality criteria.
• The paper confirms that rationality is a strong geometric constraint, and that even in low degrees, non-rationality can be detected via cohomological and birational invariants.
• The inclusion of exercises with complete solutions provides a practical toolkit for testing rationality and understanding the subtleties of birational geometry over non-closed fields.
• The analysis demonstrates that the Picard number is a critical invariant in determining rationality, especially in the context of surfaces over non-algebraically closed fields.