[논문 리뷰] Hermitian geometry on resolvent set(I)

Ronald G. Douglas, Rongwei Yang|arXiv (Cornell University)|2016. 08. 21.

Advanced Operator Algebra Research참고 문헌 29인용 수 5

한 줄 요약

이 논문은 유니탈 바나흐 대수의 연산자 튜플의 사영 공동 잔여집합 위에 허미트 기하 구조를 도입한다. 이는 ${\mathcal{B}}$-값을 가지는 기본 형식 $\Omega_A = -\omega_A^* \wedge \omega_A$ 와 충실한 상태의 결합을 통해 이루어지며, 결과적으로 유도된 계량이 Kähler이 되는 것은 튜플이 교환 가능할 때에만 성립하고, Fuglede-Kadison 행렬식과 연결될 경우 완비성이 보장된다. 주요 결과로는 행렬 대수에서 $\Omega_A$ 의 트레이스를 통해 완비성이 입증된다. 계량은 왼쪽 이동 불변이며, $GL(k)$ 에서는 Ricci-평탄하고 비-Kähler이다. 이는 연산자 교환 가능성, 스펙트럼 위상수학, 계량 완비성 간의 기하학적 연결 고리로, 곡률과 행렬식 불변량을 통해 설명된다.

ABSTRACT

For a tuple $A=(A_1,\ A_2,\ ...,\ A_n)$ of elements in a unital Banach algebra ${\mathcal B}$, its projective joint spectrum $P(A)$ is the collection of $z\in {\mathbb C}^n$ such that $A(z)=z_1A_1+z_2A_2+\cdots +z_nA_n$ is not invertible. It is known that the ${\mathcal B}$-valued $1$-form $ω_A(z)=A^{-1}(z)dA(z)$ contains much topological information about the joint resolvent set $P^c(A)$. This paper studies geometric properties of $P^c(A)$ with respect to Hermitian metrics defined through the ${\mathcal B}$-valued {\em fundamental form} $Ω_A=-ω^*_A\wedge ω_A$ and its coupling with faithful states $ϕ$ on ${\mathcal B}$, i.e. $ϕ(Ω_A)$. The connection between the tuple $A$ and the metric is the main subject of this paper. In particular, it shows that the Kählerness of the metric is tied with the commutativity of the tuple, and its completeness is related to the Fuglede-Kadison determinant.

연구 동기 및 목표

• 유니탈 바나흐 대수의 튜플 $A$ 의 사영 공동 잔여집합 $P^c(A)$ 에 대해 허미트 기하 구조를 개발한다.
• 연산자 $A$ 의 대수적 성질(예: 교환 가능성)과 $\Omega_A$ 로 정의된 계량의 기하적 성질 간의 상호작용을 조사한다.
• $\Omega_A$ 와 충실한 상태 $\phi$ 에 의해 유도된 계량이 완비가 되는 조건을 설정하며, 특히 Fuglede-Kadison 행렬식과의 관련성을 규명한다.
• 비가환 연산자 이론에서의 마우레르-카르탕 형식 $\omega_A = A^{-1}(z)dA(z)$ 의 기하학적 함의를 탐색한다.
• 연산자 튜플 $A$ 가 $M_k(\mathbb{C})$ 를 생성할 경우, $\Omega_A$ 의 트레이스가 $GL(k)$ 에서 완비성, 왼쪽 이동 불변성, Ricci-평탄성, 비-Kähler 성질을 갖는 계량을 정의함을 보여준다.

제안 방법

• 논문은 $GL({\mathcal{B}})$ 의 가역 원소에 의한 왼쪽 곱에 대해 불변인 ${\mathcal{B}}$-값을 가지는 1-형식 $\omega_A(z) = A^{-1}(z)dA(z)$ 를 구성한다. 이는 기하학적 일관성을 보장한다.
• 기본 형식 $\Omega_A = -\omega_A^* \wedge \omega_A$ 를 정의하여 $P^c(A)$ 위에 허미트 계량을 생성하고, 이를 충실한 상태 $\phi$ 와 결합하여 $\phi(\Omega_A)$ 를 얻는다.
• 곡률 형식을 통한 계량의 Kähler 성질 분석을 통해, 계량이 Kähler이 되는 것은 튜플 $A$ 가 교환 가능할 때에만 성립함을 보여준다.
• 계량의 완비성은 Fuglede-Kadison 행렬식과 연결된다: 만약 경계점 $q \in \partial P^c(A)$ 가 $\phi$-특이점이면, $q$ 는 $P^c(A)$ 의 모든 점으로부터 무한한 거리에 있다. 이는 $P^c(A)$ 가 계량 $\phi(\Omega_A)$ 에 대해 완비임을 의미한다.
• 행렬 대수 $M_k(\mathbb{C})$ 에서는 $Tr(\Omega_A)$ 를 사용하여 $GL(k)$ 에 계량을 정의하며, 해석적 행렬식 성질을 통해 이 계량이 완비성, 왼쪽 이동 불변성, Ricci-평탄성을 갖는다는 것을 보여준다.
• 계량 행렬은 $g(z) = \alpha^*(A^{-1}(z) \otimes I_k)^* (A^{-1}(z) \otimes I_k) \alpha$ 로 계산되며, $\det g(z) = |\det \alpha|^2 |\det A^{-k}(z)|^2$ 를 만족하여 Ricci-평탄성을 확인한다.

실험 결과

연구 질문

• RQ1 충실한 상태 $\phi$ 와 $\Omega_A$ 로 정의된 허미트 계량이 Kähler가 되는 조건은 무엇인가?
• RQ2 Fuglede-Kadison 행렬식은 $P^c(A)$ 위 계량의 완비성과 어떻게 관련이 있는가?
• RQ3 $A$ 가 $M_k(\mathbb{C})$ 를 생성할 경우, $GL(k)$ 에서 $Tr(\Omega_A)$ 가 완비성, 왼쪽 이동 불변성, Ricci-평탄성, 비-Kähler 성질을 갖는다는 것을 어떻게 증명할 수 있는가?
• RQ4 정리 3.2 의 역이 참인가? 즉, 경계점이 $P^c(A)$ 의 폐포에 속하지 않으면 반드시 $\phi$-특이점인가?
• RQ5 연산자 튜플의 맥락에서 $GL({\mathcal{B}})$ 에 의한 왼쪽 곱에 대해 $\omega_A$ 가 불변인 것의 기하학적 의의는 무엇인가?

주요 결과

• 계량 $\phi(\Omega_A)$ 는 $A$ 가 교환 가능할 때에만 Kähler이 되며, 이는 대수적 교환 가능성과 기하학적 Kähler 구조 간의 직접적인 연결 고리를 확립한다.
• 경계점 $q \in \partial P^c(A)$ 가 $\phi$-특이점이면, $q$ 는 $P^c(A)$ 의 모든 점으로부터 무한한 거리에 있다. 이는 $P^c(A)$ 가 계량 $\phi(\Omega_A)$ 에 대해 완비임을 의미한다.
• $A$ 가 $M_k(\mathbb{C})$ 의 기저를 이룰 경우, 계량 $Tr(\Omega_A)$ 는 $GL(k)$ 에서 완비성, 왼쪽 이동 불변성, Ricci-평탄성, 비-Kähler 성질을 갖는다. 이는 행렬식 공식 $\det g(z) = |\det \alpha|^2 |\det A^{-k}(z)|^2$ 를 통해 입증된다.
• $Tr(\Omega_A)$ 는 $GL(k)$ 에서 왼쪽 곱에 대해 불변이므로, $GL(k)$ 에서의 왼쪽 이동 불변성을 확인한다. 또한 $\omega_A$ 가 $GL({\mathcal{B}})$ 에 대해 불변이므로 기하학적 일관성이 보장된다.
• Fuglede-Kadison 행렬식은 완비성의 핵심 역할을 한다: $\phi$-특이 경계점은 행렬식이 유한한 거리 접근을 방지하는 방식으로 0이 되는 점들이다.
• 계량은 Ricci-평탄하다. 왜냐하면 $\det g(z)$ 는 해석적 함수의 절댓값 제곱이기 때문이며, 이는 해석적 행렬식의 로그 볼록성에 의해 Ricci 곡률이 0이 된다.