[논문 리뷰] On $k$-free-like groups

A. Yu. Olshanskii, Mark Sapir|ArXiv.org|2008. 11. 11.

Geometric and Algebraic Topology참고 문헌 8인용 수 5

한 줄 요약

이 논문은 유한 생성된 군들 중에서 $k$-free-like 군—$k$-원소 생성 집합에 대해 카일리 그래프에서 체이저 상수는 일관되게 유계이고 둘레가 임의로 큰 군들—을 도입하고 그 성질을 규명한다. 소형 취소 이론과 초평면 및 토르션 군에 관한 결과를 이용하여, 모든 $k \geq 2$에 대해 비자유적이고 유한 생성이며, 유한 생성이 아닌 $k$-free-like 군의 구체적 예를 구성함으로써, 자유군 외에 이러한 군의 존재성에 관한 질문을 해결한다.

ABSTRACT

A $k$-free like group is a $k$-generated group $G$ with a sequence of $k$-element generating sets $Z_n$ such that the girth of $G$ relative to $Z_n$ is unbounded and the Cheeger constant of $G$ relative to $Z_n$ is bounded away from 0. By a recent result of Benjamini-Nachmias-Peres, this implies that the critical bond percolation probability of the Cayley graph of $G$ relative to $Z_n$ tends to $1/(2k-1)$ as $n o \infty$. Answering a question of Benjamini, we construct many non-free groups that are $k$-free like for all sufficiently large $k$.

연구 동기 및 목표

• 벤자민가 제기한 질문—$k=2,3$에 대해 $k$-free-like이지만 비자유인 군이 존재하는가—을 해결하기 위해.
• 기존의 초평면 군이 $k \geq m+1$일 때 $k$-free-like임을 알려진 결과를 확장하여, 토르션 및 비원자적 경우를 포함하도록 하기 위해.
• ‘$k$-거의 항등식’ 개념을 통해 군이 $k$-free-like임에 필요한 필요충분조건을 설정하기 위해.
• 둘레가 유계이더라도 비자명한 항등식을 만족하지 않을 수 있음을 보여주어, 이전의 가정에 도전하기 위해.
• 퍼콜레이션 이론에 응용을 제공하기 위해, $k$-free-like 군이 이론적 최소값인 $\frac{1}{2k-1}$에 임의로 가까운 임계 퍼콜레이션 임계값을 달 đạt할 수 있음을 보여주기 위해.

제안 방법

• 적절히 선택된 관계자들을 사용해 자유군 위에서 소형 취소 이론을 적용하여, 큰 둔화와 일관된 체이저 상수의 하한을 확보하는 방식으로 $k$-free-like 군을 구성한다.
• HNN 확장과 병합 곱의 극한인 군 $\hat{H}$를 사용해, 체이저 상수가 일관되게 유계이고 둔화가 무한히 증가하는 2생성자 비자유 군을 구축한다.
• 올샤노프스키(1991)의 희박한 초평면 군과 토르션 군에 관한 결과를 응용하여 원하는 성질을 가진 예를 구성한다.
• 모든 $k$-튜플이 군을 생성할 때 $x_i^n = 1$을 만족하는 어떤 $n$이 존재하면 둔화가 $n$ 이하로 유계임을 이용해, $k$-거의 항등식 개념을 도입한다.
• 비원자적 초평면 군의 균일한 비압류성(출처: [ABLRS])을 활용해 체이저 상수가 0에서 일정하게 떨어져 있음을 보장한다.
• 만약 모든 $k$-생성자 튜플이 어떤 $n$에 대해 $x_i^n = 1$을 만족한다면, 둔화는 $n$ 이하로 유계이며, 이는 $k$-거의 항등식의 존재와 관련된다.

실험 결과

연구 질문

• RQ1 비자유적 $k$-free-like 군이 존재하는가, 특히 $k=2,3$일 때?
• RQ2 비원자적 초평면 군은 생성자 수에 가까운 $k$에 대해 $k$-free-like가 될 수 있는가?
• RQ3 $k$-생성 군에서 둔화가 유계일 때와 $k$-거의 항등식 존재 사이의 관계는 무엇인가?
• RQ4 토르션 군은 $k$-free-like가 될 수 있으며, 만약 가능하면 어떤 조건에서 그러한 성질을 가질 수 있는가?
• RQ5 $k$-free-like 군의 임계 퍼콜레이션 임계값 $p_c$는 이론적 최소값인 $\frac{1}{2k-1}$에 얼마나 가까이 갈 수 있는가?

주요 결과

• 정리 1은 소형 취소 이론을 사용해, 모든 $k \geq 2$에 대해 $k$-free-like인 2생성자 비자유 유한 생성 군을 구성한다.
• 정리 2는 모든 비가상 순환 $m$-생성 초평면 군이 모든 $k \geq m+1$에 대해 $k$-free-like이며, 토르션 없는 경우 $k \geq m$에 대해 $k$-free-like임을 보여준다.
• 정리 3은 올샤노프스키의 정리 39.4에서 유래한 구성 방법을 사용해, 모든 $k \geq 3$에 대해 $k$-free-like인 2생성자 토르션 군을 구성한다.
• 논문은 모든 $k$-원소 생성 집합에 대해 둔화가 일관되게 유계이면, 군이 비자명한 $k$-거의 항등식을 만족함과 필요충분조건임을 증명한다.
• 이론적으로 둔화가 유계라고 해서 비자명한 항등식이 존재한다는 가정에 도전하는 반례를 제공한다: 둔화가 유계이더라도 자유 아벨군이 아닌 부분군을 포함하고 비자명한 항등식을 만족하지 않을 수 있다.
• 결과적으로 $k$-free-like 군은 전이성 그래프 위의 퍼콜레이션 응용을 통해 $p_c$가 이론적 최소값인 $\frac{1}{2k-1}$에 임의로 가까이 갈 수 있음을 시사한다.