Arithmetic structures in smooth subsets of F_p

Ernie Croot

Home/Archive/arXiv

arXiv · 0708.3689

Arithmetic structures in smooth subsets of F_p

Ernie Croot

View original source ↗Read source document ↗Export metadata ↓

Abstract

Fix integers a_1,...,a_d satisfying a_1 + ... + a_d = 0. Suppose that f : Z_N -> [0,1], where N is prime. We show that if f is ``smooth enough'' then we can bound from below the sum of f(x_1)...f(x_d) over all solutions (x_1,...,x_d) in Z_N to a_1 x_1 + ... + a_d x_d == 0 (mod N). Note that d = 3 and a_1 = a_2 = 1 and a_3 = -2 is the case where x_1,x_2,x_3 are in arithmetic progression. By ``smooth enough'' we mean that the sum of squares of the lower order Fourier coefficients of f is ``small'', a property shared by many naturally-occurring functions, among them certain ones supported on sumsets and on certain types of pseudoprimes. The paper can be thought of as a generalization of another result of the author, which dealt with a F_p^n analogue of the problem. It appears that the method in that paper, and to a more limited extent the present paper, uses ideas similar to those of B. Green's ``arithmetic regularity lemma'', as we explain in the paper.

Explore related subjects

math.NT math.CO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Ernie Croot. 2007-08-27. Arithmetic structures in smooth subsets of F_p. https://arxiv.org/abs/0708.3689

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Solvable extensions of number fields ramified at only one prime are Ostrowski

In this note, we show that, under a certain condition, solvable extensions of number fields ramifed at only one prime are Ostrowski. As a corollary, we deduce a generalization of Hilbert Theorem 94 to cyclic extensions ramifed at one prime.

math.NT↗

arXiv2026

The integer group determinants for GA(1,p) and related semidirect products

We consider the integer group determinants for groups that are semidirect products of $\mathbb Z_p$ and $\mathbb Z_n$ with $p$ prime and $n\mid p-1$. We give a complete description of the integer group determinants for the general affine groups of degree one GA(1,$p$) when $p=5,7,11$ and $23$, and for $\mathbb Z_7\rtimes \mathbb Z_3,$ $\mathbb Z_{11}\rtimes \mathbb Z_5$ and $\mathbb Z_{13}\rtimes \mathbb Z_6,$ showing that the obvious divisibility and congruence conditions arising from the form of the group determinant when $n=p-1$ or $\frac{1}{2}(p-1)$, can be sufficient as well as necessary for these types of groups (although in the latter case we must work with norms of integers in a quadratic field). For $p=13$ this also happens for the remaining groups of this type, $\mathbb Z_{13}\rtimes_5 \mathbb Z_4$ and $\mathbb Z_{13}\rtimes \mathbb Z_3$, (working in an appropriate cubic and quartic field).

math.NT↗

arXiv2026

The density of elliptic curves over $\mathbb{Q}_p$ with a rational 3-torsion point or a rational 3-isogeny

We determine the probability that a random Weierstrass equation with coefficients in the $p$-adic integers defines an elliptic curve with a non-trivial $3$-torsion point, or with a degree $3$ isogeny, defined over the field of $p$-adic numbers. We determine these densities by calculating the corresponding $p$-adic volume integrals and analyzing certain modular curves. Additionally, we explore the case of $\ell$-torsion for $\ell>3$ prime.

math.NT↗