SearcharxivSearch

arXiv subjects

Julian Lyczak

Publications and source records attributed to Julian Lyczak.

9 recordsLinked to original sources

Local solubility in generalised Châtelet varieties

We obtain asymptotic formulas for averages of general multivariate arithmetic functions evaluated at polynomial arguments using recent work of Rydin Myerson and Rome-Yamagishi. We give several applications of our results in analytic number theory and arithmetic geometry. For example, we improve on the number of variables needed to prove the Hasse principle for certain polynomial systems, and we count the number of fibers with a rational point in families of high-dimensional Châtelet varieties, allowing for arbitrarily large subordinate Brauer groups.

math.NT

Cubic surfaces failing the integral Hasse principle

We study the integral Brauer--Manin obstruction for affine diagonal cubic surfaces, which we employ to construct the first counterexamples to the integral Hasse principle in this setting. We then count in three natural ways how such counterexamples are distributed across the family of affine diagonal cubic surfaces and how often such surfaces satisfy integral strong approximation off $\infty$.

math.NT

Counting quadratic points on Fano varieties

This paper initiates the systematic study of the number of points of bounded height on symmetric squares of weak Fano varieties. We provide a general framework for establishing the point count on $\text{Sym}^2 X$. In the specific case of surfaces, we relate this to the Manin--Peyre conjecture for $\text{Hilb}^2 X$, and prove the conjecture for an infinite family of non-split quadric surfaces. In order to achieve the predicted asymptotic, we show that a type II thin set of a new flavour must be removed. To establish our counting result for the specific family of surfaces, we generalise existing lattice point counting techniques to lattices defined over rings of integers. This reduces the dimension of the problem and yields improved error terms. Another key tool we develop is a collection of results for summing Euler products over quadratic extensions. We use this to show moments of $L$-functions at $s=1$ are constant on average in quadratic twist families.

math.NT

Paucity of rational points on fibrations with multiple fibres

Given a family of varieties over the projective line, we study the density of fibres that are everywhere locally soluble in the case that components of higher multiplicity are allowed. We use log geometry to formulate a new sparsity criterion for the existence of everywhere locally soluble fibres and formulate new conjectures that generalise previous work of Loughran-Smeets. These conjectures involve geometric invariants of the associated multiplicity orbifolds on the base of the fibration in the spirit of Campana. We give evidence for the conjectures using Chebotarev's theorem and sieve methods.

math.NT

Quartic del Pezzo surfaces with a Brauer group of order 4

We study arithmetic properties of del Pezzo surfaces of degree 4 for which the Brauer group has the largest possible order using different fibrations into curves. We show that if such a surface admits a conic fibration, then it always has a rational point. We also answer a question of Várilly-Alvarado and Viray by showing that the Brauer groups these surfaces cannot be vertical with respect to any projection away from a plane. We conclude that the available techniques for proving existence of rational points or even Zariski density do not directly apply if there is no Brauer-Manin obstruction to the Hasse principle. In passing we pick up the first examples of quartic del Pezzo surfaces with a Brauer group of order 4 for which the failure of the Hasse principle is explained by a Brauer-Manin obstruction.

math.NT

The Batyrev-Tschinkel conjecture for a non-normal cubic surface and its symmetric square

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 set. Finally we interpret the main term of the count on $\mathrm{Sym}^2(\mathbb P^2 \times \mathbb P^1)$ done by Le Rudulier using these conjecture.

math.NT