[논문 리뷰] Properness of nilprogressions and the persistence of polynomial growth of given degree

Matthew Tointon, Romain Tessera|arXiv (Cornell University)|2016. 12. 15.

Limits and Structures in Graph Theory참고 문헌 30인용 수 2

한 줄 요약

이 논문은 임의의 니르프로그레션(nilprogression)이 상삼각행렬 형태의 적절한 코스레 니르프로그레션으로 효율적으로 근사될 수 있음을 증명하며, 프라이먼 유형의 결과를 니르프로그레션의 설정으로 확장한다. 주요 기여는 D차 다항성장의 유지성(persistence)을 증명하는 것이다: 대규모 스케일 n에서 대칭 생성집합 S가 |Sn| ≤ Mn^D를 만족한다면, 모든 r ≥ n에 대해 |Sr| ≪M,D r^D가 성립함을 보이며, 벤자민의 추측을 확인한다.

ABSTRACT

We show that an arbitrary nilprogression can be approximated by a proper coset nilprogression in upper-triangular form. This can be thought of as a nilpotent version of the Freiman-Bilu result that a generalised arithmetic progression can be efficiently contained in a proper generalised arithmetic progression, and indeed an important ingredient in the proof is a Lie-algebra version of the geometry-of-numbers argument at the centre of that result. We also present some applications. We verify a conjecture of Benjamini that if $S$ is a symmetric generating set for a group such that $1\in S$ and $|S^n|\le Mn^D$ at some sufficiently large scale $n$ then $S$ exhibits polynomial growth of the same degree $D$ at all subsequent scales, in the sense that $|S^r|\ll_{M,D}r^D$ for every $r\ge n$. Our methods also provide an important ingredient in a forthcoming companion paper in which we reprove and sharpen a result about scaling limits of vertex-transitive graphs of polynomial growth due to Benjamini, Finucane and the first author. We also note that our arguments imply that every approximate group has a large subset with a large quotient that is Freiman isomorphic to a subset of a torsion-free nilpotent group of bounded rank and step.

연구 동기 및 목표

• 일반적인 니르프로그레션들이 효율적으로 적절한 코스레 니르프로그레션에 포함될 수 있음을 보여주는, 프라이먼–빌루 정리의 니르프로그레션 버전을 수립한다.
• 벤자민의 추측을 해결한다: 만약 어떤 큰 스케일 n에서 |Sn| ≤ Mn^D라면, 모든 r ≥ n에 대해 |Sr| ≪M,D r^D가 성립한다.
• 브로이야르드–그린–타오의 근사군 구조 정리에 대한 구조적 개선을 제공하여, 근사군이 코스레 니르프로그레션에 포함되는 것을 효과적으로 보장한다.
• 모든 근사군이 랭크와 스텝이 유계인 토션 자유 니르프로그레션의 부분집합과 Freiman 동형이 되는 큰 몫을 갖는 큰 부분집합을 포함함을 보여준다.
• 다음 논문에서 다항성장의 정점에 대한 대칭 그래프의 척도 한계에 대한 핵심 기술적 요소를 제공한다.

제안 방법

• 기하학적 수론의 리대수 버전을 사용하여, 주어진 니르프로그레션을 근사하는 적절한 코스레 니르프로그레션을 구성한다.
• 니르프로그레션의 상삼각행렬 형태 개념을 도입하고 분석하여, 제어 가능한 교환관계와 좌표 행동을 확보한다.
• m-적절성의 개념을 통한 개선된 배율 증명을 적용하여, 집합의 곱에서의 성장을 제어한다.
• 레마 8.11의 반복적 적용과 포함관계(예: XHPr ⊂ S_r^n ⊂ XHPO⌈D⌉,m,k(r))를 활용하여 스케일 전반에 걸쳐 성장 제어를 전파한다.
• 니르프로그레션 HP의 적절성과 상삼각행렬 형태를 활용하여, 측면 길이 Li ≫⌈D⌉nζ(i)의 하한을 도출함으로써 랭크 ω에 대한 제어를 확보한다.
• HP의 적절성과 성장 조건 |Sn| ≤ Mn^D를 결합하여 ω ≤ ⌊D⌋를 도출함으로써, 원하는 다항성장 상한을 보장한다.

실험 결과

연구 질문

• RQ1 모든 니르프로그레션은 상삼각행렬 형태의 적절한 코스레 니르프로그레션으로 효율적으로 근사될 수 있는가?
• RQ2 큰 스케일 n에서 D차 다항성장이 성립한다면, 이후 모든 스케일에서 동일한 차수의 다항성장이 유지되는가?
• RQ3 브로이야르드–그린–타오의 구조 정리에서 비효율적인 상한은 니르프로그레션 설정에서 효과적으로 만들 수 있는가?
• RQ4 니르프로그레션의 랭크와 그 군 내 다항성장의 차수 사이의 관계는 무엇인가?
• RQ5 모든 근사군은 큰 몫에서 토션 자유 니르프로그레션의 부분집합과 Freiman 동형이 되는 방식으로 연결될 수 있는가?

주요 결과

• 임의의 니르프로그레션은 상삼각행렬 형태의 적절한 코스레 니르프로그레션으로 효율적으로 근사될 수 있으며, 이는 프라이먼–빌루 결과를 니르프로그레션 설정으로 일반화한 것이다.
• 벤자민의 다항성장 유지성 추측이 확인된다: 만약 큰 스케일 n에서 |Sn| ≤ Mn^D라면, 모든 r ≥ n에 대해 |Sr| ≪M,D r^D가 성립한다.
• 니르프로그레션의 랭크 ω는 성장 조건과 적절성으로부터 유도된 ω ≤ ⌊D⌋를 만족하며, 이는 정확한 다항성장 차수를 보장한다.
• 니르프로그레션의 측면 길이 Li는 Li ≫⌈D⌉nζ(i)를 만족하며, 여기서 ζ(i)는 생성자 ui가 성장에 기여하는지 여부를 나타내어 부피에 대한 적절한 제어를 보장한다.
• 증명 과정에서 |HPr| ≪⌈D⌉r⌊D⌋|HP|가 도출되며, 이는 최종적으로 |Srn| ≪⌈D⌉r⌊D⌋|Sn|로 이어져 D차 다항성장의 유지성을 확인한다.
• 이러한 방법은 다항성장의 정점에 대한 대칭 그래프의 척도 한계에 관한 향후 결과에 핵심 기초를 제공하며, 벤자민, 피누캔, 테스라의 작업을 확장한다.