[논문 리뷰] Tensor products and the semi-Browder joint spectra

Enrico Boasso|ArXiv.org|2016. 05. 21.

Advanced Topics in Algebra참고 문헌 6인용 수 7

한 줄 요약

이 논문은 바나흐 공간 위의 가환 유계 연산자들의 텐서곱에 대한 공동 스펙트럼 공식을 일반화하며, 특히 $S$와 $T$의 해당 스펙트럼을 이용하여 $(S\otimes I, I\otimes T)$의 준브로우더 및 분할 준브로우더 공동 스펙트럼을 특성화한다. 주요 결과는 코즐 복합체와 결함 스펙트럼, 근사 점 스펙트럼과 같은 스펙트럼 불변량을 사용하여 기존 힐버트 공간 공식을 바나흐 공간으로 확장한다.

ABSTRACT

Given two complex Banach spaces $X_1$ and $X_2$, a tensor product of $X_1$ and $X_2$, $X_1 ilde{\otimes}X_2$, in the sense of J. Eschmeier ([5]), and two finite tuples of commuting operators, $S=(S_1,\ldots ,S_n)$ and $T=(T_1,\ldots ,T_m)$, defined on $X_1$ and $X_2$ respectively, we consider the $(n+m)$-tuple of operators defined on $X_1 ilde{\otimes}X_2$, $(S\otimes I,I\otimes T)= (S_1\otimes I,\ldots ,S_n\otimes I,I\otimes T_1,\ldots ,I \otimes T_m)$, and we give a description of the semi-Browder joint spectra introduced by V. Kordula, V. Müller and V. Rako$\check{c}$evi$\acute{ c}$ in [7] and of the split semi-Browder joint spectra (see section 3), of the $(n+m)$-tuple $(S\otimes I ,I\otimes T)$, in terms of the corresponding joint spectra of $S$ and $T$. This result is in some sense a generalization of a formula obtained for other various Browder spectra in Hilbert spaces and for tensor products of operators and for tuples of the form $(S\otimes I ,I\otimes T)$. In addition, we also describe all the mentioned joint spectra for a tuple of left and right multiplications defined on an operator ideal between Banach spaces in the sense of [5].

연구 동기 및 목표

• 기존의 힐버트 공간에서의 연산자 텐서곱에 대한 공동 스펙트럼 공식을 일반 복소 바나흐 공간으로 확장하는 것.
• 바나흐 공간에서 가환 연산자 튜플에 대한 분할 준브로우더 공동 스펙트럼을 정의하고, 그 주요 스펙트럼 성질을 연구하는 것.
• $(S\otimes I, I\otimes T)$의 준브로우더 및 프레드홀름 공동 스펙트럼을 $S$와 $T$의 스펙트럼으로 계산하는 것.
• 동일한 프레임워크를 사용하여 바나흐 공간 간 연산자 아이디얼 위의 좌우 곱 연산자 공동 스펙트럼을 묘사하는 것.
• 비힐베르트 공간 설정에서의 텐서곱 및 공동 스펙트럼에 관한 이전 결과들을 통합하고 일반화하는 것.

제안 방법

• 바나흐 공간에서 가환 튜플에 대한 분할 준브로우더 공동 스펙트럼을 도입하고, 컴팩트성, 비어있음, 스펙트럼 매핑 성질 등 스펙트럼 성질을 증명한다.
• 연산자 튜플과 관련된 코즐 복합체를 사용하여 스펙트럼 불변량을 분석하며, 특히 텐서곱 튜플에 대해 $\tilde{K}^r \cong K_1^r \tilde{\otimes} K_2'^r$의 동형을 활용한다.
• 본질적 분할 결함 스펙트럼에 대한 해석적 스펙트럼 매핑 정리와 쌍대 연산자의 성질을 적용하여 포함 관계를 유도한다.
• 부오니, 하르테, 위크스타드의 프레드홀름 및 준프레드홀름 공동 스펙트럼을 분석의 기초 도구로 사용한다.
• 결함 스펙트럼과 근사 점 스펙트럼 간의 이중성과 이중성 기반 동형을 활용하며, 특히 $\sigma_\pi(T) = \sigma_\delta(T')$ 및 $\sigma_{{\mathcal{B}_+}}(T) = \sigma_{{\mathcal{B}_-}}(T')$를 사용한다.
• 이전 결과(예: 정리 5.1)의 증명을 수정하여 표준 스펙트럼 도구 대신 분할 스펙트럼 불변량과 이중성 논증을 사용하여 포함 사슬을 확립한다.

실험 결과

연구 질문

• RQ1 바나흐 공간에서의 연산자 튜플 $S$와 $T$의 스펙트럼을 이용하여 $(S\otimes I, I\otimes T)$의 준브로우더 공동 스펙트럼은 어떻게 관련이 있는가?
• RQ2 이러한 텐서곱 튜플에 대한 분할 준브로우더 공동 스펙트럼의 구조는 무엇이며, 표준 스펙트럼과 결함 스펙트럼과의 관계는 어떠한가?
• RQ3 스펙트럼 포함 관계가 등식으로 전환되는 조건은 무엇이며, 특히 힐버트 공간의 경우는 어떠한가?
• RQ4 연산자 아이디얼 위의 좌우 곱 연산자 $L_S, R_T$의 공동 스펙트럼은 생성 연산자의 스펙트럼과 어떻게 관련이 있는가?
• RQ5 코즐 복합체의 스펙트럼 매핑 성질을 사용하여 비힐베르트 공간 설정에서 준브로우더 스펙트럼에 대한 스펙트럼 포함 관계를 도출할 수 있는가?

주요 결과

• $\sigma_{{\mathcal{B}}_-}(S\otimes I, I\otimes T)$는 포함 관계 $\sigma_{{\mathcal{B}}_-}(S) \times \sigma_\pi(T) \cup \sigma_\delta(S) \times \sigma_{{\mathcal{B}}_+}(T) \subseteq \sigma_{{\mathcal{B}}_-}(S\otimes I, I\otimes T)$를 만족한다.
• 분할 준브로우더 공동 스펙트럼은 $sp_{{\mathcal{B}}_-}(S\otimes I, I\otimes T) \subseteq sp_{{\mathcal{B}}_-}(S) \times sp_\pi(T) \cup sp_\delta(S) \times sp_{{\mathcal{B}}_+}(T)$를 만족한다.
• 힐버트 공간의 경우, 준브로우더 및 분할 준브로우더 공동 스펙트럼에 대한 포함 관계가 등식이 되며, 이는 힐버트 공간 설정에서 기존 결과를 일반화한다.
• $L_S, R_T$의 공동 스펙트럼은 $\sigma_{{\mathcal{B}}_-}(L_S, R_T) \supseteq \sigma_{{\mathcal{B}}_-}(S) \times \sigma_\pi(T) \cup \sigma_\delta(S) \times \sigma_{{\mathcal{B}}_+}(T)$를 만족한다.
• 증명은 텐서곱의 코즐 복합체가 개별 코즐 복합체의 텐서곱과 동형임을 이용하여 호모로지 대수학을 통한 스펙트럼 분석을 가능하게 한다.
• 결함 스펙트럼과 근사 점 스펙트럼 간의 이중성, 즉 $\sigma_\pi(T)$와 $\sigma_\delta(T')$ 사이, $\sigma_{{\mathcal{B}}_+}(T)$와 $\sigma_{{\mathcal{B}}_-}(T')$ 사이의 이중성은 스펙트럼 불변량을 쌍대 공간 간 이동시키며, 포함 관계를 확립하는 데 핵심적이다.