[논문 리뷰] On asymptotic dimension of groups acting on trees

G. Bell, Alexander Dranishnikov|ArXiv.org|2001. 11. 07.

Advanced Operator Algebra Research참고 문헌 3인용 수 5

한 줄 요약

이 논문은 유한한 그래프의 군에 대한 기본군의 점 渐近 차원이 그의 유한 생성된 정점 군들의 최대 점 渐近 차원보다 1 이상 작다는 것을 증명한다. 기하군론과 나무 위의 커버링 기법을 사용하여, 모든 정점 군에 대해 asdim(Gᵥ) ≤ n 이면 asdim(π) ≤ n + 1 임을 증명하며, 이 경계는 HNN 확장과 합성곱에 대해 정확하다.

ABSTRACT

We prove the following theorem: Let $π$ be the fundamental group of a finite graph of groups with finitely generated vertex groups $G_v$ having asdim $G_v\le n$ for all vertices $v$. Then asdim$π\le n+1$. This gives the best possible estimate for the asymptotic dimension of an HNN extension and the amalgamated product.

연구 동기 및 목표

• 유한한 그래프의 군에 대한 기본군의 점 渐近 차원을 결정하는 것.
• 합성곱 자유곱과 HNN 확장에 대한 기존의 점 渐近 차원 추정치를 향상시키는 것.
• HNN 확장과 일반적인 합성곱에 대해 최적임을 보장하는 날카로운 상한을 설정하는 것.
• 군이 나무 위에 작용할 때 점 渐近 차원이 군의 정점 군들의 점 渐近 차원에만 의존하는 지 보여주는 것.
• 군의 확장에 대한 이전의 유한 점 渐近 차원 결과를 그래프의 군 설정으로 일반화하는 것.

제안 방법

• 메트릭 공간의 균일하게 유계이고 d-불연속적인 커버링을 통한 Gromov의 점 渐近 차원 정의를 사용한다.
• 유한 합집합 정리와 무한 합집합 정리를 적용하여 군의 구조 내 집합들의 점 渐近 차원을 제어한다.
• Bass-Serre 이론을 사용하여 나무 위에 작용하는 군을 그래프의 군의 기본군으로 표현한다.
• 어휘 거리와 케일리 그래프 내 경로 길이를 활용하여 정점 군의 구조와 간선 안정자르기를 이용해 군의 커버를 구성한다.
• 코arse 동치와 이웃 영역 구성(예: Nᵣ(φᵧ(Gᵧ)))을 사용하여 군 내 집합과 정점 군 간의 관계를 설정하고 차원을 제어한다.
• 케일리 그래프 내 경로 길이에 대한 귀납법을 적용하여 고정된 길이의 단어 집합이 유계된 점 渐近 차원을 가짐을 보여준다.

실험 결과

연구 질문

• RQ1 정점 군의 점 渐近 차원이 유계된 유한한 그래프의 군에 대한 기본군의 점 渐近 차원은 무엇인가?
• RQ2 HNN 확장이나 합성곱의 점 渐진 차원을 입력 군의 차원으로 유계화할 수 있는가?
• RQ3 HNN 확장과 일반적인 합성곱에 대해 asdim(π) ≤ n + 1 경계가 날카로운가?
• RQ4 나무 위에 작용하는 군의 점 渐진 차원이 그의 정점 군들의 점 渐진 차원에만 의존하는가?
• RQ5 그래프의 군의 점 渐진 차원은 정점 군의 차원 최댓값에 1을 더한 공식을 통해 계산될 수 있는가?

주요 결과

• 정점 군이 asdim(Gᵥ) ≤ n 를 만족하는 유한한 그래프의 군에 대한 기본군 π의 점 渐진 차원은 최대 n + 1 이다.
• HNN 확장에 대해 경계 n + 1 는 날카롭다. 토러스의 기본군인 켈린 병의 기본군은 asdim = 2 를 가지며 이를 보여준다.
• A = B = C = ℤ 이고 포함 사상이 2배를 곱하는 경우, 합성곱 A ∗C B 의 점 渐진 차원은 정확히 2이며, 이는 경계와 일치한다.
• 이전의 합성곱과 HNN 확장에 대한 유한 점 渐진 차원 결과를 일반화한다.
• 저자들은 포함 사상 C → A 와 C → B 가 동형이 아닐 경우 asdim(A ∗C B) = max{asdim A, asdim B, asdim C + 1} 라는 추측을 제기한다.
• 증명은 단어 길이에 대한 귀납적 제어와 정점 군 및 그들의 곱으로의 코어스 동치를 통한 군의 커버 제어에 기반한다.