[논문 리뷰] Unitary invariants in multivariable operator theory

Gelu Popescu|arXiv (Cornell University)|2004. 10. 22.

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

한 줄 요약

이 논문은 비가환 연산자 $n$-튜플에 대한 고전적 수치 반경의 다변수 일반화를 제안하며, 이가 유니타리 불변성임을 입증하고 연산자 노름과의 동치성을 보여준다. 주요 기여는 비가환 다항식과 포크 공간 표현을 포함한 다변수 바르트라인형 부등식과 관련된 연산자 노름 추정치이며, 이는 제약 조건이 있는 보간 및 군 $C^*$-대수에서의 양성 조건에 응용된다.

ABSTRACT

The problems considered in this paper come as a natural continuation of our program to develop a free analogue of Sz.-Nagy-Foias theory, for row contractions. The paper is structured as follows: Introduction Part I. Unitary invariants for n-tuples of operators 1. Joint numerical radius 2. Euclidean operator radius 3. Joint numerical range and spectrum 4. $ρ$-operator radius Part II. Joint operator radii, inequalities, and applications 5. von Neumann inequalities 6. Constrained von Neumann inequalities 7. Multivariable Haagerup-de la Harpe inequalities 8. Multivariable Fejer inequalities References

연구 동기 및 목표

• 다변수 연산자 이론에서 비가환 유계 연산자 $n$-튜플을 위한 유니타리 불변 프레임워크를 개발하기 위해.
• 전체 포크 공간과 자유 반군을 이용하여 고전적 수치 반경을 $n$-튜플으로 일반화하기 위해.
• 바르트라인 부등식과 관련된 다변수 버전의 연산자 노름 부등식을 수립하기 위해.
• 비가환 다항식의 양성 조건을 연산자 계수와 삼각법적 경계로 표현하기 위해.
• 비가환 설정으로 고전적 보간 및 확장 정리의 확장을 $F_n^\infty$ 및 $\mathcal{A}_n$ 대수를 이용해 수행하기 위해.

제안 방법

• 벡터 가족이 단위 $\ell^2$-노름을 가진 포크 공간에서의 상한을 통해 공동 수치 반경 $w(T_1,\ldots,T_n)$을 정의한다.
• 전체 포크 공간 $F^2(H_n)$에서의 왼쪽 생성 연산자 $S_1,\ldots,S_n$를 비가환 이론의 이동 연산자에 해당하는 비가환 대체로 사용한다.
• 연산자 $S_1,\ldots,S_n$에 의해 생성된 연산자 체계 위에서 완전히 양성적인 사상들을 사용하여 공동 수치 반경과 연산자 노름 사이의 동치성을 확립한다.
• 다변수 바르트라인 부등식을 증명한다: $w(f_1(T),\ldots,f_k(T)) \leq \|[f_1,\ldots,f_k]\| + 2\left(\sum_{j=1}^n |f_j(0)|^2\right)^{1/2}$, $f_j \in \mathcal{A}_n$.
• 비가환 다항식의 계수에 대한 삼각법적 경계를 도출한다. 이는 $C^*({\mathbb{F}}_n)$ 및 $C_{\text{red}}^*({\mathbb{F}}_n)$에서의 양성 조건과 $\bf{U}_i$의 보편 성질을 사용하여 유도된다.
• 버거-카토-슈타프리 매핑 정리와 확장 정리를 적용하여 $F_n^\infty$-모듈을 통한 공동 수치 범위와 연산자 반경을 특성화한다.

실험 결과

연구 질문

• RQ1 유니타리 불변 방식으로 고전적 수치 반경을 비가환 연산자 $n$-튜플로 일반화할 수 있는가?
• RQ2 연산자 $n$-튜플에 대해 공동 수치 반경과 연산자 노름 사이의 관계는 무엇인가?
• RQ3 비가환 다항식에 대해 $\mathcal{A}_n$에서 다변수 바르트라인 부등식을 수립할 수 있는가?
• RQ4 자유군 $\mathbb{F}_n$의 완전 또는 축소된 군 $C^*$-대수에서 비가환 다항식의 계수 제약 조건은 무엇인가?
• RQ5 연결된 수치 범위와 $n$-튜플의 스펙트럼은 비가환 디스크 대수 $\mathcal{A}_n$의 구조와 어떻게 관련이 있는가?

주요 결과

• 공동 수치 반경 $w(T_1,\ldots,T_n)$는 $B(\mathcal{H})^{(n)}$에서 연산자 노름과 동치인 노름을 이루며, $n$-튜플에 대한 유니타리 불변량을 제공한다.
• $S_1,\ldots,S_n$에 의해 생성된 연산자 체계 위에서 완전히 양성적인 사상들을 통한 특성화를 통해 단위 구 $\{(T_1,\ldots,T_n) : w(T_1,\ldots,T_n) \leq 1\}$가 도출된다.
• 다변수 바르트라인 부등식이 성립한다: $w(f_1(T),\ldots,f_k(T)) \leq \|[f_1,\ldots,f_k]\| + 2\left(\sum_{j=1}^n |f_j(0)|^2\right)^{1/2}$, $f_j \in \mathcal{A}_n$.
• 차수 $m-1$인 비가환 다항식 $f(X_1,\ldots,X_n)$에 대해 $f(S_1,\ldots,S_n) \geq 0$이면, $1 \leq k \leq m-1$에 대해 $\left(\sum_{|\alpha|=k} |a_\alpha|^2\right)^{1/2} \leq a_0 \cos\left(\frac{\pi}{[\frac{m-1}{k}]+2}\right)$가 성립한다.
• $f(U_1,\ldots,U_n) \geq 0$이 $C_{\text{red}}^*({\mathbb{F}}_n)$에서 또는 $f(\bf{U}_1,\ldots,\bf{U}_n) \geq 0$이 $C^*({\mathbb{F}}_n)$에서 성립하면, 보편 성질과 $F^2(H_n)$로의 제한을 통해 동일한 계수 경계가 유지된다.