Uniform sum-product phenomenon for algebraic groups and Bremner's conjecture

TL;DR

This paper advances the understanding of sum-product phenomena in algebraic groups by combining additive combinatorics and Diophantine geometry, resolving conjectures, and establishing uniform estimates with optimal power savings.

Contribution

It introduces new sum-product estimates for algebraic groups, resolves Bremner's conjecture on elliptic curves, and provides alternative solutions to existing problems using advanced mathematical tools.

Findings

Resolved Bremner's conjecture on elliptic curves.

Established a uniform Bourgain--Chang-type sum-product estimate.

Improved Elekes--Szabó type results for sets with small doubling.

Abstract

In this paper we combine methods from additive combinatorics and Diophantine geometry to study the generalised sum-product phenomenon in algebraic groups. As an application of this circle of ideas, we resolve a conjecture of Bremner on arithmetic progressions in coordinates of elliptic curves, along with various other generalisations studied in the literature. We also prove a uniform Bourgain--Chang-type sum-product estimate for general $1$-dimensional algebraic groups $G$ over $\mathbb{C}$. Using these ideas, we provide an alternative solution to a problem of Bays--Breuillard. Furthermore, we show an Elekes--Szab\'{o} type result in the same setting for sets with small doubling, improving upon an earlier result of Bays--Breuillard when $G$ is not $\mathbb{G}_a$. Our power saving here can be shown to be quantitatively optimal. We use a combination of deep, classical results in Diophantine geometry due to David--Philippon, Laurent and Evertse--Schmidt--Schlickewei along with the recent breakthrough work on the weak Polynomial Freiman--Ruzsa conjecture over integers due to Gowers--Green--Manners--Tao.