[논문 리뷰] A Semigroup Composition C*-algebra

Katie S. Quertermous|ArXiv.org|2009. 09. 04.

Holomorphic and Operator Theory참고 문헌 28인용 수 7

한 줄 요약

이 논문은 하드리 스페이스 $ H^2(\mathbb{D}) $ 위에서 작용하는 합성 연산자 $ C_{\varphi_s} $ 의 반군에 의해 생성되는 단위를 갖는 C*-대수의 구조를 조사한다. 여기서 $ \varphi_s(z) = sz + (1-s) $ 이고 $ 0 < s < 1 $ 이다. 단위 등가를 통해 가중 $ L^2 $ 스페이스 위의 토피티츠 연산자 가족으로 문제를 이전함으로써, 저자들은 C*-대수의 교환자 아이디얼에 대한 몫이 $ AP(\mathbb{R}) \oplus \mathbb{C} $ 와 동형임을 밝히고, 대수가 기약임을 증명한다.

ABSTRACT

For 0 &lt; s &lt; 1, let phi_s(z)=sz+(1-s). We investigate the unital C*-algebra generated by the semigroup {C_{phi_s} : 0 &lt; s &lt; 1} of composition operators acting on the Hardy space of the unit disk. We determine the joint approximate point spectrum of a related collection of operators and show that the quotient of the C*-algebra by its commutator ideal is isomorphic to the direct sum of the complex numbers and the algebra of almost periodic functions on the real line. In addition, we show that the C*-algebra is irreducible.

연구 동기 및 목표

• 하드리 스페이스 $ H^2(\mathbb{D}) $ 위에서 반군 $ \{C_{\varphi_s} : 0 < s < 1\} $ 의 합성 연산자에 의해 생성되는 단위를 갖는 C*-대수의 구조를 규명하는 것.
• 수반 연산자 $ \{C_{\varphi_s}^*\} $ 의 공동 근사 점 스펙트럼을 분석하는 것. 이들은 가중 $ L^2 $ 스페이스 위의 토피티츠 연산자 가정과 단위 등가임을 확인한다.
• C*-대수의 교환자 아이디얼에 대한 몫을 계산하고, 이가 $ AP(\mathbb{R}) \oplus \mathbb{C} $ 와 동형임을 보이는 것. 여기서 $ AP(\mathbb{R}) $ 는 $ \mathbb{R} $ 에서의 거의 평균 함수의 대수이다.
• C*-대수가 기약임을 증명하는 것. 즉, 그 공액집합이 항등원의 스칼라 배수 외에 다른 원소를 포함하지 않음을 보이는 것.

제안 방법

• 단위 등가를 사용하여 문제를 $ H^2(\mathbb{D}) $ 에서 가중 $ L^2 $ 스페이스 $ H^2(\tilde{\mu}) $ 로 이전한다. 여기서 연산자 $ C_{\varphi_s}^* $ 는 토피티츠 연산자 $ \tilde{T}_{s^{z/(1-z)}} $ 과 단위 등가임을 확인한다.
• 유한 부분집합 $ \{\tilde{T}_{s^{z/(1-z)}}\} $ 의 공동 근사 점 스펙트럼을 분석하고, 거의 평균 함수 토피티츠 연산자와의 관련성을 규명한다.
• $ \ast $-환형사상 $ \psi $ 를 C*-대수에서 $ AP(\mathbb{R}) \oplus \mathbb{C} $ 로 구성하고, $ \psi $ 의 핵이 교환자 아이디얼임을 보여 짧은 정확한 수열을 얻는다.
• 모든 $ \tilde{T}_{s^{z/(1-z)}} $ 와 가환하는 연산자가 항등원의 스칼라 배수임을 보여 기하학적 성질과 투영 연산자 $ P_{\tilde{\mu}} $ 의 성질을 이용하여 기약성을 확립한다.
• 핵심 기술 도구는 변수 치환 $ s = e^{-t} $ 를 통해 유도된 적분 표현 $ \int_0^1 \langle \tilde{T}_{s^{z/(1-z)}} f, g \rangle \, ds = \langle \tilde{T}_{1-z} f, g \rangle $ 이다.
• 가장자기 $ P_{\tilde{\mu}} \overline{f} $ 가 $ \tilde{\mu} $-거의 어디에서나 일정함을 보여주는 보조정리들을 사용하여, $ \tilde{T}_z $ 와 가환하는 유계 기호를 가진 토피티츠 연산자의 기호가 반드시 일정함을 보인다.

실험 결과

연구 질문

• RQ1 하드리 스페이스 $ H^2(\mathbb{D}) $ 위에서 반군 $ \{C_{\varphi_s} : 0 < s < 1\} $ 의 합성 연산자에 의해 생성되는 C*-대수의 구조는 무엇인가?
• RQ2 수반 연산자 $ \{C_{\varphi_s}^*\} $ 의 공동 근사 점 스펙트럼은 무엇이며, 거의 평균 함수와 어떤 관련이 있는가?
• RQ3 C*-대수의 교환자 아이디얼에 대한 몫은 알려진 함수 대수와 어떻게 관련되어 있는가?
• RQ4 C*-대수는 기약인가? 즉, 그 공액집합이 항등원의 스칼라 배수 외에 다른 원소를 포함하지 않는가?

주요 결과

• C*-대수 $ C^*(\{C_{\varphi_s} : 0 < s < 1\}) $ 의 교환자 아이디얼에 대한 몫은 $ AP(\mathbb{R}) \oplus \mathbb{C} $ 와 동형이며, 여기서 $ AP(\mathbb{R}) $ 는 $ \mathbb{R} $ 에서의 거의 평균 함수의 대수이다.
• C*-대수에서 $ AP(\mathbb{R}) \oplus \mathbb{C} $ 로의 $ \ast $-환형사상 $ \psi $ 가 존재하며, 수열 $ 0 \to \mathcal{C} \to C^*(\{C_{\varphi_s}\}) \xrightarrow{\psi} AP(\mathbb{R}) \oplus \mathbb{C} \to 0 $ 는 짧은 정확한 수열이다.
• C*-대수의 공액집합이 항등원의 스칼라 배수 외에 다른 원소를 포함하지 않음을 보여 기하학적으로 기약임을 증명하였다.
• 모든 $ \tilde{T}_{s^{z/(1-z)}} $ 와 가환하는 연산자는 $ P_{\tilde{\mu}} \overline{\rho} $ 가 $ \tilde{\mu} $-거의 어디에서나 일정함에 기인하여 항등원의 스칼라 배수여야 한다.
• $ \tilde{T}_{s^{z/(1-z)}} $ 는 $ C_{\varphi_s}^* $ 와 단위 등가이므로, 더 다루기 쉬운 힐버트 스페이스 설정에서 스펙트럼 및 아이디얼 구조 분석이 가능하다.
• 적분 항등식 $ \int_0^1 \langle \tilde{T}_{s^{z/(1-z)}} f, g \rangle \, ds = \langle \tilde{T}_{1-z} f, g \rangle $ 는 공액집합에 $ \tilde{T}_{1-z} $ 가 포함됨을 보여주며, 이는 가환하는 연산자에 대해 유계 기호가 존재함을 암시한다.