[논문 리뷰] Unbounded Symmetric Homogeneous Domains in Spaces of Operators

Lawrence A. Harris|arXiv (Cornell University)|1995. 01. 30.

Advanced Topics in Algebra참고 문헌 22인용 수 5

한 줄 요약

이 논문은 힐버트 공간 위의 유계 선형 연산자 공간에서의 무한대 대칭 동차 도메인을 조사하며, 애핀 자동형사상과 대칭의 복합 작용이 이러한 도메인 위에서 추이적으로 작용함을 밝혀낸다. 이 논문은 추적 클래스 조건 하에서 이러한 도메인에 대해 리우빌의 정리와 리만의 제거 가능한 특이점 정리를 증명하며, 특정 연산자 도메인에서의 복소해석적 사상이 선형 등장사상 또는 유니터리 및 J-유니터리 연산자에 의한 좌우 곱셈에 의해 유도됨을 보이며, 유한차원 결과를 무한차원 설정으로 일반화한다.

ABSTRACT

We define the domain of a linear fractional transformation in a space of operators and show that both the affine automorphisms and the compositions of symmetries act transitively on these domains. Further, we show that Liouville's theorem holds for domains of linear fractional transformations, and, with an additional trace class condition, so does the Riemann removable singularities theorem. We also show that every biholomorphic mapping of the operator domain $I < Z^*Z$ is a linear isometry when the space of operators is a complex Jordan subalgebra of ${\cal L}(H)$ with the removable singularity property and that every biholomorphic mapping of the operator domain $I + Z_1^*Z_1 < Z_2^*Z_2$ is a linear map obtained by multiplication on the left and right by J-unitary and unitary operators, respectively. Readers interested only in the finite dimensional case may identify our spaces of operators with spaces of square and rectangular matrices.

연구 동기 및 목표

• 힐버트 공간 위의 유계 선형 연산자 공간에서의 무한대 대칭 동차 도메인을 특성화하는 것.
• 이러한 도메인 위에서 애핀 자동형사상과 대칭의 복합 작용이 추이적으로 작용함을 확립하는 것.
• 선형 분수 변환 도메인의 연산자 공간에서 리우빌의 정리와 리만의 제거 가능한 특이점 정리를 일반화하는 것.
• 특정 연산자 도메인, 예를 들어 $I < Z^*Z$ 및 $I + Z_1^*Z_1 < Z_2^*Z_2$에서의 복소해석적 사상의 정확한 구조를 규명하는 것.
• 행렬에 대한 유한차원 결과를 특히 $ \mathcal{L}(H)$의 복소 제이던 부분대수인 무한차원 연산자 대수로 일반화하는 것.

제안 방법

• 연산자 이론적 구성 방법을 사용하여 연산자 공간 내 선형 분수 변환의 도메인을 정의하는 것.
• 대칭 도메인 이론과 제이던 대수의 구조를 활용하여 자동형사상군과 대칭을 분석하는 것.
• 고전적 해석함수 이론을 무한차원 설정으로 확장하기 위해 추적 클래스 조건을 적용하는 것.
• 유니터리 및 J-유니터리 연산자에 의한 좌우 곱셈으로 분해하여 특정 도메인에서의 복소해석적 사상의 구조를 분석하는 것.
• 기저 연산자 대수의 제거 가능한 특이점 성질을 활용하여 복소해석적 사상의 특이점을 제어하는 것.
• 유한차원으로 제한했을 때 연산자 공간을 행렬 대수와 동일시함으로써 무한차원 경우를 유한차원 행렬 해석으로 환원하는 것.

실험 결과

연구 질문

• RQ1 힐버트 공간 위의 유계 선형 연산자 공간에서의 무한대 대칭 동차 도메인의 구조는 어떠한가?
• RQ2 애핀 자동형사상과 대칭의 복합 작용은 이러한 도메인에 어떻게 작용하며, 그 작용은 추이적인가?
• RQ3 선형 분수 변환 도메인의 연산자 공간에서 해석함수에 대해 리우빌의 정리가 성립하는 조건은 무엇인가?
• RQ4 리만의 제거 가능한 특이점 정리는 이러한 연산자 도메인으로까지 확장되는가? 그리고 추적 클래스 조건은 어떤 역할을 하는가?
• RQ5 연산자 대수에서 도메인 $I < Z^*Z$ 및 $I + Z_1^*Z_1 < Z_2^*Z_2$에서의 복소해석적 사상의 정확한 형태는 무엇인가?

주요 결과

• 연산자 공간에서의 무한대 대칭 동차 도메인 위에서 애핀 자동형사상과 대칭의 복합 작용은 추이적으로 작용한다.
• 추적 클래스 조건이 만족될 경우, 선형 분수 변환 도메인의 연산자 공간에서 리우빌의 정리가 성립한다.
• 동일한 추적 클래스 조건 하에서 리만의 제거 가능한 특이점 정리는 이러한 도메인으로까지 확장되며, 고립된 특이점을 가진 해석함수는 유계이면서 제거 가능함을 보장한다.
• 기저 공간이 $ \mathcal{L}(H)$의 복소 제이던 부분대수이며 제거 가능한 특이점 성질을 갖는 경우, 도메인 $I < Z^*Z$ 위의 모든 복소해석적 사상은 선형 등장사상이다.
• 도메인 $I + Z_1^*Z_1 < Z_2^*Z_2$ 위의 모든 복소해석적 사상은 J-유니터리 연산자에 의한 좌측 곱셈과 유니터리 연산자에 의한 우측 곱셈에 의해 유도된다.
• 유한차원 경우에서 결과는 정사각형 및 직사각형 행렬 공간에 대해 유사한 진술로 특수화된다.