[논문 리뷰] Geometric properties of noncommutative symmetric spaces of measurable operators and unitary matrix ideals

Małgorzata Czerwiñska, Anna Kamińska|arXiv (Cornell University)|2017. 04. 06.

Advanced Operator Algebra Research참고 문헌 58인용 수 4

한 줄 요약

이 논문은 측정 가능한 연산자에 대한 비환류 대칭 공간 $E(\mathcal{M},\tau)$ 와 그 유니터리 행렬 대체체인 $C_E$ 의 기하적 성질을 조사하며, 기저가 되는 대칭 공간 $E$ 와 해당 연산자 공간 사이의 연결 고리를 확립한다. 주요 기여는 $C_E$ 의 크리브인-모레이 안정성에 대한 $E$ 의 안정성에 기반한 특성화로, $E$ 가 안정적임과 $C_E$ 가 안정적임이 동치임을 증명함으로써 이전의 $L_p$ 공간에 대한 결과를 일반화하고, 수열 공간 기하학과 연산자 공간 기하학 간의 기초적 연결 고리를 제공한다.

ABSTRACT

This is a survey article of geometric properties of noncommutative symmetric spaces of measurable operators $E(\mathcal{M},τ)$, where $\mathcal{M}$ is a semifinite von Neumann algebra with a faithful, normal, semifinite trace $τ$, and $E$ is a symmetric function space. If $E\subset c_0$ is a symmetric sequence space then the analogous properties in the unitary matrix ideals $C_E$ are also presented. In the preliminaries we provide basic definitions and concepts illustrated by some examples and occasional proofs. In particular we list and discuss the properties of general singular value function, submajorization in the sense of Hardy, Littlewood and Pólya, Köthe duality, the spaces $L_p(\mathcal{M},τ)$, $1\le p

연구 동기 및 목표

• 측정 가능한 연산자에 대한 비환류 대칭 공간 $E(\mathcal{M},\tau)$ 와 유니터리 행렬 이상 $C_E$ 의 기하적 성질을 분석하기 위한 통합적 프레임워크를 수립하는 것.
• 대칭 공간 $E$ 의 기하적 및 구조적 성질과 $E(\mathcal{M},\tau)$ 및 $C_E$ 에 유도된 성질 간의 관계를 명확히 하는 것.
• 비환류 설정에서 안정성, 카데크-클리 성질, 라돈-니코디움 성질에 관한 열린 문제를 해결하는 것.
• 기존의 $L_p$ 와 $\ell_p$ 공간 결과를 일반적인 대칭 공간과 그 비환류 대체체로 확장하는 것.

제안 방법

• 하디, 리틀우드, 폴리의 정의에 따른 특이값 함수와 부분주관성 이론을 활용하여 $E(\mathcal{M},\tau)$ 와 $C_E$ 의 구조를 정의하고 분석한다.
• 코테 쌍대성과 $C_E$ 를 일반화된 비환류 $L_p$-유형 공간 $G(B(H),\mathrm{tr})$ 와의 식별을 통해 함수 공간에서 연산자 공간으로 성질를 이전하는 데 응용한다.
• 추적을 유지하는 $*$-동형사상과 비원자성 가정의 제거를 통해 결과를 임의의 반유한 von Neumann 대수로 일반화한다.
• 초필터 기반 정의와 크리브인-모레이 안정성에 대한 기준, 특히 조건 $\inf_{n>m}\|x_n + x_m\| \leq \sup_{n<m}\|x_n + x_m\|$ 를 활용하여 $C_E$ 에서의 안정성을 특성화한다.
• 아자리와 레이나드의 $C_E$ 내 기본 수열에 관한 결과를 활용하여, 모든 기본 수열이 $\ell_2 \oplus E$ 의 수열과 동치인 부분수열을 가짐을 보여, 복잡한 성질을 수열 공간 수준으로 환원한다.
• 쌍대성, 단조성, 국소 균일 볼록성 기법을 활용하여 $E(\mathcal{M},\tau)$ 와 $C_E$ 에서의 복잡한 볼록성, 매끄러움성, 노출점 구조를 분석한다.

실험 결과

연구 질문

• RQ1 대칭 공간 $E$ 에 어떤 조건이 성립할 경우, 유니터리 행렬 이상 $C_E$ 가 크리브인-모레이 의미에서 안정적인가?
• RQ2 엄격 볼록성, 균일 볼록성, 카데크-클리 성질과 같은 기하적 성질이 $E$ 에서 $C_E$ 로 어떻게 전이되는가?
• RQ3 비환류 대칭 공간 $E(\mathcal{M},\tau)$ 에서 라돈-니코디움 성질과 안정성 간의 관계는 무엇인가?
• RQ4 $E(\mathcal{M},\tau)$ 가 $E$ 에서 반복합성 성질을 유전하는 조건은 언제인가?
• RQ5 $\mathcal{M}$ 이 유형 I일 경우, $E$ 의 안정성이 $E(\mathcal{M},\tau)$ 의 안정성에 충분한가?

주요 결과

• 유니터리 행렬 이상 $C_E$ 가 크리브인-모레이 의미에서 안정적임과 대칭 수열 공간 $E$ 가 안정적임은 동치이며, 이는 수열 공간의 안정성과 그 유니터리 행렬 이상 간의 기본적 동치관계를 확립한다.
• 만약 $E$ 가 안정적이라면, $C_E$ 는 $c_0$ 와 동형인 부분공간을 포함하지 않으며, 그 셸 분해는 유계 완비성을 가진다.
• $E$ 가 RNP 를 가진다면, $E(\mathcal{M},\tau)$ 는 $E$ 에서의 라돈-니코디움 성질을 유전하며, 이 성질은 $L_p$-유형 구성에서 유지된다.
• $\mathcal{M}$ 이 유형 I일 경우, 모든 $1 \leq p < \infty$ 에 대해 $L_p(\mathcal{M},\tau)$ 는 안정적이며, 이 안정성은 $\mathcal{M}$ 이 유형 I임과 동치이다.
• $C_E$ 에서 반복합성 성질이 성립하는 것은 $E$ 에서 성립하는 것과 동치이며, 이는 $E$ 가 어떤 $p > 1$ 에 대해 $p$-볼록임과 동치이다.
• $E(\mathcal{M},\tau)$ 가 균일 카데크-클리 성질을 만족하는 것은 $E$ 가 동일한 성질을 만족할 때에 한하여 성립하며, 이는 $E$ 의 국소 균일 볼록성과 관련이 있다.