[논문 리뷰] B(H) lattices, density and arithmetic mean ideals

Victor Kaftal, Gary Weiss|ArXiv.org|2007. 07. 20.

Rings, Modules, and Algebras참고 문헌 23인용 수 10

한 줄 요약

이 논문은 B(H) 내의 연산자 이상수의 주요 부분격자—예를 들어 주 이상수, am-정규, am-∞ 정규 이상수—가 전체 이상수 격자에서 상하로 조밀하다는 것을 입증한다. 핵심 기여는 임의의 주 이상수 $(\xi)$에 대해 최적의 수열 $\widehat{\xi}$를 구성하는 것으로, $J_a \supseteq (\xi)_a$이면 $J \supseteq (\widehat{\xi})$가 성립하며, $\widehat{\xi}$는 주요화를 최소화하고 $0 < p < 1$, $1/p - 1/p' = 1$일 때 $\widehat{\omega^{1/p}} = \omega^{1/p'}$를 만족한다. 이는 산술 평균 이상수에 대한 완전한 취소 이론을 제공한다.

ABSTRACT

This part of a multi-paper project studies the lattice properties of the arithmetic mean ideals of B(H) introduced by Dykema, Figiel, Weiss, and Wodzicki. We prove: the lattices of all principal ideals, of arithmetic mean or arithmetic mean at infinity stable principal ideals or of principal ideals with a generator that satisfies the Delta_1/2 condition, are all both upper and lower dense in the lattice of general ideals. That is, between any ideal and an ideal (nested above or below respectively) in one of these sublattices, lies another ideal in that sublattice. Among the applications: a principal ideal I is am-stable (I = I_a) if and only if any of its first order arithmetic mean ideals are am-stable if and only if the ideal satisfies the first order equality cancellation property: J_a = I_a implies J = I. We show that this cancellation property can fail even for am-stable countably generated ideals. Similar results hold for arithmetic mean at infinity ideals. Inclusion cancellations do not hold in general even for principal ideals, but for every ideal I there is a largest ideal I^ for which J_a contains I_a implies that J contains I^. When I is principal, I^ too is principal. We show that I=I^ is a strictly stronger property than am-stability. For example, for I the p &lt; 1 power of the principal ideal J generated by diag {1/n}, I^ is the q power of J where 1/p-1/q = 1.

연구 동기 및 목표

• B(H) 내의 연산자 이상수 격자 구조를 분석하고, 특히 주 이상수의 부분격자와 그 조밀도 성질에 초점을 맞춘다.
• 산술 평균 이상수에 대한 완전한 취소 이론을 수립하며, 특히 am-안정성과 am-∞ 안정성 있는 주 이상수에 중점을 둔다.
• 임의의 주 이상수 $(\xi)$에 대해 $J_a \supseteq (\xi)_a$이면 $J \supseteq (\widehat{\xi})$가 되도록 하는 최적의 수열 $\widehat{\xi}$를 구성하며, 이는 최대한의 취소를 보장한다.
• 첫 번째 순서의 산술 평균 취소 성질(예: $J_a = I_a \Rightarrow J = I$)을 통해 주 이상수가 am-안정성임을 특성화한다.
• 일반적으로 포함 취소가 실패하는 것을 해결하기 위해 $J_a \supseteq I_a \Rightarrow J \supseteq \widehat{I}$를 만족하는 가장 큰 이상수 $\widehat{I}$를 특정한다.

제안 방법

• 연산자 이상수 격자 내 상하 조밀도 개념을 도입하고, $\Delta_{1/2}$, am-정규, am-∞ 정규 생성자를 가진 주 이상수의 부분격자가 상하로 모두 조밀하다는 것을 증명한다.
• 산술 평균 연산을 정의한다: $I_a$, ${}_aI$, $I^o$, $I^-$를 사용하여 이상수 안정성과 취소 성질을 분석한다.
• 주요화 이론을 적용하여 주어진 $\xi \in c_0^*$에 대해 $\eta \geq \widehat{\xi}$가 모든 $\eta \in c_0^*$에 대해 점점 커지도록 하는 최적의 수열 $\widehat{\xi}$를 구성한다. 조건은 $\sum_{i=1}^n \eta_i \geq \sum_{i=1}^n \xi_i$이다.
• 조화수열 $\omega$를 사용하여 구체적인 예를 도출한다: $0 < p < 1$, $1/p - 1/p' = 1$일 때 $\widehat{\omega^{1/p}} = \omega^{1/p'}$이며, $\nu(\omega)_n \asymp e^n$의 점근적 분석을 통해 유도한다.
• 모순 증명과 수열 구성(예: $n_k$, $m_k$, $\eta_j$)을 사용하여 $\widehat{(\xi)} = (\xi)$이면 모든 $\eta$에 대해 $\xi_a \geq c \eta_a$임을 증명하며, 이는 최적성 보장을 한다.
• 코로나리 6.15와 보조정리 6.12를 적용하여 $p > 1$과 $0 < p < 1$에 대해 $\widehat{(\omega)^p}$를 명시적으로 계산한다. 결과로 $F$와 $\omega^{p'}$를 각각 얻는다.

실험 결과

연구 질문

• RQ1 주 이상수 격자가 B(H) 내 전체 연산자 이상수 격자에서 상하로 조밀한가?
• RQ2 주 이상수 $I = (\xi)$가 am-안정성일 조건은, 그 첫 번째 순서 산술 평균 이상수(예: $I_a$, $I^o$, $I^-$)가 모두 am-안정성임과 동치인가?
• RQ3 am-안정성 주 이상수에 대해 포함관계 $J_a \supseteq I_a$가 $J \supseteq I$를 유도하는가? 만약 그렇지 않다면, 이 포함관계가 성립하는 가장 큰 이상수 $\widehat{I}$는 무엇인가?
• RQ4 주어진 $\xi$에 대해 $J_a \supseteq (\xi)_a$이면 $J \supseteq (\widehat{\xi})$가 성립하는 최적의 수열 $\widehat{\xi}$는 무엇인가?
• RQ5 $0 < p < 1$에 대해 $\widehat{\omega^{1/p}}$의 정확한 형태는 무엇이며, $\omega^{1/p'}$와의 관계는 어떻게 되는가?

주요 결과

• 주 이상수 격자, $\Delta_{1/2}$ 조건 이상수 격자, am-정규 이상수 격자, am-∞ 정규 이상수 격자는 모두 B(H) 내 전체 연산자 이상수 격자에서 상하로 조밀하다.
• 주 이상수 $I = (\xi)$가 am-안정성임은, 그 첫 번째 순서 산술 평균 이상수—예를 들어 $I_a$, $I^o$, $I^-$—가 모두 am-안정성임과 동치이다.
• am-안정성 주 이상수에 대해 취소 성질 $J_a = I_a \Rightarrow J = I$는 성립하지만, 가чёт수 생성된 am-안정성 이상수에서는 일반적으로 실패한다.
• 임의의 주 이상수 $(\xi)$에 대해, $J_a \supseteq (\xi)_a$이면 $J \supseteq \widehat{I}$를 만족하는 가장 큰 이상수 $\widehat{I} = (\widehat{\xi})$가 존재하며, $\widehat{\xi}$는 주요화 아래에서 최적이다.
• 조화수열 $\omega$에 대해 $\widehat{\omega^{1/p}} = \omega^{1/p'}$이며, 이는 $0 < p < 1$에서 $1/p - 1/p' = 1$일 때 성립한다.
• $\widehat{(\omega)^{1/2}} = (\omega)$이므로, $(\xi)$가 am-안정성이라도 $\widehat{(\xi)} \subset (\xi)$가 진정한 포함관계일 수 있음을 보여준다.