Weak approximation for cubic hypersurfaces (Q2352765)

From MaRDI portal
Revision as of 03:41, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Weak approximation for cubic hypersurfaces
scientific article

    Statements

    Weak approximation for cubic hypersurfaces (English)
    0 references
    0 references
    6 July 2015
    0 references
    Let \(B\) be a smooth curve defined over an algebraically closed field \(k\) of characteristic zero, with function field \(F=k(B)\), and let \(X\) be a smooth projective variety defined over \(F\). A model of \(X/F\) is a flat surjective proper morphism \(\pi:\mathcal X\rightarrow B\) whose generic fiber is isomorphic to \(X\). It is of interest the study of the points of \(X\) rational over \(F\) (equivalently sections of \(\pi\)) when \(X\) is smooth proper rationally connected. In [\textit{T. Graber} et al., J. Am. Math. Soc. 16, No. 1, 57--67 (2003; Zbl 1092.14063)] the authors proved that if \(X\) over \(F\) is rationally connected then \(X\) has a rational point. The result, in view of Theorem 2.13 in [\textit{J. Kollár} et al., J. Algebraic Geom. 1, No. 3, 429--448 (1992; Zbl 0780.14026)], implies the stronger property that, for any model \(\pi: \mathcal X\rightarrow B\) of \(X/F\), given a finite set of places \(b_i \in B\), such that the fiber \(\mathcal X_{b_i}\) is smooth, and points \(x_i\in\mathcal X_{b_i}\) there exists a section \(s: B\rightarrow\mathcal X\) passing through the points \(x_i\). It is natural to investigate whether \(X\) satisfies weak aproximation. The geometric meaning of weak approximation is the existence of sections with prescribed jet data in a finite number of fibers. \textit{B. Hassett} and \textit{Y. Tschinkel} [Invent. Math. 163, No. 1, 171--190 (2006; Zbl 1095.14049)] proved that if \(X/F\) is smooth rationally connected the weak approximation holds at places of good reduction for \(X\) (equivalently smooth fibers in a good model of \(X\)). They also conjectured that any smooth rationally connected variety \(X\) over \(F\) satisfies weak approximation at all places. The conjecture is known in few spacial cases. In the paper under review, it is shown that if \(X/F\) is a smooth cubic hypersurface of dimension at least 2 then weak approximation holds at all places, confirming the conjecture for this well studied class of rationally connected varieties. The approach used by the author is to reduce first to the case of cubic surfaces, and then use composition law and deformation techniques.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    weak approximation
    0 references
    rationally connected varieties
    0 references
    cubic hypersurfaces
    0 references
    0 references