[论文解读] p-Summable Commutators in Dimension d

William Arveson|ArXiv.org|Aug 11, 2003

Advanced Operator Algebra Research参考文献 5被引用 60

一句话总结

本论文证明，对于d-移位的有限秩不变子空间M，其投影与移位算子之间的交换子对所有p > 2d属于p-可和类，由此得出压缩后的d元组生成的C*-代数模紧算子是交换的。这表明相应的狄拉克算子是弗雷德霍姆算子，且曲率不变量在紧算子扰动和同伦下保持稳定，支持了关于d-压缩算子弗雷德霍姆理论的更广泛猜想。

ABSTRACT

We show that many invariant subspaces M for d-shifts (S_1,...,S_d) of finite rank have the property that the projection P onto M almost commutes with the S_k in the sense that the commutators PS_k - S_kP belong to the Schatten-von Neumann class L^p for every p > d. In such cases the d-tuple of operators (T_1,...,T_d) obtained by compressing (S_1,...,S_d) to the orthocomplement of M generates a *-algebra whose commutator ideal is contained in L^p, p > d. It follows that the C*-algebra generated by T_1,...,T_d is commutative modulo compact operators, the associated Dirac operator is Fredholm, and the index formula for the curvature invariant is stable under compact perturbations and homotopy for this restricted class of d-contractions. We conjecture that the latter conclusions persist under much more general circumstances.

研究动机与目标

• 建立有限秩压缩d-移位生成弗雷德霍姆多算子的条件。
• 证明此类压缩算子的曲率不变量在紧算子扰动和同伦下保持稳定。
• 通过分析d-压缩算子的弗雷德霍姆性质，为高维算子理论中的完整指标定理奠定基础。
• 支持一个猜想，即在特殊情形下观察到的弗雷德霍姆与指标理论性质可推广至更广泛的有限秩d-压缩算子类。

提出的方法

• 分析有限秩不变子空间M上的正交投影与d-移位算子S_k之间交换子的Schatten-von Neumann p类（L^p类）。
• 利用Fock空间H^2 ⊗ ℂ^r上d-移位的结构及其在外部代数ΛZ上的相关创建算子。
• 通过狄拉克算子构造D = B + B*，其中B = ∑ T_k ⊗ C_k，定义H ⊗ ΛZ上的自伴算子。
• 借助D的弗雷德霍姆性质，通过D_+的指标关联到曲率不变量K(𝑇)，并利用指标公式ind(D_+) = (−1)^d K(𝑇)。
• 利用弗雷德霍姆指标在紧算子扰动下的稳定性，证明曲率不变量在同伦和紧算子扰动下保持不变。
• 依赖于[Arv00, Arv02]中的已知结果以及Guo在d=2维情形下对缺陷算子的研究，以支持相关猜想。

实验结果

研究问题

• RQ1 在d-移位的有限秩不变子空间M满足何种条件时，交换子P_M S_k - S_k P_M对所有p > 2d属于p-可和类？
• RQ2 当d-移位压缩到M⊥时，何时生成弗雷德霍姆d元组？
• RQ3 有限秩d-压缩算子的曲率不变量是否在紧算子扰动和同伦下保持稳定？
• RQ4 曲率不变量的指标公式能否从单项式生成的子空间推广到更一般的多项式生成子空间？
• RQ5 所有有限秩纯d-压缩算子是否均满足弗雷德霍姆条件与指标公式？

主要发现

• 对于由齐次向量多项式生成的有限秩不变子空间M，交换子P_M S_k - S_k P_M属于L^p，对所有p > 2d成立。
• 在M⊥上压缩后的d元组T = (T_1, ..., T_d)生成的C*-代数模紧算子是交换的。
• 与T相关的狄拉克算子是弗雷德霍姆算子，确保其具有良定义的整数指标。
• 曲率不变量K(T)满足指标公式ind(D_+) = (−1)^d K(T)，且该公式在紧算子扰动和同伦下保持稳定。
• 对于由向量多项式生成的有限秩d-压缩算子，该稳定性猜想在d=2及单项式生成子空间情形下已有证据支持。
• 该结果确认了非平凡类d-压缩算子的弗雷德霍姆性质与指标稳定性，为一般指标定理的建立奠定了基础。