[논문 리뷰] On uniform exponential growth for solvable groups

Emmanuel Breuillard|ArXiv.org|2006. 02. 04.

Geometric and Algebraic Topology참고 문헌 13인용 수 6

한 줄 요약

이 논문은 유한 생성 아벨군에 대한 균일한 지수적 성장에 대한 새로운 펭귄 증명을 제공하며, 이러한 군들이 유한 첨수 부분군을 가질 수 있고, 그 부분군의 양의 독립성 지름이 최대 3이 되도록 한다. 핵심 결과는 느린 지수적 성장이 유한 첨수 부분군으로의 전이에서 사라지며, 이는 비-유한 아벨군의 군의 동치류에 대해 균일한 지수적 성장이 본질적인 성질임을 시사한다.

ABSTRACT

Using a theorem of J. Groves we give a ping-pong proof of Osin's uniform exponential growth for solvable groups. We discuss slow exponential growth and show that this phenomenon disappears as one passes to a finite index subgroup.

연구 동기 및 목표

• 유한 생성 아벨군에 대한 균일한 지수적 성장에 대한 대체적이고 직접적인 증명을 제공하는 것.
• 오신의 결과를 강화하여 유한 첨수 부분군에서의 양의 독립성 지름을 유계로 제한하는 것.
• 느린 지수적 성장이 유한 첨수 부분군으로 전이될 때 지속되는지 여부를 밝히는 것, 또는 항상 균일한 지수적 성장으로 대체되는지 여부를 밝히는 것.
• 레하머 추측과 연결하여 군의 성장과 수론 간의 관계를 탐색하는 것.

제안 방법

• 제이. 그로브스의 정리에 기반한 펭귄 추론을 사용하여 아벨군에서 자유 반군의 생성을 확립하는 것.
• 카일리 그래프에서 자유 반군이 나타나는 시점을 측정하는 도구로 양의 독립성 지름 $ d_{\text{group}}^+ $ 를 정의하고 분석하는 것.
• 행렬 군에서 단어 길이의 성장을 유계로 제한하기 위해 대수적 및 기하적 기법을 적용하는 것.
• 다항식 환에서 유클리드 나눗셈과 재귀 관계를 사용하여 기약 다항식에 대한 나머지의 수를 제어하는 것.
• 고유값 분해와 행렬식 유계를 통해 다항식 공간에서 격자 집합의 체적을 추정하는 것.
• 군의 성장률을 다항식의 마할러 측도와 연결하여 군의 성장과 수론적 추측 간의 관계를 설정하는 것.

실험 결과

연구 질문

• RQ1 균일한 지수적 성장이 코homological 또는 역학적 방법이 아닌 직접적인 펭귄 추론을 통해 아벨군에서 증명될 수 있는가?
• RQ2 비-유한 아벨군의 유한 첨수 부분군 전체에 걸쳐 양의 독립성 지름 $ d_{\text{group}}^+ $ 의 최대 가능한 값은 무엇인가?
• RQ3 느린 지수적 성장(지수적 성장이지만 엔트로피가 임의로 작음)은 유한 첨수 부분군에서도 지속되는가, 아니면 항상 균일한 지수적 성장으로 대체되는가?
• RQ4 아벨군의 성장률이 정의 다항식의 마할러 측도로 아래에서 유계로 제한될 수 있는가?
• RQ5 양의 독립성 지름이 일정하게 유계임이 존재하는 경우, 이는 레하머 추측을 의미하는가?

주요 결과

• 모든 유한 생성 비-유한 아벨군 $ \Gamma $ 에 대해, $ d_{\Gamma_0}^+ \leq 3 $ 를 만족하는 유한 첨수 부분군 $ \Gamma_0 $ 가 존재하며, 이는 엔트로피가 최소 $ \frac{\log 2}{3} $ 인 균일한 지수적 성장을 암시한다.
• 유한 첨수 부분군 전체에 걸쳐 양의 독립성 지름 $ d_{\Gamma}^+ $ 는 일정하게 유계로 제한되며, 이 유계는 군 $ \Gamma $ 에만 의존하고 부분군에 따라 달라지지 않는다.
• 느린 지수적 성장 — 즉, 지수적 성장이지만 엔트로피가 임의로 작은 성장 — 은 유한 첨수 부분군에서 지속될 수 없으며, 적절한 유한 첨수 부분군으로 전이될 때 사라진다.
• 유한 생성 아벨군의 대수적 엔트로피 $ S_{\Gamma} $ 는 $ \frac{\log 2}{d_{\Gamma}^+} $ 에 의해 아래에서 유계로 제한되며, 따라서 유한한 $ d_{\Gamma}^+ $ 는 균일한 지수적 성장을 암시한다.
• 논문은 군의 성장과 수론 간의 연결 고리를 설정한다: 만약 양의 독립성 지름이 일정하게 유계이면, 정의 다항식의 마할러 측도는 1에서 멀리 떨어져 있으며, 이는 레하머 추측을 지지한다.
• 기약 다항식에 대한 나머지 집합의 체적은 마할러 측도로 유계로 증가하며, 이는 엔트로피 유계 $ \limsup (\# \Sigma^n)^{1/n} \leq m(\pi) $ 를 이끈다.