[논문 리뷰] Type and cotype of operator spaces

Hun Hee Lee|ArXiv.org|2005. 02. 15.

Advanced Operator Algebra Research참고 문헌 21인용 수 7

한 줄 요약

이 논문은 동차 힐베르트형 연산자 공간 $H$에 대해 $S_p$-형/$S_q$-코타입 및 형$(p,H)$/코타입$(q,H)$라는 두 가지 새로운 연산자 공간 개념을 도입하여 피지에르의 $OH$-코타입 2를 일반화한다. 그는 골로텐데일의 정리와 모레이의 확장 정리의 연산자 공간 형태를 확립하며, 형$(2,H)$와 코타입$(2,H^*)$을 갖는 연산자 공간이 완전히 동형임을 증명함으로써 $H(I)$와의 관계를 통해 그들의 구조를 특성화한다.

ABSTRACT

We consider two operator space versions of type and cotype, namely $S_p$-type, $S_q$-cotype and type $(p,H)$, cotype $(q,H)$ for a homogeneous Hilbertian operator space $H$ and $1\leq p \leq 2 \leq q\leq \infty$, generalizing "$OH$-cotype 2" of G. Pisier. We compute type and cotype of some Hilbertian operator spaces and $L_p$ spaces, and we investigate the relationship between a homogeneous Hilbertian space $H$ and operator spaces with cotype $(2,H)$. As applications we consider operator space versions of generalized little Grothendieck's theorem and Maurey's extension theorem in terms of these new notions.

연구 동기 및 목표

• Pisier의 $OH$-코타입 2를 $S_p$-형과 $S_q$-코타입을 통해 더 넓은 연산자 공간 설정으로 일반화하기 위해.
• 동차 힐베르트형 연산자 공간 $H$에 대해 형$(p,H)$와 코타입$(q,H)$를 정의하여 기존의 코타입 이론을 통합하고 확장하기 위해.
• 동차 힐베르트 공간 $H$와 코타입$(2,H)$을 갖는 연산자 공간 간의 관계를 조사하며, 특히 $L_p$ 공간에 대해 다루기 위해.
• 고전적 정리의 연산자 공간 유사체를 확립하기 위해, 일반화된 리틀 골로텐데일 정리와 모레이의 확장 정리의 유사체를 도입하기 위해.
• $S_1$이 코타입$(2,H)$을 갖는 데 있어 '최적'인 $H$를 특정하고, $H$가 코타입 분류에서 수행하는 역할을 명확히 하기 위해.

제안 방법

• 완전히 $(q,2)$-합산 노름 $\pi^{o}_{q,2}(u)$를 사용하여 $S_p$-형과 $S_q$-코타입을 정의함으로써, 흔적 대칭성을 통해 피지에르의 $OH$-코타입 2를 일반화한다.
• 기저 $H$를 사용한 텐서 노름 $\|\cdot\|_{E\otimes_{\min}H}$를 활용하여 형$(p,H)$와 코타입$(q,H)$를 정의하며, 노름의 타당성을 확보하기 위해 $H$가 부분정사각형이어야 한다는 조건을 필요로 한다.
• 초수집 기법과 $\ell_2(I)$를 통한 인수분해를 통해 무한차원 문제를 유한차원 문제로 환원한다.
• 문헌 [20]의 정리 6.1을 적용하여 사상들을 $H(I)$를 통해 인수분해하며, $H$와 $H^*$의 부분정사각형성 및 대칭성 성질을 활용한다.
• 유계 사상 $u:G\to F$를 완전히 유계 노름이 제어된 $\tilde{u}:E\to F$로 확장하기 위해 하인-반하흐 정리를 적용한다.
• 노름 추정과 $\ell^*$ 및 $\pi^{o}_{2}$에 대한 대칭성을 활용하여 핵심 부등식 $\gamma_H(\tilde{u}) \leq T_{2,H}(E) C_{2,H^*}(F) \|u\|$를 확립한다.

실험 결과

연구 질문

• RQ1 범위가 $q>2$일 경우, 바나흐 공간의 형과 코타입 개념을 연산자 공간 설정으로 어떻게 일반화할 수 있는가?
• RQ2 새로운 $S_p$-형/$S_q$-코타입 및 형$(p,H)$/코타입$(q,H)$ 개념이 $L_p$ 공간과 힐베르트형 연산자 공간에서 어떻게 행동하는가?
• RQ3 어느 동차 힐베르트형 공간 $H$가 $S_1$이 코타입$(2,H)$을 갖는 데 있어 최적인가? 이 경우 '최적'이란 무엇을 의미하는가?
• RQ4 이러한 새로운 불변량을 사용하여 연산자 공간 버전의 골로텐데일 정리와 모레이의 확장 정리를 확립할 수 있는가?
• RQ5 연산자 공간이 형$(2,H)$과 코타입$(2,H^*)$을 동시에 갖는다면 어떤 구조적 특성이 도출되는가?

주요 결과

• 논문은 형$(2,H)$와 코타입$(2,H^*)$을 갖는 연산자 공간가 어떤 색인 집합 $I$에 대해 $H(I)$와 완전히 동형임을 증명하며, 이는 완전한 구조적 특성화를 제공한다.
• $1\leq p\leq 2$인 $L_p$ 공간의 경우, $H$의 선택이 형$(p,H)$와 코타입$(q,H)$의 행동에 크게 영향을 미치며, $S_1$이 코타입$(2,H)$을 갖기 위한 최적의 $H$가 특정된다.
• $S_q$-코타입 개념을 통해 피지에르의 $OH$-코타입 2를 $q>2$로 타당하게 확장할 수 있으며, 정의에서 $\pi^{o}_2$ 대신 $\pi^{o}_{q,2}$를 사용한다.
• 모레이의 확장 정리의 연산자 공간 유사체가 성립한다: $E$가 형$(2,H)$를, $F$가 코타입$(2,H^*)$를 갖는다면, 부분공간 $G\subset E$ 위의 사상 $u:G\to F$는 $\gamma_H(\tilde{u}) \leq T_{2,H}(E) C_{2,H^*}(F) \|u\|$ 를 만족하는 $\tilde{u}:E\to F$로 확장될 수 있다.
• 완전히 $(q,2)$-합산 노름 $\pi^{o}_{q,2}$는 $q>2$일 경우 완전히 유계 노름에 의해 유계되지 않으며, 이는 완전히 $(q,2)$-합산 사상이 완전히 유계 사상보다 엄밀히 약한 것을 의미한다.
• 논문은 $\pi^{o}_{q,2}(I_n) \lesssim n^{1/4 + 1/(2q)}$ 및 $\|I_n\|_{cb} \gtrsim n^{1/4 - 1/(2q)}$임을 보이며, 이는 $q>2$일 경우 완전히 $(q,2)$-합산이 완전히 유계를 의미하지 않는다는 것을 시사한다.