[논문 리뷰] Nontrivial homeomorphisms of Čech-Stone remainders

Alessandro Vignati|arXiv (Cornell University)|2016. 09. 08.

Advanced Topics in Algebra인용 수 6

한 줄 요약

연속체 가설(CH) 하에, 이 논문은 비콤파クト, 국소 콤팩트, 메트라이잭빌리티를 만족하는 다양체 $X$ 에 대해, 함수 대수의 코로나에 대한 C*-대수적 접근법을 사용하여, $X^*$의 비자명한 호메오모르피즘 $2^{rak{c}}$개가 존재함을 증명한다. 핵심 결과는 $n \geq 1$ 인 $ (\mathbb{R}^n)^* $ 에서도 비자명한 호메오모르피즘이 존재함을 증명함으로써 오랫동안 남아있던 질문을 해결하며, 0차원 공간을 초월한 결과를 제공한다.

ABSTRACT

We study the group of automorphisms of certain corona C*-algebras. As a corollary of a more general C*-algebraic result, we show that, under the Continuum Hypothesis, $βX\setminus X$ has nontrivial homeomorphisms, whenever $X$ is a noncompact locally compact metrizable manifold.

연구 동기 및 목표

• CH 하에 $ n \geq 2 $ 인 $ (\mathbb{R}^n)^* $ 가 비자명한 호메오모르피즘을 갖는지 여부를 해결하는 것.
• 0차원 공간을 초월한 비자명한 호메오모르피즘의 기존 결과를 확장하는 것.
• CH 하에서 코로나 $ Q(X,A) = C_b(X,A)/C_0(X,A) $ 의 자동형사상을 구성하기 위한 일반적인 C*-대수적 프레임워크를 수립하는 것.
• $ \operatorname{Homeo}(X^*) $ 가 $ 2^{\mathfrak{c}} $-개 이상의 비자명한 원소를 포함하는 조건을 규명하는 것.
• 이전 방법의 한계를 분석하는 것, 특히 가산 포화성 또는 0차원성에 의존하는 방법들에 대해.

제안 방법

• 논문은 위상공간과 가환 C*-대수 사이의 이중성에 기반하여, $ X^* $ 를 코로나 $ C(X^*) \cong \mathcal{M}(C_0(X))/C_0(X) $ 의 스펙트럼으로 식별한다.
• 비유니탈 C*-대수 $ A $ 에 대해, $ \omega_1 $-개의 단계를 거쳐 재귀적 리프팅 과정을 사용하여 코로나 $ Q(X,A) = C_b(X,A)/C_0(X,A) $ 의 자동형사를 구성한다.
• 기술적인 조건인 '탄력성'(flexibility)이 도입되며(정의 2.1), 다각형과 같은 다양체에서는 이 조건이 성립하여 충분한 수의 자동형사를 구성할 수 있다.
• CH 를 통해 $ \mathbb{N} $ 의 부분집합들에 대한 거의 서로소 가닥 $ 2^{\mathfrak{c}} $-개가 존재함을 보장함으로써, 이 가닥들을 함수 대수에 대한 대각 작용을 통해 자동형사를 정의하는 데 활용한다.
• 콤팩트 집합들의 수열 $ K_n $ 과 그 경계에 대한 관련 호메오모르피즘을 사용하여 $ Q(X,A) $ 의 자동형사를 생성한다.
• CH 하에서 $ A = \mathbb{C} $ 인 경우, $ Q(X,A) $ 의 자동형사는 Gelfand 이중성에 의해 $ X^* $ 의 호메오모르피즘과 대응됨을 이용하여 증명한다.

실험 결과

연구 질문

• RQ1 $ n \geq 2 $ 인 $ (\mathbb{R}^n)^* $ 가 CH 하에 비자명한 호메오모르피즘을 갖는가?
• RQ2 CH 하에 0차원이 아니며 비콤팩트, 국소 콤팩트, 메트라이잭빌리티를 만족하는 위상공간 $ X $ 에 대해 $ X^* $ 에서 비자명한 호메오모르피즘이 존재하는가?
• RQ3 CH 하에서 $ A $ 와 $ X $ 에 어떤 C*-대수적 조건이 성립하면 $ Q(X,A) $ 가 $ 2^{\mathfrak{c}} $-개 이상의 자동형사를 갖는가?
• RQ4 CH 하에 $ X^* $ 에서 비자명한 호메오모르피즘의 존재성이 ZFC에 대해 독립적인 위상공간 $ X $ 는 존재하는가?
• RQ5 정의 2.1의 탄력성 조건을 더 많은 0차원이 아닌 공간을 포함하도록 약화하거나 일반화할 수 있는가?

주요 결과

• CH 하에, 비콤팩트, 국소 콤팩트, 메트라이잭빌리티를 만족하는 다양체 $ X $ 에 대해, $ X^* $ 는 $ 2^{\mathfrak{c}} $-개의 호메오모르피즘을 갖는다. 이는 $ n \geq 1 $ 인 $ \mathbb{R}^n $ 을 포함한다.
• 이 결과는 $ (\mathbb{R}^n)^* $ 에서 비자명한 호메오모르피즘이 존재함을 시사하며, 0차원이 아닌 경우에 대한 오랫동안 남아있던 열린 문제를 해결한다.
• 증명은 $ X $ 가 탄력성 있는 공간(예: 다양체)일 경우, CH 하에서 $ Q(X,\mathbb{C}) $ 가 $ 2^{\mathfrak{c}} $-개 이상의 자동형사를 갖는다고 보여준다.
• 이전 결과의 일반화로서, 0차원성 또는 $ C_b(X)/C_0(X) $ 의 가산 포화성 조건을 필요로 하지 않는다.
• CH 가 $ X^* $ 에서 비자명한 호메오모르피즘을 유도하는지 여부가 아직 알려져 있지 않은, 1차원이면서 연결된 국소 콤팩트 공간의 새로운 예가 제시된다.
• 이 공간 $ X $ 는 탄력성이 없으며, [FS14, 정리 2.5]의 가정도 만족하지 않아, 이전 방법의 한계를 보여준다.