[논문 리뷰] Survey on geometric group theory

Wolfgang Lueck|ArXiv.org|2008. 06. 23.

Geometric and Algebraic Topology참고 문헌 125인용 수 7

한 줄 요약

이 종합적 서베이는 기하군론에 대한 종합적이고 접근성 있는 소개를 비전문가를 위해 제공하며, 특히 준등거리성과 카일리 그래프를 통한 대규모 기하학의 역할에 중점을 두어 군의 성질을 이해한다. 기하적 방법이 깊이 있는 대수적 추측(예: Baum-Connes, Farrell-Jones)을 해결하는 방식을 강조하며, 초순환군, 준등거리성 불변량, 측도론적 군론 분야의 열린 문제를 제시한다.

ABSTRACT

This article is a survey article on geometric group theory from the point of view of a non-expert who likes geometric group theory and uses it in his own research. The sections are: classical examples, basics about quasiisometry,properties and invariants of groups invariant under quasiisometry, rigidity, hyperbolic spaces and CAT(k)-spaces, the boundary of a hyperbolic space, hyperbolic groups, CAT(0)-groups, classifying spaces for proper actions, measurable group theory, some open problems.

연구 동기 및 목표

• 기하군론에 대한 비전문가 우호적인 소개를 제공하며, 기하적 직관과 응용에 중점을 둔다.
• 카일리 그래프의 대규모 기하학, 특히 준등거리성을 통해 군의 깊이 있는 대수적 및 위상수학적 성질을 어떻게 캡처하는지 보여준다.
• 기하군론을 K-이론, L2-불변량, 강성 이론의 주요 추측(예: Baum-Connes, Farrell-Jones, Borel)과 연결한다.
• 미래 연구를 이끄는 초순환군, 준등거리성 불변량, 측도론적 군론 분야의 열린 문제를 제시한다.
• 순수 대수적 증명이 알려져 있지 않은 대수적 문제(예: 아이디포텐트 추측)를 해결하는 데 있어 기하적 방법의 힘을 설명한다.

제안 방법

• 단어 거리(metric)를 갖춘 카일리 그래프를 중심 기하 객체로 사용하며, 그의 대규모(粗) 기하학을 군의 불변량으로 간주한다.
• 군 간의 비교와 대규모 기하 성질에 의한 군의 분류를 위해 준등거리성을 기본적인 동치관계로 적용한다.
• 분류 공간, 초순환 공간의 경계, CAT(κ)-공간과 같은 위상수학적 및 기하학적 도구를 활용하여 군의 구조를 분석한다.
• 측도론적 군론에서 유계 코hom올로지와 바르노이만 대수의 결과를 활용하여 궤도 동치성과 강성 문제를 연구한다.
• 스레이어의 정리(피복 공간을 통한)와 같은 기존 정리와 구성 방법에 의존하여, 자세한 증명 없이도 기하적 방법의 사례를 설명한다.
• 기하위상수학과 연산자 대수학의 결과를 통합하여 군론적 성질과 L2-Betti 수, 노빅로프-슐빈 불변량과 같은 불변량을 연결한다.

실험 결과

연구 질문

• RQ1 모든 초순환군은 가상으로 순환자유이거나 잔여 유한한가?
• RQ2 경계가 S²와 위상동형인 초순환군은 H³에 위상적이고 코컴 pact하게 작용하는가?
• RQ3 초순환군의 경계가 구의 Čech 코hom올로지와 일치할 때는 언제이며, 언제 S^n과 위상동형이 되는가?
• RQ4 Isomorphism 추측(Baum-Connes, Farrell-Jones, Borel)은 SL_n(Z), 매핑 클래스 군, Out(F_n)에 대해 참인가?
• RQ5 준등거리성 불변량인 노빅로프-슐빈 불변량 또는 L2-터전은 준등거리성에 의해 보존되는가?

주요 결과

• 유한 생성 군의 카일리 그래프의 대규모 기하학은 준등거리성을 통해 본질적인 대수적 및 위상수학적 불변량을 캡처한다.
• 경계가 S^n (n ≥ 6)과 위상동형인 초순환군은 유니버설 커버가 R^n과 위상동형인 비가역성 다각형의 기본군으로 알려져 있다.
• 초순환군의 경계가 구의 정수 계수 Čech 코호몰로지와 일치할 때이고, 그때만 그 군이 비가역성 닫힌 다양체의 기본군임이 알려져 있다.
• 측도론적 군론은 보른ولي 작용의 궤도 동치성이 Borel 사상에 의해 군 동형과 작용 동형을 암시함을 드러낸다.
• 초순환군의 유도적 극한에 대해서는, 5차원 이상에서 Farrell-Jones 추측과 Borel 추측이 성립하지만, 다른 설정에서는 반례가 존재할 수 있다.
• 유한 생성된 순환자유 노르멘트 군의 Mal’cev 완비화는 준등거리 불변량으로 추측되나 아직 증명되지 않았다.