Showing 1–9 of 9 results for author: Lyczak, J

Counting quadratic points on Fano varieties

Authors: Francesca Balestrieri, Kevin Destagnol, Julian Lyczak, Jennifer Park, Nick Rome

Abstract: 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 o… ▽ More 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. △ Less

Submitted 7 June, 2025; v1 submitted 23 May, 2025; originally announced May 2025.

Comments: 93 pages, comments welcome

Local solubility in generalised Châtelet varieties

Authors: Kevin Destagnol, Julian Lyczak, Efthymios Sofos

Abstract: We develop a version of the Hardy-Littlewood circle method to obtain asymptotic formulas for averages of general multivariate arithmetic functions evaluated at polynomial arguments in several variables. As an application, 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. We develop a version of the Hardy-Littlewood circle method to obtain asymptotic formulas for averages of general multivariate arithmetic functions evaluated at polynomial arguments in several variables. As an application, 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. △ Less

Submitted 17 April, 2025; v1 submitted 15 April, 2025; originally announced April 2025.

Cubic surfaces failing the integral Hasse principle

Authors: Julian Lyczak, Vladimir Mitankin, H. Uppal

Abstract: 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$. 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$. △ Less

Submitted 21 March, 2024; v1 submitted 16 November, 2023; originally announced November 2023.

Comments: 38 pages

MSC Class: 14G12 (primary); 11D25; 14G05; 14F22 (secondary)

Paucity of rational points on fibrations with multiple fibres

Authors: Tim Browning, Julian Lyczak, Arne Smeets

Abstract: 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 invo… ▽ More 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. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Comments: 44 pages

MSC Class: 14G05 (11G35; 11N36; 14A21; 14D10)

Local solubility for a family of quadrics over a split quadric surface

Authors: Tim Browning, Julian Lyczak, Roman Sarapin

Abstract: We study the density of everywhere locally soluble diagonal quadric surfaces, parameterised by rational points that lie on a split quadric surface. We study the density of everywhere locally soluble diagonal quadric surfaces, parameterised by rational points that lie on a split quadric surface. △ Less

Submitted 14 March, 2022; originally announced March 2022.

Comments: 11 pages

MSC Class: 14G05 (11N36; 14D10)

Journal ref: Involve 16 (2023) 331-342

Quartic del Pezzo surfaces with a Brauer group of order 4

Authors: Julian Lyczak, Roman Sarapin

Abstract: 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… ▽ More 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. △ Less

Submitted 18 April, 2022; v1 submitted 26 October, 2021; originally announced October 2021.

Comments: 14 pages. Comments welcome v2: Added a study of these surfaces with a conic fibrations

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

Authors: Nils Gubela, Julian Lyczak

Abstract: 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 pr… ▽ More 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. △ Less

Submitted 29 November, 2020; originally announced November 2020.

Comments: 19 pages

Order 5 Brauer-Manin obstructions to the integral Hasse principle on log K3 surfaces

Authors: Julian Lyczak

Abstract: We construct families of log K3 surfaces and study the arithmetic of their members. We use this to produce explicit surfaces with an order 5 Brauer-Manin obstruction to the integral Hasse principle. We construct families of log K3 surfaces and study the arithmetic of their members. We use this to produce explicit surfaces with an order 5 Brauer-Manin obstruction to the integral Hasse principle. △ Less

Submitted 28 May, 2020; originally announced May 2020.

Comments: 18 pages; comments welcome

A uniform bound on the Brauer groups of certain log K3 surfaces

Authors: Martin Bright, Julian Lyczak

Abstract: Let U be the complement of a smooth anticanonical divisor in a del Pezzo surface of degree at most 7 over a number field k. We show that there is an effective uniform bound for the size of the Brauer group of U in terms of the degree of k. Let U be the complement of a smooth anticanonical divisor in a del Pezzo surface of degree at most 7 over a number field k. We show that there is an effective uniform bound for the size of the Brauer group of U in terms of the degree of k. △ Less

Submitted 6 November, 2017; v1 submitted 12 May, 2017; originally announced May 2017.

Comments: Minor improvements to presentation

MSC Class: 14F22