[论文解读] The index bundle for Fredholm morphisms

Nils Waterstraat|arXiv (Cornell University)|Sep 3, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用 13

一句话总结

本文将经典索引丛构造从固定巴拿赫空间上弗雷德霍姆算子族推广至紧致基空间上巴拿赫丛之间的弗雷德霍姆态射。利用巴拿赫丛理论中的高级工具——特别是处处非零连续截面的存在性——在K-理论中定义了一个虚拟丛，证明其在广义阿蒂亚-扬尼克序列中是正合的，并将该构造应用于一阶常微分方程的边值问题，表明模紧算子的可逆性等价于K-理论中某个相关子丛的平凡性。

ABSTRACT

We extend the index bundle construction for families of bounded Fredholm operators to morphisms between Banach bundles.

研究动机与目标

• 将阿蒂亚-扬尼克索引丛构造从固定巴拿赫空间上弗雷德霍姆算子族推广至巴拿赫丛之间的弗雷德霍姆态射。
• 通过利用巴拿赫丛的深刻结果（包括连续截面的存在性）来解决由于目标丛变化而引起的技木挑战。
• 将索引丛确立为巴拿赫丛之间弗雷德霍姆态射在K-理论中的良定义元素，并证明其形式性质。
• 证明当丛为平凡（乘积丛）时，索引丛恢复经典定义。
• 证明弗雷德霍姆态射的广义阿蒂亚-扬尼克序列是正合的，并将该理论应用于具有参数依赖边界条件的一阶常微分方程族。

提出的方法

• 利用无限维巴拿赫丛中处处非零连续截面的存在性，构造局部平凡化并处理目标丛的复杂性。
• 应用幂等态射与可补子丛的理论，确保弗雷德霍姆态射的核与像形成直和子丛。
• 将弗雷德霍姆态射 $ L: \mathcal{E} \to \mathcal{F} $ 的索引丛定义为 $ K(X) $ 中的一个元素，推广经典弗雷德霍姆指标。
• 利用弗雷德霍姆态射的同伦提升性质，将索引丛与模紧算子的可逆性联系起来。
• 构造一族紧算子 $ K_x $，使得 $ L_{B_x} + K_x $ 可逆当且仅当索引丛为零。
• 通过索引丛计算 $ \operatorname{ind}\tilde{L} = [\mathcal{V}] - [\Theta(\mathbb{K}^n)] $，将模紧算子的可逆性问题约化为子丛 $ \mathcal{V} \subset \Theta(\mathbb{K}^{2n}) $ 的稳定平凡性。

实验结果

研究问题

• RQ1 能否将固定巴拿赫空间上弗雷德霍姆算子族的经典索引丛构造推广至总空间变化的巴拿赫丛之间的弗雷德霍姆态射？
• RQ2 巴拿赫丛需要满足哪些必要的拓扑与分析条件，以确保弗雷德霍姆态射的核与像形成直和子丛？
• RQ3 对于巴拿赫丛之间的弗雷德霍姆态射，是否存在 $ K(X) $ 中良定义的索引丛？其是否满足预期的形式性质？
• RQ4 弗雷德霍姆态射在紧致空间上巴拿赫丛之间的广义阿蒂亚-扬尼克序列是否仍为正合序列？
• RQ5 在何种条件下，具有参数依赖边界条件的一阶常微分方程族模紧算子可逆？

主要发现

• 对于任意紧致基空间上巴拿赫丛之间的弗雷德霍姆态射 $ L: \mathcal{E} \to \mathcal{F} $，索引丛 $ \operatorname{ind}L \in K(X) $ 是良定义的，推广了经典构造。
• 索引丛在 $ K(X) $ 中为零当且仅当态射 $ L $ 同伦于一个丛同构。
• 当 $ \mathcal{E} = \mathcal{F} = X \times E $ 时，索引丛构造恢复经典索引丛，确认与已知结果的一致性。
• 广义阿蒂亚-扬尼克序列是正合的：$ 1 \to [X, \mathrm{GL}(\mathcal{E})] \xrightarrow{\iota} [X, \mathcal{BF}(\mathcal{E}, \mathcal{F})] \xrightarrow{\operatorname{ind}} K(X) \to 1 $，前提是 $ \mathrm{GL}(\mathcal{E}) $ 是可缩的。
• 对于由子丛 $ \mathcal{V} \subset \Theta(\mathbb{K}^{2n}) $ 定义的边界条件的一阶常微分方程族，存在一族连续紧算子使得 $ L_{B_x} + K_x $ 可逆当且仅当 $ \mathcal{V} $ 是稳定平凡的。
• 相关态射 $ \tilde{L}: \mathfrak{D} \to \Theta(L^p(I, \mathbb{K}^n)) $ 的索引丛为 $ \operatorname{ind}\tilde{L} = [\mathcal{V}] - [\Theta(\mathbb{K}^n)] \in K(X) $，其在 $ \mathcal{V} $ 稳定平凡时恰好为平凡。