[논문 리뷰] Canonical transfer-function realization for Schur multipliers on the Drury-Arveson space and models for commuting row contractions

Joseph A. Ball, Vladimir Bolotnikov|arXiv (Cornell University)|2011. 03. 07.

Holomorphic and Operator Theory참고 문헌 23인용 수 4

한 줄 요약

이 논문은 드리프리-아르베송 공간에서 슈어-클래스 승수에 대해, 2변수 de Branges-Rovnyak 공간의 d변수 일반화를 개발하며, 복소 d차원 단위구에서의 수축 승수에 대한 표준 전이함수 실현을 도입한다. 주요 기여는 특성 함수와 Agler 분해를 통한 가환 행렬 수축에 대한 모델 이론으로, 완전히 비단위적(완전히 비등지오메트릭, c.n.u.) 가환 행렬 수축에 대해 쌍 frac{\theta_{T,nc}, \mathbb{K}_{T,nc}} 가 완전한 유니터리 불변량임을 증명한다.

ABSTRACT

We develop a $d$-variable analog of the two-component de Bran-ges-Rovnyak reproducing kernel Hilbert space associated with a Schur-class function on the unit disk. In this generalization, the unit disk is replaced by the unit ball in $d$-dimensional complex Euclidean space, and the Schur class becomes the class of contractive multipliers on the Drury-Arveson space over the ball. We also develop some results on a model theory for commutative row contractions which are not necessarily completely noncoisometric (the case considered in earlier work of Bhattacharyya, Eschmeier and Sarkar)

연구 동기 및 목표

• 드리프리-아르베송 공간에서의 슈어-클래스 승수를 사용하여, 단위 원판에서의 고전적 de Branges-Rovnyak 이론을 복소 d차원 단위구로 확장하는 것.
• 다변수 설정에서 드리프리-아르베송 공간의 수축 승수에 대한 표준 유니터리 실현을 개발하는 것.
• 완전히 비공역적(c.n.c.) 경우를 초월한 가환 행렬 수축에 대한 모델 이론을 구축하는 것.
• 일반적인 c.n.u. 가환 행렬 수축에 대해 쌍 frac{\theta_{T,nc}, \mathbb{K}_{T,nc}} 가 완전한 유니터리 불변량임을 확립하는 것.

제안 방법

• 드리프리-아르베송 공간과 수축 승수를 사용하여, 두 성분으로 구성된 de Branges-Rovnyak 핵을 d변수 설정으로 일반화한다.
• 형식적 멱급수와 비가환 핵을 통한 연산자 튜플에 대한 비가환 Agler 분해를 정의한다.
• 비가환 함수모델과 [15]에서의 특성 쌍 (S, L)을 사용하여 c.n.u. 행렬 수축에 대한 특성 함수 frac{\theta_{T,nc}} 를 구성한다.
• 형식적 멱급수 전개 frac{(I - T Z_{\mathcal{X}}({\mathbf{z}})^*)^{-1} = \sum_{\alpha \in \mathcal{F}_d} {\mathbf{T}}^\alpha {\mathbf{z}}^\alpha} 를 이용해 불변량을 결정하는 모멘트를 추출한다.
• 특성 함수와 Agler 분해를 통한 모델 간의 유니터리 동치를 확립하여, 불변량 쌍의 완전성을 증명한다.
• [15]의 결과를 활용하여 쌍 frac{\theta_{T,nc}, \mathbb{K}_{T,nc}} 가 c.n.u. 행렬 수축에 대해 완전한 유니터리 불변량임을 보인다.

실험 결과

연구 질문

• RQ1 드리프리-아르베송 공간에서의 슈어-클래스 승수에 대해 다변수 설정에서 표준 전이함수 실현을 구성할 수 있는가?
• RQ2 de Branges-Rovnyak 모델 이론은 어떻게 단위 원판에서 복소 d차원 단위구로 확장될 수 있는가?
• RQ3 Agler 분해는 c.n.c. 경우를 초월한 가환 행렬 수축의 모델 이론에서 어떤 역할을 하는가?
• RQ4 특성 함수 frac{\theta_{T,nc}} 와 Agler 핵 frac{\mathbb{K}_{T,nc}} 가 일반적인 c.n.u. 가환 행렬 수축에 대해 완전한 유니터리 불변량인가?
• RQ5 슈어-클래스 함수와 그 Agler 분해 쌍 frac{(S, \mathbb{K}_S)} 로부터 직접적으로 비가환 de Branges-Rovnyak 모델 공간을 구성할 수 있는가?

주요 결과

• 논문은 비가환 Sz.-Nagy-Foias 함수모델을 사용하여 드리프리-아르베송 공간의 수축 승수에 대한 표준 유니터리 실현을 구성한다.
• 두 성분으로 구성된 Agler 분해와 특성 함수 frac{\theta_{T,nc}} 는 c.n.u. 가환 행렬 수축에 대해 완전한 유니터리 불변량을 형성한다.
• 가환 c.n.c. 경우에서는 특성 함수 frac{\theta_T} 만으로도 완전한 불변량이지만, 더 넓은 범주에서는 Agler 분해가 추가 정보를 제공한다.
• 모멘트 frac{ D_T \mathcal{I}_i \mathbf{T}^\alpha \mathbf{T}^{*\beta} \mathcal{I}_j^* D_T } 는 핵 frac{ \widetilde{\Phi}_{ij} } 에 의해 유일하게 결정되며, 이는 연산자 튜플의 재구성 가능성을 가능하게 한다.
• 특성 함수 frac{\theta_{T,nc}} 와 Agler 핵 frac{\mathbb{K}_{T,nc}} 가 일반적인 c.n.u. 가환 행렬 수축에 대해 완전한 유니터리 불변량임을 입증한다.
• 원칙적으로 쌍 frac{(S, \mathbb{K}_S)} 로부터 비가환 de Branges-Rovnyak 모델 공간을 직접 구성할 수 있으며, 다만 상세한 내용은 향후 연구에 남겨져 있다.