Counting Plane Cubic Curves over Finite Fields with a Prescribed Number of Rational Intersection Points
University of California Irvine（加州大学尔湾分校）；Tel Aviv University（特拉维夫大学）
Nathan Kaplan, Vlad Matei
备注：
Updated to correct a pair of typos in the formula for B_8 in Theorem 17. We thank Jesse Geneson and Xu Zhuang for discussions related to this error. We also corrected a typo in the formula for a_{q+5} at the very end of Section 6
For each integer $k \in [0,9]$, we count the number of plane cubic curves defined over a finite field $\mathbb{F}_q$ that do not share a common component and intersect in exactly $k\ \mathbb{F}_q$-rational points. We set this up as a problem about a weight enumerator of a certain projective Reed-Muller code. The main inputs to the proof include counting pairs of cubic curves that do share a common component, counting configurations of points that fail to impose independent conditions on cubics, and a variation of the MacWilliams theorem from coding theory.
We continue our study on counting irreducible polynomials over a finite field with prescribed coefficients. We set up a general combinatorial framework using generating functions with coefficients from a group algebra which is generated by equivalent classes of polynomials with prescribed coefficients. Simplified expressions are derived for some special cases. Our results extend some earlier results.
We prove that any smooth cubic surface defined over any number field satisfies the lower bound predicted by Manin's conjecture possibly after an extension of small degree.
Mazur's theorem states that there are exactly 15 possibilities for the torsion subgroup of an elliptic curve over the rational numbers. We determine how often each of these groups actually occurs. Precisely, if $G$ is one of these 15 groups, we show that the number of elliptic curves up to height $X$ whose torsion subgroup is isomorphic to $G$ is on the order of $X^{1/d}$, for some number $d=d(G)$ which we compute.
Let X be a geometrically integral projective cubic hypersurface defined over the rationals, with dimension D and singular locus of dimension at most D-4. For any ε>0, we show that X contains O(B^{D+ε}) rational points of height at most B. The implied constant in this estimate depends upon the choice of εand the coefficients of the cubic form defining X.
Let n be an odd number and F an imaginary quadratic field with odd discriminant. We show that there exists infinitely many cubic fields K such that the class number of K is divisible by n and the Galois closure of K contains F.
We use a global version of Heath-Brown's $p-$adic determinant method developed by Salberger to give upper bounds for the number of rational points of height at most $B$ on non-singular cubic curves defined over $\mathbb{Q}$. The bounds are uniform in the sense that they only depend on the rank of the corresponding Jacobian.
This article describes cubic function fields $L/K$ with prescribed ramification, where $K$ is a rational function field. We give general equations for such extensions, an explicit procedure to obtain a defining equation when the purely cubic closure $K'/K$ of $L/K$ is of genus zero, and a description of the twists of $L/K$ up to isomorphism over $K$. For cubic function fields of genus at most one, we also describe the twists and isomorphism classes obtained when one allows Möbius transformations on $K$. The article concludes by studying the more general case of covers of elliptic and hyperelli…
A conjecture of Manin predicts the distribution of K-rational points on certain algebraic varieties defined over a number field K. In recent years, a method using universal torsors has been successfully applied to several hard special cases of Manin's conjecture over the field Q of rational numbers. Combining this method with techniques developed by Schanuel, we give a proof of Manin's conjecture over arbitrary number fields for the singular cubic surface S given by the equation w^3 = x y z.
The cardinality of the set of $D\leqslant x$ for which the fundamental solution of the Pell equation $t^2-Du^2=1$ is less than $D^{\frac{1}{2}+α}$ with $α\in[\frac{1}{2},1]$ is studied and certain lower bounds are obtained, improving previous results of Fouvry by introducing the $q$-analogue of van der Corput method to algebraic exponential sums with smooth moduli.
We count rational points of bounded height on the Cayley ruled cubic surface and interpret the result in the context of general conjectures due to Batyrev and Tschinkel.
For a cubic algebraic extension $K$ of $\mathbb{Q}$, the behavior of the ideal counting function is considered in this paper. Let $a_{K}(n)$ be the number of integral ideals of the field $K$ with norm $n$. An asymptotic formula is given for the sum $$ \sum\limits_{n_{1}^2+n_{2}^2\leq x}a_{K}(n_{1}^2+n_{2}^2). $$
We prove that for any prime power $q\notin\{3,4,5\}$, the cubic extension $\mathbb{F}_{q^3}$ of the finite field $\mathbb{F}_q$ contains a primitive element $ξ$ such that $ξ+ξ^{-1}$ is also primitive, and $\textrm{Tr}_{\mathbb{F}_{q^3}/\mathbb{F}_q}(ξ)=a$ for any prescribed $a\in\mathbb{F}_q$. This completes the proof of a conjecture of Gupta, Sharma, and Cohen concerning the analogous problem over an extension of arbitrary degree $n\ge3$.
We prove upper bounds for the number of rational points on non-singular cubic curves defined over the rationals. The bounds are uniform in the curve and involve the rank of the corresponding Jacobian. The method used in the proof is a combination of the "determinant method" with an m-descent on the curve.
Given a number field $k$ and a quadratic extension $K_2$, we give an explicit asymptotic formula for the number of isomorphism classes of cubic extensions of $k$ whose Galois closure contains $K_2$ as quadratic subextension, ordered by the norm of their relative discriminant ideal. The main tool is Kummer theory. We also study in detail the error term of the asymptotics and show that it is $O(X^α)$, for an explicit $α<1$.
We prove the existence of secondary terms of order X^{5/6} in the Davenport-Heilbronn theorems on cubic fields and 3-torsion in class groups of quadratic fields. For cubic fields this confirms a conjecture of Datskovsky-Wright and Roberts. We also prove a variety of generalizations, including to arithmetic progressions, where we discover a curious bias in the secondary term. Roberts' conjecture has also been proved independently by Bhargava, Shankar, and Tsimerman. In contrast to their work, our proof uses the analytic theory of zeta functions associated to the space of binary cubic forms, dev…
We examine two counting problems that seem very group-theoretic on the surface but, on closer examination, turn out to concern integers with restrictions on their prime factors. First, given an odd prime $q$ and a finite abelian $q$-group $H$, we consider the set of integers $n\le x$ such that the Sylow $q$-subgroup of the multiplicative group $(\mathbb Z/n\mathbb Z)^\times$ is isomorphic to $H$. We show that the counting function of this set of integers is asymptotic to $K x(\log\log x)^\ell/(\log x)^{1/(q-1)}$ for explicit constants $K$ and $\ell$ depending on $q$ and $H$. Second, we conside…
In recent algorithms that use deformation in order to compute the number of points on varieties over a finite field, certain differential equations of matrices over p-adic fields emerge. We present a novel strategy to solve this kind of equations in a memory efficient way. The main application is an algorithm requiring quasi-cubic time and only quadratic memory in the parameter n, that solves the following problem: for E a hyperelliptic curve of genus g over a finite field of extension degree n and small characteristic, compute its zeta function. This improves substantially upon Kedlaya's resu…
Harron and Snowden counted the number of elliptic curves over $\mathbb{Q}$ up to height $X$ with torsion group $G$ for each possible torsion group $G$ over $\mathbb{Q}$. In this paper we generalize their result to all number fields and all level structures $G$ such that the corresponding modular curve $X_G$ is a weighted projective line $\mathbb{P}(w_0,w_1)$ and the morphism $X_G\to X(1)$ satisfies a certain condition. In particular, this includes all modular curves $X_1(m,n)$ with coarse moduli space of genus $0$. We prove our results by defining a size function on $\mathbb{P}(w_0,w_1)$ follo…
Let $p\ge5$ be a prime and $T$ a Kodaira type of the special fiber of an elliptic curve. We estimate the number of elliptic curves over $\mathbb Q$ up to height $X$ with Kodaira type $T$ at $p$. This enables us find the proportion of elliptic curves over $\mathbb Q$, when ordered by height, with Kodaira type $T$ at a prime $p\ge5$ inside the set of all elliptic curves. This proportion is a rational function in $p$. For instance, we show that $\displaystyle\frac{p^8(p-1)}{p^9-1}$ of all elliptic curves with bad reduction at $p$ are of multiplicative reduction. Furthermore, we prove that the pri…
In this note, we study linear determinantal representations of smooth plane cubics over finite fields. We give an explicit formula of linear determinantal representations corresponding to rational points. Using Schoof's formula, we count the number of projective equivalence classes of smooth plane cubics over a finite field admitting prescribed number of equivalence classes of linear determinantal representations. As an application, we determine isomorphism classes of smooth plane cubics over a finite field with 0, 1 or 2 equivalence classes of linear determinantal representations.
We prove that all elliptic curves over quadratic fields with a subgroup isomorphic to $C_{16}$, as well as all elliptic curves over cubic fields with a subgroup isomorphic to $C_2\times C_{14}$, are base changes of elliptic curves defined over $\Q$. We obtain these results by studying geometric properties of modular curves and maps between modular curves, and then obtaining a modular description of these curves and maps.
Deng (arXiv:math/9812082) gave an asymptotic formula for the number of rational points on a weighted projective space over a number field with respect to a certain height function. We prove a generalization of Deng's result involving a morphism between weighted projective spaces, allowing us to count rational points whose image under this morphism has bounded height. This method provides a more general and simpler proof for a result of the first-named author and Najman on counting elliptic curves with prescribed level structures over number fields. We further include some examples of applicati…
We present the geometry lying behind counting twin prime polynomials in $\mathbb{F}_q[T]$ in general. We compute cohomology and explicitly count points by means of a twisted Lefschetz trace formula applied to these parametrizing varieties for cubic twin prime polynomials. The elliptic curve $X^3 = Y(Y-1)$ occurs in the geometry, and thus counting cubic twin prime polynomials involves the associated modular form. In theory, this approach can be extended to higher degree twin primes, but the computations become harder. The formula we get in degree $3$ is compatible with the Hardy-Littlewood heur…
We study Tamagawa numbers of elliptic curves with torsion $\mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/14\mathbb{Z}$ over cubic fields and of elliptic curves with an $n-$isogeny over $\mathbb{Q}$, for $n\in\{6,8,10,12,14,16,17,18,19,37,43,67,163\}$. Bruin and Najman proved that every elliptic curve with torsion $\mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/14\mathbb{Z}$ over a cubic field is a base change of an elliptic curve defined over $\mathbb{Q}$. We find that Tamagawa numbers of elliptic curves defined over $\mathbb{Q}$ with torsion $\mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/14\mathbb{Z}$ over a cu…
In this paper we study the growth of ideals in $\mathbb{Z}[t]/(f)$ for a monic cubic polynomial $f$. We also compute the ideal zeta function of $\mathbb{Z}[t]/(t^n)$ for any $n \in \mathbb{N}$.
We compute the asymptotics of the number of integral quadratic forms with prescribed orthogonal decompositions and, more generally, the asymptotics of the number of lattice points lying in sectors of affine symmetric spaces. A new key ingredient in this article is the strong wavefront lemma, which shows that the generalized Cartan decomposition associated to a symmetric space is uniformly Lipschitz.
We give effective estimates for the number of saddle connections on a translation surface that have length $\leq L$ and are in a prescribed homology class modulo $q$. Our estimates apply to almost all translation surfaces in a stratum of the moduli space of translation surfaces, with respect to the Masur-Veech measure on the stratum.
We describe an algorithm to compute the zeta-function of a proper, smooth curve over a finite field, when the curve is given together with some auxiliary data. Our method is based on computing the matrix of the action of a semi-linear Frobenius on the first cohomology group of the curve by means of Serre duality. The cup product involved can be computed locally, after first computing local expansions of a globally defined lift of Frobenius. The resulting algorithm's complexity is softly cubic in the field degree, which is also the case with Kedlaya's algorithm in the hyperelliptic case.
Let $k$ be a number field and $O$ the ring of integers. In the previous paper [T06] we study the Dirichlet series counting discriminants of cubic algebras of $O$ and derive some density theorems on distributions of the discriminants by using the theory of zeta functions of prehomogeneous vector spaces. In this paper we consider these objects under imposing finite number of splitting conditions at non-archimedean places. Especially the explicit formulae of residues at $s=1$ and 5/6 under the conditions are given.
In this paper we obtain a precise formula for the $1$-level density of $L$-functions attached to non-Galois cubic Dedekind zeta functions. We find a secondary term which is unique to this context, in the sense that no lower-order term of this shape has appeared in previously studied families. The presence of this new term allows us to deduce an omega result for cubic field counting functions, under the assumption of the Generalized Riemann Hypothesis. We also investigate the associated $L$-functions Ratios Conjecture, and find that it does not predict this new lower-order term. Taking into acc…
We complete the study of points of bounded height on irreducible non-normal cubic surfaces by doing the point count on the cubic surface $W$ given by $t_0^2 t_2 = t_1^2 t_3$ over any number field. We show that the order of growth agrees with a conjecture by Batyrev and Manin and that the constant reflects the geometry of the variety as predicted by a conjecture of Batyrev and Tschinkel. We then provide the point count for its symmetric square $\mathrm{Sym}^2 W$. Although we can explain the main term of the counting function, the Batyrev--Manin conjecture is only satisfied after removing a thin…
Let r_j(π,s) denote the number of cells, colored j, in the s-residue diagram of partition π. The GBG-rank of πmod s is defined as r_0+r_1*w_s+r_2*w_s^2+...+r_(s-1)*w_s^(s-1), where w_s=exp(2*Π*I/s). We will prove that for (s,t)=1, v(s,t) <= binomial(s+t,s)/(s+t), where v(s,t) denotes a number of distinct values that GBG-rank mod s of t-core may assume. The above inequality becomes an equality when s is prime or when s is composite and t<=2p_s, where p_s is a smallest prime divisor of s. We will show that the generating functions for 4-cores with the prescribed values of GBG-rank mod 3 are all …
The classical Pell equation can be extended to the cubic case considering the elements of norm one in $Z[\sqrt[3]{r}]$, which satisfy $x^3 + r y^3 + r^2 z^3 - 3 r x y z = 1$. The solution of the cubic Pell equation is harder than the classical case, indeed a method for solving it as Diophantine equation is still missing. In this paper, we study the cubic Pell equation over finite fields, extending the results that hold for the classical one. In particular, we provide a novel method for counting the number of solutions in all possible cases depending on the value of r. Moreover, we are also abl…
Let C be a soluble smooth genus one curve over a Henselian discrete valuation field. There is a unique minimal Weierstrass equation defining C up to isomorphism. In this paper we consider genus one equations of degree n defining C, namely a (generalised) binary quartic when n = 2, a ternary cubic when n = 3, and a pair of quaternary quadrics when n = 4. In general, minimal genus one equations of degree n are not unique up to isomorphism. We explain how the number of minimal genus one equations of degree n varies according to the Kodaira symbol of the Jacobian of C. Then we count these equation…
For any positive integers $n\geq 3, r\geq 1$ we present formulae for the number of irreducible polynomials of degree $n$ over the finite field $\mathbb{F}_{2^r}$ where the coefficients of $x^{n-1}$, $x^{n-2}$ and $x^{n-3}$ are zero. Our proofs involve counting the number of points on certain algebraic curves over finite fields, a technique which arose from Fourier-analysing the known formulae for the $\mathbb{F}_2$ base field cases, reverse-engineering an economical new proof and then extending it. This approach gives rise to fibre products of supersingular curves and makes explicit why the fo…
We prove an asymptotic formula for the number of ${\rm SL}_3({\mathbb Z})$-equivalence classes of integral ternary cubic forms having bounded invariants. We use this result to show that the average size of the 3-Selmer group of all elliptic curves, when ordered by height, is 4. This implies that the average rank of all elliptic curves, when ordered by height, is less than 1.17. Combining our counting techniques with a recent result of Dokchitser and Dokchitser, we prove that a positive proportion of all elliptic curves have rank 0. Assuming the finiteness of the Tate-Shafarevich group, we also…
We strongly develop the relationship between complex hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on complex hyperbolic spaces, especially in dimension $2$. We prove a Mertens' formula for the integer points over a quadratic imaginary number fields $K$ in the light cone of Hermitian forms, as well as an equidistribution theorem of the set of rational points over $K$ in Heisenberg groups. We give a counting formula for the cubic points over $K$ in the complex projective plane whose Galois conjugates are orthogonal…
We use Massey products and their relations to unipotent representations to parametrize and find an explicit formula for the number of Galois extensions of a given local field with the prescribed Galois group ${\mathbb U}_4({\mathbb F}_p)$ consisting of unipotent four by four matrices over ${\mathbb F}_p$. Further applications of this method involve the counting of certain Galois extensions with restricted ramifications, and counting the numbers of Galois ${\mathbb U}_4({\mathbb F}_p)$-extensions of some other fields. For each Demushkin pro-$p$-group, we find a very simple version of the condit…
We propose a Las Vegas probabilistic algorithm to compute the zeta function of a genus-3 hyperelliptic curve defined over a finite field $\mathbb F_q$, with explicit real multiplication by an order $\mathbb Z[η]$ in a totally real cubic field. Our main result states that this algorithm requires an expected number of $\widetilde O((\log q)^6)$ bit-operations, where the constant in the $\widetilde O()$ depends on the ring $\mathbb Z[η]$ and on the degrees of polynomials representing the endomorphism $η$. As a proof-of-concept, we compute the zeta function of a curve defined over a 64-bit prime f…
