Cubic surfaces with one rational line over finite fields

Jenny Cooley

DOI: https://doi.org/10.48550/arXiv.1312.5905

2013-12-20

Number Theory

Abstract:Let Fq be a finite field with q=8 or q at least 16. Let S be a smooth cubic surface defined over Fq containing at least one rational line. We use a pigeonhole principle to prove that all the rational points on S are generated via tangent and secant operations from a single point.

What problem does this paper attempt to address?

Quatroids and Rational Plane Cubics

Taylor Brysiewicz,Fulvio Gesmundo,Avi Steiner

2023-09-14

Abstract:It is a classical result that there are $12$ (irreducible) rational cubic curves through $8$ generic points in $\mathbb{P}_{\mathbb{C}}^2$, but little is known about the non-generic cases. The space of $8$-point configurations is partitioned into strata depending on combinatorial objects we call quatroids, a higher-order version of representable matroids. We compute all $779777$ quatroids on eight distinct points in the plane, which produces a full description of the stratification. For each stratum, we generate several invariants, including the number of rational cubics through a generic configuration. As a byproduct of our investigation, we obtain a collection of results regarding the base loci of pencils of cubics and positive certificates for non-rationality.

Algebraic Geometry
Rational lines on cubic hypersurfaces II

Julia Brandes,Rainer Dietmann

2023-07-19

Abstract:We show that any rational cubic hypersurface of dimension at least 33 vanishes on a projective rational line, reducing the previous lower bound of Wooley by two. The main ingredient is a result on linear spaces on quadratic forms over suitable imaginary quadratic field extensions of $\mathbb Q$.

Number Theory
$q$-bic threefolds and their surface of lines

Raymond Cheng

2024-02-15

Abstract:For any power $q$ of the positive ground field characteristic, a smooth $q$-bic threefold -- the Fermat threefold of degree $q+1$ for example -- has a smooth surface $S$ of lines which behaves like the Fano surface of a smooth cubic threefold. I develop projective, moduli-theoretic, and degeneration techniques to study the geometry of $S$. Using, in addition, the modular representation theory of the finite unitary group and the geometric theory of filtrations, I compute cohomology of the structure sheaf of $S$ when $q$ is prime.

Algebraic Geometry,Number Theory,Representation Theory
How often does a cubic hypersurface have a rational point?

Lea Beneish,Christopher Keyes

2024-05-11

Abstract:A cubic hypersurface in $\mathbb{P}^n$ defined over $\mathbb{Q}$ is given by the vanishing locus of a cubic form $f$ in $n+1$ variables. It is conjectured that when $n \geq 4$, such cubic hypersurfaces satisfy the Hasse principle. This is now known to hold on average due to recent work of Browning, Le Boudec, and Sawin. Using this result, we determine the proportion of cubic hypersurfaces in $\mathbb{P}^n$, ordered by the height of $f$, with a rational point for $n \geq 4$ explicitly as a product over primes $p$ of rational functions in $p$. In particular, this proportion is equal to 1 for cubic hypersurfaces in $\mathbb{P}^n$ for $n \geq 9$; for $100\%$ of cubic hypersurfaces, this recovers a celebrated result of Heath-Brown that non-singular cubic forms in at least 10 variables have rational zeros. In the $n=3$ case, we give a precise conjecture for the proportion of cubic surfaces in $\mathbb{P}^3$ with a rational point.

Number Theory
$\mathbb{F}_q$-primitive points on varieties over finite fields

Soniya Takshak,Giorgos Kapetanakis,Rajendra Kumar Sharma

2024-10-05

Abstract:Let $r$ be a positive divisor of $q-1$ and $f(x,y)$ a rational function of degree sum $d$ over $\mathbb{F}_q$ with some restrictions, where the degree sum of a rational function $f(x,y) = f_1(x,y)/f_2(x,y)$ is the sum of the degrees of $f_1(x,y)$ and $f_2(x,y)$. In this article, we discuss the existence of triples $(\alpha, \beta, f(\alpha, \beta))$ over $\mathbb{F}_q$, where $\alpha, \beta$ are primitive and $f(\alpha, \beta)$ is an $r$-primitive element of $\mathbb{F}_q$. In particular, this implies the existence of $\mathbb{F}_q$-primitive points on the surfaces of the form $z^r = f(x,y)$. As an example, we apply our results on the unit sphere over $\mathbb{F}_q$.

Number Theory
Rational points on complete intersections of cubic and quadric hypersurfaces over Fq(t)

Jakob Glas

DOI: https://doi.org/10.1112/jlms.12991

2024-09-26

Journal of the London Mathematical Society

Abstract:Abstract Using a two‐dimensional version of the delta method, we establish an asymptotic formula for the number of rational points of bounded height on non‐singular complete intersections of cubic and quadric hypersurfaces of dimension at least 23 over , provided . Under the same hypotheses, we also verify weak approximation.

mathematics
Rational points on even dimensional Fermat cubics

Alex Massarenti

2024-06-15

Abstract:We show that even dimensional Fermat cubic hypersurfaces are rational over any field of characteristic different from three by producing explicit rational parametrizations given by polynomials of low degree. As a byproduct of our rationality constructions we get estimates on the number of their rational points over a number field, and a class of quadro-cubic Cremona correspondences of even dimensional projective spaces.

Algebraic Geometry,Number Theory,Rings and Algebras
Rational fibered cubic fourfolds

Hanine Awada

2024-07-09

Abstract:Some classes of cubic fourfolds are birational to fibrations over $P^2$, where the fibers are rational surfaces. This is the case for cubics containing a plane (resp. an elliptic ruled surface), where the fibers are quadric surfaces (resp. del Pezzo sextic surfaces). It is known that the rationality of these cubic hypersurfaces is related to the rationality of these surfaces over the function field of $P^2$ and to the existence of rational (multi)sections of the fibrations. We study, in the moduli space of cubic fourfolds, the intersection of the divisor $C_{8}$ (resp. $C_{18}$) with $C_{14}$, $C_{26}$ and $C_{38}$, whose elements are known to be rational cubic fourfolds. We provide descriptions of the irreducible components of these intersections and give new explicit examples of rational cubics fibered in (quartic, quintic) del Pezzo surfaces or in quadric surfaces over $P^2$. We also investigate the existence of rational sections for these fibrations. Under some mild assumptions on the singularities of the fibers, these properties can be translated in terms of Brauer classes on certain surfaces.

Algebraic Geometry
Lines on $p$-adic and real cubic surfaces

Rida Ait El Manssour,Yassine El Maazouz,Enis Kaya,Kemal Rose

DOI: https://doi.org/10.1007/s12188-023-00269-7

2023-08-22

Abstract:We study lines on smooth cubic surfaces over the field of $p$-adic numbers, from a theoretical and computational point of view. Segre showed that the possible counts of such lines are $0,1,2,3,5,7,9,15$ or $27$. We show that each of these counts is achieved. Probabilistic aspects are also investigated by sampling both $p$-adic and real cubic surfaces from different distributions and estimating the probability of each count. We link this to recent results on probabilistic enumerative geometry. Some experimental results on the Galois groups attached to $p$-adic cubic surfaces are also discussed.

Algebraic Geometry,Probability
Lines on the secant cubic hypersurfaces of Severi varieties

Renjie Lyu

DOI: https://doi.org/10.48550/arXiv.2112.00335

2021-12-01

Algebraic Geometry

Abstract:The secant varieties of Severi varieties provide special examples of (singular) cubic hypersurfaces. An interesting question asks when a given cubic hypersurface is projectively equivalent to a secant cubic hypersurface. Inspired by the ''geometric'' Torelli theorem for smooth cubic hypersurfaces due to F. Charles, we study the geometry of lines on secant cubics and describe the Fano variety of lines. Then we verify the ''geometric'' Torelli theorem for the case of secant cubics. Namely, a cubic hypersurface is isomorphic to a secant cubic if and only if their Fano varieties of lines are isomorphic.
The number of rational points of a family of hypersurfaces over finite fields

shuangnian hu,shaofang hong,wei zhao

DOI: https://doi.org/10.1016/j.jnt.2015.04.006

IF: 0.679

2015-01-01

Journal of Number Theory

Abstract:Let Fq denote the finite field of odd characteristic p with q elements (q=pe, e∈N) and Fq⁎ represent the nonzero elements of Fq. In this paper, by using the Smith normal form of the index matrix, we give a formula for the number of rational points of the following family of hypersurface over Fq:∑j=0t−1∑i=1rj+1−rjarj+ix1erj+i,1…xnj+1erj+i,nj+1−b=0, where the integers t>0, r0=0<r1<r2<…<rt, n1<n2<…<nt, b∈Fq, ai∈Fq⁎ (i=1,…,rt), and the index of each variable is a positive integer. Especially under some certain conditions, we get an explicit formula of the number of rational points of the above hypersurface. This generalizes greatly the results obtained by Wolfmann in 1994, Sun in 1997 and Wang and Sun in 2005, respectively.
$q$-bic hypersurfaces and their Fano schemes

Raymond Cheng

2024-02-28

Abstract:A $q$-bic hypersurface is a hypersurface in projective space of degree $q+1$, where $q$ is a power of the positive ground field characteristic, whose equation consists of monomials which are products of a $q$-power and a linear power; the Fermat hypersurface is an example. I identify $q$-bics as moduli spaces of isotropic vectors for an intrinsically defined bilinear form, and use this to study their Fano schemes of linear spaces. Amongst other things, I prove that the scheme of $m$-planes in a smooth $(2m+1)$-dimensional $q$-bic hypersurface is an $(m+1)$-dimensional smooth projective variety of general type which admits a purely inseparable covering by a complete intersection; I compute its Betti numbers by relating it to Deligne--Lusztig varieties for the finite unitary group; and I prove that its Albanese variety is purely inseparably isogenous via an Abel--Jacobi map to a certain conjectural intermediate Jacobian of the hypersurface. The case $m = 1$ may be viewed as an analogue of results of Clemens and Griffiths regarding cubic threefolds.

Algebraic Geometry
Singular del Pezzo surfaces over finite fields

H. Uppal

2023-11-13

Abstract:If $X$ is a singular del Pezzo surface of degree $d$ over a finite field $\mathbb{F}_{q}$ with only rational double point singularities, does there always exist a smooth $\mathbb{F}_{q}$-point on $X$? We show that this is true for $d\geq 3$ and give counterexamples in the case of $d=2$.

Algebraic Geometry,Number Theory
Rational points in a family of conics over $\mathbb{F}_2(t)$

Daniel Loughran,Judith Ortmann

2024-12-19

Abstract:Serre famously showed that almost all plane conics over $\mathbb{Q}$ have no rational point. We investigate versions of this over global function fields, focusing on a specific family of conics over $\mathbb{F}_2(t)$ which illustrates new behaviour. We obtain an asymptotic formula using harmonic analysis, which requires a new Tauberian theorem over function fields for Dirichlet series with branch point singularities.

Number Theory
Arithmetic and birational properties of linear spaces on intersections of two quadrics

Lena Ji,Fumiaki Suzuki

2024-02-29

Abstract:We study rationality questions for Fano schemes of linear spaces on smooth complete intersections of two quadrics, especially over non-closed fields. Our approach is to study hyperbolic reductions of the pencil of quadrics associated to $X$. We prove that the Fano schemes $F_r(X)$ of $r$-planes are birational to symmetric powers of hyperbolic reductions, generalizing results of Reid and Colliot-Th\'el\`ene--Sansuc--Swinnerton-Dyer, and we give several applications to rationality properties of $F_r(X)$. For instance, we show that if $X$ contains an $(r+1)$-plane over a field $k$, then $F_r(X)$ is rational over $k$. When $X$ has odd dimension, we show a partial converse for rationality of the Fano schemes of second maximal linear spaces, generalizing results of Hassett--Tschinkel and Benoist--Wittenberg. When $X$ has even dimension, the analogous result does not hold, and we further investigate this situation over the real numbers. In particular, we prove a rationality criterion for the Fano schemes of second maximal linear spaces on these even-dimensional complete intersections over $\mathbb R$; this may be viewed as extending work of Hassett--Koll\'ar--Tschinkel.

Algebraic Geometry
Cubic fourfolds of discriminant 24 and rationality

Brendan Hassett

2024-11-07

Abstract:Cubic fourfolds of discriminant 24 contain special codimension-two algebraic cycles of degree 6 and self-intersection 20. Such cycles may be represented by singular scrolls or del Pezzo surfaces. A discriminant 24 cubic fourfold gives rise to a twisted surface, consisting of a degree-six K3 surface and a two-torsion element of its Brauer group. We show that the cubic fourfold is rational if the Brauer class vanishes. This yields a countably-infinite collection of new examples of rational cubic fourfolds, each of codimension two in moduli.

Algebraic Geometry
Complete intersections of cubic and quadric hypersurfaces over $\mathbb{F}_q(t)$

Jakob Glas

2023-06-05

Abstract:Using a two-dimensional version of the delta method, we establish an asymptotic formula for the number of rational points of bounded height on non-singular complete intersections of cubic and quadric hypersurfaces of dimension at least $23$ over $\mathbb{F}_q(t)$, provided $\text{cha}(\mathbb{F}_q)>3$. Under the same hypotheses, we also verify weak approximation.

Number Theory
Cubic surface bundles and the Brauer group

Alena Pirutka

2023-12-01

Abstract:In this note we define a subgroup $H^i_{nr,\pi}$ of unramified cohomology group $H^i_{nr}$ of a fibration $\pi:X\to S$. This subgroup can be used efficiently in refined specialization arguments and allows to detect the failure of stable rationality of a variety specializing to $X$. We compute $H^2_{nr, \pi}$ systematically for many cubic surface bundles $\pi:X\to S$ over a smooth projective rational surface over an algebraically closed field: we give a combinatorial formula in terms of components of the discriminant divisor of $\pi$.

Algebraic Geometry
An upper bound on the number of rational points of arbitrary projective varieties over finite fields

Alain Couvreur

DOI: https://doi.org/10.1090/proc/13015

IF: 0.9709

2016-02-12

Proceedings of the American Mathematical Society

Abstract:<p> We give an upper bound on the number of rational points of an arbitrary Zariski closed subset of a projective space over a finite field <math alttext="bold upper F Subscript q"> <semantics> <msub> <mrow> <mi mathvariant="bold">F</mi> </mrow> <mi>q</mi> </msub> <annotation>\mathbf {F}_q</annotation> </semantics> </math> . This bound depends only on the dimensions and degrees of the irreducible components and holds for very general projective varieties, even reducible and nonequidimensional. As a consequence, we prove a conjecture of Ghorpade and Lachaud on the maximal number of rational points of an equidimensional projective variety. </p>

mathematics, applied

Cubic surfaces with one rational line over finite fields

Quatroids and Rational Plane Cubics

Rational lines on cubic hypersurfaces II

$q$-bic threefolds and their surface of lines

How often does a cubic hypersurface have a rational point?

$\mathbb{F}_q$-primitive points on varieties over finite fields

Rational points on complete intersections of cubic and quadric hypersurfaces over Fq(t)

Rational points on even dimensional Fermat cubics

Rational fibered cubic fourfolds

Lines on $p$-adic and real cubic surfaces

Lines on the secant cubic hypersurfaces of Severi varieties

The number of rational points of a family of hypersurfaces over finite fields

$q$-bic hypersurfaces and their Fano schemes

Singular del Pezzo surfaces over finite fields

Rational points in a family of conics over $\mathbb{F}_2(t)$

Arithmetic and birational properties of linear spaces on intersections of two quadrics

Cubic fourfolds of discriminant 24 and rationality

Complete intersections of cubic and quadric hypersurfaces over $\mathbb{F}_q(t)$

Cubic surface bundles and the Brauer group

An upper bound on the number of rational points of arbitrary projective varieties over finite fields