[논문 리뷰] Weak type $(2,H)$ and weak cotype $(2,H)$ of operator spaces

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

Advanced Banach Space Theory참고 문헌 15인용 수 4

한 줄 요약

이 논문은 연산자 공간에서 약한 유형 $(2,H)$와 약한 코유형 $(2,H)$를 도입하여, $p<2$일 때 유형 $(2,H)$와 유형 $(p,H)$ 사이(또는 $q>2$일 때 코유형 $(2,H)$와 코유형 $(q,H)$ 사이)의 중간 개념으로서의 성격을 규명한다. 등가 조건을 제시하고, 약한-$H$ 공간(동시에 약한 유형 $(2,H)$와 약한 코유형 $(2,H^*)$을 갖는 공간)이 완전히 등가사상되도록 $H$와 동치임을 증명하며, 완전 핵형 사상의 고유값의 합산 가능성을 포함하는 더 강한 조건이 $H$와의 완전한 등가사상성을 특징짓는다고 보여준다. 이 결과들은 힐베르트 연산자 공간 구조를 이용해 고전적 약한 유형 및 코유형 개념을 연산자 공간 설정으로 확장한다.

ABSTRACT

Recently an operator space version of type and cotype, namely type $(p,H)$ and cotype $(q,H)$ of operator spaces for $1\leq p \leq 2\leq q \leq \infty$ and a subquadratic and homogeneous Hilbetian operator space $H$ were introduced and investigated by the author. In this paper we define weak type $(2,H)$ (resp. weak cotype $(2,H)$) of operator spaces, which lies strictly between type $(2,H)$ (resp. cotype $(2,H)$) and type $(p,H)$ for all $1\leq p &lt;2$ (resp. cotype $(q,H)$ for all $2

연구 동기 및 목표

• 연산자 공간에서 유형 $(2,H)$와 유형 $(p,H)$($p<2$) 사이(또는 코유형 $(2,H)$와 코유형 $(q,H)$($q>2$) 사이)의 중간 개념으로서 약한 유형 $(2,H)$와 약한 코유형 $(2,H)$를 정의하고 연구하는 것.
• 바나흐 공간에서의 고전적 약한 유형 및 코유형과 유사하게, 약한 유형 $(2,H)$와 약한 코유형 $(2,H)$에 대한 등가 표현을 확립하는 것.
• 동시에 약한 유형 $(2,H)$와 약한 코유형 $(2,H^*)$을 갖는 연산자 공간(약한-$H$ 공간)을 특징짓고, 그것이 $H$와 완전히 등가사상됨을 보이는 것.
• 약한-$H$ 공간과 완전 핵형 사상의 고유값 합산 가능성 조건 사이의 차이를 명확히 하고, 후자가 $H$와의 완전한 등가사상성을 암시함을 보여주는 것.

제안 방법

• 바나흐 공간에서의 약한 유형 및 코유형에 대한 연산자 공간 버전을 사용하여, $(q,2)$-합산 노름과 $\tau$-노름을 활용해 약한 유형 $(2,H)$와 약한 코유형 $(2,H)$를 정의한다.
• 확장 가능한 유계 사상에 대해 높은 질량의 프로젝션의 존재(약한 유형에 대해) 및 비례적인 차원을 갖는 유클리드 부분공간의 존재(약한 코유형에 대해)를 사용해 등가 표현을 수립한다.
• 트레이스 쌍대성과 완전 핵형 사상 이론을 활용해 고유값의 감쇠와 약한 코유형 $(2,H)$를 연결하며, 특히 $\sum_k |\lambda_k(T)| \leq C \cdot \nu^o(T)$ 조건을 통해 분석한다.
• 복소 보간법과 최소/최대 연산자 공간 구조(예: $\min\ell_2$, $R_p$)를 적용해 $H$와 그 쌍대공간 $H^*$의 성질을 분석한다.
• $H$가 균일성과 이차하중성을 갖는다는 사실을 이용해 완전 유계성과 고유값 제어에 대한 함의를 도출한다.
• $B(\ell_2)$의 포함성과 연산자 공간 이론의 확장 정리를 활용해 사상의 확장을 구성하고 고유값을 제어한다.

실험 결과

연구 질문

• RQ1 약한 유형 $(2,H)$와 약한 코유형 $(2,H)$는 어떻게 정의되어야 하며, 이는 $p<2$일 때 유형 $(2,H)$와 유형 $(p,H)$ 사이(또는 $q>2$일 때 코유형 $(2,H)$와 코유형 $(q,H)$ 사이)에 엄격히 놓여질 수 있는가?
• RQ2 약한 유형 $(2,H)$와 약한 코유형 $(2,H)$에 대한 등가 표현은 프로젝션 확장과 유클리드 부분공간의 조밀도에 어떻게 기반하는가?
• RQ3 약한-$H$ 공간(동시에 약한 유형 $(2,H)$와 약한 코유형 $(2,H^*)$을 갖는 공간)은 $H$와 완전히 등가사상임을 특징지울 수 있는가?
• RQ4 모든 완전 핵형 $T$에 대해 $\sum_k |\lambda_k(T)| \leq C \cdot \nu^o(T)$ 조건이 약한-$H$ 공간을 특징짓지 못하는 이유는 무엇이며, 대신 어떤 함의를 갖는가?

주요 결과

• 약한 유형 $(2,H)$는 모든 $1\leq p<2$에 대해 유형 $(2,H)$와 유형 $(p,H)$ 사이에 엄격히 놓이며, $\|v\| \leq C\|u\|$를 만족하는 사상 $u:S \to \ell^n_2$를 확장하는 데 $\text{rk}P > \delta n$인 프로젝션 $P$의 존재로 특징지어진다.
• 약한 코유형 $(2,H)$는 모든 유한차원 $F \subseteq E$에 대해 $\text{dim}F_1 \geq \delta \text{dim}F$이고 $d(F_1, \ell^{\text{dim}F}_2) \leq C$를 만족하는 부분공간 $F_1 \subseteq F$의 존재와 동치이다.
• 공간 $E$가 약한-$H$ 공간(즉, 동시에 약한 유형 $(2,H)$와 약한 코유형 $(2,H^*)$을 갖는다)임은 $H$와 완전히 등가사상임과 동치이며, 이는 약한 코유형 조건과 같은 유클리드 부분공간의 존재성 간의 등가성에 의해 입증된다.
• 모든 완전 핵형 $T:E \to E$에 대해 $\sum_k |\lambda_k(T)| \leq C \cdot \nu^o(T)$ 조건은 약한-$H$ 공간을 특징짓지 못하지만, $E$가 $C''$-균일성과 $C''$-힐베르트 공간이며 $C'' \leq C' C^2$임을 암시하며, 따라서 $H$와 완전히 등가사상임을 의미한다.
• 더 강한 조건인 $\sum_k |\lambda_k(T)| \leq C \cdot \nu^o(T)$는 $H$와 완전히 등가사상되지 않는 연산자 공간들(예: $\mathcal{H}$)에서도 성립함을 보여, 이 조건이 약한-$H$ 공간보다 엄격히 더 강하다는 것을 보여준다.
• 모든 완전 핵형 $T$에 대해 $\sum_k |\lambda_k(T)| \leq C \cdot \gamma_H^*(T)$ 조건은 $E$가 $H$와 완전히 등가사상임과 동치이며, 여기서 $\gamma_H^*$는 $H$-핵형 노름의 쌍대이다.