[논문 리뷰] Almost normal operators mod Hilbert-Schmidt and the K-theory of the Banach algebras $EΛ(Ω)$

Dan-Virgil Voiculescu|arXiv (Cornell University)|2011. 12. 21.

Advanced Topics in Algebra인용 수 5

한 줄 요약

이 논문은 하이버트-슈미트 연산자에 대한 거의 정규 연산자를 연구하기 위해 바나흐 $*$-대수 $E\Lambda(\Omega)$를 도입하며, 이들의 $K$-이론과 핑쿠스 $g$-함수 사이의 연결 고리를 확립한다. 이는 $E\Lambda(\mathbb{C})_0$의 $K_0$-군이 유계 지지 집합을 가진 실수값 $L^1$-함수의 공간과 동형임을 보여주며, 자코비안-디프리에르-포터 정리(BDF-정리)의 $K$-이론적 유사체를 제공한다.

ABSTRACT

Is there a mod Hilbert-Schmidt analogue of the BDF-theorem, with the Pincus g-function playing the role of the index ? We show that part of the question is about the K-theory of certain Banach algebras. These Banach algebras, related to Lipschitz functions and dirichlet algebras have nice Banach space duality properties. Moreover their corona algebras are C*-algebras.

연구 동기 및 목표

• 하이버트-슈미트 연산자에 대한 BDF-정리의 유사체가 존재하는지 조사하며, 핑쿠스 $g$-함수가 지표 불변량의 역할을 하는지 확인한다.
• 자기자기연산자가 트레이스-클래스인 연산자에 대해 바나흐 대수 $E\Lambda(\Omega)$의 $K$-이론과 $g$-함수 사이의 연결 고리를 확립한다.
• 비-$C^*$-성격을 지닌 $E\Lambda(\Omega)$임에도 불구하고, 코로나 대수 $E\Lambda(\Omega)/{\mathcal{K}}\Lambda(\Omega)$가 $C^*$-대수임을 보인다.
• 하이버트-슈미트 연산자에 대한 거의 정규 연산자의 정규 확장 문제를 $E\Lambda(\Omega)$의 $K$-이론을 통해 해결할 수 있는지 탐색한다.
• Dirichlet 대수와 비가환 잠재이론과의 관련성에서 $E\Lambda(\Omega)$와 그 이상수 ${\mathcal{K}}\Lambda(\Omega)$의 이중성과 승수 구조를 고찰한다.

제안 방법

• 리프시츠 함수의 곱셈과의 교환자들이 하이버트-슈미트 클래스에 속하는 연산자들로 구성된 $L^2(\Omega, \lambda)$ 위의 바나흐 $*$-대수 $E\Lambda(\Omega)$를 정의한다.
• ${\mathcal{K}}\Lambda(\Omega)$를 $E\Lambda(\Omega)$ 내의 컴팩트 연산자로 구성하며, 이는 유계 근사 단위를 갖는 프로젝션으로 구성된 Dirichlet 대수임을 보인다.
• $E\Lambda(\mathbb{C})_0$를 유계 보렐 집합 $\Omega$에 대한 $E\Lambda(\Omega)$의 귀납적 극한으로 구성함으로써 전역적 $K$-이론 분석을 가능하게 한다.
• 핑쿠스 $g$-함수를 사용하여 $K_0(E\Lambda(\mathbb{C})_0)$에서 $L^1_{\text{re}}(\mathbb{C}, \lambda)$, 즉 유계 지지 집합을 가진 실수값 $L^1$-함수의 공간으로의 준동형을 정의한다.
• 비가환 잠재이론의 결과, 특히 도함수와 마르코프 반군을 적용하여 $E\Lambda(\Omega)$와 ${\mathcal{K}}\Lambda(\Omega)$의 몫에서 $C^*$-대수의 구조가 존재함을 보인다.
• $\Omega$ 사이의 비-리프시츠-홈오미오피즘을 통해 $E\Lambda(\Omega_1)$과 $E\Lambda(\Omega_2)$ 사이의 동형을 구축하며, 이는 코로나 대수에서 $C^*$-동형을 유도한다.

실험 결과

연구 질문

• RQ1 하이버트-슈미트 연산자에 대한 거의 정규 연산자에 대해, $g$-함수가 지표 불변량으로 기능하는 $K$-이론적 유사체가 존재하는가?
• RQ2 $E\Lambda(\mathbb{C})_0$의 $K_0$-군이 핑쿠스 $g$-함수를 통해 $L^1_{\text{re}}(\mathbb{C}, \lambda)$와 동형이 되는가?
• RQ3 하이버트-슈미트 연산자에 대한 거의 정규 연산자의 정규 확장 문제는 $E\Lambda(\Omega)$의 $K$-이론을 통해 해결될 수 있는가?
• RQ4 코로나 대수 $(E/{\mathcal{K}})\Lambda(\Omega)$의 구조는 무엇이며, 왜 $E\Lambda(\Omega)$가 $C^*$-대수가 아니더라도 이는 $C^*$-대수인가?
• RQ5 비-리프시츠-홈오미오피즘은 $E\Lambda(\Omega)$와 $(E/{\mathcal{K}})\Lambda(\Omega)$에 어떻게 작용하며, 어떤 불변량이 유지되는가?

주요 결과

• $E\Lambda(\mathbb{C})_0$의 $K_0$-군은 핑쿠스 $g$-함수를 통해 실수값 $L^1$-함수의 공간 $L^1_{\text{re}}(\mathbb{C}, \lambda)$와 동형이다.
• 비-$C^*$-성격을 지닌 $E\Lambda(\Omega)$임에도 불구하고, 이상수 ${\mathcal{K}}\Lambda(\Omega)$의 특수한 구조 덕분에 코로나 대수 $(E/{\mathcal{K}})\Lambda(\Omega)$는 $C^*$-대수이다.
• ${\mathcal{K}}\Lambda(\Omega)$는 Dirichlet 대수이며, 하이버트-슈미트 공간 위의 도함수에 의해 유도된 완전히 양성적인 수축의 마르코프 반군을 갖는다.
• $\Omega$가 유계일 경우, $E\Lambda(\Omega)$는 ${\mathcal{K}}\Lambda(\Omega)$의 이중 및 승수 대수와 동형이 되며, 이는 이중성 구조를 수립한다.
• 비-리프시츠-홈오미오피즘은 코로나 대수 $(E/{\mathcal{K}})\Lambda(\Omega)$에서 $C^*$-대수 동형을 유도하며, 이는 $K$-이론적 구조를 유지한다.
• $E\Lambda(\Omega)$의 $K$-이론은 컴팩트 연산자보다 더 풍부하므로, $K_0$-군이 자명하지 않으며 정규 확장의 존재를 방해할 수 있음을 시사한다.