[论文解读] Generalized Riemann-Hilbert Transmission and Boundary Value Problems, Fredholm Pairs and Bordisms

Bogdan Bojarski, Andrzej Weber|ArXiv.org|Nov 7, 2001

Advanced Operator Algebra Research参考文献 11被引用 3

一句话总结

本文提出了一种基于希尔伯特空间中具有分裂结构的弗雷德霍姆对的广义黎曼-希尔伯特传输问题的抽象框架，建立了边界值问题、K-理论与 bordism 理论之间的联系。主要贡献是通过弗雷德霍姆 bordism，为流形上的椭圆算子建立了一个局部到整体的指标公式，其中全局指标等于与边界数据和分裂结构相关的部分指标之和。

ABSTRACT

We present classical and generalized Riemann-Hilbert problem in several contexts arising from $K$-theory and bordism theory. The language of Fredholm pairs turns out to be useful and unavoidable. We propose an abstract formulation of a notion of bordism in the context of Hilbert spaces equipped with splittings.

研究动机与目标

• 通过希尔伯特空间中的弗雷德霍姆对，发展一个黎曼-希尔伯特传输问题的抽象泛函分析框架。
• 在配备分裂结构的希尔伯特空间中，建立几何 bordism 与弗雷德霍姆 bordism 之间的对应关系。
• 通过局部到整体的指标分解，将阿蒂亚-辛格指标定理推广到边界值问题。
• 通过弗雷德霍姆对的指标，将流形上椭圆算子的理论与 K-理论及 bordism 联系起来。
• 形式化 Calderón 投影算子与边界值空间在定义弗雷德霍姆 bordism 及计算指标中的作用。

提出的方法

• 使用希尔伯特空间中弗雷德霍姆对 (H⁻, H⁺) 的语言，其中 H⁻ + H⁺ 闭合，且 dim(H⁻ ∩ H⁺) 与 codim(H⁻ + H⁺) 有限。
• 在配备分裂结构 (H⁷, H⁷) 的希尔伯特空间上引入 bordism 范畴，其中弗雷德霍姆对表示边界数据之间的 bordism。
• 通过公式 κ(H⁷₁|L|H⁷₂) = dim(L ∩ (H⁷₁ ⊕ H⁷₂)) − codim(L + (H⁷₁ ⊕ H⁷₂)) 定义子空间 L ⊂ H₁ ⊕ H₂ 相对于分裂结构的指标。
• 将该理论应用于具有边界的黎曼曲面，对穿孔曲面上全纯函数的边界值进行建模。
• 计算在具有 k 个全纯圆盘和 l 个反全纯圆盘的亏格为 g 的曲面上，柯西-黎曼算子的指标为 1 − g − ∑λᵢ + ∑μⱼ − l。
• 建立 bordism 的复合法则，并证明全局指标等于沿流形分解为 bordism 时各部分指标之和。

实验结果

研究问题

• RQ1 广义黎曼-希尔伯特问题如何通过希尔伯特空间中的弗雷德霍姆对进行抽象表述？
• RQ2 在配备分裂结构的希尔伯特空间中，几何 bordism 与弗雷德霍姆 bordism 之间存在何种关系？
• RQ3 边界值问题的指标如何与底层面流形的拓扑不变量相关联？
• RQ4 能否通过弗雷德霍姆对，为具有边界的流形上的椭圆算子推导出一个局部到整体的指标公式？
• RQ5 Calderón 投影算子与边界值空间在定义弗雷德霍姆 bordism 及计算指标中起什么作用？

主要发现

• 在具有 k 个全纯圆盘和 l 个反全纯圆盘的亏格为 g 的黎曼曲面上，柯西-黎曼算子的指标为 1 − g，该结果通过边界值空间的弗雷德霍姆指标计算得出。
• 对于在分解为 bordism 的流形上的一般椭圆算子 D，全局指标等于各部分指标之和：ind D = ∑ᵢ κ(H⁷ᵢ|Lᵢ|H⁷ᵢ₊₁)。
• 指标 κ(H⁷₁|L|H⁷₂) 在对对 (H⁻, H⁺) 的小扰动下保持不变，推广了 Kato 对弗雷德霍姆对的稳定性结果。
• 弗雷德霍姆 bordism 由 GL(S, K) 中同构的图像生成，其指标等于该同构的 K-理论不变量 κ(ϕ)。
• 当具有匹配分裂结构的 bordism 进行复合时，总指标可能与各部分指标之和相差一个缺陷，其值等于任何闭合分量上的指标。
• 该理论为几何 bordism 提供了泛函分析的对应物，其中配备分裂结构的希尔伯特空间与弗雷德霍姆对构成的范畴，与 bordism 范畴同构。