[논문 리뷰] Local convexity in CAT(\kappa)-spaces

Kai‐Uwe Bux, Stefan Witzel|arXiv (Cornell University)|2012. 11. 08.

Advanced Topology and Set Theory참고 문헌 7인용 수 9

한 줄 요약

이 논문은 유계 CAT(κ)-공간에서 국소적 볼록성은 약한 조건 하에 전역 볼록성을 함의함을 증명하며, 이는 유클리드 공간에서의 Tietze 고전 정리의 일반화이다. 주요 기여는 CAT(0) 및 국소적으로 컴act한 CAT(κ) 공간에서 닫힘과 연결성을 갖는 부분집합에 대한 볼록성 기준을 제시하는 것으로, 특히 칸타르의 방향성 조건을 만족하는 세포에 대한 약한 정규 조건을 활용하여 유클리드 빌딩에서 볼록 집합을 구성하는 데 응용된다.

ABSTRACT

Heinrich Tietze has shown that for a closed connected subset of euclidean space being convex is a local property. We generalize this to CAT(0)-spaces and locally compact CAT(\\kappa) spaces. As an application we give a construction of certain convex sets in euclidean buildings.

연구 동기 및 목표

• 유클리드 공간에서의 Tietze의 국소-전역 볼록성 정리의 일반화를 CAT(0) 및 국소적으로 컴팩트한 CAT(κ)-공간으로 확장하는 것.
• CAT(κ)-공간에서 국소적으로 볼록인 닫힌 부분집합이 전역적으로 볼록이 되는 충분한 조건을 확립하는 것.
• 세포에 대한 약한 정규 조건을 활용하여 유클리드 빌딩에서의 볼록성에 대한 새로운 기준을 제시하는 것.
• 유클리드 빌딩에서의 리트랙션에 대한 전이집합에 대한 볼록성의 별개의 증명을 제공하는 것, 주요 볼록성 기준과 독립적으로.

제안 방법

• CAT(κ)-공간에서 길이 ≤ Dκ인 경로는 오직 그 경로가 국소 지오데식일 때에만 지오데식임을 이용한다.
• 완전하고 국소적으로 컴팩트한 길이 공간에서 최단 경로의 존재를 보장하기 위해 Hopf–Rinow 정리를 적용한다.
• 국소 볼록성을 닫힌 부분집합 A의 각 점 x에 대해, A ∩ B(x,ε)가 B(x,ε) 내에서 볼록인 근방이 존재한다는 성질로 정의한다.
• 약한 정규 조건을 도입한다: 경계점 a ∈ ∂A와 a를 포함하는 벽 H에 대해, 고정된 세포 C를 포함하지 않는 반공간으로 향하는 정규 벡터가 a에서 존재한다.
• 유클리드 빌딩에서의 아파르트먼트 Σ로의 사영 맵 ρΣ,C: X → Σ를 사용하여, Σ의 볼록 집합을 X로 당겨온다.
• 특히 A로부터의 거리에 대해 '상승'하는지 여부를 분석함으로써, X의 지오데식을 분석한다.

실험 결과

연구 질문

• RQ1 CAT(κ)-공간에서 국소 볼록성이 전역 볼록성을 함의하는 조건은 무엇인가?
• RQ2 κ > 0일 때, 국소-전역 볼록성 결과에 대해 지름 제약 조건이 필수적인가?
• RQ3 주요 정리에서 국소 컴팩트성 가정을 제거할 수 있는가?
• RQ4 리트랙션에 의한 전이집합이 볼록이 되도록 보장하는 기하적 조건은 무엇인가?
• RQ5 국소 기하 데이터를 활용하여 유클리드 빌딩의 볼록 부분집합을 어떻게 특성화할 수 있는가?

주요 결과

• 완전한 CAT(0)-공간에서, 닫힘과 연결성, 국소 볼록성을 갖는 부분집합은 전역적으로 볼록하다.
• κ > 0인 국소적으로 컴팩트한 CAT(κ)-공간에서, 길이 거리에서 지름이 Dκ = π/√κ 이하인 닫힘과 연결성, 국소 볼록성을 갖는 부분집합은 Dκ-볼록하다.
• κ > 0일 때 지름 조건은 필수적임이 반례를 통해 입증된다.
• 유클리드 코exter 복합체의 닫힘 볼록 부분집합 A는, 각 경계점 a ∈ ∂A와 a를 포함하는 벽 H에 대해, 고정된 세포 C를 포함하지 않는 반공간으로 향하는 정규 벡터가 a에서 존재할 경우 약한 정규 조건을 만족한다.
• A ⊆ Σ가 약한 정규 조건을 만족하고 A ∩ C ≠ ∅ 이면, 전이집합 ρΣ,C⁻¹(A)는 유클리드 빌딩 X에서 볼록하다.
• 약한 정규 조건은 ε-평행 집합에 대해 보존된다: A가 약한 정규 조건을 만족하면, A+ε 역시 마찬가지로 만족한다.