[论文解读] Kobayashi-Hitchin correspondence for analytically stable bundles

Takuro Mochizuki|arXiv (Cornell University)|Dec 25, 2017

Geometry and complex manifolds参考文献 43被引用 3

一句话总结

本文在某些非紧凯勒流形上，针对满足解析稳定性条件的全纯向量丛，建立了赫尔米特-爱因斯坦度量的存在性，将科巴亚希-希钦对应关系推广至非紧情形。关键结果证明：解析稳定性蕴含存在具有可控曲率衰减的赫尔米特-爱因斯坦度量，该结果适用于R⁴关于闭子群商所得空间上的瞬子与单极子，且提供了与代数数据相关的双重周期单极子显式例子。

ABSTRACT

We prove the existence of a Hermitian-Einstein metric on holomorphic vector bundles with a Hermitian metric satisfying the analytic stability condition, under some assumption for the underlying Kähler manifolds. We also study the curvature decay of the Hermitian-Einstein metrics. It is useful for the study of the classification of instantons and monopoles on the quotient of $4$-dimensional Euclidean space by some types of closed subgroups. We also explain examples of doubly periodic monopoles corresponding to some algebraic data.

研究动机与目标

• 通过证明满足解析稳定性条件的全纯向量丛上赫尔米特-爱因斯坦度量的存在性，将科巴亚希-希钦对应关系推广至非紧凯勒流形。
• 分析此类丛上赫尔米特-爱因斯坦度量的曲率衰减性质，尤其关注R⁴商空间上的瞬子与单极子。
• 通过代数数据（特别是双重周期情形）为瞬子与单极子的分类提供微分几何框架。
• 将辛普森的解析稳定性方法推广至非紧情形，证明满足有界性与L²条件的度量的存在性。

提出的方法

• 在非紧凯勒流形上全纯向量丛上引入一种解析稳定性条件，推广自紧致与抛物情形的定义。
• 应用辛普森关于希格斯丛与调和度量工作的技术，将其适配于具有有限体积及特定凯勒度量假设的非紧基空间。
• 使用与赫尔米特度量相关的陈联络，并定义曲率算子ΛF(h)，要求其迹零部分为零以满足赫尔米特-爱因斯坦条件。
• 通过覆盖映射p: C_z × C_w^* → R × C_w^* 的拉回构造，将基空间上的丛结构与具有单值性作用的乘积丛联系起来。
• 通过研究平行转移诱导的单值算子Φ，分析S¹-不变全纯子丛，证明在非退化本征值条件下其不可约性。
• 通过微分算子与全纯子丛不变性之详细分析，建立度量的有界性与连接差(h h₀⁻¹)的L²可和性。

实验结果

研究问题

• RQ1 在非紧凯勒流形上，全纯向量丛在解析稳定性条件下，科巴亚希-希钦对应关系是否成立？
• RQ2 能否在这些丛上构造出具有可控曲率衰减的赫尔米特-爱因斯坦度量，特别是针对瞬子与单极子？
• RQ3 赫尔米特-爱因斯坦度量的曲率与连接行为如何与双重周期单极子构造中的代数数据相关联？
• RQ4 凯勒流形需满足何种条件，才能保证解析稳定丛上赫尔米特-爱因斯坦度量的存在性？

主要发现

• 本文在凯勒流形满足适当假设下，证明了满足解析稳定性条件的全纯向量丛上存在赫尔米特-爱因斯坦度量h。
• 度量h与初始赫尔米特度量h₀相互有界，且满足det(h) = det(h₀)，确保体积保持不变。
• 赫尔米特-爱因斯坦度量的曲率F(h)有界，且连接变化差(∂ + θ)(h h₀⁻¹)属于L²，确保连接变化的可积性。
• ΛF(h)的迹零部分为零，确认赫尔米特-爱因斯坦条件ΛF(h) = (Tr ΛF(h)/rank E) id_E成立。
• 该构造通过代数数据产生了一个非平凡的双重周期单极子显式例子，将微分几何与代数结构联系起来。
• 证明依赖于：通过单值性分析所诱导连接，任何S¹-不变全纯子丛必为平凡子丛或全丛。