[논문 리뷰] A reflexivity criterion for Hilbert C*-modules over commutative C*-algebras

Michael Frank, Vladimir Manuilov외 1명|arXiv (Cornell University)|2009. 08. 10.

Advanced Operator Algebra Research참고 문헌 3인용 수 3

한 줄 요약

이 논문은 가환 C*-대수 위의 힐버트 C*-모듈의 C*-반사성에 대한 위상적 기준을 수립한다. 즉, 가환 C*-대수 $ C(X) $가 C*-반사적이기 위한 필요충분조건은 임의의 상호직교인 0이 아닌 C*-부분대수의 수열 $ I_k $에 대해 자연스러운 포함관계 $ \bigoplus_k I_k \subset C(X) $ 가 $ \prod_k I_k \subset C(X) $ 로 확장되지 않는 것이다. 이 결과는 기본 위상공간 $ X $ 의 성질, 특히 Baire 성질과 Stone-Čech 컴actification의 구조를 이용하여 완전한 특성화를 제공한다.

ABSTRACT

A C*-algebra $A$ is C*-reflexive if any countably generated Hilbert C*-module $M$ over $A$ is C*-reflexive, i.e. the second dual module $M''$ coincides with $M$. We show that a commutative C*-algebra $A$ is C*-reflexive if and only if for any sequence $I_k$ of disjoint non-zero C*-subalgebras, the canonical inclusion $\oplus_k I_k\subset A$ doesn't extend to an inclusion of $\prod_k I_k$.

연구 동기 및 목표

• 가환 C*-대수 위의 C*-반사적 힐버트 C*-모듈을 위상적 및 대수적 조건을 사용하여 특성화하는 것.
• C(X)가 C*-반사적이기 위한 필요충분조건을, 무한한 이상의 아이디얼들의 곱이 $ C(X) $ 에 포함되지 않는 조건으로 설정하는 것.
• Baire 공간 성질과 Stone-Čech 컴actification을 연결하여 이전의 C*-반사성 결과를 일반화하고 정밀화하는 것.
• Kasparov의 안정화 정리를 통해 가환 C*-대수 위의 가산생성 힐버트 C*-모듈에 적용 가능한 기준을 제공하는 것.

제안 방법

• C*-대수 위의 힐버트 C*-모듈에 대한 이중 및 이중이중 모듈 구성법을 사용하며, 자연스러운 포함관계 $ M \subset M'' \subset M' $ 를 고려한다.
• 문제를 표준 모듈 $ H_A = l_2(A) $ 로 단순화하기 위해 Kasparov의 안정화 정리를 적용한다.
• 수열 $ (a_k) \in \prod_k I_k $ 에 대해 $ \|a_k\| = 1 $ 이면, $ F(f) = \sum_k a_k^* f_k $ 로 정의된 함수 $ F \in H_A'' $ 를 구성한다.
• C(X)의 스펙트럼 $ X $ 의 위상적 분석을 수행하며, 서로소인 열린집합 $ U_k $ 과 그에 대응하는 $ C_0(U_k) $ 아이디얼에 중점을 둔다.
• Baire 성질 정리와 Stone-Čech 컴actification $ \beta Y $ 의 성질을 활용하여 유계 연속 함수의 확장을 분석한다.
• 모순에 의한 증명: $ \prod_k C_0(U_k) \subset C(X) $ 라는 가정이 Higson 컴actification $ \nu\mathbb{N} $ 에서 $ \lim |a_{n+1} - a_n| = 0 $ 조건을 위반하는 수열을 유도함을 보인다.

실험 결과

연구 질문

• RQ1 가환 $ C^* $-대수 $ C(X) $ 가 모든 가산생성 힐버트 $ C^* $-모듈에 대해 C*-반사적이기 위한 조건은 무엇인가?
• RQ2 스펙트럼 $ X $ 에 어떤 위상적 조건이 성립하면, 상호직교인 아이디얼 $ I_k $ 에 대해 $ \prod_k I_k \not\subset C(X) $ 가 성립하는가?
• RQ3 X의 Baire 성질이 $ H_{C(X)} = l_2(C(X)) $ 의 반사성과 어떻게 관련되는가?
• RQ4 비가환 경우에서 $ \prod_k I_k \not\subset C(X) $ 가 C*-반사성에 대한 필요충분조건이 될 수 있는가?
• RQ5 Stone-Čech 컴actification은 $ C(X) $ 가 C*-반사적임을 판단하는 데 어떤 역할을 하는가?

주요 결과

• 가환 $ C^* $-대수 $ A $ 는 임의의 상호직교인 0이 아닌 $ C^* $-부분대수의 수열 $ \{I_k\} $ 에 대해 포함관계 $ \bigoplus_k I_k \subset A $ 가 $ \prod_k I_k \subset A $ 로 확장되지 않는 한에서만 C*-반사적이다.
• 표준 힐버트 $ C^* $-모듈 $ H_{C(X)} = l_2(C(X)) $ 는 $ X $ 에서 서로소인 열린집합의 수열 $ \{U_k\} $ 이 존재하여 $ \prod_k C_0(U_k) \subset C(X) $ 가 성립할 경우에만 C*-반사적이지 않다.
• 수열 $ \lim |a_{n+1} - a_n| = 0 $ 을 만족하는 함수들로 이루어진 $ C^* $-대수 $ A = C(\nu\mathbb{N}) $ 는 모순에 의한 증명을 통해 C*-반사적임을 보였다.
• Higson 컴actification $ \nu\mathbb{N} $ 은 이전 연구에서 제시된 충분조건이 반드시 필요는 아님을 보여주는 반례를 제공한다. 왜냐하면 $ \beta\mathbb{N} \subset \nu\mathbb{N} $ 이지만 $ \prod_k C_0(U_k) \not\subset C(\nu\mathbb{N}) $ 이기 때문이다.
• Kasparov의 안정화 정리를 통해 문제를 $ H_{C(X)} $ 로 단순화할 수 있으므로, 이 기준은 $ C(X) $ 위의 모든 가산생성 힐버트 $ C^* $-모듈에 대해 성립한다.
• 결과적으로 이는 $ C(X) $ 가 컴팩트 메트릭 공간 $ X $ 에 대해 C*-반사적임을 확인하며, 이는 Mishchenko와 Trofimov의 이전 결과를 일반화한다.