[논문 리뷰] A note on quotients of word hyperbolic groups with Property (T)

Yves Cornulier|ArXiv.org|2005. 04. 10.

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

한 줄 요약

이 논문은 카즈단의 성질 (T)을 갖는 모든 이산군이 성질 (T)을 갖는 순환자가 없는 단어 하이퍼볼릭 군의 몫임을 증명한다. 샤로의 유한 표현 결과와 올리비에 및 웨이즈의 성질 (T)을 갖는 핵을 가진 하이퍼볼릭 확장의 구성 방식을 결합함으로써, 이러한 몫들이 강한 유한성 및 기하적 성질을 갖는다는 것을 입증하며, 성질 (T)을 갖는 군에 대해 더 강한 유한성 조건이 가능한지에 대한 질문을 해결한다.

ABSTRACT

Every discrete group with Kazhdan's Property (T) is a quotient of a torsion-free, word hyperbolic group with Property (T).

연구 동기 및 목표

• 모든 성질 (T) 군이 더 강한 유한성 조건, 특히 단어 하이퍼볼릭성 조건을 갖는 군의 몫으로 표현될 수 있는지에 대한 질문을 해결하기 위해.
• 샤로의 성질 (T) 군의 유한 표현 결과를 확장하여, 단어 하이퍼볼릭성이라는 기하적 조건을 추가하기 위해.
• 주어진 성질 (T) 군으로의 자연스러운 전성사상을 갖는 순환자가 없는 단어 하이퍼볼릭 군이 성질 (T)을 갖는 군을 구성하기 위해.
• 원래 군의 최소 생성수를 유지하는 하이퍼볼릭 몫이 존재하는지 조사하기 위해.

제안 방법

• 모든 성질 (T) 군이 유한 생성된 성질 (T) 군의 몫임을 보여주는 샤로의 정리 활용.
• 올리비에 및 웨이즈의 짧은 정확수열 구성 적용: 1 → N → G → Q → 1, 여기서 G는 순환자가 없고 단어 하이퍼볼릭이며, N은 성질 (T)을 갖는다.
• 성질 (T)가 확장에 대해 유지된다는 사실을 이용하여, N과 Q가 모두 성질 (T)을 갖는다면 총군 G도 성질 (T)을 갖는다는 것을 유추한다.
• G에서 Q로의 전성사와 Q에서 주어진 군 G로의 전성사를 조합하여 G로의 전성사 구축.
• 올리비에–웨이즈 구성의 성질에 기반하여 최종 군 G₀가 순환자가 없고 단어 하이퍼볼릭임을 보장한다.

실험 결과

연구 질문

• RQ1 모든 이산군 중 성질 (T)을 갖는 군은 성질 (T)을 갖는 순환자가 없는 단어 하이퍼볼릭 군의 몫으로 표현될 수 있는가?
• RQ2 이러한 하이퍼볼릭 몫을 잔여 유한성( residually finite)으로 구성하는 것이 가능한가?
• RQ3 원래 성질 (T) 군의 생성수를 하이퍼볼릭 몫에서 유지할 수 있는가?
• RQ4 올리비에 및 웨이즈의 확장 구성에서, 핵과 몫이 모두 성질 (T)을 갖는다면 총군에서도 성질 (T)이 유전되는가?
• RQ5 성질 (FA)는 성질 (T)과 유사하게 몫에 대해 보존되는가?
• RQ6 원래 군과 동일한 수의 원소로 생성되는 동시에 단어 하이퍼볼릭인 중간 몫을 찾을 수 있는가?

주요 결과

• 카즈단의 성질 (T)을 갖는 모든 이산군은 성질 (T)을 갖는 순환자가 없는 단어 하이퍼볼릭 군의 몫이다.
• 이 구성은 샤로의 유한 표현 결과와 올리비에 및 웨이즈의 짧은 정확수열(총군은 순환자가 없고 단어 하이퍼볼릭이며, 핵은 성질 (T)을 갖는다)을 결합함에 기반한다.
• 확장에서 몫 Q와 핵 N이 모두 성질 (T)을 갖는다면, 총군 G 역시 성질 (T)을 갖는다. 이는 성질 (T)가 확장에 대해 안정적이기 때문이다.
• G가 r-생성자일 경우, 결과 군 G₀는 (r+2)-생성자이므로 생성자 수의 증가가 매우 작음을 보여준다.
• 성질 (T) 군이 더 강한 유한성 및 기하적 성질을 갖는 하이퍼볼릭 군의 몫이 될 수 있다는 질문에 대한 긍정적 해답을 제공한다.
• 이전에 잘못된 성질 (FA) 군이 유한 생성된 성질 (FA) 군의 몫임을 주장한 바를 수정하며, 원래 증명에 결함이 있음을 인정한다.