Related papers: Polylogarithmic bounds in the nilpotent Freiman th…
We show that if a finite, large enough subset A of an arbitrary abelian group satisfies the small doubling condition |A + A| < (log |A|)^{1 - epsilon} |A|, then A must contain a three-term arithmetic progression whose terms are not all…
The main goal of the paper is to present a general model theoretic framework to understand a result of Shalev on probabilistically finite nilpotent groups. We prove that a suitable group where the equation $[x_1,\ldots,x_k]=1$ holds on a…
We show that if A is a subset of F_2^n and |A+A| < K|A| then A is contained in a subspace of size at most 2^{O(K^{3/2}log K)}|A|. This improves on the previous best of 2^{O(K^2)}.
Denoting by Sigma(S) the set of subset sums of a subset S of a finite abelian group G, we prove that |Sigma(S)| >= |S|(|S|+2)/4-1 whenever S is symmetric, |G| is odd and Sigma(S) is aperiodic. Up to an additive constant of 2 this result is…
An old problem in group theory is that of describing how the order of an element behaves under multiplication. To generalize some classical bounds concerning the order $\mathrm o(ab)$ of two elements $a, b$ in a finite abelian group to the…
We study bounds on nilpotence in H*(BG), the mod p cohomology of the classifying space of a compact Lie group G. Part of this is a report of our previous work on this problem, updated to reflect the consequences of Peter Symonds recent…
For $0\le k\le n$, write $\binom nk=uv$ where the primes dividing $u$ are at most $k$ and the primes dividing $v$ exceed $k$, and let $f(n)$ be the least $k$ with $u>n^2$; Erd\H{o}s problem 684 asks for bounds on $f(n)$. We resolve the…
We establish pointwise almost everywhere convergence for ergodic averages along polynomial sequences in nilpotent groups of step two of measure-preserving transformations on $\sigma$-finite measure spaces. We also establish corresponding…
Let $N$ be a finitely generated nilpotent group. The subgroup zeta function $\zeta_N^{\leq}(s)$ and the normal zeta function $\zeta_N^\lhd(s)$ of $N$ are Dirichlet series enumerating the finite index subgroups or the finite index normal…
Let $f\in \mathbb{R}[x_1,\ldots, x_k]$, for $k\ge 2$. For any finite sets $A_1,\ldots, A_k\subset \mathbb{R}$, consider the set $$ f(A_1,\ldots, A_k):=\{f(a_1,\ldots, a_k)\mid (a_1,\cdots,a_k)\in A_1\times\cdots \times A_k\}, $$ that is,…
A local limit theorem is proven on connected, simply connected nilpotent Lie groups, for a class of generating measures satisfying a moment condition and a condition on the characteristic function of the abelianization. The result extends…
We give sharp bounds in Breuillard, Green and Tao's finitary version of Gromov's theorem on groups with polynomial growth. Precisely, we show that for every non-negative integer d there exists $c=c(d)>0$ such that if $G$ is a group with…
Let $o(G)$ be the average order of the elements of $G$, where $G$ is a finite group. We show that there is no polynomial lower bound for $o(G)$ in terms of $o(N)$, where $N\trianglelefteq G$, even when $G$ is a prime-power order group and…
We give a structural description of the finite subsets $A$ of an arbitrary group $G$ which obey the polynomial growth condition $|A^n| \leq n^d |A|$ for some bounded $d$ and sufficiently large $n$, showing that such sets are controlled by…
Following Isaacs (see [Isa08, p. 94]), we call a normal subgroup N of a finite group G large, if $C_G(N) \leq N$, so that N has bounded index in G. Our principal aim here is to establish some general results for systematically producing…
Let $K=Z/pZ$ and let $A$ be a subset of $\GL_r(K)$ such that $<A>$ is solvable. We reduce the study of the growth of $A$ under the group operation to the nilpotent setting. Specifically we prove that either $A$ grows rapidly (meaning…
Let $K$ be a field which is complete for a discrete valuation. We prove a logarithmic version of the N\'eron-Ogg-Shafarevich criterion: if $A$ is an abelian variety over $K$ which is cohomologically tame, then $A$ has good reduction in the…
Alexopoulos proved that on a finitely generated virtually nilpotent group, the restriction of a harmonic function of polynomial growth to a torsion-free nilpotent subgroup of finite index is always a polynomial in the Mal'cev coordinates of…
Let $p$ be an odd prime, and let $K/K_0$ be a quadratic extension of number fields. Denote by $K_\pm$ the maximal $\mathbb{Z}_p$-power extensions of $K$ that are Galois over $K_0$, with $K_+$ abelian over $K_0$ and $K_-$ dihedral over…
Let $A$ be an abelian variety over a global field $K$ of characteristic $p \ge 0$. If $A$ has nontrivial (resp. full) $K$-rational $l$-torsion for a prime $l \neq p$, we exploit the fppf cohomological interpretation of the $l$-Selmer group…