[论文解读] Index theorem for Z/2-harmonic spinors

Ryosuke Takahashi|arXiv (Cornell University)|May 4, 2017

Geometric and Algebraic Topology参考文献 9被引用 3

一句话总结

该论文通过Kuranishi型结构与指标理论，证明了在通用黎曼度量下，紧致3-流形上ℤ/2-谐和旋量模空间的虚拟维数为零；并通过指标定理计算了4-流形上的虚拟维数，与规范理论和几何分析中的已知结果一致。

ABSTRACT

In my previous paper, I prove the existence of the Kuranishi structure for the moduli space $\mathfrak{M}$ of zero loci of $\mathbb{Z}/2$-harmonic spinors on a 3-manifold. So a nature question we can ask is to compute the virtual dimension for this moduli space $\mathfrak{M}_{g_0}:=\mathfrak{M}\cap\{g=g_0\}$. In this paper, I will first prove that $v-dim(\mathfrak{M}_{g_0})=0$. Secondly, I will generalize this formula on 4-manifolds by using a special type of index developed by Jochen Bruning, Robert Seeley, and Fangyun Yang.

研究动机与目标

• 确立紧致3-流形上ℤ/2-谐和旋量模空间的虚拟维数。
• 通过指标理论计算ℤ/2-谐和旋量在4-流形上的虚拟维数，扩展分析至4-流形。
• 为理解3-和4-流形上规范理论方程解的非收敛序列提供基础工具。
• 支持几何分析中的若干猜想，例如多旋量Seiberg-Witten方程与G₂-瞬子及琼斯多项式计算之间的联系。
• 通过指定奇点集的ℤ/2-谐和旋量形式化解的奇异极限行为。

提出的方法

• 在巴拿赫空间框架和弗雷chet可微映射下，为3-流形上ℤ/2-谐和旋量模空间ℳ构造Kuranishi型结构。
• 在巴拿赫流形的隐函数定理背景下，证明对于通用度量，模空间在局部上模型化为零维对象。
• 利用Bruning–Seeley与Yang的指标定理，计算4-流形上虚拟维数，特别针对2-环面补集上的自对偶谐和旋量。
• 通过渐近展开和投影算子分析奇点集Σ上狄拉克算子的余核与核。
• 依赖L²旋量在狄拉克算子的像与核上的分解，并利用S¹上的实内积实现对偶性，以定义余核元素。
• 在线性化算子的余核与边界算子余核之间建立双射对应，从而实现指标计算。

实验结果

研究问题

• RQ1 对于紧致3-流形上固定度量g₀的通用黎曼度量，ℤ/2-谐和旋量模空间ℳ_g₀的虚拟维数是多少？
• RQ2 当奇点集为具有平凡法丛的2-环面时，ℤ/2-谐和旋量在4-流形上的虚拟维数如何表现？
• RQ3 Bruning–Seeley与Yang的指标理论能否应用于更高维中ℤ/2-谐和旋量虚拟维数的计算？
• RQ4 线性化算子的余核与奇点集Σ上的边界数据之间存在何种关系？
• RQ5 ℤ/2-谐和旋量在奇点集附近的渐近行为如何影响全局指标计算？

主要发现

• 对于紧致3-流形上固定度量g₀，模空间ℳ_g₀的虚拟维数为零，因为在Kuranishi模型中dim(ℐ₀) = dim(ℐ₁)。
• 具有单位L²范数的ℤ/2-谐和旋量模空间的正式维数为-1，支持Haydys与Walpuski关于多旋量Seiberg-Witten方程的猜想。
• 在4-流形上，ℤ/2-谐和旋量的虚拟维数计算为∫M Â(M) + dim(ker(D⁻|L²₁))，与指标定理一致。
• 线性化算子的余核微同构于边界算子余核与L²₁上狄拉克算子核的直和。
• 复合算子ℒ_d±∘B的指标被证明等于∫M Â(M) + dim(ker(D⁻|L²₁))，为虚拟维数提供了精确公式。
• 证明建立了线性化算子余核中元素与coker(𝒯_d±∘B)中边界数据之间的双射对应，确保了指标映射的良定义性与满射性。