[Paper Review] Degenerations of rationally connected varieties and PAC fields

Jason Starr|ArXiv.org|Feb 28, 2006

Algebraic Geometry and Number Theory7 references3 citations

TL;DR

This paper establishes that a degeneration of a separably rationally connected variety over a perfect PAC field containing the algebraic closure of its prime subfield admits a rational point. Using finite type models and geometric generic fiber analysis via Grassmannians and normalization, it proves the existence of a geometrically irreducible subscheme in the special fiber, implying the existence of a k-point when k is perfect and PAC, thereby offering a new proof of the C₁ property for such fields.

ABSTRACT

A perfect PAC field containing an algebraically closed field is known to be $C_1$, i.e., every degeneration of a Fano complete intersection has a point. We prove that also every degeneration of a separably rationally connected variety has a point.

Motivation & Objective

• To investigate whether degenerations of rationally connected varieties over perfect PAC fields have rational points.
• To generalize known results on rational points over C₁ fields to the setting of perfect PAC fields.
• To establish the existence of geometrically irreducible subschemes in the special fiber of degenerations of separably rationally connected varieties.
• To provide a new proof of [FJ05, Theorem 21.3.6(a)] using geometric and model-theoretic techniques.
• To extend results on rational points in degenerations from characteristic 0 to arbitrary characteristic, under PAC field assumptions.

Proposed method

• Constructing a finite type model for a proper, flat scheme over a DVR with separably rationally connected generic fiber.
• Using Grassmannian parametrization of linear subspaces to analyze the geometry of fibers and their degenerations.
• Applying the valuative criterion of properness to extend rational maps to regular morphisms on open subsets with codimension-2 complement.
• Employing normalization and universal morphism constructions to define a morphism from a relative Grassmannian to the total space of the degeneration.
• Utilizing the flatness and irreducibility of geometric generic fibers over Grassmannians to ensure irreducibility of base-changed fibers over k.
• Leveraging the perfection and PAC property of k to guarantee the existence of k-points on geometrically irreducible subschemes of the special fiber.

Experimental results

Research questions

• RQ1 Does every degeneration of a separably rationally connected variety over a perfect PAC field containing the algebraic closure of its prime subfield have a rational point?
• RQ2 Can the C₁ property of such fields be re-proven via geometric degeneration techniques involving rationally connected varieties?
• RQ3 What conditions ensure the existence of a geometrically irreducible subscheme in the special fiber of a degeneration of a rationally connected variety?
• RQ4 How do finite type models and normalization techniques help in lifting rational points from the special fiber to the total scheme?
• RQ5 To what extent do results on rational points in degenerations extend from Fano manifolds to general separably rationally connected varieties over PAC fields?

Key findings

• Every degeneration of a separably rationally connected variety over a perfect PAC field containing the algebraic closure of its prime subfield has a k-point.
• The special fiber of such a degeneration contains a closed subscheme Y such that Y ×_k k̄ is geometrically irreducible.
• The proof relies on constructing a morphism from a geometrically irreducible family over a Grassmannian to the total space, whose image induces a geometrically irreducible subscheme in the special fiber.
• The construction ensures that the geometric generic fiber of the morphism is irreducible, which persists under base change to the algebraic closure.
• The result provides a new proof of the C₁ property for perfect PAC fields containing an algebraically closed field, as stated in [FJ05, Theorem 21.3.6(a)].
• The method applies to varieties defined over function fields of curves and extends to arbitrary characteristic, not just characteristic 0.