Manin's Conjecture Research Articles

The Batyrev–Manin conjecture for DM stacks

We define a new height function on rational points of a DM (Deligne–Mumford) stack over a number field. This generalizes a generalized discriminant of Ellenberg–Venkatesh, the height function recently introduced by Ellenberg–Satriano–Zureick-Brown (as far as DM stacks over number fields are concerned), and the quasi-toric height function on weighted projective stacks by Darda. Generalizing the Manin conjecture and the more general Batyrev–Manin conjecture, we formulate a few conjectures on the asymptotic behavior of the number of rational points of a DM stack with bounded height. To formulate the Batyrev–Manin conjecture for DM stacks, we introduce the orbifold versions of the so-called a - and b -invariants. When applied to the classifying stack of a finite group, these conjectures specialize to Malle’s conjecture, except that we remove certain thin subsets from counting. More precisely, we remove breaking thin subsets, which have been studied in the case of varieties by people including Hassett, Tschinkel, Tanimoto, Lehmann and Sengupta, and can be generalized to DM stack thanks to our generalization of a - and b -invariants. The notion of breaking thin subset enables us to reinterpret Klüners’ counterexample to Malle’s conjecture.

Heights on stacks and a generalized Batyrev–Manin–Malle conjecture

Abstract We define a notion of height for rational points with respect to a vector bundle on a proper algebraic stack with finite diagonal over a global field, which generalizes the usual notion for rational points on projective varieties. We explain how to compute this height for various stacks of interest (for instance: classifying stacks of finite groups, symmetric products of varieties, moduli stacks of abelian varieties, weighted projective spaces). In many cases, our uniform definition reproduces ways already in use for measuring the complexity of rational points, while in others it is something new. Finally, we formulate a conjecture about the number of rational points of bounded height (in our sense) on a stack $\mathcal {X}$ , which specializes to the Batyrev–Manin conjecture when $\mathcal {X}$ is a scheme and to Malle’s conjecture when $\mathcal {X}$ is the classifying stack of a finite group.

Classifying sections of del Pezzo fibrations, II

Let $X$ be a del Pezzo surface over the function field of a complex curve. We study the behavior of rational points on $X$ leading to bounds on the counting function in Geometric Manin's Conjecture. A key tool is the Movable Bend and Break Lemma which yields an inductive approach to classifying relatively free sections for a del Pezzo fibration over a curve. Using this lemma we prove Geometric Manin's Conjecture for certain split del Pezzo surfaces of degree $\geq 2$ admitting a birational morphism to $\mathbb P^2$ over the ground field.

Moduli spaces of rational curves on Fano threefolds

We prove several classification results for the components of the moduli space of rational curves on a smooth Fano threefold. In particular, we prove a conjecture of Batyrev on the growth of the number of components as the degree increases. The key to our approach is Geometric Manin's Conjecture which predicts the number of components parameterizing free curves.

Geometric consistency of Manin's conjecture

We conjecture that the exceptional set in Manin's conjecture has an explicit geometric description. Our proposal includes the rational point contributions from any generically finite map with larger geometric invariants. We prove that this set is contained in a thin subset of rational points, verifying that there is no counterexample to Manin's conjecture which arises from an incompatibility of geometric invariants.

Manin’s conjecture and the Fujita invariant of finite covers

We prove a conjecture of Lehmann-Tanimoto about the behaviour of the Fujita invariant (or $a$-constant appearing in Manin's conjecture) under pull-back to generically finite covers. As a consequence we obtain results about geometric consistency of Manin's conjecture.

Campana points on biequivariant compactifications of the Heisenberg group

We study Campana points on biequivariant compactifications of the Heisenberg group and confirm the log Manin conjecture introduced by Pieropan, Smeets, Tanimoto and Várilly-Alvarado.

Campana points of bounded height on vector group compactifications

We initiate a systematic quantitative study of subsets of rational points that are integral with respect to a weighted boundary divisor on Fano orbifolds. We call the points in these sets Campana points. Earlier work of Campana and subsequently Abramovich shows that there are several reasonable competing definitions for Campana points. We use a version that delineates well different types of behaviour of points as the weights on the boundary divisor vary. This prompts a Manin-type conjecture on Fano orbifolds for sets of Campana points that satisfy a klt (Kawamata log terminal) condition. By importing work of Chambert-Loir and Tschinkel to our set-up, we prove a log version of Manin's conjecture for klt Campana points on equivariant compactifications of vector groups.

The split torsor method for Manin’s conjecture

We introduce the split torsor method to count rational points of bounded height on Fano varieties. As an application, we prove Manin's conjecture for all nonsplit quartic del Pezzo surfaces of type $\mathbf A_3+\mathbf A_1$ over arbitrary number fields. The counting problem on the split torsor is solved in the framework of o-minimal structures.

Density of rational points on a quadric bundle in P 3 × P 3

An asymptotic formula is established for the number of rational points of bounded anticanonical height which lie on a certain Zariski dense subset of the biprojective hypersurface $x_1y_1^2+\dots+x_4y_4^2=0$ in $\mathbb{P}^3\times\mathbb{P}^3$. This confirms the modified Manin conjecture for this variety, in which the removal of a thin set of rational points is allowed.

Counting rational points on biprojective hypersurfaces of bidegree (1,2)

An asymptotic formula is established for the number of rational points of bounded anticanonical height which lie on a certain Zariski open subset of an arbitrary smooth biprojective hypersurfaces of bidegree (1,2) in sufficiently many variables. This confirms the Manin conjecture for this variety.

Manin’s b-constant in families

We show that the $b$-constant (appearing in Manin's conjecture) is constant on very general fibers of a family of algebraic varieties. If the fibers of the family are uniruled, then we show that the $b$-constant is constant on general fibers.

Manin's conjecture for certain spherical threefolds

We prove Manin's conjecture on the asymptotic behavior of the number of rational points of bounded anticanonical height for a spherical threefold with canonical singularities and two infinite families of spherical threefolds with log terminal singularities. Moreover, we show that one of these families does not satisfy a conjecture of Batyrev and Tschinkel on the leading constant in the asymptotic formula. Our proofs are based on the universal torsor method, using Brion's description of Cox rings of spherical varieties.

The Manin constant in the semistable case

For an optimal modular parametrization $J_{0}(n){\twoheadrightarrow}E$ of an elliptic curve $E$ over $\mathbb{Q}$ of conductor $n$, Manin conjectured the agreement of two natural $\mathbb{Z}$-lattices in the $\mathbb{Q}$-vector space $H^{0}(E,\unicode[STIX]{x1D6FA}^{1})$. Multiple authors generalized his conjecture to higher-dimensional newform quotients. We prove the Manin conjecture for semistable $E$, give counterexamples to all the proposed generalizations, and prove several semistable special cases of these generalizations. The proofs establish general relations between the integral $p$-adic étale and de Rham cohomologies of abelian varieties over $p$-adic fields and exhibit a new exactness result for Néron models.

La conjecture de Manin pour une famille de variétés en dimension supérieure

AbstractInspired by a method of La Bretèche relying on some unique factorisation, we generalise work of Blomer, Brüdern and Salberger to prove Manin's conjecture in its strong form conjectured by Peyre for some infinite family of varieties of higher dimension. The varieties under consideration in this paper correspond to the singular projective varieties defined by the following equation$$ x_1 y_2y_3\cdots y_n+x_2y_1y_3 \cdots y_n+ \cdots+x_n y_1 y_2 \cdots y_{n-1}=0 $$in ℙℚ2n−1for alln⩾ 3. This paper comes with an Appendix by Per Salberger constructing a crepant resolution of the above varieties.

Rational points of bounded height on general conic bundle surfaces

A conjecture of Manin predicts the asymptotic distribution of rational points of bounded height on Fano varieties. In this paper we use conic bundles to obtain correct lower bounds or a wide class of surfaces over number fields for which the conjecture is still far from being proved. For example, we obtain the conjectured lower bound of Manin's conjecture for any del Pezzo surface whose Picard rank is sufficiently large, or for arbitrary del Pezzo surfaces after possibly an extension of the ground field of small degree.

Manin’s Conjecture for a Class of Singular Cubic Hypersurfaces

Let $n$ be a positive multiple of $4$. We establish an asymptotic formula for the number of rational points of bounded height on singular cubic hypersurfaces $S_n$ defined by $$ x^3=(y_1^2 + \cdots + y_n^2)z . $$ This result is new in two aspects: first, it can be viewed as a modest start on the study of density of rational points on those singular cubic hypersurfaces which are not covered by the classical theorems of Davenport or Heath-Brown; second, it proves Manin's conjecture for singular cubic hypersurfaces $S_n$ defined above.

On $L$-functions of quadratic $\mathbb {Q}$-curves

Let $K$ be a quadratic number field of discriminant $\Delta_K$, let $E$ be a $\mathbb Q$-curve without CM completely defined over $K$ and let $\omega_E$ be an invariant differential on $E$. Let $L(E,s)$ be the $L$-function of $E$. In this setting, it is known that $L(E,s)$ possesses an analytic continuation to $\mathbb C$. The period of $E$ can be written (up to a power of $2$) as the product of the Tamagawa numbers of $E$ with $\Omega_E/\sqrt{|\Delta_K|}$, where $\Omega_E$ is a quantity, independent of $\omega_E$, which encodes the real periods of $E$ when $K$ is real and the covolume of the period lattice of $E$ when $K$ is imaginary. In this paper we compute, under the generalized Manin conjecture, an effective nonzero integer $Q=Q(E,\omega_E)$ such that if $L(E,1)\neq 0$ then $L(E,1)\cdot Q\cdot\sqrt{|\Delta_K|}/\Omega_E$ is an integer. Computing $L(E,1)$ up to sufficiently high precision, our result allows us to prove that $L(E,1)=0$ whenever this is the case and to compute the $L$-ratio $L(E,1)\cdot\sqrt{|\Delta_K|}/\Omega_E$ when $L(E,1)\neq 0$. An important ingredient is an algorithm to compute a newform $f$ of weight $2$ level $\Gamma_1(N)$ such that $L(E,s)=L(f,s)\cdot L({}^{\sigma\!} f,s)$, for ${}^{\sigma\!} f$ the unique Galois conjugate of $f$. As an application of these results, we verify the validity of the weak BSD conjecture for some $\mathbb Q$-curves of rank $2$ and we will compute the $L$-ratio of a curve of rank $0$.

RATIONAL POINTS ON THE INNER PRODUCT CONE VIA THE HYPERBOLA METHOD

A strong quantitative form of Manin's conjecture is established for a certain variety in biprojective space. The singular integral in an application of the circle method involves the third power of the integral sine function and is evaluated in closed form.

Counting rational points on hypersurfaces and higher order expansions

We study the number of representations of an integer n=F(x) by a homogeneous form in sufficiently many variables. This is a classical problem in number theory to which the circle method has been successfully applied to give an asymptotic for the number of such representations where the integer vector x is restricted to a box of side length P for P sufficiently large. In the special case of Waring's problem, Vaughan and Wooley have recently established for the first time a higher order expansion for the corresponding asymptotic formula. Via a different and much more general approach we derive a multi-term asymptotic for this problem for general forms F(x) and give an interpretation for the occurring lower order terms.As an application we derive higher order expansions for the number of rational points of bounded anticanonical height on the projective hypersurface F(x)=0 for forms F(x) in sufficiently many variables. The main term of this expansion is the one predicted by Manin's conjecture. Our new result gives some evidence for how the conjecture could be refined to cover lower order terms in the setting of high-dimensional complete intersections in projective space.