[논문 리뷰] Aspherical groups and manifolds with extreme properties

Mark Sapir|arXiv (Cornell University)|2011. 03. 20.

Advanced Operator Algebra Research참고 문헌 15인용 수 6

한 줄 요약

이 논문은 유한 생성된 군 중에서 재귀적인 조합적 비기하적 구조를 가진 군이 유한한 조합적 비기하적 구조를 가진 유한적으로 표현된 군에 통합될 수 있음을 입증한다. Davis의 구성 방법을 사용함으로써, 이는 4차원 폐포 비기하적 다양체의 첫 번째 알려진 예를 제공한다. 이러한 다양체의 기본군은 무한한 점근적 차원을 가지며, 힐버트 공간으로의 균일한 매립이 불가능하고, 성질 A를 만족하지 않으며, 계수를 가진 Baum-Connes 추측을 위반한다. 이는 기하군론과 다양체 위상수학 분야에서 오랫동안 미해결된 문제들을 해결한다.

ABSTRACT

We prove that every finitely generated group with recursive aspherical presentation embeds into a group with finite aspherical presentation. This and several known facts about groups and manifolds imply that there exists a 4-dimensional closed aspherical manifold $M$ such that the fundamental group $π_1(M)$ coarsely contains an expander, and so it has infinite asymptotic dimension, is not coarsely embeddable into a Hilbert space, and does not satisfy the Baum-Connes conjecture with coefficients. Closed aspherical manifolds with any of these properties were previously unknown.

연구 동기 및 목표

• 폐비기하적 다양체의 기본군이 무한한 점근적 차원을 가질 수 있는가에 대한 G. Yu의 미해결 질문을 해결하기 위해.
• 균일하게 매립되지 않으며 성질 A를 만족하지 않는 기본군을 가진 폐비기하적 다양체를 구성하기 위해.
• 기본군이 계수를 가진 Baum-Connes 추측을 위반하는 폐비기하적 다양체의 첫 번째 예를 제공하기 위해.
• 기존 구성에서의 주요 장애물인 유한한 비기하성의 유지라는 조건을 충족시키는 방식으로 Higman 통합 정리의 일반화를 위해.

제안 방법

• 자유군의 다중 HNN 확장을 S-기계를 사용하여 구성함으로써, 유한한 조합적 비기하적 구조를 가진 유한적으로 표현된 군을 만드는 것.
• 반경 다이어그램의 비자명한 원형 다이어그램을 피하기 위해 허브 구조와 밴드 연결을 정교하게 제어함으로써 새로운 임베딩 구성법을 설계하는 것.
• 조합적 호모토피 이론을 적용하여, 원래 군의 표현이 비기하적일 경우, 새로운 표현에 대한 원형 다이어그램이 비자명하지 않음을 보이는 것.
• 표준 부분다이어그램을 통한 다이어그램의 정규형을 도입하여 임베딩의 단사성과 최종 표현의 비기하성을 증명하는 것.
• Davis의 구성 방법을 활용하여, 결과 군을 4차원 이상의 폐포 비기하적 다양체의 기본군으로 실현하는 것.
• 확장자 이론과 균일 기하학을 활용하여 기본군의 극단적인 기하학적 및 해석적 성질을 도출하는 것.

실험 결과

연구 질문

• RQ1 폐비기하적 다양체의 기본군이 무한한 점근적 차원을 가질 수 있는가?
• RQ2 기본군이 G. Yu의 성질 A를 만족하지 않는 폐비기하적 다양체가 존재하는가?
• RQ3 폐비기하적 다양체의 기본군이 계수를 가진 Baum-Connes 추측을 위반할 수 있는가?
• RQ4 Higman 통합 정리는 표현의 유한한 비기하성을 유지하도록 강화될 수 있는가?
• RQ5 재귀적으로 표현된 군이 중심화 요소로 인해 비자명한 원형 다이어그램을 생성하지 않는 조건에서, 유한적으로 표현된 군에 통합될 수 있는가?

주요 결과

• 유한 생성된 군 중에서 재귀적인 조합적 비기하적 표현을 가진 군은 유한한 조합적 비기하적 표현을 가진 유한적으로 표현된 군에 통합될 수 있다.
• 기본군이 확장자를 포함하여 무한한 점근적 차원을 가지는 4차원 폐포 비기하적 다양체가 존재한다.
• 이 다양체의 기본군은 힐버트 공간으로 균일하게 매립되지 않으며, 성질 A를 만족하지 않으며, 계수를 가진 Baum-Connes 추측을 위반한다.
• 기존 Higman 통합에서의 고전적 장애물—즉, 중심화 요소로 인한 비자명한 원형 다이어그램 생성—을 S-기계를 사용하여 다이어그램 위상 구조를 제어함으로써 피하는 구성이다.
• 임베딩은 단사적이며 단어 문제의 결정 가능성을 유지하며, 결과 군의 Dehn 함수는 초지수적이다.
• 구성된 다양체의 기본군은 일반적으로 malnormal이 아니지만, 향후 연구에서 malnormal 통합을 달성할 수 있을 것으로 논문에서 제안한다.