arXiv++ Combinatorics

By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate subrings. Our aim is to develop a general framework for the sum-product phenomenon that applies uniformly across arbitrary rings. The main result identifies nilpotent quotients as the fundamental obstruction to growth under both addition and multiplication. Another application of the main structure theorem is a ring-theoretic counterpart of Gromov's theorem on groups of polynomial growth. The principal tool in the proof is the existence of definable locally compact models for arbitrary approximate subrings from [Kru24]. This existence theorem extends beyond the finite (and pseudofinite) setting. To illustrate the scope of the method, we also establish a structure theorem for uniformly discrete approximate subrings of semi-simple real algebras, generalizing a classical sum-product result of Meyer.

We give a proof of the existence of generalized definable locally compact models for arbitrary approximate subgroups via an application of topological dynamics in model theory. Our construction is simpler and shorter than the original one obtained by Hrushovski in ``Beyond the Lascar group'', and it uses only basic model theory (mostly spaces of types and realizations of types). The main tools are Ellis groups from topological dynamics considered for suitable spaces of types. However, we need to redevelop some basic theory of topological dynamics for suitable ``locally compact flows'' in place of (compact) flows. We also prove that the generalized definable locally compact model which we constructed is universal in an appropriate category. We note that the main result yields structural information on definable generic subsets of definable groups, with a more precise structural result for generics in the universal cover of $\textrm{SL}_2(\mathbb{R})$.

By an approximate subring of a ring we mean an additively symmetric subset $X$ such that $X\cdot X \cup (X +X)$ is covered by finitely many additive translates of $X$. We prove that each approximate subring $X$ of a ring has a locally compact model, i.e. a ring homomorphism $f \colon \langle X \rangle \to S$ for some locally compact ring $S$ such that $f[X]$ is relatively compact in $S$ and there is a neighborhood $U$ of $0$ in $S$ with $f^{-1}[U] \subseteq 4X + X \cdot 4X$ (where $4X:=X+X+X+X$). This $S$ is obtained as the quotient of the ring $\langle X \rangle$ interpreted in a sufficiently saturated model by its type-definable ring connected component. The above theorem can be seen as a general structural result about approximate subrings: every approximate subring $X$ can be recovered up to additive commensurability as the preimage by a locally compact model $f \colon \langle X \rangle \to S$ of any relatively compact neighborhood of $0$ in $S$. It also leads to more precise structural or even classification results. For example, we deduce that every [definable] approximate subring $X$ of a ring of positive characteristic is additively commensurable with a [definable] subring contained in $4X + X \cdot 4X$. This implies that for any given $K,L \in \mathbb{N}$ there exists $C(K,L)$ such that every $K$-approximate subring $X$ (i.e. $K$ additive translates of $X$ cover $X \cdot X \cup (X+X)$) of a ring of positive characteristic $\leq L$ is additively $C(K,L)$-commensurable with a subring contained in $4X + X \cdot 4X$. We also deduce a classification of finite approximate subrings of rings without zero divisors: for every $K \in \mathbb{N}$ there exists $N(K) \in \mathbb{N}$ such that for every finite $K$-approximate subring $X$ of a ring without zero divisors either $|X| <N(K)$ or $4X + X \cdot 4X$ is a subring which is additively $K^{11}$-commensurable with $X$.

We investigate interactions between Ramsey theory, topological dynamics, and model theory. We introduce various Ramsey-like properties for first order theories and characterize them in terms of the appropriate dynamical properties of the theories in question (such as [extreme] amenability of a theory or some properties of the associated Ellis semigroups). Then we relate them to profiniteness and triviality of the Ellis groups of first order theories. In particular, we find various criteria for [pro]finiteness and for triviality of the Ellis group of a given theory from which we obtain wide classes of examples of theories with [pro]finite or trivial Ellis groups. As an initial motivation, we note that profiniteness of the Ellis group of a theory implies that the Kim-Pillay Galois group of this theory is also profinite, which in turn is equivalent to the equality of the Shelah and Kim-Pillay strong types. We also find several concrete examples illustrating the lack of implications between some fundamental properties. In the appendix, we give a full computation of the Ellis group of the theory of the random hypergraph with one binary and one 4-ary relation. This example shows that the assumption of NIP in the version of Newelski's conjecture for amenable theories (proved in [15]) cannot be dropped.