[论文解读] Dual properties and joint spectra for solvable Lie algebras of operators

Enrico Boasso|arXiv (Cornell University)|Oct 4, 2015

Advanced Topics in Algebra参考文献 4被引用 10

一句话总结

本文将 Słodkowski 联合谱 σδ,k 和 σπ,k 扩展至巴拿赫空间上有限维复可解李代数的算子，证明其为紧致、非空集合并满足理想上的投影性质。建立了对偶谱关系：对于作用在巴拿赫空间 E 上的可解李代数 L，联合谱 σδ,k(L,E) 与其对偶 σπ,k(L*,E*) 通过一个常数平移相关联，该平移由伴随表示的迹决定；在幂零情形下，此平移消失，从而谱之间呈现对称性。

ABSTRACT

Given $L$ a solvable Lie Algebra of operators acting on a Banach space $E$, we study the action of the opposite algebra of $L$, $L'$, on $E^*$. Moreover, we extend Słodkowski joint spectra, $σ_{δ,k}$, $σ_{π,k}$, and we study its usual spectral properties.

研究动机与目标

• 将 Słodkowski 联合谱 $ \sigma_{\delta,k} $ 和 $ \sigma_{\pi,k} $ 扩展至巴拿赫空间上有限维复可解李代数的算子。
• 研究可解李代数 $ L $ 在 $ E $ 上的联合谱与对偶代数 $ L^* $ 在对偶空间 $ E^* $ 上的谱之间的对偶性，特别是 $ \mathrm{Sp}(L,E) $ 与 $ \mathrm{Sp}(L^*,E^*) $ 之间的关系。
• 刻画常数平移 $ c $，使得 $ \mathrm{Sp}(L,E) = \mathrm{Sp}(L^*,E^*) + c $，并证明当 $ L $ 为幂零时 $ c = 0 $。
• 验证扩展后的谱 $ \sigma_{\delta,k} $ 和 $ \sigma_{\pi,k} $ 保留关键谱性质：紧致性、非空性，以及理想上的投影性质。

提出的方法

• 本文通过复形 $ (E \otimes \wedge L, d(f)) $ 使用同调方法，其中 $ d(f) $ 是依赖于线性泛函 $ f \in L^* $ 的微分，将联合谱 $ \mathrm{Sp}(L,E) $ 定义为使得同调非平凡的 $ f \in L^{2^\perp} $ 的集合。
• 引入对偶代数 $ L^* $，其在 $ E^* $ 上作用并采用对偶李括积，分析 $ \mathrm{Sp}(L,E) $ 与 $ \mathrm{Sp}(L^*,E^*) $ 之间的谱关系，证明存在常数 $ c $ 使得 $ \mathrm{Sp}(L,E) = \mathrm{Sp}(L^*,E^*) + c $。
• 通过调整复形的解析参数化并利用同调长正合列中的连接映射，将 Słodkowski 谱 $ \sigma_{\delta,k} $ 和 $ \sigma_{\pi,k} $ 的扩展实现。
• 常数 $ c $ 被刻画为对偶表示 $ \tilde{\theta}(x_i) $ 的迹向量，其由 $ L $ 的基元素 $ x_i $ 的伴随作用导出，并证明当 $ L $ 为幂零时该常数消失。
• 证明依赖于利用余维数为一的理想对李代数进行归纳分解，以及在外代数 $ \wedge L $ 上扩展 $ \mathrm{ad}(x_n) $ 的导子 $ \theta(x_n) $。
• 通过泛函分析与同调代数的结果，特别是将 [5] 和 [2] 中的技术应用于巴拿赫空间的参数化复形，确立了谱性质：紧致性、非空性，以及理想上的投影性质。

实验结果

研究问题

• RQ1 当 Słodkowski 联合谱 $ \sigma_{\delta,k} $ 和 $ \sigma_{\pi,k} $ 扩展至巴拿赫空间上可解李代数的算子时，其行为如何？
• RQ2 可解李代数 $ L $ 在 $ E $ 上的联合谱 $ \mathrm{Sp}(L,E) $ 与其对偶代数在对偶空间 $ E^* $ 上的谱 $ \mathrm{Sp}(L^*,E^*) $ 之间存在何种关系？
• RQ3 关系式 $ \mathrm{Sp}(L,E) = \mathrm{Sp}(L^*,E^*) + c $ 中的常数平移 $ c $ 能否基于李代数结构显式刻画？
• RQ4 对偶谱关系 $ \sigma_{\delta,k}(L,E) $ 与 $ \sigma_{\pi,k}(L^*,E^*) $ 是否具有基于迹的修正项？在幂零情形下该关系如何简化？
• RQ5 扩展后的谱 $ \sigma_{\delta,k} $ 和 $ \sigma_{\pi,k} $ 是否保留标准谱性质，如紧致性、非空性，以及理想上的投影性质？

主要发现

• 扩展后的 Słodkowski 谱 $ \sigma_{\delta,k}(L,E) $ 和 $ \sigma_{\pi,k}(L,E) $ 是 $ L^* $ 中的紧致且非空子集，将经典联合谱推广至可解李代数。
• 理想上的投影性质成立：$ \sigma_{\delta,k}(I,E) = \pi(\sigma_{\delta,k}(L,E)) $ 与 $ \sigma_{\pi,k}(I,E) = \pi(\sigma_{\pi,k}(L,E)) $，其中 $ \pi $ 是从 $ L^* $ 到 $ I^* $ 的投影。
• 对偶谱满足 $ \sigma_{\delta,k}(L,E) + (\mathrm{trace}\, \tilde{\theta}(x_1), \dots, \mathrm{trace}\, \tilde{\theta}(x_n)) = \sigma_{\pi,k}(L^*,E^*) $，确立了精确的平移律。
• 在幂零情形下，平移常数 $ c $ 消失，因此 $ \mathrm{Sp}(L,E) = \mathrm{Sp}(L^*,E^*) $，意味着谱与其对偶之间具有对称性。
• 对于全谱，有 $ \sigma_{\delta,n}(L,E) = \sigma_{\pi,0}(L,E) = \mathrm{Sp}(L,E) $，且投影性质对非理想子空间不成立，如经典情形所示。
• 在幂零情形下，对偶关系 $ \sigma_{\delta,k}(L,E) = \sigma_{\pi,n-k}(L^*,E^*) $ 与 $ \sigma_{\pi,k}(L,E) = \sigma_{\delta,n-k}(L^*,E^*) $ 成立，反映出深刻的对称性。