[논문 리뷰] Dual properties and joint spectra for solvable Lie algebras of operators

Enrico Boasso|arXiv (Cornell University)|2015. 10. 04.

Advanced Topics in Algebra참고 문헌 4인용 수 10

한 줄 요약

이 논문은 바나흐 공간 위의 연산자들로 구성된 가환 리 대수에 대해 Słodkowski의 공동 스펙트럼 $ \sigma_{\delta,k} $ 및 $ \sigma_{\pi,k} $를 확장하며, 이들이 컴팩트하고 공집합이 아니며 이상에 대한 사영 성질을 만족함을 증명한다. 또한, 가환 리 대수 $ L $가 바나흐 공간 $ E $ 위에 작용할 때, 공동 스펙트럼 $ \sigma_{\delta,k}(L,E) $와 그 쌍대 $ \sigma_{\pi,k}(L^*,E^*) $ 사이에 일정한 이동이 존재하는 쌍대 스펙트럼 관계를 설정한다. 이 이동은 수반 표현의 추적에 의해 결정되며, 노르멘트 경우에 이는 0이 되어 스펙트럼 간의 대칭성을 유도한다.

ABSTRACT

Given $L$ a solvable Lie Algebra of operators acting on a Banach space $E$, we study the action of the opposite algebra of $L$, $L'$, on $E^*$. Moreover, we extend Słodkowski joint spectra, $σ_{δ,k}$, $σ_{π,k}$, and we study its usual spectral properties.

연구 동기 및 목표

• 바나흐 공간 위의 연산자들로 이루어진 유한차원 복소 가환 리 대수에 대해 Słodkowski 공동 스펙트럼 $ \sigma_{\delta,k} $ 및 $ \sigma_{\pi,k} $를 확장하는 것.
• 가환 리 대수 $ L $가 $ E $ 위에 작용할 때와 그 반대 대수 $ L^* $가 쌍대 공간 $ E^* $ 위에 작용할 때의 공동 스펙트럼 $ \mathrm{Sp}(L,E) $와 $ \mathrm{Sp}(L^*,E^*) $ 사이의 쌍대성 관계를 조사하는 것.
• 관계 $ \mathrm{Sp}(L,E) = \mathrm{Sp}(L^*,E^*) + c $에서 상수 이동 $ c $를 특성화하고, $ L $이 노르멘트일 경우 $ c = 0 $임을 보이는 것.
• 확장된 스펙트럼 $ \sigma_{\delta,k} $ 및 $ \sigma_{\pi,k} $가 키워드 스펙트럼 성질인 컴팩트성, 공집합 아님, 이상에 대한 사영 성질을 유지하는지 확인하는 것.

제안 방법

• 논문은 복소수 $ (E \otimes \wedge L, d(f)) $를 사용하는 호모로지적 접근법을 사용하며, 여기서 $ d(f) $는 선형 함수 $ f \in L^* $에 따라 정의되는 미분이다. 공동 스펙트럼 $ \mathrm{Sp}(L,E) $는 호모로지가 비자명한 $ f \in L^{2^\perp} $의 집합으로 정의된다.
• 쌍대 대수 $ L^* $를 도입하여, $ E^* $ 위에서 반대 리 괄호를 갖는 작용을 하고, $ \mathrm{Sp}(L,E) $와 $ \mathrm{Sp}(L^*,E^*) $ 사이의 스펙트럼 관계를 분석한다. 이로써 $ \mathrm{Sp}(L,E) = \mathrm{Sp}(L^*,E^*) + c $ 형태의 상수 $ c $가 존재함을 증명한다.
• Słodkowski 스펙트럼 $ \sigma_{\delta,k} $ 및 $ \sigma_{\pi,k} $의 확장은 복소수의 해석적 매개변수화를 적응하고, 호모로지의 장기 정확수열에서 연결 사상(connected map)을 이용하여 스펙트럼 성질을 도출함으로써 이루어진다.
• 상수 $ c $는 리 대수의 기저 원소 $ x_i $의 수반 작용에 기반한 쌍대 표현 $ \tilde{\theta}(x_i) $의 추적 벡터로 특성화되며, $ L $이 노르멘트일 경우 이 값이 0이 됨을 보인다.
• 증명은 코드미너스-일반 이상을 사용한 리 대수의 귀납적 분해와, 외적 대수 $ \wedge L $ 위에서 $ \mathrm{ad}(x_n) $를 연장하는 도함수 $ \theta(x_n) $의 사용에 기반한다.
• 스펙트럼 성질—콤팩트성, 공집합 아님, 이상에 대한 사영 성질—은 함수해석학 및 호모로지 대수학의 결과를 활용하여 증명되며, 특히 [5]와 [2]의 기법을 바나흐 공간의 매개변수화된 복소수에 적용한다.

실험 결과

연구 질문

• RQ1 Słodkowski 공동 스펙트럼 $ \sigma_{\delta,k} $ 및 $ \sigma_{\pi,k} $가 바나흐 공간 위의 가환 리 대수로 확장되었을 때 어떻게 행동하는가?
• RQ2 가환 리 대수 $ L $이 $ E $ 위에 작용할 때의 공동 스펙트럼 $ \mathrm{Sp}(L,E) $와 그 반대 대수 $ L^* $가 쌍대 공간 $ E^* $ 위에 작용할 때의 스펙트럼 $ \mathrm{Sp}(L^*,E^*) $ 사이의 관계는 무엇인가?
• RQ3 관계 $ \mathrm{Sp}(L,E) = \mathrm{Sp}(L^*,E^*) + c $에서 상수 이동 $ c $를 리 대수의 구조에 따라 명시적으로 특성화할 수 있는가?
• RQ4 스펙트럼의 쌍대성 관계 $ \sigma_{\delta,k}(L,E) $와 $ \sigma_{\pi,k}(L^*,E^*) $는 추적 기반 보정과 함께 성립하는가? 그리고 노르멘트 경우에 이는 어떻게 단순화되는가?
• RQ5 확장된 스펙트럼 $ \sigma_{\delta,k} $ 및 $ \sigma_{\pi,k} $는 컴팩트성, 공집합 아님, 이상에 대한 사영 성질과 같은 표준 스펙트럼 성질을 유지하는가?

주요 결과

• 확장된 Słodkowski 스펙트럼 $ \sigma_{\delta,k}(L,E) $ 및 $ \sigma_{\pi,k}(L,E) $는 $ L^* $의 컴팩트하고 공집합이 아닌 부분집합이며, 가환 리 대수로의 고전 공동 스펙트럼의 일반화이다.
• 이상에 대한 사영 성질이 성립한다: $ \sigma_{\delta,k}(I,E) = \pi(\sigma_{\delta,k}(L,E)) $ 및 $ \sigma_{\pi,k}(I,E) = \pi(\sigma_{\pi,k}(L,E)) $, 여기서 $ \pi $는 $ L^* $에서 $ I^* $로의 사영이다.
• 쌍대 스펙트럼은 $ \sigma_{\delta,k}(L,E) + (\mathrm{trace}\, \tilde{\theta}(x_1), \dots, \mathrm{trace}\, \tilde{\theta}(x_n)) = \sigma_{\pi,k}(L^*,E^*) $를 만족하며, 정확한 이동 법칙을 설정한다.
• 노르멘트 경우에 이동 상수 $ c $는 0이 되며, 따라서 $ \mathrm{Sp}(L,E) = \mathrm{Sp}(L^*,E^*) $가 되어 스펙트럼과 그 쌍대 사이의 대칭적 쌍대성을 유도한다.
• 전체 스펙트럼의 경우 $ \sigma_{\delta,n}(L,E) = \sigma_{\pi,0}(L,E) = \mathrm{Sp}(L,E) $이며, 비이상 부분공간에 대해서는 사영 성질이 성립하지 않으며, 고전적 경우와 동일하다.
• 노르멘트 경우에 스펙트럼의 쌍대 관계 $ \sigma_{\delta,k}(L,E) = \sigma_{\pi,n-k}(L^*,E^*) $ 및 $ \sigma_{\pi,k}(L,E) = \sigma_{\delta,n-k}(L^*,E^*) $가 성립하며, 깊은 대칭성을 반영한다.