-
Counting integral points in thin sets of type II: singularities, sieves, and stratification
Authors:
Dante Bonolis,
Lillian B. Pierce,
Katharine Woo
Abstract:
Consider an absolutely irreducible polynomial $F(Y,X_1,\ldots,X_n) \in \mathbb{Z}[Y,X_1,\ldots,X_n]$ that is monic in $Y$ and is a polynomial in $Y^m$ for an integer $m \geq 1$. Let $N(F,B)$ count the number of $\mathbf{x} \in [-B,B]^n \cap \mathbb{Z}^n$ such that $F(y,\mathbf{x})=0$ is solvable for $y \in\mathbb{Z}$. In nomenclature of Serre, bounding $N(F,B)$ corresponds to counting integral poi…
▽ More
Consider an absolutely irreducible polynomial $F(Y,X_1,\ldots,X_n) \in \mathbb{Z}[Y,X_1,\ldots,X_n]$ that is monic in $Y$ and is a polynomial in $Y^m$ for an integer $m \geq 1$. Let $N(F,B)$ count the number of $\mathbf{x} \in [-B,B]^n \cap \mathbb{Z}^n$ such that $F(y,\mathbf{x})=0$ is solvable for $y \in\mathbb{Z}$. In nomenclature of Serre, bounding $N(F,B)$ corresponds to counting integral points in an affine thin set of type II. Previously, in this generality Serre proved $N(F,B) \ll_F B^{n-1/2}(\log B)^γ$ for some $γ<1$. When $m \geq 2$, this new work proves $N(F,B) \ll_{n,F,ε} B^{n-1+1/(n+1) + ε}$ under a nondegeneracy condition that encapsulates that $F(Y,\mathbf{X})$ is truly a polynomial in $n+1$ variables, even after performing any $\text{GL}_n(\mathbb{Q})$ change of variables on $X_1,\ldots,X_n$. Under GRH, this result also holds when $m=1$. We show that generic polynomials satisfy the relevant nondegeneracy condition. Moreover, for a certain class of polynomials, we prove the stronger bound $N(F,B) \ll_{F} B^{n-1}(\log B)^{e(n)}$, comparable to a conjecture of Serre. A key strength of these results is that they require no nonsingularity property of $F(Y,\mathbf{X})$. The Katz-Laumon stratification for character sums, in a new uniform formulation appearing in a companion paper of Bonolis, Kowalski and Woo, is a key ingredient in the sieve method we develop to prove upper bounds that explicitly control any dependence on the size of the coefficients of $F$.
△ Less
Submitted 16 May, 2025;
originally announced May 2025.
-
A guide to Tauberian theorems for arithmetic applications
Authors:
Lillian B. Pierce,
Caroline L. Turnage-Butterbaugh,
Asif Zaman
Abstract:
A Tauberian theorem deduces an asymptotic for the partial sums of a sequence of non-negative real numbers from analytic properties of an associated Dirichlet series. Tauberian theorems appear in a tremendous variety of applications, ranging from well-known classical applications in analytic number theory, to new applications in arithmetic statistics and at the intersection of number theory and alg…
▽ More
A Tauberian theorem deduces an asymptotic for the partial sums of a sequence of non-negative real numbers from analytic properties of an associated Dirichlet series. Tauberian theorems appear in a tremendous variety of applications, ranging from well-known classical applications in analytic number theory, to new applications in arithmetic statistics and at the intersection of number theory and algebraic geometry. The goal of this article is to provide a useful reference for practitioners who wish to apply a Tauberian theorem. We explain the hypotheses and proofs of two types of Tauberian theorems: one with and one without an explicit remainder term. We furthermore provide counterexamples that illuminate that neither theorem can reach an essentially stronger conclusion unless its hypothesis is strengthened.
△ Less
Submitted 22 April, 2025;
originally announced April 2025.
-
Generalizations of the Schrödinger maximal operator: building arithmetic counterexamples
Authors:
Rena Chu,
Lillian B. Pierce
Abstract:
Let $T_t^{P_2}f(x)$ denote the solution to the linear Schrödinger equation at time $t$, with initial value function $f$, where $P_2 (ξ) = |ξ|^2$. In 1980, Carleson asked for the minimal regularity of $f$ that is required for the pointwise a.e. convergence of $T_t^{P_2} f(x)$ to $f(x)$ as $t \rightarrow 0.$ This was recently resolved by work of Bourgain, and Du and Zhang. This paper considers more…
▽ More
Let $T_t^{P_2}f(x)$ denote the solution to the linear Schrödinger equation at time $t$, with initial value function $f$, where $P_2 (ξ) = |ξ|^2$. In 1980, Carleson asked for the minimal regularity of $f$ that is required for the pointwise a.e. convergence of $T_t^{P_2} f(x)$ to $f(x)$ as $t \rightarrow 0.$ This was recently resolved by work of Bourgain, and Du and Zhang. This paper considers more general dispersive equations, and constructs counterexamples to pointwise a.e. convergence for a new class of real polynomial symbols $P$ of arbitrary degree, motivated by a broad question: what occurs for symbols lying in a generic class? We construct the counterexamples using number-theoretic methods, in particular the Weil bound for exponential sums, and the theory of Dwork-regular forms. This is the first case in which counterexamples are constructed for indecomposable forms, moving beyond special regimes where $P$ has some diagonal structure.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
Generalised quadratic forms over totally real number fields
Authors:
Tim Browning,
Lillian B. Pierce,
Damaris Schindler
Abstract:
We introduce a new class of generalised quadratic forms over totally real number fields, which is rich enough to capture the arithmetic of arbitrary systems of quadrics over the rational numbers. We explore this connection through a version of the Hardy-Littlewood circle method over number fields.
We introduce a new class of generalised quadratic forms over totally real number fields, which is rich enough to capture the arithmetic of arbitrary systems of quadrics over the rational numbers. We explore this connection through a version of the Hardy-Littlewood circle method over number fields.
△ Less
Submitted 21 December, 2022;
originally announced December 2022.
-
A new type of superorthogonality
Authors:
Philip T. Gressman,
Lillian B. Pierce,
Joris Roos,
Po-Lam Yung
Abstract:
We provide a simple criterion on a family of functions that implies a square function estimate on $L^p$ for every even integer $p \geq 2$. This defines a new type of superorthogonality that is verified by checking a less restrictive criterion than any other type of superorthogonality that is currently known.
We provide a simple criterion on a family of functions that implies a square function estimate on $L^p$ for every even integer $p \geq 2$. This defines a new type of superorthogonality that is verified by checking a less restrictive criterion than any other type of superorthogonality that is currently known.
△ Less
Submitted 17 December, 2022;
originally announced December 2022.
-
On Polynomial Carleson operators along quadratic hypersurfaces
Authors:
Theresa C. Anderson,
Dominique Maldague,
Lillian B. Pierce,
Po-Lam Yung
Abstract:
We prove that a maximally modulated singular oscillatory integral operator along a hypersurface defined by $(y,Q(y))\subseteq \mathbb{R}^{n+1}$, for an arbitrary non-degenerate quadratic form $Q$, admits an a priori bound on $L^p$ for all $1<p<\infty$, for each $n \geq 2$. This operator takes the form of a polynomial Carleson operator of Radon-type, in which the maximally modulated phases lie in t…
▽ More
We prove that a maximally modulated singular oscillatory integral operator along a hypersurface defined by $(y,Q(y))\subseteq \mathbb{R}^{n+1}$, for an arbitrary non-degenerate quadratic form $Q$, admits an a priori bound on $L^p$ for all $1<p<\infty$, for each $n \geq 2$. This operator takes the form of a polynomial Carleson operator of Radon-type, in which the maximally modulated phases lie in the real span of $\{p_2,\ldots,p_d\}$ for any set of fixed real-valued polynomials $p_j$ such that $p_j$ is homogeneous of degree $j$, and $p_2$ is not a multiple of $Q(y)$. The general method developed in this work applies to quadratic forms of arbitrary signature, while previous work considered only the special positive definite case $Q(y)=|y|^2$.
△ Less
Submitted 14 August, 2024; v1 submitted 28 November, 2022;
originally announced November 2022.
-
Application of a polynomial sieve: beyond separation of variables
Authors:
Dante Bonolis,
Lillian B. Pierce
Abstract:
Let a polynomial $f \in \mathbb{Z}[X_1,\ldots,X_n]$ be given. The square sieve can provide an upper bound for the number of integral $\mathbf{x} \in [-B,B]^n$ such that $f(\mathbf{x})$ is a perfect square. Recently this has been generalized substantially: first to a power sieve, counting $\mathbf{x} \in [-B,B]^n$ for which $f(\mathbf{x})=y^r$ is solvable for $y \in \mathbb{Z}$; then to a polynomia…
▽ More
Let a polynomial $f \in \mathbb{Z}[X_1,\ldots,X_n]$ be given. The square sieve can provide an upper bound for the number of integral $\mathbf{x} \in [-B,B]^n$ such that $f(\mathbf{x})$ is a perfect square. Recently this has been generalized substantially: first to a power sieve, counting $\mathbf{x} \in [-B,B]^n$ for which $f(\mathbf{x})=y^r$ is solvable for $y \in \mathbb{Z}$; then to a polynomial sieve, counting $\mathbf{x} \in [-B,B]^n$ for which $f(\mathbf{x})=g(y)$ is solvable, for a given polynomial $g$. Formally, a polynomial sieve lemma can encompass the more general problem of counting $\mathbf{x} \in [-B,B]^n$ for which $F(y,\mathbf{x})=0$ is solvable, for a given polynomial $F$. Previous applications, however, have only succeeded in the case that $F(y,\mathbf{x})$ exhibits separation of variables, that is, $F(y,\mathbf{x})$ takes the form $f(\mathbf{x}) - g(y)$. In the present work, we present the first application of a polynomial sieve to count $\mathbf{x} \in [-B,B]^n$ such that $F(y,\mathbf{x})=0$ is solvable, in a case for which $F$ does not exhibit separation of variables. Consequently, we obtain a new result toward a question of Serre, pertaining to counting points in thin sets.
△ Less
Submitted 10 September, 2024; v1 submitted 6 September, 2022;
originally announced September 2022.
-
Counting problems: class groups, primes, and number fields
Authors:
Lillian B. Pierce
Abstract:
Each number field has an associated finite abelian group, the class group, that records certain properties of arithmetic within the ring of integers of the field. The class group is well-studied, yet also still mysterious. A central conjecture of Brumer and Silverman states that for each prime $\ell$, every number field has the property that its class group has very few elements of order $\ell$, w…
▽ More
Each number field has an associated finite abelian group, the class group, that records certain properties of arithmetic within the ring of integers of the field. The class group is well-studied, yet also still mysterious. A central conjecture of Brumer and Silverman states that for each prime $\ell$, every number field has the property that its class group has very few elements of order $\ell$, where "very few" is measured relative to the absolute discriminant of the field. This paper surveys recent progress toward this conjecture, and outlines its close connections to counting prime numbers, counting number fields of fixed discriminant, and counting number fields of bounded discriminant.
△ Less
Submitted 16 June, 2022;
originally announced June 2022.
-
Geometric generalizations of the square sieve, with an application to cyclic covers
Authors:
Alina Bucur,
Alina Carmen Cojocaru,
Matilde N. Lalín,
Lillian B. Pierce
Abstract:
We formulate a general problem: given projective schemes $\mathbb{Y}$ and $\mathbb{X}$ over a global field $K$ and a $K$-morphism $η$ from $\mathbb{Y}$ to $\mathbb{X}$ of finite degree, how many points in $\mathbb{X}(K)$ of height at most $B$ have a pre-image under $η$ in $\mathbb{Y}(K)$? This problem is inspired by a well-known conjecture of Serre on quantitative upper bounds for the number of po…
▽ More
We formulate a general problem: given projective schemes $\mathbb{Y}$ and $\mathbb{X}$ over a global field $K$ and a $K$-morphism $η$ from $\mathbb{Y}$ to $\mathbb{X}$ of finite degree, how many points in $\mathbb{X}(K)$ of height at most $B$ have a pre-image under $η$ in $\mathbb{Y}(K)$? This problem is inspired by a well-known conjecture of Serre on quantitative upper bounds for the number of points of bounded height on an irreducible projective variety defined over a number field. We give a non-trivial answer to the general problem when $K=\mathbb{F}_q(T)$ and $\mathbb{Y}$ is a prime degree cyclic cover of $\mathbb{X}=\mathbb{P}_{K}^n$. Our tool is a new geometric sieve, which generalizes the polynomial sieve to a geometric setting over global function fields.
△ Less
Submitted 22 August, 2022; v1 submitted 23 September, 2021;
originally announced September 2021.
-
On the strict majorant property in arbitrary dimensions
Authors:
Philip T. Gressman,
Shaoming Guo,
Lillian B. Pierce,
Joris Roos,
Po-Lam Yung
Abstract:
In this work we study $d$-dimensional majorant properties. We prove that a set of frequencies in ${\mathbb Z}^d$ satisfies the strict majorant property on $L^p([0,1]^d)$ for all $p> 0$ if and only if the set is affinely independent. We further construct three types of violations of the strict majorant property. Any set of at least $d+2$ frequencies in ${\mathbb Z}^d$ violates the strict majorant p…
▽ More
In this work we study $d$-dimensional majorant properties. We prove that a set of frequencies in ${\mathbb Z}^d$ satisfies the strict majorant property on $L^p([0,1]^d)$ for all $p> 0$ if and only if the set is affinely independent. We further construct three types of violations of the strict majorant property. Any set of at least $d+2$ frequencies in ${\mathbb Z}^d$ violates the strict majorant property on $L^p([0,1]^d)$ for an open interval of $p \not\in 2 {\mathbb N}$ of length 2. Any infinite set of frequencies in ${\mathbb Z}^d$ violates the strict majorant property on $L^p([0,1]^d)$ for an infinite sequence of open intervals of $p \not\in 2 {\mathbb N}$ of length $2$. Finally, given any $p>0$ with $p \not\in 2{\mathbb N}$, we exhibit a set of $d+2$ frequencies on the moment curve in ${\mathbb R}^d$ that violate the strict majorant property on $L^p([0,1]^d).$
△ Less
Submitted 11 October, 2022; v1 submitted 23 June, 2021;
originally announced June 2021.
-
Counterexamples for high-degree generalizations of the Schrödinger maximal operator
Authors:
Chen An,
Rena Chu,
Lillian B. Pierce
Abstract:
In 1980 Carleson posed a question on the minimal regularity of an initial data function in a Sobolev space $H^s(\mathbb{R}^n)$ that implies pointwise convergence for the solution of the linear Schrödinger equation. After progress by many authors, this was recently resolved (up to the endpoint) by Bourgain, whose counterexample construction for the Schrödinger maximal operator proved a necessary co…
▽ More
In 1980 Carleson posed a question on the minimal regularity of an initial data function in a Sobolev space $H^s(\mathbb{R}^n)$ that implies pointwise convergence for the solution of the linear Schrödinger equation. After progress by many authors, this was recently resolved (up to the endpoint) by Bourgain, whose counterexample construction for the Schrödinger maximal operator proved a necessary condition on the regularity, and Du and Zhang, who proved a sufficient condition. Analogues of Carleson's question remain open for many other dispersive PDE's. We develop a flexible new method to approach such problems, and prove that for any integer $k\geq 2$, if a degree $k$ generalization of the Schrödinger maximal operator is bounded from $H^s(\mathbb{R}^n)$ to $L^1(B_n(0,1))$, then $s \geq \frac{1}{4} + \frac{n-1}{4((k-1)n+1)}.$ In dimensions $n \geq 2$, for every degree $k \geq 3$, this is the first result that exceeds a long-standing barrier at $1/4$. Our methods are number-theoretic, and in particular apply the Weil bound, a consequence of the truth of the Riemann Hypothesis over finite fields.
△ Less
Submitted 7 April, 2022; v1 submitted 27 March, 2021;
originally announced March 2021.
-
On superorthogonality
Authors:
Lillian B. Pierce
Abstract:
In this survey, we explore how superorthogonality amongst functions in a sequence $f_1,f_2,f_3,\ldots$ results in direct or converse inequalities for an associated square function. We distinguish between three main types of superorthogonality, which we demonstrate arise in a wide array of settings in harmonic analysis and number theory. This perspective gives clean proofs of central results, and u…
▽ More
In this survey, we explore how superorthogonality amongst functions in a sequence $f_1,f_2,f_3,\ldots$ results in direct or converse inequalities for an associated square function. We distinguish between three main types of superorthogonality, which we demonstrate arise in a wide array of settings in harmonic analysis and number theory. This perspective gives clean proofs of central results, and unifies topics including Khintchine's inequality, Walsh-Paley series, discrete operators, decoupling, counting solutions to systems of Diophantine equations, multicorrelation of trace functions, and the Burgess bound for short character sums.
△ Less
Submitted 13 February, 2021; v1 submitted 20 July, 2020;
originally announced July 2020.
-
Burgess bounds for short character sums evaluated at forms II: the mixed case
Authors:
Lillian B. Pierce
Abstract:
This work proves a Burgess bound for short mixed character sums in $n$ dimensions. The non-principal multiplicative character of prime conductor $q$ may be evaluated at any "admissible" form, and the additive character may be evaluated at any real-valued polynomial. The resulting upper bound for the mixed character sum is nontrivial when the length of the sum is at least $q^β$ with…
▽ More
This work proves a Burgess bound for short mixed character sums in $n$ dimensions. The non-principal multiplicative character of prime conductor $q$ may be evaluated at any "admissible" form, and the additive character may be evaluated at any real-valued polynomial. The resulting upper bound for the mixed character sum is nontrivial when the length of the sum is at least $q^β$ with $β> 1/2 - 1/(2(n+1))$ in each coordinate. This work capitalizes on the recent stratification of multiplicative character sums due to Xu, and the resolution of the Vinogradov Mean Value Theorem in arbitrary dimensions.
△ Less
Submitted 26 May, 2021; v1 submitted 9 February, 2020;
originally announced February 2020.
-
On Bourgain's counterexample for the Schrödinger maximal function
Authors:
Lillian B. Pierce
Abstract:
This paper provides a rigorous derivation of a counterexample of Bourgain, related to a well-known question of pointwise a.e. convergence for the solution of the linear Schrödinger equation, for initial data in a Sobolev space. This counterexample combines ideas from analysis and number theory, and the present paper demonstrates how to build such counterexamples from first principles, and then opt…
▽ More
This paper provides a rigorous derivation of a counterexample of Bourgain, related to a well-known question of pointwise a.e. convergence for the solution of the linear Schrödinger equation, for initial data in a Sobolev space. This counterexample combines ideas from analysis and number theory, and the present paper demonstrates how to build such counterexamples from first principles, and then optimize them.
△ Less
Submitted 30 October, 2020; v1 submitted 22 December, 2019;
originally announced December 2019.
-
Burgess bounds for short character sums evaluated at forms
Authors:
Lillian B. Pierce,
Junyan Xu
Abstract:
In this work we establish a Burgess bound for short multiplicative character sums in arbitrary dimensions, in which the character is evaluated at a homogeneous form that belongs to a very general class of "admissible" forms. This $n$-dimensional Burgess bound is nontrivial for sums over boxes of sidelength at least $q^β$, with $β> 1/2 - 1/(2(n+1))$. This is the first Burgess bound that applies in…
▽ More
In this work we establish a Burgess bound for short multiplicative character sums in arbitrary dimensions, in which the character is evaluated at a homogeneous form that belongs to a very general class of "admissible" forms. This $n$-dimensional Burgess bound is nontrivial for sums over boxes of sidelength at least $q^β$, with $β> 1/2 - 1/(2(n+1))$. This is the first Burgess bound that applies in all dimensions to generic forms of arbitrary degree. Our approach capitalizes on a recent stratification result for complete multiplicative character sums evaluated at rational functions, due to the second author.
△ Less
Submitted 6 July, 2019;
originally announced July 2019.
-
Reversing a philosophy: from counting to square functions and decoupling
Authors:
Philip T. Gressman,
Shaoming Guo,
Lillian B. Pierce,
Joris Roos,
Po-Lam Yung
Abstract:
Breakthrough work of Bourgain, Demeter, and Guth recently established that decoupling inequalities can prove powerful results on counting integral solutions to systems of Diophantine equations. In this note we demonstrate that in appropriate situations this implication can also be reversed. As a first example, we observe that a count for the number of integral solutions to a system of Diophantine…
▽ More
Breakthrough work of Bourgain, Demeter, and Guth recently established that decoupling inequalities can prove powerful results on counting integral solutions to systems of Diophantine equations. In this note we demonstrate that in appropriate situations this implication can also be reversed. As a first example, we observe that a count for the number of integral solutions to a system of Diophantine equations implies a discrete decoupling inequality.
Second, in our main result we prove an $L^{2n}$ square function estimate (which implies a corresponding decoupling estimate) for the extension operator associated to a non-degenerate curve in $\mathbb{R}^n$. The proof is via a combinatorial argument that builds on the idea that if $γ$ is a non-degenerate curve in $\mathbb{R}^n$, then as long as $x_1,\ldots, x_{2n}$ are chosen from a sufficiently well-separated set, then $ γ(x_1)+\cdots+γ(x_n) = γ(x_{n+1}) + \cdots + γ(x_{2n}) $ essentially only admits solutions in which $x_1,\ldots,x_n$ is a permutation of $x_{n+1},\ldots, x_{2n}$.
△ Less
Submitted 13 June, 2019;
originally announced June 2019.
-
On Matrix Rearrangement Inequalities
Authors:
Rima Alaifari,
Xiuyuan Cheng,
Lillian B. Pierce,
Stefan Steinerberger
Abstract:
Given two symmetric and positive semidefinite square matrices $A, B$, is it true that any matrix given as the product of $m$ copies of $A$ and $n$ copies of $B$ in a particular sequence must be dominated in the spectral norm by the ordered matrix product $A^m B^n$? For example, is $$ \| AABAABABB \| \leq \| AAAAABBBB \|\ ? $$ Drury has characterized precisely which disordered words have the proper…
▽ More
Given two symmetric and positive semidefinite square matrices $A, B$, is it true that any matrix given as the product of $m$ copies of $A$ and $n$ copies of $B$ in a particular sequence must be dominated in the spectral norm by the ordered matrix product $A^m B^n$? For example, is $$ \| AABAABABB \| \leq \| AAAAABBBB \|\ ? $$ Drury has characterized precisely which disordered words have the property that an inequality of this type holds for all matrices $A,B$. However, the $1$-parameter family of counterexamples Drury constructs for these characterizations is comprised of $3 \times 3$ matrices, and thus as stated the characterization applies only for $N \times N$ matrices with $N \geq 3$. In contrast, we prove that for $2 \times 2$ matrices, the general rearrangement inequality holds for all disordered words. We also show that for larger $N \times N$ matrices, the general rearrangement inequality holds for all disordered words, for most $A,B$ (in a sense of full measure) that are sufficiently small perturbations of the identity.
△ Less
Submitted 1 July, 2020; v1 submitted 10 April, 2019;
originally announced April 2019.
-
On a conjecture for $\ell$-torsion in class groups of number fields: from the perspective of moments
Authors:
Lillian B. Pierce,
Caroline L. Turnage-Butterbaugh,
Melanie Matchett Wood
Abstract:
It is conjectured that within the class group of any number field, for every integer $\ell \geq 1$, the $\ell$-torsion subgroup is very small (in an appropriate sense, relative to the discriminant of the field). In nearly all settings, the full strength of this conjecture remains open, and even partial progress is limited. Significant recent progress toward average versions of the $\ell$-torsion c…
▽ More
It is conjectured that within the class group of any number field, for every integer $\ell \geq 1$, the $\ell$-torsion subgroup is very small (in an appropriate sense, relative to the discriminant of the field). In nearly all settings, the full strength of this conjecture remains open, and even partial progress is limited. Significant recent progress toward average versions of the $\ell$-torsion conjecture has crucially relied on counts for number fields, raising interest in how these two types of question relate. In this paper we make explicit the quantitative relationships between the $\ell$-torsion conjecture and other well-known conjectures: the Cohen-Lenstra heuristics, counts for number fields of fixed discriminant, counts for number fields of bounded discriminant (or related invariants), and counts for elliptic curves with fixed conductor. All of these considerations reinforce that we expect the $\ell$-torsion conjecture is true, despite limited progress toward it. Our perspective focuses on the relation between pointwise bounds, averages, and higher moments, and demonstrates the broad utility of the "method of moments."
△ Less
Submitted 8 May, 2021; v1 submitted 5 February, 2019;
originally announced February 2019.
-
An effective Chebotarev density theorem for families of number fields, with an application to $\ell$-torsion in class groups
Authors:
Lillian B. Pierce,
Caroline L. Turnage-Butterbaugh,
Melanie Matchett Wood
Abstract:
We prove a new effective Chebotarev density theorem for Galois extensions $L/\mathbb{Q}$ that allows one to count small primes (even as small as an arbitrarily small power of the discriminant of $L$); this theorem holds for the Galois closures of "almost all" number fields that lie in an appropriate family of field extensions. Previously, applying Chebotarev in such small ranges required assuming…
▽ More
We prove a new effective Chebotarev density theorem for Galois extensions $L/\mathbb{Q}$ that allows one to count small primes (even as small as an arbitrarily small power of the discriminant of $L$); this theorem holds for the Galois closures of "almost all" number fields that lie in an appropriate family of field extensions. Previously, applying Chebotarev in such small ranges required assuming the Generalized Riemann Hypothesis. The error term in this new Chebotarev density theorem also avoids the effect of an exceptional zero of the Dedekind zeta function of $L$, without assuming GRH. We give many different "appropriate families," including families of arbitrarily large degree. To do this, we first prove a new effective Chebotarev density theorem that requires a zero-free region of the Dedekind zeta function. Then we prove that almost all number fields in our families yield such a zero-free region. The innovation that allows us to achieve this is a delicate new method for controlling zeroes of certain families of non-cuspidal $L$-functions. This builds on, and greatly generalizes the applicability of, work of Kowalski and Michel on the average density of zeroes of a family of cuspidal $L$-functions. A surprising feature of this new method, which we expect will have independent interest, is that we control the number of zeroes in the family of $L$-functions by bounding the number of certain associated fields with fixed discriminant. As an application of the new Chebotarev density theorem, we prove the first nontrivial upper bounds for $\ell$-torsion in class groups, for all integers $\ell \geq 1$, applicable to infinite families of fields of arbitrarily large degree.
△ Less
Submitted 7 February, 2020; v1 submitted 27 September, 2017;
originally announced September 2017.
-
Endpoint Sobolev and BV continuity for maximal operators
Authors:
Emanuel Carneiro,
José Madrid,
Lillian B. Pierce
Abstract:
In this paper we investigate some questions related to the continuity of maximal operators in $W^{1,1}$ and $BV$ spaces, complementing some well-known boundedness results. Letting $\widetilde M$ be the one-dimensional uncentered Hardy-Littlewood maximal operator, we prove that the map $f \mapsto \big(\widetilde Mf\big)'$ is continuous from $W^{1,1}(\mathbb{R})$ to $L^1(\mathbb{R})$. In the discret…
▽ More
In this paper we investigate some questions related to the continuity of maximal operators in $W^{1,1}$ and $BV$ spaces, complementing some well-known boundedness results. Letting $\widetilde M$ be the one-dimensional uncentered Hardy-Littlewood maximal operator, we prove that the map $f \mapsto \big(\widetilde Mf\big)'$ is continuous from $W^{1,1}(\mathbb{R})$ to $L^1(\mathbb{R})$. In the discrete setting, we prove that $\widetilde M: BV(\mathbb{Z}) \to BV(\mathbb{Z})$ is also continuous. For the one-dimensional fractional Hardy-Littlewood maximal operator, we prove by means of counterexamples that the corresponding continuity statements do not hold, both in the continuous and discrete settings, and for the centered and uncentered versions.
△ Less
Submitted 20 August, 2017;
originally announced August 2017.
-
The Vinogradov Mean Value Theorem [after Wooley, and Bourgain, Demeter and Guth]
Authors:
Lillian B. Pierce
Abstract:
This is the expository essay that accompanies my Bourbaki Seminar on 17 June 2017 on the landmark proof of the Vinogradov Mean Value Theorem, and the two approaches developed in the work of Wooley and of Bourgain, Demeter and Guth.
This is the expository essay that accompanies my Bourbaki Seminar on 17 June 2017 on the landmark proof of the Vinogradov Mean Value Theorem, and the two approaches developed in the work of Wooley and of Bourgain, Demeter and Guth.
△ Less
Submitted 25 July, 2020; v1 submitted 1 July, 2017;
originally announced July 2017.
-
On $\ell$-torsion in class groups of number fields
Authors:
Jordan Ellenberg,
Lillian B. Pierce,
Melanie Matchett Wood
Abstract:
For each integer $\ell \geq 1$, we prove an unconditional upper bound on the size of the $\ell$-torsion subgroup of the class group, which holds for all but a zero-density set of field extensions of $\mathbb{Q}$ of degree $d$, for any fixed $d \in \{2,3,4,5\}$ (with the additional restriction in the case $d=4$ that the field be non-$D_4$). For sufficiently large $\ell$ (specified explicitly), thes…
▽ More
For each integer $\ell \geq 1$, we prove an unconditional upper bound on the size of the $\ell$-torsion subgroup of the class group, which holds for all but a zero-density set of field extensions of $\mathbb{Q}$ of degree $d$, for any fixed $d \in \{2,3,4,5\}$ (with the additional restriction in the case $d=4$ that the field be non-$D_4$). For sufficiently large $\ell$ (specified explicitly), these results are as strong as a previously known bound that is conditional on GRH. As part of our argument, we develop a probabilistic "Chebyshev sieve," and give uniform, power-saving error terms for the asymptotics of quartic (non-$D_4$) and quintic fields with chosen splitting types at a finite set of primes.
△ Less
Submitted 7 September, 2017; v1 submitted 20 June, 2016;
originally announced June 2016.
-
Polynomial Carleson operators along monomial curves in the plane
Authors:
Shaoming Guo,
Lillian B. Pierce,
Joris Roos,
Po-Lam Yung
Abstract:
We prove $L^p$ bounds for partial polynomial Carleson operators along monomial curves $(t,t^m)$ in the plane $\mathbb{R}^2$ with a phase polynomial consisting of a single monomial. These operators are "partial" in the sense that we consider linearizing stopping-time functions that depend on only one of the two ambient variables. A motivation for studying these partial operators is the curious feat…
▽ More
We prove $L^p$ bounds for partial polynomial Carleson operators along monomial curves $(t,t^m)$ in the plane $\mathbb{R}^2$ with a phase polynomial consisting of a single monomial. These operators are "partial" in the sense that we consider linearizing stopping-time functions that depend on only one of the two ambient variables. A motivation for studying these partial operators is the curious feature that, despite their apparent limitations, for certain combinations of curve and phase, $L^2$ bounds for partial operators along curves imply the full strength of the $L^2$ bound for a one-dimensional Carleson operator, and for a quadratic Carleson operator. Our methods, which can at present only treat certain combinations of curves and phases, in some cases adapt a $TT^*$ method to treat phases involving fractional monomials, and in other cases use a known vector-valued variant of the Carleson-Hunt theorem.
△ Less
Submitted 19 May, 2016;
originally announced May 2016.
-
Representations of integers by systems of three quadratic forms
Authors:
Lillian B. Pierce,
Damaris Schindler,
Melanie Matchett Wood
Abstract:
It is classically known that the circle method produces an asymptotic for the number of representations of a tuple of integers $(n_1,\ldots,n_R)$ by a system of quadratic forms $Q_1,\ldots, Q_R$ in $k$ variables, as long as $k$ is sufficiently large; reducing the required number of variables remains a significant open problem. In this work, we consider the case of 3 forms and improve on the classi…
▽ More
It is classically known that the circle method produces an asymptotic for the number of representations of a tuple of integers $(n_1,\ldots,n_R)$ by a system of quadratic forms $Q_1,\ldots, Q_R$ in $k$ variables, as long as $k$ is sufficiently large; reducing the required number of variables remains a significant open problem. In this work, we consider the case of 3 forms and improve on the classical result by reducing the number of required variables to $k \geq 10$ for "almost all" tuples, under appropriate nonsingularity assumptions on the forms $Q_1,Q_2,Q_3$. To accomplish this, we develop a three-dimensional analogue of Kloosterman's circle method, in particular capitalizing on geometric properties of appropriate systems of three quadratic forms.
△ Less
Submitted 1 July, 2017; v1 submitted 15 September, 2015;
originally announced September 2015.
-
A polynomial Carleson operator along the paraboloid
Authors:
L. B. Pierce,
Po-Lam Yung
Abstract:
In this work we extend consideration of the polynomial Carleson operator to the setting of a Radon transform acting along the paraboloid in $\mathbb{R}^{n+1}$ for $n \geq 2$. Inspired by work of Stein and Wainger on the original polynomial Carleson operator, we develop a method to treat polynomial Carleson operators along the paraboloid via van der Corput estimates. A key new step in the approach…
▽ More
In this work we extend consideration of the polynomial Carleson operator to the setting of a Radon transform acting along the paraboloid in $\mathbb{R}^{n+1}$ for $n \geq 2$. Inspired by work of Stein and Wainger on the original polynomial Carleson operator, we develop a method to treat polynomial Carleson operators along the paraboloid via van der Corput estimates. A key new step in the approach of this paper is to approximate a related maximal oscillatory integral operator along the paraboloid by a smoother operator, which we accomplish via a Littlewood-Paley decomposition and the use of a square function. The most technical aspect then arises in the derivation of bounds for oscillatory integrals involving integration over lower-dimensional sets. The final theorem applies to polynomial Carleson operators with phase belonging to a certain restricted class of polynomials with no linear terms and whose homogeneous quadratic part is not a constant multiple of the defining function $|y|^2$ of the paraboloid in $\mathbb{R}^{n+1}$.
△ Less
Submitted 14 May, 2015;
originally announced May 2015.
-
Averages and moments associated to class numbers of imaginary quadratic fields
Authors:
D. R. Heath-Brown,
L. B. Pierce
Abstract:
For any odd prime $\ell$, let $h_\ell(-d)$ denote the $\ell$-part of the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{-d})$. Nontrivial pointwise upper bounds are known only for $\ell =3$; nontrivial upper bounds for averages of $h_\ell(-d)$ have previously been known only for $\ell =3,5$. In this paper we prove nontrivial upper bounds for the average of $h_\ell(-d)$ for all pri…
▽ More
For any odd prime $\ell$, let $h_\ell(-d)$ denote the $\ell$-part of the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{-d})$. Nontrivial pointwise upper bounds are known only for $\ell =3$; nontrivial upper bounds for averages of $h_\ell(-d)$ have previously been known only for $\ell =3,5$. In this paper we prove nontrivial upper bounds for the average of $h_\ell(-d)$ for all primes $\ell \geq 7$, as well as nontrivial upper bounds for certain higher moments for all primes $\ell \geq 3$.
△ Less
Submitted 1 July, 2017; v1 submitted 10 September, 2014;
originally announced September 2014.
-
Burgess bounds for multi-dimensional short mixed character sums
Authors:
L. B. Pierce
Abstract:
This paper proves Burgess bounds for short mixed character sums in multi-dimensional settings. The mixed character sums we consider involve both an exponential evaluated at a real-valued multivariate polynomial, and a product of multiplicative Dirichlet characters. We combine a multi-dimensional Burgess method with recent results on multi-dimensional Vinogradov Mean Value Theorems for translation-…
▽ More
This paper proves Burgess bounds for short mixed character sums in multi-dimensional settings. The mixed character sums we consider involve both an exponential evaluated at a real-valued multivariate polynomial, and a product of multiplicative Dirichlet characters. We combine a multi-dimensional Burgess method with recent results on multi-dimensional Vinogradov Mean Value Theorems for translation-dilation invariant systems in order to prove character sum bounds in any dimension that recapture the Burgess bound in dimension 1. Moreover, we show that by embedding the given polynomial into an advantageously chosen translation-dilation invariant system constructed in terms of that polynomial, we may in many cases significantly improve the bound for the associated character sum, due to a novel phenomenon that occurs only in dimensions two and higher.
△ Less
Submitted 18 January, 2016; v1 submitted 28 April, 2014;
originally announced April 2014.
-
Burgess bounds for short mixed character sums
Authors:
D. R. Heath-Brown,
L. B. Pierce
Abstract:
This paper proves nontrivial bounds for short mixed character sums by introducing estimates for Vinogradov's mean value theorem into a version of the Burgess method.
This paper proves nontrivial bounds for short mixed character sums by introducing estimates for Vinogradov's mean value theorem into a version of the Burgess method.
△ Less
Submitted 7 April, 2014;
originally announced April 2014.
-
Lower bounds for the truncated Hilbert transform
Authors:
Rima Alaifari,
Lillian B. Pierce,
Stefan Steinerberger
Abstract:
Given two intervals $I, J \subset \mathbb{R}$, we ask whether it is possible to reconstruct a real-valued function $f \in L^2(I)$ from knowing its Hilbert transform $Hf$ on $J$. When neither interval is fully contained in the other, this problem has a unique answer (the nullspace is trivial) but is severely ill-posed. We isolate the difficulty and show that by restricting $f$ to functions with con…
▽ More
Given two intervals $I, J \subset \mathbb{R}$, we ask whether it is possible to reconstruct a real-valued function $f \in L^2(I)$ from knowing its Hilbert transform $Hf$ on $J$. When neither interval is fully contained in the other, this problem has a unique answer (the nullspace is trivial) but is severely ill-posed. We isolate the difficulty and show that by restricting $f$ to functions with controlled total variation, reconstruction becomes stable. In particular, for functions $f \in H^1(I)$, we show that $$ \|Hf\|_{L^2(J)} \geq c_1 \exp{\left(-c_2 \frac{\|f_x\|_{L^2(I)}}{\|f\|_{L^2(I)}}\right)} \| f \|_{L^2(I)} ,$$ for some constants $c_1, c_2 > 0$ depending only on $I, J$. This inequality is sharp, but we conjecture that $\|f_x\|_{L^2(I)}$ can be replaced by $\|f_x\|_{L^1(I)}$.
△ Less
Submitted 29 April, 2015; v1 submitted 26 November, 2013;
originally announced November 2013.
-
Simultaneous Integer Values of Pairs of Quadratic Forms
Authors:
D. R. Heath-Brown,
L. B. Pierce
Abstract:
We prove that a pair of integral quadratic forms in 5 or more variables will simultaneously represent "almost all" pairs of integers that satisfy the necessary local conditions, provided that the forms satisfy a suitable nonsingularity condition. In particular such forms simultaneously attain prime values if the obvious local conditions hold. The proof uses the circle method, and in particular pio…
▽ More
We prove that a pair of integral quadratic forms in 5 or more variables will simultaneously represent "almost all" pairs of integers that satisfy the necessary local conditions, provided that the forms satisfy a suitable nonsingularity condition. In particular such forms simultaneously attain prime values if the obvious local conditions hold. The proof uses the circle method, and in particular pioneers a two-dimensional version of a Kloosterman refinement.
△ Less
Submitted 26 September, 2013;
originally announced September 2013.
-
Counting rational points on smooth cyclic covers
Authors:
D. R. Heath-Brown,
Lillian B. Pierce
Abstract:
A conjecture of Serre concerns the number of rational points of bounded height on a finite cover of projective space P^{n-1}. In this paper, we achieve Serre's conjecture in the special case of smooth cyclic covers of any degree when n is at least 10, and surpass it for covers of degree 3 or higher when n > 10. This is achieved by a new bound for the number of perfect r-th power values of a polyno…
▽ More
A conjecture of Serre concerns the number of rational points of bounded height on a finite cover of projective space P^{n-1}. In this paper, we achieve Serre's conjecture in the special case of smooth cyclic covers of any degree when n is at least 10, and surpass it for covers of degree 3 or higher when n > 10. This is achieved by a new bound for the number of perfect r-th power values of a polynomial with nonsingular leading form, obtained via a combination of an r-th power sieve and the q-analogue of van der Corput's method.
△ Less
Submitted 7 September, 2011;
originally announced September 2011.
-
A note on twisted discrete singular Radon transforms
Authors:
Lillian B. Pierce
Abstract:
In this paper we consider three types of discrete operators stemming from singular Radon transforms. We first extend an $\ell^p$ result for translation invariant discrete singular Radon transforms to a class of twisted operators including an additional oscillatory component, via a simple method of descent argument. Second, we note an $\ell^2$ bound for quasi-translation invariant discrete twisted…
▽ More
In this paper we consider three types of discrete operators stemming from singular Radon transforms. We first extend an $\ell^p$ result for translation invariant discrete singular Radon transforms to a class of twisted operators including an additional oscillatory component, via a simple method of descent argument. Second, we note an $\ell^2$ bound for quasi-translation invariant discrete twisted Radon transforms. Finally, we extend an existing $\ell^2$ bound for a closely related non-translation invariant discrete oscillatory integral operator with singular kernel to an $\ell^p$ bound for all $1< p< \infty$. This requires an intricate induction argument involving layers of decompositions of the operator according to the Diophantine properties of the coefficients of its polynomial phase function.
△ Less
Submitted 24 May, 2010;
originally announced May 2010.
-
On discrete fractional integral operators and mean values of Weyl Sums
Authors:
Lillian B. Pierce
Abstract:
In this paper we prove new $(\ell^p, \ell^q)$ bounds for a discrete fractional integral operator by applying techniques motivated by the circle method of Hardy and Littlewood to the Fourier multiplier of the operator. From a different perspective, we describe explicit interactions between the Fourier multiplier and mean values of Weyl sums. These mean values express the average behaviour of the nu…
▽ More
In this paper we prove new $(\ell^p, \ell^q)$ bounds for a discrete fractional integral operator by applying techniques motivated by the circle method of Hardy and Littlewood to the Fourier multiplier of the operator. From a different perspective, we describe explicit interactions between the Fourier multiplier and mean values of Weyl sums. These mean values express the average behaviour of the number $r_{s,k}(l)$ of representations of a positive integer $l$ as a sum of $s$ positive $k$-th powers. Recent deep results within the context of Waring's problem and Weyl sums enable us to prove a further range of complementary results for the discrete operator under consideration.
△ Less
Submitted 21 May, 2010;
originally announced May 2010.
-
Discrete fractional Radon transforms and quadratic forms
Authors:
Lillian B. Pierce
Abstract:
We consider discrete analogues of fractional Radon transforms involving integration over paraboloids defined by positive definite quadratic forms. We prove that such discrete operators extend to bounded operators from $\ell^p$ to $\ell^q$ for a certain family of kernels. The method involves an intricate spectral decomposition according to major and minor arcs, motivated by ideas from the circle me…
▽ More
We consider discrete analogues of fractional Radon transforms involving integration over paraboloids defined by positive definite quadratic forms. We prove that such discrete operators extend to bounded operators from $\ell^p$ to $\ell^q$ for a certain family of kernels. The method involves an intricate spectral decomposition according to major and minor arcs, motivated by ideas from the circle method of Hardy and Littlewood. Techniques from harmonic analysis, in particular Fourier transform methods and oscillatory integrals, as well as the number theoretic structure of quadratic forms, exponential sums, and theta functions, play key roles in the proof.
△ Less
Submitted 20 December, 2012; v1 submitted 21 May, 2010;
originally announced May 2010.
-
A note on discrete fractional integral operators on the Heisenberg group
Authors:
Lillian B. Pierce
Abstract:
We consider the discrete analogue of a fractional integral operator on the Heisenberg group, for which we are able to prove nearly sharp results by means of a simple argument of a combinatorial nature.
We consider the discrete analogue of a fractional integral operator on the Heisenberg group, for which we are able to prove nearly sharp results by means of a simple argument of a combinatorial nature.
△ Less
Submitted 21 May, 2010;
originally announced May 2010.
-
On a discrete version of Tanaka's theorem for maximal functions
Authors:
Jonathan Bober,
Emanuel Carneiro,
Kevin Hughes,
Lillian B. Pierce
Abstract:
In this paper we prove a discrete version of Tanaka's Theorem \cite{Ta} for the Hardy-Littlewood maximal operator in dimension $n=1$, both in the non-centered and centered cases. For the discrete non-centered maximal operator $\widetilde{M} $ we prove that, given a function $f: \mathbb{Z} \to \mathbb{R}$ of bounded variation, $$\textrm{Var}(\widetilde{M} f) \leq \textrm{Var}(f),$$ where…
▽ More
In this paper we prove a discrete version of Tanaka's Theorem \cite{Ta} for the Hardy-Littlewood maximal operator in dimension $n=1$, both in the non-centered and centered cases. For the discrete non-centered maximal operator $\widetilde{M} $ we prove that, given a function $f: \mathbb{Z} \to \mathbb{R}$ of bounded variation, $$\textrm{Var}(\widetilde{M} f) \leq \textrm{Var}(f),$$ where $\textrm{Var}(f)$ represents the total variation of $f$. For the discrete centered maximal operator $M$ we prove that, given a function $f: \mathbb{Z} \to \mathbb{R}$ such that $f \in \ell^1(\mathbb{Z})$, $$\textrm{Var}(Mf) \leq C \|f\|_{\ell^1(\mathbb{Z})}.$$ This provides a positive solution to a question of Hajłasz and Onninen \cite{HO} in the discrete one-dimensional case.
△ Less
Submitted 28 December, 2014; v1 submitted 17 May, 2010;
originally announced May 2010.
