[논문 리뷰] A notion of geometric complexity and its application to topological rigidity

Erik Guentner, Romain Tessera외 1명|arXiv (Cornell University)|2010. 08. 04.

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

한 줄 요약

이 논문은 기하학적 불변량인 유한 분해 복잡도(FDC)를 도입하여, 메트릭 공간과 군의 위상적 강성 문제를 연구한다. 만약 닫힌 비퇴화 다각형의 기본군이 FDC를 가진다면, 그의 기본 덮개는 유계 강성성을 가지며, 다각형은 안정적으로 강성성을 가진다. 즉, 충분히 높은 차원의 유클리드 공간과 곱을 취한 후에는, 동치 위상의 다각형과 호메오멀포픽이 된다.

ABSTRACT

We introduce a geometric invariant, called finite decomposition complexity (FDC), to study topological rigidity of manifolds. We prove for instance that if the fundamental group of a compact aspherical manifold M has FDC, and if N is homotopy equivalent to M, then M x R^n is homeomorphic to N x R^n, for n large enough. This statement is known as the stable Borel conjecture. On the other hand, we show that the class of FDC groups includes all countable subgroups of GL(n,K), for any field K, all elementary amenable groups, and is closed under taking subgroups, extensions, free amalgamated products, HNN extensions, and direct unions.

연구 동기 및 목표

• 대규모 기하학에서 위상적 강성을 분석하기 위해 기하학적 불변량인 유한 분해 복잡도(FDC)를 개발한다.
• 닫힌 비퇴화 다각형의 기본 덮개가 유계 강성을 가지는 조건을 확립한다.
• 기본군이 유한 분해 복잡도를 가진 다각형에 대해 안정적 Borel 추측을 증명한다.
• FDC를 만족하는 군의 집합을 특성화하고, 핵심 군론적 연산에 대해 닫힘 성질을 보여준다.
• 강성 문제에 대해 다이나믹스 방법의 대체로, 군의 대규모 기하학적 접근을 제공한다.

제안 방법

• 유한 점근적 차원에 영감을 받은 대규모 기하학적 성질인 유한 분해 복잡도(FDC)를 정의하여, 메트릭 공간을 단순한 조각들로 반복적으로 분해할 수 있도록 한다.
• FDC를 사용하여, FDC 기본군을 가진 닫힌 비퇴화 다각형에 대해, 어떤 동치 위상도도 기본 덮개의 유계 동치 위상도를 통해, 유계 호모토피 동치로 변환되며, 이는 유계 위상동형사상과 유계 호모토피 동치임을 증명한다.
• FDC를 적용하여, 유계 기하를 가지는 메트릭 공간과 FDC를 갖는 경우, 유계 Farrell-Jones 등급 동치 추측과 유계 Borel 동치 추측을 확립한다.
• FDC가 부분군, 확장, 자유로운 병합, HNN 확장, 그리고 직접 합에 대해 보존됨을 보여준다.
• FDC 군은 모든 가산 선형 군(어떤 체 위의), 모든 하이퍼볼릭 군, 모든 기본 아벨 군, 그리고 거의 연결 리 군의 모든 가산 부분군을 포함한다.
• 유계 범주에서 제어된 대수학과 K-이론 기법을 사용하여, FDC 조건 하에서 L-이론 등급 동치 추측을 분석한다.

실험 결과

연구 질문

• RQ1 닫힌 비퇴화 다각형의 기본군에 대해 어떤 기하학적 조건이 위상적 강성을 보장하는가?
• RQ2 다이나믹스 성질이 아닌 대규모 기하학적 불변량을 사용하여 안정적 Borel 추측을 증명할 수 있는가?
• RQ3 어떤 군의 집합이 유한 분해 복잡도를 만족하는가? 이 집합은 표준 군 연산에 대해 닫혀 있는가?
• RQ4 유한 분해 복잡도가 유한 점근적 차원 및 기타 기하학적 불변량과 어떻게 관련되어 있는가?
• RQ5 FDC는 기본 덮개의 유계 강성과 다각형의 안정적 강성에 대해 어느 정도를 암시하는가?

주요 결과

• 닫힌 비퇴화 다각형의 기본군이 유한 분해 복잡도를 가진다면, 그의 기본 덮개는 유계 강성을 가진다: 즉, 기본 덮개의 모든 유계 동치 위상도는 유계 위상동형사상과 유계 호모토피 동치이다.
• 기본군이 유한 분해 복잡도를 가진 닫힌 비퇴화 다각형에 대해 안정적 Borel 추측이 성립한다: 충분히 큰 $ n $에 대해 $ M \times \mathbb{R}^n $은 $ M $과 $ N $이 동치 위상일 경우 $ N \times \mathbb{R}^n $과 호메오멀포픽이다.
• 유한 분해 복잡도를 가진 군의 집합은 모든 가산 선형 군(어떤 체 위의), 모든 하이퍼볼릭 군, 모든 기본 아벨 군, 그리고 모든 거의 연결 리 군의 가산 부분군을 포함한다.
• 유한 분해 복잡도는 부분군, 확장, 자유로운 병합, HNN 확장, 그리고 직접 합에 대해 보존된다.
• 유계 Farrell-Jones $ L $-이론 등급 동치 추측과 유계 Borel 등급 동치 추측은 유계 기하를 가지는 메트릭 공간과 유한 분해 복잡도를 가진 경우 성립한다.
• FDC 조건은 강성 문제를 증명할 때 다이나믹스 방법의 대체로 기능하며, $ K $-이론 및 $ L $-이론 등급 동치 추측에 응용 가능하다.