Abstract:Many natural notions of additive and multiplicative largeness arise from results in Ramsey theory. In this paper, we explain the relationships between these notions for subsets of $\mathbb{N}$ and in more general ring-theoretic structures. We show that multiplicative largeness begets additive largeness in three ways and give a collection of examples demonstrating the optimality of these results. We also give a variety of applications arising from the connection between additive and multiplicative largeness. For example, we show that given any $n, k \in \mathbb{N}$, any finite set with fewer than $n$ elements in a sufficiently large finite field can be translated so that each of its elements becomes a non-zero $k^{\text{th}}$ power. We also prove a theorem concerning Diophantine approximation along multiplicatively syndetic subsets of $\mathbb{N}$ and a theorem showing that subsets of positive upper Banach density in certain multiplicative sub-semigroups of $\mathbb{N}$ of zero density contain arbitrarily long arithmetic progressions. Along the way, we develop a new characterization of upper Banach density in a wide class of amenable semigroups and make explicit the uniformity in recurrence theorems from measure theoretic and topological dynamics. This in turn leads to strengthened forms of classical theorems of Szemerédi and van der Waerden on arithmetic progressions.

A note on Diophantine subsets of large fields

Freiman's $3k-4$ Theorem for Function Fields

$F$-Diophantine sets over finite fields

On ordinary differentially large fields

Restricted sumsets in multiplicative subgroups

Mordell--Weil groups over large algebraic extensions of fields of characteristic zero

On the interplay between notions of additive and multiplicative largeness and its combinatorial applications

Almost ordinary Abelian surfaces over global function fields with application to integral points

Also quite large b subseteq pcf(a) behave nicely

On the maximum size of ultrametric orthogonal sets over discrete valued fields

On fake subfields of number fields

On Freiman's Theorem in a function field setting

Some negative answers to the Bergelson-Hindman's question

Diophantine avoidance and small-height primitive elements in ideals of number fields

Fields of definition of abelian subvarieties

Universally defining subrings in function fields

A note on regular polyhedra over finite fields

Good functions, measures, and the Kleinbock-Tomanov conjecture

Is there an infinite field whose multiplicative group is indecomposable?

Class field theory, Diophantine analysis and the asymptotic Fermat's Last Theorem

Larger Nearly Orthogonal Sets over Finite Fields