[논문 리뷰] Maximal ideal space of a commutative coefficient algebra

B. K. Kwaśniewski, А. В. Лебедев|ArXiv.org|2003. 11. 24.

Advanced Topics in Algebra참고 문헌 1인용 수 5

한 줄 요약

이 논문은 교환적 $ C^* $-대수 $ \cal A $와 부분 등장사상 $ U $에 의해 생성되는 계수 $ C^* $-대수 $ \overline{E_*({\cal A})} $의 최대 아이디얼 공간에 대한 완전한 위상적 기술을 제공한다. 여기서 $ \delta(a) = UaU^* $에 의해 유도된 내부자기사상에 의한 작용을 한다. 최대 아이디얼 공간은 무한한 뒤로의 궤도에 의해 매개화된 가산 개의 국소적으로 컴act한 열린-닫힌 집합 $ \widehat{M}_N $과 닫힌 집합 $ M_\infty $의 서로소 합집합으로 분해됨을 보여주며, 실린더 집합으로 정의된 위상이 적용된다.

ABSTRACT

The basic notion of the article is a pair (A,U), where A is a commutative C*-algebra and U is a partial isometry such that mapping U()U* is an endomorphism of A and U*U belongs to A. We give a description of the maximal ideal space of the smallest coefficient C*-algebra of the algebra C*(A,U) generated by the system (A,U).

연구 동기 및 목표

• 쌍 $ (\cal A, U) $에 관련된 최소의 계수 $ C^* $-대수 $ \overline{E_*({\cal A})} $의 최대 아이디얼 공간을 기술하는 것.
• 최대 아이디얼 공간 $ M(\overline{E_*({\cal A})}) $와 $ \delta $에 의해 $ \widehat{\cal A} $에 유도된 사상 $ \alpha $에 의한 유한 및 무한한 뒤로의 궤도로 매개화된 집합들의 서로소 합집합 사이의 위상동형을 확립하는 것.
• 함수 $ \cal A $에 의해 정의된 실린더 집합과 국소 기저를 사용하여 $ \overline{E_*({\cal A})} $의 스펙트럼에 대한 위상적 특성화를 제공하는 것.

제안 방법

• 최대 아이디얼 공간 $ M(\overline{E_*({\cal A})}) $는 $ \bigcup_{N=0}^\infty \widehat{M}_N \cup M_\infty $로 서로소 합집합으로 구성되며, 여기서 $ \widehat{M}_N $은 $ x_n \in \Delta_n $, $ x_N \notin \Delta_{-1} $, 그리고 $ \alpha(x_n) = x_{n-1} $를 만족하는 수열 $ \widetilde{x} = (x_0, \dots, x_N, 0, \dots) $로 이루어져 있다.
• 집합 $ M_\infty $는 모든 $ n \geq 1 $에 대해 $ x_n \in \Delta_n \cap \Delta_{-\infty} $ 이고 $ \alpha(x_n) = x_{n-1} $를 만족하는 무한 수열 $ \widetilde{x} = (x_0, x_1, \dots) $로 이루어져 있다.
• 기본 이웃계를 정의한다: $ \widetilde{x} \in \widehat{M}_N $이면 $ O(a_1, \dots, a_k, \varepsilon) = \{ \widetilde{y} \in \widehat{M}_N : |a_i(x_N) - a_i(y_N)| < \varepsilon \} $, $ \widetilde{x} \in M_\infty $이면 $ O(a_1, \dots, a_k, n, \varepsilon) = \{ \widetilde{y} \in \bigcup_{N=n}^\infty \widehat{M}_N \cup M_\infty : |a_i(x_n) - a_i(y_n)| < \varepsilon \} $.
• 구성은 $ \cal A $를 $ C(M) $로 Gelfand 변환을 통해 식별하고, 내부자기사상 $ \delta $를 통해 최대 아이디얼 공간 $ M = \widehat{\cal A} $ 위에 부분 사상 $ \alpha: \Delta \to M $를 유도하는 데 의존한다. 여기서 $ \delta(f)(x) = f(\alpha(x)) $이며, $ x \in \Delta $이면 성립하고, 그렇지 않으면 0이다.
• 특정 조건을 통해 $ \widetilde{x}(U^{*N}U^N) = 1 $ 이고 $ \widetilde{x}(U^{*N+1}U^{N+1}) = 0 $이 되는 것과 동치로 $ \widetilde{x} \in \widehat{M}_N $임을 보여주며, 이는 $ \widehat{M}_N $이 열린 집합이자 닫힌 집합임을 특징짓는다.
• 만일 $ U^*U \notin \cal A $인 경우, $ \cal A_1 = \langle \cal A, U^*U \rangle $의 $ C^* $-대수를 고려함으로써 결과를 일반화한다. 이 경우 $ \overline{E_*({\cal A}_1)} = \overline{E_*({\cal A})} $임을 보여주며, 스펙트럼은 그대로 유지된다.

실험 결과

연구 질문

• RQ1 계수 대수 $ \overline{E_*({\cal A})} $의 최대 아이디얼 공간은 원래의 교환적 $ C^* $-대수 $ \cal A $의 스펙트럼과 내부자기사상 $ \delta $와 어떻게 관련이 있는가?
• RQ2 최대 아이디얼 공간 $ M(\overline{E_*({\cal A})}) $의 위상적 구조는 무엇이며, $ \delta $에 의해 유도된 사상 $ \alpha $에 의한 뒤로의 궤도로 어떻게 분해될 수 있는가?
• RQ3 언제 스펙트럼 $ M(\overline{E_*({\cal A})}) $가 오직 무한한 뒤로의 궤도 집합 $ M_\infty $로만 축소되는가?
• RQ4 최대 아이디얼 공간 $ M(\overline{E_*({\cal A})}) $의 위상은 어떻게 정의되며, $ \widehat{M}_N $과 $ M_\infty $의 점들에 대한 기본 이웃계는 무엇을 구성하는가?

주요 결과

• 최대 아이디얼 공간 $ M(\overline{E_*({\cal A})}) $는 서로소 합집합 $ \bigcup_{N=0}^\infty \widehat{M}_N \cup M_\infty $과 위상동형이며, 여기서 $ \widehat{M}_N $과 $ M_\infty $는 국소적으로 컴팩트하고 열린-닫힌 부분집합이다.
• 각 점 $ \widehat{M}_N $은 $ \alpha(x_n) = x_{n-1} $, $ x_N \notin \Delta_{-1} $, $ x_n \in \Delta_n $를 만족하는 유한한 뒤로의 궤도 $ (x_0, \dots, x_N) $에 대응하며, $ M_\infty $는 $ x_n \in \Delta_n \cap \Delta_{-\infty} $를 만족하는 무한한 뒤로의 궤도로 이루어져 있다.
• $ \widehat{M}_N $은 $ M(\overline{E_*({\cal A})}) $에서 열린 집합이자 닫힌 집합이며, 이들의 서로소 합집합과 $ M_\infty $는 국소적으로 컴팩트한 하우스도르프 공간을 이룬다.
• $ \widetilde{x} \in \widehat{M}_N $에 대한 기본 이웃계는 $ O(a_1, \dots, a_k, \varepsilon) = \{ \widetilde{y} \in \widehat{M}_N : |a_i(x_N) - a_i(y_N)| < \varepsilon \} $로 주어지고, $ \widetilde{x} \in M_\infty $에 대해서는 $ O(a_1, \dots, a_k, n, \varepsilon) = \{ \widetilde{y} \in \bigcup_{N=n}^\infty \widehat{M}_N \cup M_\infty : |a_i(x_n) - a_i(y_n)| < \varepsilon \} $로 주어진다.
• 만일 $ U $가 등장사상(즉, $ U^*U = 1 $)이라면, 사상 $ \alpha $는 전사적이며, 이에 따라 모든 $ N \geq 0 $에 대해 $ \widehat{M}_N = \emptyset $이며, $ M(\overline{E_*({\cal A})}) = M_\infty $가 되어 모든 무한한 뒤로의 궤도의 집합이 된다.
• 조건 $ U^*U \notin \cal A $ 하에서도 구성이 강건하며, $ \cal A_1 = \langle \cal A, U^*U \rangle $의 $ C^* $-대수로 넘어갈 때 $ \overline{E_*({\cal A})} $의 스펙트럼은 그대로 유지되므로 일반 결과를 보편적으로 적용할 수 있다.