[논문 리뷰] Operator algebras associated with unitary commutation relations

S. C. Power, Baruch Solel|ArXiv.org|2007. 04. 02.

Advanced Operator Algebra Research참고 문헌 10인용 수 8

한 줄 요약

이 논문은 $ nm \times nm $ 유니터리 행렬 $ u $ 에 의해 정의된 유니터리 교환관계를 만족하는 생성 연산자들에 의해 생성되는 비자기대칭 연산자 대수를 도입하고 분류한다. 이 대수들 $ \mathcal{A}_u $ 와 $ \mathcal{L}_u $ 의 동형 유형은 $ u $ 에 의해 완전히 결정되며, 등급을 유지하는 등급 보존 동형에 대한 분류는 $ n = m $ 인 경우의 변형된 유니터리 동치에 따라 달라진다. 이로 인해 $ 2 \times 2 $ 유니터리 행렬에 대해 비가чёт 가능한 많은 동형 유형이 존재함을 드러낸다.

ABSTRACT

We define nonselfadjoint operator algebras with generators $L_{e_1},..., L_{e_n}, L_{f_1},...,L_{f_m}$ subject to the unitary commutation relations of the form \[ L_{e_i}L_{f_j} = \sum_{k,l} u_{i,j,k,l} L_{f_l}L_{e_k}\] where $u= (u_{i,j,k,l})$ is an $nm imes nm$ unitary matrix. These algebras, which generalise the analytic Toeplitz algebras of rank 2 graphs with a single vertex, are classified up to isometric isomorphism in terms of the matrix $u$.

연구 동기 및 목표

• 생성 연산자들이 유니터리 교환관계를 만족하는 비자기대칭 연산자 대수 $ \mathcal{A}_u $ 와 $ \mathcal{L}_u $ 를 정의하고 연구한다.
• 기저가 되는 유니터리 행렬 $ u $ 에 따라 이들의 등급 보존 동형에 대해 이러한 연산자 대수를 분류한다.
• 분석적 토플리츠 대수와 자유 준군 대수의 이론을 더 넓은 비가환 연산자 대수의 범주로 일반화한다. 이 대수들은 구조적 교환관계를 가진다.
• 이러한 대수들과 $ C^* $-대응체 위의 텐서 대수 $ \mathcal{T}_+(X) $ 간의 연결 고리를 유니터리 동치를 통해 수립한다.

제안 방법

• 유니터리 $ u \in M_{nm}(\mathbb{C}) $ 에 의해 표현되는 관계를 가진 $ \mathbb{Z}_+^2 $-gradation을 가진 포크 공간 위에서의 왼쪽 생성 연산자들에 의해 생성되는 노름 닫힘 대수 $ \mathcal{A}_u $ 와 강한 연산자 위상 닫힘 대수 $ \mathcal{L}_u $ 를 정의한다.
• 특성 공간 $ M(\mathcal{A}_u) $ 와 $ \mathcal{L}_u $ 상의 w*-연속적 특성의 집합을 특성화하고, 이를 $ \overline{\mathbb{B}}_n \times \overline{\mathbb{B}}_m $ 내의 다양체 $ V_u $ 와 동일시한다.
• 특성 공간의 최소 자동형 불변 부분집합인 코어 $ \Omega_u^0 $ 을 도입하고, 이를 통해 일반적인 동형사상이 반드시 등급을 유지함을 증명한다.
• 보이쿨루스쿠의 $ U(1,n) $ 가 쿤츠 대수 $ \mathcal{O}_n $ 에 작용하는 유니터리 작용을 이용하여, 특성 공간의 내부에 대해 추이적으로 작용하는 명시적 유니터리 자동형 $ \Theta_\alpha $ 를 구성한다.
• 유니터리 연산자 $ w $ 와 $ v_k $ 를 통해 자동형사상의 유니터리 실현을 확립하고, $ \mathcal{A}_u $ 가 텐서 대수 $ \mathcal{T}_+(X) $ 의 부분대수와 유니터리 동형임을 보인다.
• 특히 $ n \neq m $ 일 때, $ \mathcal{A}_u $ 가 $ \mathcal{T}_+(X) $ 에 임베딩되고, $ \mathcal{A}_u $ 의 자동형사상이 $ \mathcal{T}_+(X) $ 의 자동형사상으로 연장됨을 증명한다.

실험 결과

연구 질문

• RQ1 두 연산자 대수 $ \mathcal{A}_u $ 와 $ \mathcal{A}_v $ 가 각각 유니터리 행렬 $ u $ 와 $ v $ 에 의해 정의될 때, 언제 등급 보존 동형이 성립하는가?
• RQ2 유니터리 행렬 $ u $ 의 구조가 대수 $ \mathcal{A}_u $ 의 동형 유형을 어떻게 결정하는가?
• RQ3 대수 $ \mathcal{A}_u $ 의 자동형사상은 포함된 더 큰 텐서 대수 $ \mathcal{T}_+(X) $ 의 자동형사상으로 연장될 수 있는가?
• RQ4 코어 $ \Omega_u^0 $ 이 동형사상과 등급 불변성의 특성화에서 수행하는 역할은 무엇인가?
• RQ5 $ n = m $ 과 $ n \neq m $ 의 경우 분류 결과가 어떻게 다를까?

주요 결과

• 대수 $ \mathcal{A}_u $ 와 $ \mathcal{L}_u $ 는 $ u $ 에 의해 등급 보존 동형에 대해 분류되며, $ n \neq m $ 일 경우는 곱 유니터리 동치 $ u \sim A \otimes B \cdot v \cdot (A \otimes B)^* $ 에 의해 결정된다.
• 특히 $ n = m $ 일 경우, 전치-켤레 관계 $ \tilde{v}_{i,j,k,l} = \overline{v}_{l,k,j,i} $ 를 통해 생성자 교환 동형사상을 허용하는 추가적인 동형 유형이 발생한다.
• $ 2 \times 2 $ 유니터리에 대해서는 $ \mathcal{A}_u $ 에 대해 비가산적인 많은 동형 유형이 존재하며, 이는 아홉 개의 실수 매개변수로 매개화된다. 이는 순열 행렬의 경우의 유한한 9개의 유형과 대비된다.
• 코어 $ \Omega_u^0 $ 은 자동형사상이 추이적으로 작용하는 최소 자동형 불변 부분집합이며, 이는 일반적인 동형사상이 반드시 등급을 유지함을 증명하는 데 기여한다.
• $ \mathcal{A}_u $ 는 $ \mathcal{E}_n $ 위의 $ C^* $-대응체 $ X $ 에 대해 텐서 대수 $ \mathcal{T}_+(X) $ 의 노름 닫힘 부분대수와 유니터리 동형이다.
• 특히 $ n \neq m $ 일 때, $ \Theta_\alpha $ 와 $ \Psi_{A,B} $ 에 의해 유도된 $ \mathcal{A}_u $ 의 자동형사상들은 유니터리 실현되며, $ \mathcal{T}_+(X) $ 의 자동형사상으로 연장된다.