[論文レビュー] 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

ひとこと要約

本稿は、有限アーベル $p$-群（例えば $G = G_0^n$、$G_0$ は有限アーベル群）における等差数列を含まない部分集合のサイズが、ある $c > 0$ に対して $|G|^{1-c}$ で有界である理由を、群代数 $\mathbb{F}[G]$ に存在する低余次元部分空間 $X$ で $X^3 = 0$ を満たすものがあることによって説明している。この結果は、4- torsion または奇素数 torsion を持つ群に対する以前の有界性の結果を一般化し、ヘイゼンベルク群やユニトリアル行列群を含む行列 $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]$ における代数的条件を同定すること。
• 低余次元部分空間 $X \subset \mathbb{F}[G]$ が $X^3 = 0$ を満たすという事実が、強い有界性を持つ群と持たない群を区別する主要な構造的特徴であることを示すこと。
• ヘイゼンベルク群や $\mathbb{F}_p$ 上のユニトリアル群を含む非アーベル $p$-群に対しても、$|G|^{1-c}$ の有界性を拡張すること。

提案手法

• 有限アーベル $p$-群および行列 $p$-群の群代数 $\mathbb{F}[G]$ を分析すること。
• 低余次元の部分空間 $X \subset \mathbb{F}[G]$ を特定し、$X^3 = 0$ つまり $X$ の任意の3要素の積が0であることを満たすものを探す。
• $X^3$ の消える性質を用いて、組合せ論的・代数的技法により、等差数列を含まない部分集合のサイズに対する有界性を導出すること。
• $G_0$ が4- torsion や奇素数 torsion を持つ場合を含め、$G = G_0^n$ の場合にこの手法を適用すること。
• ヘイゼンベルク群や $\mathbb{F}_p$ 上のユニトリアル群などの非アーベル $p$-群に対しても、同様の $X^3 = 0$ を満たす部分空間を構成することで、議論を拡張すること。
• 等差数列を含まない部分集合に対して $|G|^{1-c}$ の有界性が成立するための根本的な代数的特徴が、このような部分空間 $X$ が存在することであることを確立すること。

実験結果

リサーチクエスチョン

• RQ1 群代数 $\mathbb{F}[G]$ におけるどの代数的性質が、特定の $p$-群では等差数列を含まない部分集合に対して強い上界が存在する一方、他の群（例えば大きな巡回群）では存在しないのか。
• RQ2 低余次元部分空間 $X \subset \mathbb{F}[G]$ が $X^3 = 0$ を満たすという事実が、$G$ における等差数列を含まない部分集合のサイズにどのように関係するか。
• RQ3 ヘイゼンベルク群や $\mathbb{F}_p$ 上のユニトリアル群のような非アーベル $p$-群に対しても、$|G|^{1-c}$ の有効性を拡張できるか。
• RQ4 $G = G_0^n$ の場合に、定数 $c > 0$ を決定づける $G_0$ の役割は何か。
• RQ5 低余次元部分空間 $X \subset \mathbb{F}[G]$ に対して $X^3 = 0$ が成り立つという条件は、このような有界性が成立するための必要十分条件か。

主な発見

• 群代数 $\mathbb{F}[G]$ に低余次元部分空間 $X$ が存在し、$X^3 = 0$ を満たすことは、$G$ における等差数列を含まない部分集合に対して強い上界が成立するための主要な代数的条件である。
• $G_0$ を固定した有限アーベル群とするとき、$G = G_0^n$ に対して、$X^3 = 0$ が成り立つ限り、等差数列を含まない部分集合 $A$ に対して $|A| \leq |G|^{1-c}$ が成り立つことが本稿で確認された。ここで $c > 0$ は $G_0$ のみに依存する。
• ヘイゼンベルク群および $\mathbb{F}_p$ 上のユニトリアル群に対しても、$|G|^{1-c}$ の有界性が成り立つ。両者ともに、$X^3 = 0$ を満たす部分空間 $X$ を持つ。
• $X$ を $X^3 = 0$ を満たすように構成できることこそが、Croot–Lev–Pach および Ellenberg–Gijswijt の議論が $p$-群では成功するが、大きな巡回群では失敗する背後にある根本的要因であることが示された。
• $c > 0$ の値は $G_0$ の構造に依存し、$G_0$ を固定した場合、すべての $n$ に対して一様に成り立つため、強固な代数的メカニズムであることが示された。
• 巡回群ではこのような $X$ が $X^3 = 0$ を満たさないため、$|G|^{1-c}$ の有界性が成立しないことが本稿で確立された。