[论文解读] Invariant Subspaces for Operators in a General II_1-factor

Uffe Haagerup, Hanne Schultz|ArXiv.org|Nov 9, 2006

Advanced Operator Algebra Research参考文献 12被引用 8

一句话总结

本文证明了在任意一般 II₁-因子中，对于复平面的任意博雷尔子集，均存在最大、闭合、T-超不变子空间，其与该因子相伴，且该子空间上算子的布朗测度集中于该集合。该构造依赖于自由概率与拟范数积分，解决了布朗测度非狄拉克测度的 II₁-因子中算子的超不变子空间问题。

ABSTRACT

It is shown that to every operator T in a general von Neumann factor M of type II_1 and to every Borel set B in the complex plane, one can associate a largest, closed, T-invariant subspace, K = K_T(B), affiliated with M, such that the Brown measure of T|_K is concentrated on B. Moreover, K is T-hyperinvariant, and the Brown measure of (1-P_K)T|_(1-P_K)(H) is concentrated on C\B. In particular, if T has a Brown measure which is not concentrated on a singleton, then there exists a non-trivial, closed, T-hyperinvariant subspace. Furthermore, it is shown that for every T in M, the limit A=\lim_{n o\infty}[(T^n)* T^n]^{1/2n} exists in the strong operator topology and K_T(\bar{B(0,r)})=1_{[0,r]}(A), r>0.

研究动机与目标

• 通过构造具有预设布朗测度支集的相伴子空间，解决一般 II₁-因子中算子的超不变子空间问题。
• 将先前仅在嵌入性质假设下成立的结果，推广至任意 II₁-因子的一般情形。
• 利用强算子拓扑极限与谱分析，为 II₁-因子中的算子建立谱子空间构造。
• 证明非原子布朗测度蕴含非平凡超不变子空间的存在性，推广有限维与可嵌入情形的结果。

提出的方法

• 通过 $ (T - \lambda)\xi_n $ 和 $ \xi_n $ 的序列收敛条件，定义闭合 T-超不变子空间 $ E(T,r) $ 和 $ F(T,r) $。
• 利用强算子拓扑极限，将谱子空间 $ \CK_T(\overline{B(0,r)}) $ 构造为 $ E(T,r) $，将 $ \CK_T(\mathbb{C} \setminus B(0,r)) $ 构造为 $ F(T,r) $。
• 证明极限 $ A = \lim_{n \to \infty} [(T^n)^* T^n]^{1/(2n)} $ 在强算子拓扑下存在，并通过 $ \CK_T(\overline{B(0,r)}) = 1_{[0,r]}(A) $ 将其与谱投影关联。
• 运用自由概率理论分析布朗测度及其谱分布，尤其关注弗格莱德-卡迪森行列式。
• 应用图宾-韦勒布鲁克在拟范数空间中的积分方法，控制算子范数估计与 $ L^p $-型范数下的收敛性。
• 证明 $ T|_{\CK} $ 的布朗测度集中于 $ B $，且 $ P^\perp T P^\perp $ 的布朗测度集中于 $ \mathbb{C} \setminus B $，从而确保最大支集控制。

实验结果

研究问题

• RQ1 对于任意博雷尔子集 $ B \subseteq \mathbb{C} $，能否为 II₁-因子中任意算子 $ T $ 构造最大、闭合、$ T $-超不变子空间 $ \CK_T(B) $，使得 $ T|_{\CK_T(B)} $ 的布朗测度支集于 $ B $？
• RQ2 若算子 $ T \in \mathcal{M} $ 的布朗测度为非原子测度，是否意味着在一般 II₁-因子中存在非平凡超不变子空间？
• RQ3 能否在不假设嵌入性质的前提下，将 II₁-因子中算子的谱子空间构造方法推广至可嵌入因子类之外？
• RQ4 谱投影 $ 1_{[0,r]}(A) $（其中 $ A = \lim_{n \to \infty} [(T^n)^* T^n]^{1/(2n)} $）与谱子空间 $ \CK_T(\overline{B(0,r)}) $ 有何关系？
• RQ5 自由概率与拟范数积分在非交换算子代数中构造与分析不变子空间时起何作用？

主要发现

• 对任意 II₁-因子 $ \mathcal{M} $ 中的算子 $ T $ 及任意博雷尔集 $ B \subseteq \mathbb{C} $，均存在最大、闭合、$ T $-超不变子空间 $ \CK_T(B) $，其与 $ \mathcal{M} $ 相伴，且 $ T|_{\CK_T(B)} $ 的布朗测度集中于 $ B $。
• 投影 $ P $ 到 $ \CK_T(B) $ 的压缩 $ P^\perp T P^\perp $ 的布朗测度集中于 $ \mathbb{C} \setminus B $，确保了谱支集的互补性。
• 投影 $ P = P_T(B) $ 到 $ \CK_T(B) $ 的迹等于 $ T $ 在 $ B $ 上的布朗测度，即 $ \tau(P) = \mu_T(B) $，建立了精确的测度论关联。
• 极限 $ A = \lim_{n \to \infty} [(T^n)^* T^n]^{1/(2n)} $ 在强算子拓扑下存在，且 $ \CK_T(\overline{B(0,r)}) = 1_{[0,r]}(A) $，提供了类似谱半径的刻画。
• 若 $ T \in \mathcal{M} $ 的布朗测度非狄拉克测度，则 $ T $ 存在非平凡超不变子空间，从而解决了该情形下的超不变子空间问题。
• 该构造适用于所有 II₁-因子，而不仅限于具有嵌入性质的因子，推广了此前依赖该假设的结果。