[论文解读] Many Zero Divisors in a Group Ring Imply Bounds on Progression--Free Subsets

Fedor Petrov|arXiv (Cornell University)|Jun 10, 2016

Rings, Modules, and Algebras被引用 7

一句话总结

本文表明，群代数 $\mathbb{F}[G]$ 中存在一个低余维子空间 $X$ 满足 $X^3 = 0$，可解释为何在某些阿贝尔 $p$-群（如 $G = G_0^n$，其中 $G_0$ 为有限阿贝尔群）中，无等差数列子集的大小被限制为 $|G|^{1-c}$，其中 $c > 0$。该结果推广了此前对具有 4-挠元或奇素数挠元的群的界限，并可扩展至矩阵 $p$-群（如 $\mathbb{F}_p$ 上的海森堡群和单位三角群），所有这些群均满足相同的代数条件。

ABSTRACT

It has been recently proved that for a group $G=G_0^n$, where $G_0 e \{1,-1\}^m$ is a fixed finite Abelian group and $n$ is large, any subset $A$ without 3-terms progressions (triples $x,y,z$ of different elements with $xy=z^2$) contains at most $|G|^{1-c}$ elements, where $c>0$ is a constant depending only on $G_0$ (in the paper of Croot, Lev and Pach this was done for $G_0$ containing 4-torsion, soon after that Ellenberg and Gijswijt modified their argument for the case of odd prime torsion). This is known to be false when $G$ is, say, large cyclic group. The aim of this note is to show that algebraic property which corresponds to this difference is the following: in the first case a group algebra $\mathbb{F}[G]$ contains a subspace $X$ with low codimension such that $X^3=0$. We discuss which bounds are obtained for finite Abelian $p$-groups and matrix $p$-groups: Heisenberg group over $\mathbb{F}_p$ and unitriangular group over $\mathbb{F}_p$. All bounds are of the form $|G|^{1-c}$ with some $c>0$.

研究动机与目标

• 解释为何某些有限阿贝尔 $p$-群和矩阵 $p$-群能对无等差数列子集施加强上界，而其他群（如大循环群）则不能。
• 识别群代数 $\mathbb{F}[G]$ 中导致此类上界存在的代数条件。
• 表明在 $\mathbb{F}[G]$ 中存在一个低余维子空间 $X \subset \mathbb{F}[G]$ 满足 $X^3 = 0$，是区分具有强上界与无强上界的群的关键结构特征。
• 将上界 $|G|^{1-c}$ 扩展至非阿贝尔 $p$-群，如 $\mathbb{F}_p$ 上的海森堡群和单位三角群。

提出的方法

• 分析有限阿贝尔 $p$-群和矩阵 $p$-群的群代数 $\mathbb{F}[G]$。
• 识别 $\mathbb{F}[G]$ 中余维较低的子空间 $X \subset \mathbb{F}[G]$，使得 $X^3 = 0$，即 $X$ 中任意三个元素的乘积为零。
• 利用 $X^3$ 的消失性，通过组合与代数技巧推导无等差数列子集大小的上界。
• 将该方法应用于 $G = G_0^n$，其中 $G_0$ 为固定的有限阿贝尔群，特别是当 $G_0$ 具有 4-挠元或奇素数挠元时。
• 通过构造满足 $X^3 = 0$ 的类似子空间，将论证扩展至非阿贝尔 $p$-群，包括 $\mathbb{F}_p$ 上的海森堡群和单位三角群。
• 确立在 $\mathbb{F}[G]$ 中存在满足 $X^3 = 0$ 的子空间 $X$ 是群能对无等差数列子集施加 $|G|^{1-c}$ 上界的根本代数特征。

实验结果

研究问题

• RQ1 在群代数 $\mathbb{F}[G]$ 中，何种代数性质可解释为何某些 $p$-群存在对无等差数列子集的强上界，而其他群（如大循环群）则不存在？
• RQ2 在 $\mathbb{F}[G]$ 中存在一个低余维子空间 $X \subset \mathbb{F}[G]$ 满足 $X^3 = 0$，这与 $G$ 中无等差数列子集的大小有何关系？
• RQ3 能否将上界 $|G|^{1-c}$ 扩展至非阿贝尔 $p$-群，如 $\mathbb{F}_p$ 上的海森堡群和单位三角群？
• RQ4 群 $G_0$ 在决定 $G = G_0^n$ 中上界 $|G|^{1-c}$ 的常数 $c > 0$ 时起何作用？
• RQ5 在低余维子空间 $X \subset \mathbb{F}[G]$ 中，$X^3 = 0$ 的条件是否对实现此类上界而言既是必要也是充分的？

主要发现

• 在 $\mathbb{F}[G]$ 中存在一个低余维子空间 $X \subset \mathbb{F}[G]$ 满足 $X^3 = 0$，是使 $G$ 中无等差数列子集能获得强上界的關鍵代数條件。
• 对于 $G = G_0^n$，其中 $G_0$ 为固定的有限阿贝尔群，本文确认无等差数列子集满足 $|A| \leq |G|^{1-c}$，其中 $c > 0$ 仅依赖于 $G_0$，前提是 $X^3 = 0$ 成立。
• $|G|^{1-c}$ 上界对 $\mathbb{F}_p$ 上的海森堡群和单位三角群均成立，这两类群均存在满足 $X^3 = 0$ 的子空间 $X$。
• 本文表明，$X$ 满足 $X^3 = 0$ 的构造，正是 Croot–Lev–Pach 和 Ellenberg–Gijswijt 方法在 $p$-群中成功而在大循环群中失败的根本原因。
• 常数 $c > 0$ 由 $G_0$ 的结构决定，且对固定的 $G_0$，该上界对所有 $n$ 均一致，表明存在一个稳健的代数机制。
• 本文确立了在循环群中此类满足 $X^3 = 0$ 的子空间 $X$ 的缺失，解释了为何在该情况下 $|G|^{1-c}$ 上界不成立。