On the Bertini regularity theorem for arithmetic varieties

DOI10.5802/JEP.191MaRDI QIDQ2127188zbMATH OpenOpenAlexWikidataFDO

Authors Yanyan Li

Publication date 20 April 2022

Published in Journal de l’École polytechnique — Mathématiques (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2002.11179

zbMATH Keywords

Arakelov geometryarithmetic amplenessBertini theorem

Mathematics Subject Classification ID

Varieties over global fields (11G35) Zeta functions and related questions in algebraic geometry (e.g., Birch-Swinnerton-Dyer conjecture) (14G10) Arithmetic varieties and schemes; Arakelov theory; heights (14G40)

Abstract: Let $mathcalX$ be a regular projective arithmetic variety equipped with an ample hermitian line bundle $overlinemathcalL$. We prove that the proportion of global sections $sigma$ with $leftlVertsigmaightVer{t}_{infty}<1$ of $overline{mathcalL}^{otimesd}$ whose divisor does not have a singular point on the fiber $mathcal{X}_p$ over any prime $p<e^{varepsilond}$ tends to $zet{a}_{mathcalX}(1+dimmathcalX{)}^{-1}$ as $dightarrowinfty$.

Review text

Bertini's famous theorem, in its classical form, proves that singular hyperplane sections of a smooth projective variety are ``usually smooth themselves. The paper under review proves a version of this for sections of ample Hermitian line bundles on a regular arithmetic variety. More specifically, the author's result is an abstract analogue of results of \textit{B. Poonen} [Ann. Math. (2) 160, No. 3, 1099--1127 (2005; Zbl 1084.14026)] and \textit{F. Charles} and \textit{B. Poonen} [J. Am. Math. Soc. 32, No. 2, 605--607 (2019; Zbl 1405.14114)], an analogue that does not involve the explicit choice of an embedding of the arithmetic variety in projective space. The precise statement is somewhat technical, but the upshot is that the author calculates precisely -- in terms of a particular zeta function -- the density of sections of the Hermitian line bundle whose divisor has no singular point of small residue characteristic, and shows that this density is positive.

Recommendations

• On the Bertini theorem in arbitrary characteristic
• scientific article; zbMATH DE number 3914392
• A regularity theorem on birational morphisms
• scientific article; zbMATH DE number 1157018
• Arithmetic ampleness and an arithmetic Bertini theorem
• Quantitative generalized Bertini-Sard theorem for smooth affine varieties
• On regular and regularized varieties
• On the regularities of arithmetically Buchsbaum curves
• Bertini- type theorems in positive characteristic
• Varieta’ algebriche debolmente normali e teoremi di Bertini

Cites work

• An arithmetic Riemann-Roch theorem
• Arithmetic ampleness and an arithmetic Bertini theorem
• Arithmetic Hilbert-Samuel theorem
• Bertini irreducibility theorems over finite fields
• Bertini theorems over finite fields
• Big line bundles over arithmetic varieties
• scientific article; zbMATH DE number 3859276 (Why is no real title available?)
• scientific article; zbMATH DE number 1267537 (Why is no real title available?)
• scientific article; zbMATH DE number 2106914 (Why is no real title available?)
• Irreducibility of random polynomials of large degree
• Lectures on N_X(p)
• Number of Points of Varieties in Finite Fields
• On the number of lattice points in convex symmetric bodies and their duals
• Points entiers et théorèmes de Bertini arithmétiques. (Integral points and arithmetic Bertini theorems)
• Positive line bundles on arithmetic surfaces
• Positive Line Bundles on Arithmetic Varieties
• Squarefree values of multivariable polynomials
• Théoremes de Bertini et applications

Cited in

(7)

• Bertini theorems for F-singularities
• Regularity on abelian varieties I
• On Bertini's theorem in characteristic ${p}$ for families of canonical curves in ${\Bbb P}^{(p-3)/2}$
• Arithmetic ampleness and an arithmetic Bertini theorem
• A remark on Berger's conjecture, Kolchin's theorem, and arc schemes
• GENERAL HYPERPLANE SECTIONS OF THREEFOLDS IN POSITIVE CHARACTERISTIC
• Points entiers et théorèmes de Bertini arithmétiques. (Integral points and arithmetic Bertini theorems)

This page was built for publication: On the Bertini regularity theorem for arithmetic varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2127188)