[Paper Review] A local-global principle for weak approximation on varieties over function fields

Mike Roth, Jason Starr|ArXiv.org|Aug 1, 2009

Algebraic Geometry and Number Theory7 references3 citations

TL;DR

This paper establishes a local-global principle for weak approximation on rationally connected fibrations over curves defined over algebraically closed fields, showing that formal or étale local deformations of comb-like curves with a section imply Zariski local deformations. The key result reduces weak approximation to the existence of such deformable curves, leveraging ideal sheaf pullbacks and deformation theory in positive characteristic.

ABSTRACT

We present a new perspective on the weak approximation conjecture of Hassett and Tschinkel: formal sections of a rationally connected fibration over a curve can be approximated to arbitrary order by regular sections. The new approach involves the study of how ideal sheaves pullback to Cartier divisors.

Motivation & Objective

• To establish a local-global principle for weak approximation on rationally connected fibrations over curves over algebraically closed fields.
• To reduce the weak approximation conjecture of Hassett and Tschinkel to the existence of deformable comb-like curves with specified local behavior.
• To provide a new geometric framework using ideal sheaf pullbacks and deformation theory to analyze section approximations.
• To extend the applicability of weak approximation results to positive characteristic, addressing limitations in earlier approaches.
• To prove that formal or étale local deformations of comb-like curves imply Zariski local deformations, thereby enabling global section approximation.

Proposed method

• Introduce the concept of comb-like curves with handle $ s $, where $ s $ is a section and $ C $ is a reduced curve dominating $ B $ with generic fiber matching $ s(\eta_B) $.
• Define $ E $-sections and deformation conditions over $ \mathcal{O}_{B,E} $, $ \mathcal{O}_{B,E}^{h} $, and $ \widehat{\mathcal{O}}_{B,E} $, corresponding to Zariski, étale, and formal local neighborhoods.
• Use deformation theory to analyze when a comb-like curve $ C $ deforms to section curves agreeing with an $ E $-section $ s_E $ in various topologies.
• Apply a criterion based on very free rational curves in fibers to ensure unobstructed deformations in the formal and étale settings.
• Leverage the valuative criterion of properness and isomorphisms between open subsets of $ \mathbb{P}^n $ and $ X \times \mathbb{P}^r $ to construct rational maps over $ \widehat{K}_{B,b} $.
• Use monodromy analysis on Néron-Severi lattices of cubic surfaces to rule out non-minimal models and apply Corollary 1.11 in specific cases.

Experimental results

Research questions

• RQ1 Under what conditions can a comb-like curve with a section be deformed to a section curve agreeing with an $ E $-section over a Zariski open neighborhood?
• RQ2 How do formal or étale local deformations of comb-like curves relate to Zariski local approximation in rationally connected fibrations?
• RQ3 What role does the geometry of the fiber, particularly in cubic surfaces with rational double points, play in the validity of weak approximation?
• RQ4 Can the monodromy class on the Néron-Severi lattice of a singular fiber determine whether weak approximation holds?
• RQ5 In what characteristic settings does the deformation criterion for weak approximation fail, and how can such obstructions be circumvented?

Key findings

• A comb-like curve $ C $ with handle $ s $ that deforms to section curves agreeing with an $ E $-section $ s_E $ étale or formally locally can be deformed to agree Zariski locally after attaching sufficiently many very free teeth.
• The weak approximation conjecture reduces to the existence of such deformable comb-like curves, providing a new pathway to its proof.
• In positive characteristic, the method avoids issues in characteristics 2, 3, and 5 by using a geometric trick involving $ E $-conics and isomorphisms between open subsets of $ \mathbb{P}^n $ and $ X \times \mathbb{P}^r $.
• For cubic surfaces with at most three rational double points, the monodromy class lies outside the first 11 rows of the Néron-Severi lattice table, ensuring the surface is minimal and rational, so weak approximation holds.
• Corollary 1.11 establishes weak approximation for $ X \times \mathbb{P}^r $ over $ \widehat{K}_{B,b} $ when the fiber is a rational cubic surface, by constructing a $ \widehat{K}_{B,b} $-rational map from $ \mathbb{P}^1 $ to the fiber via isomorphisms and properness.
• The proof of Corollary 1.12 shows that if a cubic surface has at most three rational double points, then the monodromy class is not in the first 11 rows of the table, so the surface is minimal and rational, and weak approximation holds.