[논문 리뷰] Spectra of Composition Operators with Symbols in S(2)

Paul Bourdon|arXiv (Cornell University)|2014. 01. 12.

Holomorphic and Operator Theory참고 문헌 20인용 수 5

한 줄 요약

이 논문은 Kriete와 Moorhouse가 도입한 클래스 $ \mathcal{S}(2) $에 속하는 기호를 가진 조합 연산자들의 하드비 공간 $ H^2(\mathbb{D}) $에서의 스펙트럼과 본질적 스펙트럼을 특성화한다. 이러한 연산자가 선형 분수 조합 연산자의 합과 Calkin 대수에서 동치임을 보여, 스펙트럼 기술을 도출하며, 라ollipop 모양의 스펙트럼을 포함한 결과를 얻고, Cowen의 추측(즉, 평행 비자기형 기호의 스펙트럼은 두 나선 사이에 있어야 한다는 것)을 반증한다.

ABSTRACT

Let H^2(D) denote the classical Hardy space of the open unit disk D in the complex plane. We obtain descriptions of both the spectrum and essential spectrum of composition operators on H^2(D) whose symbols belong to the class S(2) introduced by Kriete and Moorhouse [Trans. Amer. Math. Soc., 359, 2007]. Our work reveals new possibilities for the shapes of composition-operator spectra, settling a conjecture of Cowen's [J. Operator Th. 9, 1983]. Our results depend on a number of lemmas, perhaps of independent interest, that provide spectral characterizations of sums of elements of a unital algebra over a field when certain pairwise products of the summands are zero.

연구 동기 및 목표

• 하드비 공간 $ H^2(\mathbb{D}) $에서 $ \mathcal{S}(2) $에 속하는 기호를 가진 조합 연산자들의 스펙트럼과 본질적 스펙트럼을 특성화하는 것.
• Cowen(1983)이 제기한 추측을 해결하는 것: 평행 비자기형 기호를 가진 조합 연산자의 스펙트럼은 반드시 두 나선 사이에 있어야 한다는 것.
• Calkin 대수 동치성을 활용하여 선형 분수 기호를 초월한 조합 연산자 스펙트럼 이론을 확장하는 것.
• 쌍방향 곱이 0이 되는 대수 원소들의 합에 적용 가능한 일반 스펙트럼 보조정리를 수립하는 것, 이는 조합 연산자 스펙트럼에 적용 가능함.

제안 방법

• Calkin 대수를 사용하여 $ \varphi \in \mathcal{S}(2) $인 $ C_\varphi $의 스펙트럼 분석을 선형 분수 조합 연산자들의 합으로 축소하는 것.
• 일부 쌍방향 곱이 0이 되는 대수 원소들의 합에 대한 스펙트럼 보조정리를 적용하여 합의 스펙트럼을 특성화하는 것.
• 예를 들어 본질적 스펙트럼이 원판 또는 선분이 되는 것과 같은 선형 분수 조합 연산자에 대한 알려진 스펙트럼 결과를 활용하는 것.
• 경계점에서의 Denjoy-Wolff 점, 각도 도함수, 그리고 두 번째 차수 접촉과 같은 함수 이론적 성질을 활용하여 $ \mathcal{S}(2) $에 속하는 기호를 분류하는 것.
• 주기적 순환과 경계점에서의 도함수를 계산하여 스펙트럼 반경과 스펙트럼 집합을 결정하는 것.
• 이전 연구 결과(예: [4])에서의 스펙트럼 영속성 및 고유값 고립에 관한 결과를 활용하여 스펙트럼과 본질적 스펙트럼이 동일함을 증명하는 것.

실험 결과

연구 질문

• RQ1 Cowen의 추측에 따르면, $ \mathcal{S}(2) $에 속하는 평행 비자기형 기호를 가진 조합 연산자의 스펙트럼은 반드시 두 나선 사이에 있어야 하는가?
• RQ2 Calkin 대수 동치성을 통해 $ \varphi \in \mathcal{S}(2) $인 $ C_\varphi $의 스펙트럼과 본질적 스펙트럼을 선형 분수 연산자들의 합으로 완전히 특성화할 수 있는가?
• RQ3 $ \varphi $에 대한 어떤 함수 이론적 조건이 $ C_\varphi $의 스펙트럼이 본질적 스펙트럼과 일치하도록 하는가?
• RQ4 $ \varphi \in \mathcal{S}(2) $인 경우 $ C_\varphi $의 본질적 스펙트럼은 $ \varphi $의 경계 순환과 Denjoy-Wolff 점에서의 행동에 의해 결정되는가?
• RQ5 쌍방향 곱이 0인 대수 원소들의 합에 대한 스펙트럼 보조정리를 활용하여 조합 연산자 이론에서 스펙트럼 구조를 도출할 수 있는가?

주요 결과

• 기호 $ \varphi_{lp}(z) = \frac{2z^2 - z - 2}{2z^2 - 3} $를 가진 조합 연산자 $ C_{\varphi_{lp}} $의 스펙트럼은 닫힌 원판 $ \{ z : |z| \leq \frac{1}{3} \} $과 선분 $ [0,1] $의 합집합으로, 라ollipop 모양을 이룬다.
• 이 라ollipop 모양의 스펙트럼은 Cowen의 추측(즉, 이러한 스펙트럼은 반드시 두 나선 사이에 있어야 한다는 것)을 반박하며, 이로 인해 그 추측이 부정됨을 입증한다.
• $ \varphi \in \mathcal{S}(2) $이고 Denjoy-Wolff 점이 $ \mathbb{D} $ 내부에 있을 경우, 스펙트럼과 본질적 스펙트럼은 일치한다. 고립된 고유값은 본질적 스펙트럼 외부에 존재할 수 없기 때문이다.
• $ C_\varphi $의 본질적 스펙트럼은 $ \varphi $의 $ E(\varphi) $ 내 주기적 순환점에서의 도함수에 의해 결정되며, 고정점 $ \zeta $에 대해 $ \sqrt{\varphi^{[n]'}(\zeta)} $로부터 유도된 반경을 가진다.
• 기호 $ \varphi(z) = \frac{-z}{3 - 2z^2} $에 대해 스펙트럼은 $ \{ z : |z| < \frac{1}{\sqrt{5}} \} \cup \{1\} $이며, 본질적 스펙트럼은 반지름 $ 1/\sqrt{5} $의 열린 원판과 같다.
• 경계 순환점이 $ \{-1,1\} $인 해석적 함수가 아닌 기호 $ \varphi $에 대해서도 스펙트럼과 본질적 스펙트럼은 모두 $ \{ z : |z| \leq \sqrt{2} \} $와 같다. 이는 본 방법이 매끄럽지 않은 기호에 대해서도 적용 가능함을 보여준다.