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

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

Advanced Operator Algebra Research참고 문헌 12인용 수 3

한 줄 요약

이 논문은 힐버트-슈미트 연산자에 모odulo된 거의 정규 연산자를 연구하기 위해 바나흐 ∗-대수 $E\Lambda(\Omega)$를 도입하며, 이들의 K-이론과 핀쿠스 g-함수 사이의 연결 고리를 설정한다. 이는 $E\Lambda(\Omega)$가 그 이상수 $K\Lambda(\Omega)$의 이중대수와等距 등장하는 것으로 보여주며, 코로나 대수 $E\Lambda(\Omega)/K\Lambda(\Omega)$가 C∗-대수임을 보인다. 핵심 결과는 힐버트-슈미트 연산자에 모odulo된 BDF 유형 정리가 핀쿠스 g-함수를 통한 $E\Lambda(\Omega)$의 K-이론이 $L^1_{\text{re}}(\Omega, \lambda)$와 동형임과 동치임을 보여준다.

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.

연구 동기 및 목표

• Hilbert-Schmidt 연산자에 모odulo된 BDF-정리의 유사판을 수립하며, 지수 대신 핀쿠스 g-함수가 역할을 하도록 한다.
• 자기공명자성의 추적을 가진 연산자들로 구성되는 $E\Lambda(\Omega)$ 바나흐 대수의 K-이론을 조사한다.
• Hilbert-Schmidt 연산자에 모odulo된 거의 정규 연산자의 분류에서 정규 확장의 역할을 명확히 한다.
• 비록 기본 대수가 C∗-대수가 아니지만, 코로나 대수 $E\Lambda(\Omega)/K\Lambda(\Omega)$가 C∗-대수임을 보인다.
• 적분성 성질이 $K_0(E\Lambda(\Omega))$에 의해 정규 확장이 차단될 수 있는지 탐색하여, 확장 문제에 대한 잠재적인 부정적 해답을 제공한다.

제안 방법

• $E\Lambda(\Omega)$를 리프시츠 함수에 의한 곱셈 연산자와의 교환자들이 힐버트-슈미트 연산자인 $L^2(\Omega, \lambda)$ 내의 연산자들로 정의한다.
• $E\Lambda(\Omega)$ 내의 컴팩트 연산자들로 이루어진 이상수 $K\Lambda(\Omega)$가 딜리클레 대수이자 $E\Lambda(\Omega)$의 전치대수와 등거리를 유지함을 보인다.
• duality pairing $\mathrm{Tr}(T x + [Z, T] y)$를 사용하여 $E\Lambda(\Omega)$를 $K\Lambda(\Omega)$의 이중대수로 식별한다.
• 힐베르트 공간 연산자에 대한 노름 이상의 변화 이론 결과를 응용하여 $K\Lambda(\Omega)$ 내의 프로젝션의 유계 근사 단위를 구성한다.
• $E\Lambda(\Omega)$와 $E\Lambda(\Omega)_0$의 K-이론을 분석하며, $L^1_{\text{re}}(\Omega, \lambda)$로의 동형사상 후보로 핀쿠스 g-함수를 사용한다.
• $E\Lambda(\Omega)$가 C∗-대수가 아니지만, 코로나 대수 $E\Lambda(\Omega)/K\Lambda(\Omega)$가 C∗-대수임을 보인다.

실험 결과

연구 질문

• RQ1 Hilbert-Schmidt 연산자에 모odulo된 거의 정규 연산자에 대해, 핀쿠스 g-함수가 지수의 역할을 하는 BDF 유형 분류 정리가 존재하는가?
• RQ2 $E\Lambda(\Omega)$의 K-이론, 특히 $K_0(E\Lambda(\Omega))$가 g-함수가 $L^1$-함수로서의 구조를 반영하는가?
• RQ3 적분성 성질이 $K_0(E\Lambda(\Omega))$에 의해 거의 정규 연산자의 정규 확장 문제가 차단될 수 있는가?
• RQ4 코로나 대수 $E\Lambda(\Omega)/K\Lambda(\Omega)$의 구조는 무엇이며, 왜 기본 대수가 C∗-대수가 아니지만 이 대수가 C∗-대수인가?
• RQ5 Borel 집합 $\Omega_1$과 $\Omega_2$ 사이의 이중 리프시츠 사상이 $E\Lambda(\Omega)$와 그 코로나 대수에 대해 $*$-동형사상을 유도하는가?

주요 결과

• $E\Lambda(\Omega)$는 duality pairing $\mathrm{Tr}(T x + [Z, T] y)$를 통해 $K\Lambda(\Omega)$의 이중대수와 등거리를 유지한다.
• 비록 $E\Lambda(\Omega)$가 C∗-대수가 아니지만, 코로나 대수 $E\Lambda(\Omega)/K\Lambda(\Omega)$는 C∗-대수이다.
• Hilbert-Schmidt 연산자에 모odulo된 BDF-정리 문제는 $E\Lambda(\Omega)_0$의 K-이론이 핀쿠스 g-함수를 통한 $L^1_{\text{re}}(\Omega, \lambda)$와 동형임과 동치이다.
• $K\Lambda(\Omega)$는 딜리클레 대수이며, 유도자 $\partial a = [X, a] \oplus [Y, a]$에 의해 유도된 완전히 양성적인 압축의 마르코프 반군을 가진다.
• Borel 집합 $\Omega_1$과 $\Omega_2$ 사이의 이중 리프시츠 사상은 $E\Lambda(\Omega_1)$과 $E\Lambda(\Omega_2)$ 사이, 그리고 그들의 코로나 대수 사이에 $*$-동형사상을 유도한다.
• 코로나 대수 $(E/K)\Lambda(\Omega)$의 중심은 열린 문제이지만, 캘킨 대수의 이중중심 문제와 유사하다.