[논문 리뷰] Uniform Roe coronas.

Bruno de Mendonça Braga, Ilijas Farah외 1명|arXiv (Cornell University)|2018. 10. 17.

Advanced Operator Algebra Research참고 문헌 16인용 수 12

한 줄 요약

이 논문은 균일 로우 코로나—균일 로우 대수에서 컴팩트 연산자를 나눈 몫 대수—와 균일하게 국소 유한한 거리 공간의 코arse 기하학 사이의 관계를 조사한다. ZFC의 일致성 하에, 힐버트 공간에 코arse로 통합 가능한 공간들에 대해서는 코로나의 동형사상이 코arse 동치성을 암시하며, 성질 A를 가진 공간들에 대해서는 동형사상이 유한한 여집합들의 전단사 코arse 동치성과 대응된다. 또한 ZFC에 대해 독립적인 동형사상이 존재하는 공간들을 규명한다.

ABSTRACT

A uniform Roe corona is the quotient of the uniform Roe algebra of a metric space by the ideal of compact operators. Among other results, we show that it is consistent with ZFC that isomorphism between uniform Roe coronas implies coarse equivalence between the underlying spaces, for the class of uniformly locally finite metric spaces which coarsely embed into a Hilbert space. Moreover, for uniformly locally finite metric spaces with property A, it is consistent with ZFC that isomorphism between the uniform Roe coronas is equivalent to bijective coarse equivalence between some of their cofinite subsets. We also find locally finite metric spaces such that the isomorphism of their uniform Roe coronas is independent of ZFC. All set-theoretic considerations in this paper are relegated to two 'black box' principles.

연구 동기 및 목표

• 균일 로우 코로나의 동형사상이 기저가 되는 거리 공간들의 코arse 동치성을 유도할 조건을 규명하는 것.
• 성질 A와 힐버트 공간에 대한 코arse 임bedding이 코로나와 대규모 기하학 사이의 관계를 어떻게 규정하는지 조사하는 것.
• 코로나의 동형사상이 ZFC에 대해 독립적인 경우를 규명하여 기초적 한계를 부각하는 것.
• 두 개의 '블랙박스' 원리들을 사용하여 집합론적 의존성을 분리하고, 직접적인 집합론적 가정을 최소화하는 것.

제안 방법

• 거리 공간의 대규모 기하학을 코어로 표현하기 위해 균일 로우 대수의 구성 방식을 C*-대수적 도구로 사용하는 것.
• 콤팩트 연산자를 인용하여 몫 대수(균일 로우 코로나)를 분석함으로써 코arse 불변량을 분리하는 것.
• 모델 이론적 및 집합론적 기법을 적용하며, 독립성 결과를 다루기 위해 두 개의 '블랙박스' 원리를 기반으로 하는 것.
• 거리 공간들을 비교하기 위해 코arse 동치성과 전단사 코arse 동치성을 기하학적 불변량으로 활용하는 것.
• 성질 A와 힐버트 공간에 대한 코arse 임bedding을 활용하여 고려 대상이 되는 공간의 범주를 제한하는 것.
• 모델을 구성함으로써 ZFC 내에서 일致성 결과를 확립하여, 코로나의 동형사상이 코arse 동치성을 암시함을 보이는 것.

실험 결과

연구 질문

• RQ1 균일하게 국소 유한한 거리 공간에 대해, 균일 로우 코로나의 동형사상이 기저가 되는 거리 공간의 코arse 동치성을 암시하는 조건은 무엇인가?
• RQ2 성질 A를 가진 공간들에 대해, 코로나의 동형사상이 유한한 여집합들의 전단사 코arse 동치성과 동치가 되는 조건은 언제인가?
• RQ3 균일하게 국소 유한한 거리 공간들 중에서 그들의 균일 로우 코로나의 동형사상이 ZFC에 대해 독립적인 경우가 존재할 수 있는가?
• RQ4 강력한 기하학적 제약 조건이 없을 경우, 집합론적 가정이 균일 로우 코로나의 분류에 어떤 영향을 미치는가?
• RQ5 힐버트 공간에 코arse로 임베드 가능한 공간들이 ZFC 일치성 있는 코로나와 코arse 기하학 사이의 함의관계를 어떻게 규정하는가?

주요 결과

• ZFC의 일치성 하에, 힐버트 공간에 코arse로 임베드 가능한 균일하게 국소 유한한 거리 공간들에 대해 균일 로우 코로나의 동형사상이 코arse 동치성을 암시하는 것이 일관된 것으로 밝혀졌다.
• 성질 A를 가진 균일하게 국소 유한한 거리 공간들에 대해, ZFC의 일치성 하에 코로나의 동형사상이 어떤 유한한 여집합들의 전단사 코arse 동치성과 동치임이 일관된 것으로 밝혀졌다.
• 균일하게 국소 유한한 거리 공간들 중에서 그들의 균일 로우 코로나의 동형사상이 ZFC에 대해 독립적인 것이 존재하며, 이는 기초적 결정 불가능성을 시사한다.
• 분석을 통해 모든 집합론적 의존성을 두 개의 '블랙박스' 원리로 분리하여, 주요 결과들이 직접적인 집합론적 기법 없이 유도될 수 있도록 하였다.
• 특정 기하학적 제약 조건 하에서 C*-대수적 불변량(코로나)과 대규모 기하학적 불변량(코arse 동치성) 사이에 강력한 연결 고리가 존재함을 규명하였다.
• 일관성 결과는 모델 이론적 구성에 의해 확립되었으며, 일반적으로 ZFC만으로는 코로나와 코arse 기하학 사이의 함의관계를 증명할 수 없음을 보였다.