[논문 리뷰] Many Zero Divisors in a Group Ring Imply Bounds on Progression--Free Subsets

Fedor Petrov|arXiv (Cornell University)|2016. 06. 10.

Rings, Modules, and Algebras인용 수 7

한 줄 요약

이 논문은 특정 아벨 $p$-군, 예를 들어 유한 아벨 군 $G_0$에 대해 $G = G_0^n$인 경우와 같은 진동군에서 진행도가 없는 부분집합의 크기가 $|G|^{1-c}$로 유계임을 설명한다. 이는 군 대수 $\mathbb{F}[G]$ 내에 $X^3 = 0$를 만족하는 저codimension 부분공간 $X$가 존재하기 때문이다. 이 결과는 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$를 만족하는 저codimension 부분공간의 존재임을 보여주기 위해.
• 헤이젠베르크 군과 $\mathbb{F}_p$ 위의 유니트리앙귤러 군을 포함한 비아벨 $p$-군에 대해 $|G|^{1-c}$ 유계를 확장하기 위해.

제안 방법

• 유한 아벨 $p$-군과 행렬 $p$-군의 군 대수 $\mathbb{F}[G]$를 분석하기 위해.
• 모든 세 원소의 곱이 0이 되는, 즉 $X^3 = 0$을 만족하는 저codimension 부분공간 $X \subset \mathbb{F}[G]$를 식별하기 위해.
• $X^3$의 소멸을 이용하여 조합론적 및 대수적 기법을 통해 진행도가 없는 부분집합의 크기에 대한 유계를 도출하기 위해.
• $G_0$가 고정된 유한 아벨 군일 때 $G = G_0^n$에 대해 이 방법을 적용하기 위해.
• 헤이젠베르크 군과 $\mathbb{F}_p$ 위의 유니트리앙귤러 군과 같은 비아벨 $p$-군에 대해, $X^3 = 0$를 만족하는 유사한 부분공간을 구성함으로써 추론을 확장하기 위해.
• 진행도가 없는 부분집합에 대해 $|G|^{1-c}$ 유계가 성립하는 데 있어, 이러한 부분공간 $X$가 존재하는 것이 핵심 대수적 특징임을 규명하기 위해.

실험 결과

연구 질문

• RQ1 군 대수 $\mathbb{F}[G]$ 내에서 어떤 대수적 성질이 일부 $p$-군에서는 진행도가 없는 부분집합에 대해 강력한 상한을 제공하지만, 다른 군—특히 큰 순환군—에서는 그렇지 않은가를 설명하는가?
• RQ2 저codimension 부분공간 $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 저codimension 부분공간 $X \subset \mathbb{F}[G]$에 대해 $X^3 = 0$ 조건이 이러한 유계가 성립하기 위해 필수적이고 충분한가?

주요 결과

• 진행도가 없는 부분집합에 대한 강력한 상한이 존재하는 데 있어, $X \subset \mathbb{F}[G]$ 내에 존재하는 저codimension 부분공간 $X$가 $X^3 = 0$를 만족하는 것이 핵심 대수적 조건이다.
• $G_0$가 고정된 유한 아벨 군일 때 $G = G_0^n$인 경우, 논문은 진행도가 없는 부분집합 $A$가 $|A| \leq |G|^{1-c}$를 만족함을 확인한다. 여기서 $c > 0$는 $G_0$에만 의존한다.
• 헤이젠베르크 군과 $\mathbb{F}_p$ 위의 유니트리앙귤러 군에 대해서도 $|G|^{1-c}$ 유계가 성립하며, 이들 모두가 $X^3 = 0$를 만족하는 부분공간 $X$를 갖는다.
• $X^3 = 0$를 만족하는 부분공간 $X$의 구성은 Croot–Lev–Pach 및 Ellenberg–Gijswijt의 추론이 $p$-군에서는 성공하지만 큰 순환군에서는 실패하는 이유를 밝혀내는 근본 원인임을 보여준다.
• $c > 0$는 $G_0$의 구조에 의해 결정되며, 고정된 $G_0$에 대해 모든 $n$에 대해 일관되므로, 강력한 대수적 메커니즘이 있음을 시사한다.
• 논문은 순환군에서는 이러한 부분공간 $X$가 $X^3 = 0$를 만족하지 못함으로써 $|G|^{1-c}$ 유계가 성립하지 않는 이유를 규명한다.