[논문 리뷰] Free holomorphic automorphisms of the unit ball of $B(H)^n$

Gelu Popescu|ArXiv.org|2008. 10. 02.

Holomorphic and Operator Theory참고 문헌 24인용 수 43

한 줄 요약

이 논문은 $B(H)^n$에서의 비가환 단위구의 자유 헬름로픽 자기동형사상의 군을 완전히 특성화하며, 이는 고전적 복소 단위구 $\mathbb{B}_n$의 모비우스 군과 동형임을 보여준다. 행 수축의 특성 함수와 비가환 포아송 변환을 이용하여, 쿤츠-토플리츠 대수와 비가환 디스크 대수의 유니터리로 표현된 자기동형사상이 이 자유 자기동형사상에 의해 완전히 결정됨을 증명함으로써, 비가환 함수 이론과 연산자 대수학 사이의 깊은 연결 고리를 드러낸다.

ABSTRACT

The theory of characteristic functions for row contractions is used to determine the group $Aut(B(H)^n_1)$ of all free holomorphic automorphisms of the unit ball of $B(H)^n$. We show that the noncommutative Poisson transform commutes with the action of the automorphism group $Aut(B(H)^n_1)$. This leads to a characterization of the unitarily implemented automorphisms of the Cuntz-Toeplitz algebra $C^*(S_1,..., S_n)$, which leave invariant the noncommutative disc algebra $\cA_n$. This result provides new insight into Voiculescu's group of automorphisms of the Cuntz-Toeplitz algebra and reveals new connections with noncommutative multivariable operator theory, especially, the theory of characteristic functions for row contractions and the noncommutative Poisson transforms. We study the isometric dilations and the characteristic functions of row contractions under the action of the automorphism group $Aut(B(H)^n_1)$. This enables us to obtain some results concerning the behavior of the curvature and the Euler characteristic of a row contraction under $Aut(B(H)^n_1)$. We prove a maximum principle for free holomorphic functions on the noncommutative ball $[B(H)^n]_1$ and provide some extensions of the classical Schwarz lemma to our noncommutative setting.

연구 동기 및 목표

• 비가환 힐베르트 공간 $B(H)^n$에서의 비가환 단위구에 대한 자유 헬름로픽 자기동형사상의 군 $\mathrm{Aut}(B(H)^n_1)$의 구조를 규명하는 것.
• 자유 헬름로픽 자기동형사상과 비가환 디스크 대수 $\mathcal{A}_n$ 및 비가환 하디 대수 $F_n^\infty$의 유니터리로 표현된 자기동형사상 간의 대응 관계를 설정하는 것.
• 비가환 포아송 변환이 자기동형사상 군의 작용과 가환함을 보여주어, 연산자 대수학에서 불변 자기동형사상의 특성화를 가능하게 하는 것.
• 자유 헬름로픽 함수의 다변수 비가환 설정으로 확장된 고전적 결과들, 예를 들어 샤우르츠 보조정리와 최대원리의 일반화를 수행하는 것.

제안 방법

• 행 수축에 대한 특성 함수 이론을 활용하여 $\mathrm{Aut}(B(H)^n_1)$의 구조를 분석하고, 이와 고전적 단위구 $\mathbb{B}_n$의 모비우스 군과 연결짓는다.
• 비가환 포아송 변환이 자기동형사상 군의 작용과 가환함을 보여주며, 자유 헬름로픽 함수와 연산자 대수학 사이의 다리 역할을 한다.
• 자유 헬름로픽 함수의 보편 성질을 적용하여, 임의의 자유 헬름로픽 함수는 분리 가능한 무한차원 힐베르트 공간 $H$ 위에서의 표현에 의해 유일하게 결정됨을 보장하여 표현 간 일관성을 확보한다.
• 도함수의 0에서의 값 분석과 비가환 샤우르츠 보조정리의 비슷한 형태를 적용하여, 항등 함수 도함수를 가진 자기동형사상은 반드시 항등사상임을 증명한다.
• 포크 공간 표현과 자유 멱급수의 구조를 이용하여 자유 헬름로픽 함수의 수렴성과 연산자 노름 행동을 분석한다.
• 자기동형사상 $\Psi_a$를 이용한 인수분해 결과를 도출하여, $F(X) - F(a)$가 자유 헬름로픽 함수 대수에서 $\psi_1, \dots, \psi_n$이 생성하는 오른쪽 아이디얼에 속함을 보인다.

실험 결과

연구 질문

• RQ1 비가환 힐베르트 공간 $B(H)^n$에서의 비가환 단위구에 대한 자유 헬름로픽 자기동형사상의 군 $\mathrm{Aut}(B(H)^n_1)$의 구조는 무엇인가?
• RQ2 비가환 디스크 대수 $\mathcal{A}_n$과 비가환 하디 대수 $F_n^\infty$의 유니터리로 표현된 자기동형사상은 $[B(H)^n]_1$의 자유 헬름로픽 자기동형사상과 어떻게 관련이 있는가?
• RQ3 비가환 포아송 변환이 자기동형사상 군 $\mathrm{Aut}(B(H)^n_1)$의 작용과 가환하는가?
• RQ4 최대원리와 샤우르츠 보조정리와 같은 고전적 결과들은 자유 헬름로픽 함수의 비가환 다변수 설정으로 어떻게 일반화될 수 있는가?
• RQ5 모든 완전 이sovometric 자기동형사상은 $\mathrm{Aut}(B(H)^n_1)$의 원소와의 복합에 의해 유도되는가?

주요 결과

• 자유 헬름로픽 자기동형사상의 군 $\mathrm{Aut}(B(H)^n_1)$는 고전적 단위구 $\mathbb{B}_n$의 모비우스 군과 동형이므로, $\mathrm{Aut}(B(H)^n_1) \simeq \mathrm{Aut}(\mathbb{B}_n)$이다.
• 비가환 포아송 변환이 $\mathrm{Aut}(B(H)^n_1)$의 작용과 가환함을 보이며, 이는 쿤츠-토플리츠 대수의 유니터리로 표현된 자기동형사상 중 비가환 디스크 대수 $\mathcal{A}_n$를 보존하는 자리를 특성화하는 데 기여한다.
• 비가환 디스크 대수 $\mathcal{A}_n$과 $F_n^\infty$의 유니터리로 표현된 자기동형사상은 비가환 포아송 변환을 통해 자유 헬름로픽 자기동형사상에 의해 완전히 결정되며, 이로 인해 $\mathrm{Aut}(B(H)^n_1) \simeq \mathrm{Aut}_u(\mathcal{A}_n) \simeq \mathrm{Aut}_u(F_n^\infty)$의 동형이 성립한다.
• 비가환 디스크 대수 $A(B(H)^n_1)$의 모든 완전 이sovometric 자기동형사상 $\Phi$는 어떤 $\Psi \in \mathrm{Aut}(B(H)^n_1)$에 대해 $\Phi(f) = f \circ \Psi$의 형태를 띠며, 이는 이러한 자기동형사상이 자유 자기동형사상과의 복합에 의해 유도됨을 보여준다.
• 자기동형사상 군은 행 수축의 곡률과 오일러 특성수에 작용하며, 군 작용 하에서 그 구조를 유지한다.
• $[B(H)^n]_1$에서의 자유 헬름로픽 함수에 대해 최대원리가 증명되었으며, 샤우르츠 보조정리의 비가환 확장도 확립되어, $F$가 단위구를 자신에게 사상하고 $a = F^{-1}(b)$일 때 $\|\Psi_b(F(X))\| \leq \|\Psi_a(X)\|$임을 보였다.