[论文解读] Traces on operator ideals and arithmetic means

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

Holomorphic and Operator Theory参考文献 29被引用 17

一句话总结

本文研究了在可分希尔伯特空间上，算子理想所能支持的独立迹的数量，证明该数量始终为零、一或无穷大。通过在无穷远处使用算术平均运算（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)] 在算子理想中的可能余维数，特别是该独立迹的数量是否总是 0、1 或 ∞。
• 开发并应用算术平均在无穷远处（am-∞）运算于理想，以刻画恰好支持一个迹的理想。
• 引入并研究理想上的软内部和软补集运算，作为分析迹结构和稳定性之工具。
• 扩展迹延拓技术，以解决 V. Shulman 提出的关于初等算子的两个问题。
• 证明 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 中，[I,B(H)] 的余维数总是 0、1 或 ∞，证实了对不包含于最大 am-∞ 稳定理想中且不包含最小 am-稳定理想的所有理想的主要猜想。
• 迹类算子的理想支持唯一的迹（至多相差标量倍数）当且仅当其为 am-∞ 稳定。
• 对于主理想，am-∞ 稳定性对应于生成元 s-数值序列在无穷远处的正则性，且该性质可通过 Potter 型和 Varga 型不等式刻画。
• 锥 (L₁ + [I,B(H)])⁺ 是遗传的（即为实心锥），推广了对有限秩理想 F 的已知结果。
• 若存在非可 summable 的 ξ ∈ Σ(I)，且存在序列 {p_l}，使得对所有 χ ∈ Σ(I)，有 (χ/ξ_a)_{m p_l} → 0（对某个 m），则商空间 I/[I,B(H)] 具有无穷余维数。
• 当 N ≥ 3 时，若 η^{(j)} 是由具有特定增长和间距的序列构造而成，则陪集 diag(η^{(j)}) + [I,B(H)] 在 I/[I,B(H)] 中线性无关，从而在这些情况下证明了无穷余维数。