[논문 리뷰] Rough CAT(0) spaces

Stephen M. Buckley, Kurt Falk|arXiv (Cornell University)|2011. 04. 11.

Geometric and Algebraic Topology참고 문헌 15인용 수 6

한 줄 요약

이 논문은 추가 오차를 CAT(0) 비교 부등식에 허용함으로써 고르모프 하이퍼볼릭 공간과 CAT(0) 공간을 모두 일반화하는 통합 프레임워크인 rough CAT(0) 공간을 소개하고 조사한다. 저자들은 두 가지 주요 변종—균일 오차 한계를 가진 rCAT(κ)과 삼각형의 정점에 따라 달라지는 오차를 가진 rCAT(κ;*)—를 정의하여 그 상호 등가성을 증명하고, 이러한 공간들이 풍부한 경계 이론을 지닐 수 있음을 보이며, 또한 곱과 접합을 통해 비자명한 예를 구성하고, 노름 공간이 rough CAT(0)이면 실제로 CAT(0)이어야 한다는 것을 증명한다.

ABSTRACT

We investigate various notions of rough CAT(0). These conditions define classes of spaces that strictly include the union of all Gromov hyperbolic length spaces and all CAT(0) spaces.

연구 동기 및 목표

• Gromov 하이퍼볼릭 공간과 CAT(0) 공간을 모두 포함하는 비음의 곡률 이론의 통합 이론을 개발하기 위해.
• CAT(0) 비교 조건에 추가 오차 항을 도입하여 rough CAT(0) 공간을 정의하고 분석하기 위해.
• rough CAT(0) 공간의 기하학적 및 위상수학적 성질, 특히 지오데식의 유일성과 경계 행동을 조사하기 위해.
• 곱과 등장 변형을 통해 CAT(0)이 아니며 Gromov 하이퍼볼릭이 아닌 비자명한 rough CAT(0) 공간의 예를 구성하기 위해.
• 노름 공간이 rough CAT(0) 조건을 만족하면 실제로 CAT(0)이어야 한다는 것을 보여주어 이 클래스에서 비-CAT(0) 예가 존재하지 않음을 제거하기 위해.

제안 방법

• h-단절선을 사용하고 삼각형 크기에 따라 의존하는 h에 의존하는 균일한 추가 오차를 포함한 CAT(0) 비교 부등식을 통해 rCAT(κ) 공간을 정의한다.
• 더 유연한 rCAT(κ;*) 변종을 도입하여 오차 한계를 삼각형의 정점에 대한 임의의 양함수로 정의하고, 이와 rCAT(κ)이 상호 등가임을 증명한다.
• 약한 및 매우 약한 rCAT(0) 조건을 수립하고, 매우 약한 조건이 Kasparov와 Skandalis의 bolicity 조건과 동치임을 보인다.
• 노름 공간의 확대 불변성을 이용하여 이 경우 rCAT(0)이 CAT(0)을 함의함을 증명한다.
• rough CAT(0) 공간의 l²곱을 통해 예를 구성하고, 이러한 곱이 rCAT(0) 성질을 유지함을 보인다.
• 유계 볼록 부분공간을 따라 등장 변형을 적용하여 새로운 rough CAT(0) 공간을 만들며, 접합 집합이 무한대일 경우 실패함을 보여준다.

실험 결과

연구 질문

• RQ1 Gromov 하이퍼볼릭 공간과 CAT(0) 공간을 모두 포함하면서도 핵심 기하학적 성질과 경계 이론적 성질을 유지하는 통합 프레임워크를 개발할 수 있는가?
• RQ2 추가 오차를 允許하면서도 강력한 기하학 이론을 유지할 수 있는 CAT(0) 비교 조건의 올바른 일반화는 무엇인가?
• RQ3 CAT(0)이 아니며 Gromov 하이퍼볼릭이 아닌 비자명한 rough CAT(0) 공간의 예가 존재하는가?
• RQ4 노름 공간에서 rCAT(0) 조건은 전체 CAT(0) 조건을 함의하는가?
• RQ5 rough CAT(0) 공간을 볼록 부분공간을 따라 등장 변형하는 것은 항상 유지되는가? 만약 접합 집합이 무한대일 경우 어떻게 되는가?

주요 결과

• 오차 한계가 삼각형의 정점에 따라 달라지는 rCAT(κ;*) 조건은 균일 오차 한계를 가진 표준 rCAT(κ) 조건과 동치이다.
• 모든 CAT(0) 공간은 (2+√3)-rCAT(0)이며, 이는 rCAT(0) 클래스가 CAT(0) 공간을 진정으로 포함하고 있음을 보여준다.
• 두 rough CAT(0) 공간의 l²곱 역시 rough CAT(0)이며, 이러한 구성은 CAT(0)이 아니며 Gromov 하이퍼볼릭이 아닌 예를 제공한다.
• 유계 볼록 부분공간을 따라 rough CAT(0) 공간을 등장 변형하면 rCAT(0) 성질이 유지되나, 무한대인 접합 집합에서는 실패한다.
• 실수 노름 공간은 rCAT(0)이 될 조건이 CAT(0)일 때에만 성립하므로, 이 클래스에서는 비-CAT(0) 예가 존재하지 않는다.
• 매우 약한 rCAT(0) 조건은 Kasparov와 Skandalis의 bolicity 조건과 동치이며, rough CAT(0) 이론이 K-이론 추측과 연결됨을 보여준다.