[논문 리뷰] Traces on operator ideals and arithmetic means

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

Holomorphic and Operator Theory참고 문헌 29인용 수 17

한 줄 요약

이 논문은 분리 가능한 힐버트 공간 위의 연산자 이상에서 지원할 수 있는 독립적 추적의 수를 조사하며, 이 수가 항상 0, 1, 또는 무한대임을 증명한다. 무한대에서의 산술 평균 연산(am-∞)과 소프트-내부/보완 구조를 사용하여, 추적 클래스 이상이 유일한 추적(스칼라 곱을 제외한)을 지원하는 것은 오직 그것이 am-∞ 안정일 때에만 가능함을 밝혀내며, 고전적 및 주요 이상을 포함한 넓은 범주의 이상에 대한 추측을 해결한다.

ABSTRACT

This article - a part of a multipaper project investigating arithmetic mean ideals - investigates the codimension of commutator spaces [I, B(H)] of operator ideals on a separable Hilbert space, i.e., ``How many traces can an ideal support?" We conjecture that the codimension can be only zero, one, or infinity. Using the arithmetic mean (am) operations on ideals introduced by Dykema, Figiel, Weiss, and Wodzicki, and the analogous am operations at infinity that we develop in this article, the conjecture is proven for all ideals not contained in the largest am-infinity stable ideal and not containing the smallest am-stable ideal. It is also proven for all soft-edged ideals (i.e., I= IK(H)) and all soft-complemented ideals (i.e., I= I/K(H)), which include many classical operator ideals. In the process, we prove that an ideal of trace class operators supports a unique trace (up to scalar multiples) if and only if it is am-infinity stable and that, for a principal ideal, am-infinity stability is equivalent to regularity at infinity of the sequence of s-numbers of the generator. Furthermore, we apply trace extension methods to two problems on elementary operators studied by V. Shulman and to Fuglede-Putnam type problems of the second author.

연구 동기 및 목표

• 공간 [I,B(H)]의 임의의 연산자 이상 I에서의 공역의 가능한 차원을 결정하는 것, 특히 독립적 추적의 수가 항상 0, 1, 또는 ∞인지 여부를 밝히는 것.
• am-∞ 연산을 이상에 적용하여 정확히 하나의 추적을 지원하는 이상을 특성화하는 것.
• 소프트-내부 및 소프트-보완 연산을 이상에 도입하고, 이들을 추적의 구조와 안정성 분석에 사용하는 도구로 연구하는 것.
• V. 셸만이 제기한 두 가지 초등 연산자 문제를 해결하기 위해 추적 연장 기법을 확장하는 것.
• am-∞ 안정성이 추적 클래스 이상에서 추적의 유일성(스칼라 곱을 제외한)을 특성화함을 증명하며, 특히 정규성 조건을 이용해 주 이상에 대해 이를 검증하는 것.

제안 방법

• 표준 산술 평균(am) 연산의 쌍대 개념으로 이상에 대한 am-∞ 연산을 도입하여, [13]의 결과를 무한한 행동으로 확장한다.
• 이상의 소프트-내부(seI)와 소프트-보완(scI)을 새로운 도구로 정의하여 이상의 구조와 추적 행동을 분석한다.
• 추적 연장 기법을 적용하여, (L₁ + [I,B(H)])⁺의 코너가 유전적(고체)임을 보이며, 유한 차원 및 추적 클래스 이상에 대한 기존 결과를 일반화한다.
• s-수열의 단조 수열과 그 코시에 평균을 사용하여 추적 행동을 분석하며, 특히 (ξ_a) 수열과 관련된 노름을 중심으로 한다.
• 단조적 재배열 π와 인덱스 집합 Λ_n을 사용한 모순 증명을 통해, 몫 공간 I/[I,B(H)]에서의 코스터의 선형 독립성을 보인다.
• 정리 2.2의 기준을 적용: 만약 diag(ζ) ∈ [I,B(H)]이면, 어떤 ρ ∈ Σ(I)에 대해 |(ζ_π)_a| ≤ ρ를 만족하며, 이는 추적 포함성과 ρ/ξ_a의 감쇠성과 연결된다.

실험 결과

연구 질문

• RQ1 연산자 이상 I에서의 공역 [I,B(H)]의 차원이 0, 1, 또는 ∞ 이외의 값일 수 있는가?
• RQ2 어떤 조건에서 이상이 스칼라 곱을 제외한 유일한 비영 추적을 지원하는가?
• RQ3 이상의 am-∞ 안정성은 추적의 유일성과 어떤 관련이 있으며, 특히 추적 클래스 연산자 맥락에서 어떻게 작용하는가?
• RQ4 소프트-내부 및 소프트-보완 연산은 추적의 다중성에 대해 이상을 분류하는 데 어느 정도 기여하는가?
• RQ5 생성자의 s-수열에 어떤 조건이 성립할 경우 주 이상이 유일한 추적을 지원하는가?

주요 결과

• 공역 [I,B(H)]의 차원은 항상 0, 1, 또는 ∞이며, 이는 가장 큰 am-∞ 안정 이상에 포함되지 않거나 가장 작은 am-안정 이상을 포함하지 않는 이상들에 대해 주요 추측을 확인한다.
• 추적 클래스 이상은 오직 그것이 am-∞ 안정일 때에만 유일한 추적(스칼라 곱을 제외한)을 지원한다.
• 주 이상의 경우, am-∞ 안정성은 생성자의 s-수열의 무한대에서의 정규성과 대응하며, 포터형 및 바르가형 부등식을 통해 이 성질이 특성화된다.
• 코너 (L₁ + [I,B(H)])⁺는 유전적(고체)이며, 유한 차원 이상 F에 대한 알려진 결과를 일반화한다.
• 만약 Σ(I)에 속하는 비합산 가능한 ξ가 존재하고, 어떤 {p_l} 수열이 존재하여 모든 χ ∈ Σ(I)에 대해 (χ/ξ_a)_{m p_l} → 0이면, 몫 공간 I/[I,B(H)]는 무한 차원을 가진다.
• N ≥ 3이면, η^{(j)}가 특정 성장과 간격을 가지는 수열로부터 구성된 경우, I/[I,B(H)]에서의 cosets diag(η^{(j)}) + [I,B(H)]는 선형 독립이며, 이러한 경우에 대해 무한 차원임을 증명한다.