Non-expansion in polynomial automorphisms of $\mathbb{C}^2$
Martin Bays, Tingxiang Zou
Abstract
We treat the higher-dimensional Elekes-Szabó problem in the case of the action of Aut(C^2) on C^2.
Martin Bays, Tingxiang Zou
We treat the higher-dimensional Elekes-Szabó problem in the case of the action of Aut(C^2) on C^2.
This paper contains 6 sections, 12 theorems, 17 equations.
Theorem 1.2
Let $F(x,y,\bar{z}),G(x,y,\bar{z})\in{\mathbb{C}}[x,y,\bar{z}]\setminus {\mathbb{C}}[x,y]$. Suppose $(F,G)$ is not co-ordinate separable. Then for any $\varepsilon > 0$, there is $\eta>0$ such that for all finite sets $A\subseteq {\mathbb{C}}^2$ and $B\subseteq {\mathbb{C}}^{|\bar{z}|}$ with we have $|(F,G)(B)*A| := |\{(F(a,b),G(a,b)):a\in A,b\in B\}|\geq |A|^{1+\eta}$.