[论文解读] Singular Hermitian-Einstein monopoles on the product of a circle and a Riemann surface

Benoit Charbonneau, Jacques Hurtubise|ArXiv.org|Dec 1, 2008

Algebraic Geometry and Number Theory参考文献 18被引用 4

一句话总结

本文建立了在 $S^1 \times \Sigma$ 上的奇异单位酉 Hermitian-Einstein 单极子与黎曼曲面 $\Sigma$ 上的稳定全纯对 $(\mathcal{E}, \rho)$ 之间的对应关系，其中 $\mathcal{E}$ 是一个全纯向量丛，$\rho$ 是一个亚纯自同态。关键结果是此类单极子的模空间与稳定对的模空间之间存在双射对应，单极子的奇点对应于全纯截面 $\rho$ 的极点，且通过规范理论与复几何两种视角对模空间的复几何进行了维度计算分析。

ABSTRACT

In this paper, the moduli space of singular unitary Hermitian--Einstein monopoles on the product of a circle and a Riemann surface is shown to correspond to a moduli space of stable pairs on the Riemann surface. These pairs consist of a holomorphic vector bundle on the surface and a meromorphic automorphism of the bundle. The singularities of this automorphism correspond to the singularities of the singular monopole. We then consider the complex geometry of the moduli space; in particular, we compute dimensions, both from the complex geometric and the gauge theoretic point of view.

研究动机与目标

• 在 $S^1 \times \Sigma$ 上建立奇异单位酉 Hermitian-Einstein 单极子与 $\Sigma$ 上稳定全息对之间的对应关系。
• 利用复几何与规范理论分析此类单极子的模空间。
• 从规范理论与复几何两个视角定义并计算模空间的维度。
• 分析单极子奇点的作用，表明其对应于丛上亚纯自同态的极点。
• 通过平行移动与提升变换，将对应关系推广至在 $\Sigma$ 的有限覆盖上变为平凡的圆丛。

提出的方法

• 作者在 $Y = S^1 \times \Sigma$ 上使用带有常数中心项的广义 Bogomolny 方程，于固定点 $p_i = (t_i, z_i)$ 处引入狄拉克型奇点。
• 定义在奇点附近具有特定渐近行为的奇异单极子，其行为由整数序列 $\vec{k}_i$ 决定，其中希格斯场 $\phi$ 的行为类似于 $\frac{\sqrt{-1}}{2R_i} \mathrm{diag}(k_{i1}, \dots, k_{in})$。
• 将单极子提升至覆盖空间 $\widetilde{Y} \to Y$，其中平坦截面 $S$ 使丛平凡化，从而可利用平行移动定义 $\Sigma$ 上的全纯结构。
• 利用单极子的 $S^1$-对称性与平坦联络，通过平行移动与提升变换构造 $\Sigma$ 上的全纯向量丛 $\mathcal{E}$ 与亚纯自同态 $\rho$。
• 定义 $(\vec{t}, U)$-度 $\delta_{\vec{t},U}(\mathcal{E}, \rho)$ 以推广非平凡圆丛的稳定性条件。
• 通过 $S^1 \times \mathfrak{D}$ 的不变性与提升群作用的下降，证明不可约 HE-单极子模空间与指定奇点类型 $\mathbf{K}$ 的稳定对 $(\mathcal{E}, \rho)$ 之间存在双射对应。

实验结果

研究问题

• RQ1 在 $S^1 \times \Sigma$ 上的奇异 Hermitian-Einstein 单极子如何与 $\Sigma$ 上的全纯结构相关联？
• RQ2 奇异单极子的模空间与稳定全息对的模空间之间存在何种精确对应关系？
• RQ3 如何从维度角度分析单极子模空间的复几何，特别是其维度？
• RQ4 圆丛的拓扑在定义相关全息对的稳定性与度时起什么作用？
• RQ5 单极子的奇点如何在全纯丛的亚纯自同态中体现？

主要发现

• 在有限覆盖上变为平凡的圆丛 $Y \to \Sigma$ 上，不可约 $\mathrm{U}(n)$ Hermitian-Einstein 单极子的模空间与 $(\vec{t}, U)$-稳定全息对 $(\mathcal{E}, \rho)$ 的模空间之间存在双射对应。
• 在 $\Sigma$ 上的全纯丛 $\mathcal{E}$ 的秩为 $n$，次数为 $k_0$，亚纯自同态 $\rho$ 在 $z_j$ 处有极点，其局部形式为 $F_j(z) \mathrm{diag}(z^{k_{jl}}) G_j(z)$，其中 $F_j, G_j$ 为全纯且可逆。
• $\rho$ 的行列式具有除子 $\sum_j \mathrm{tr}(\vec{k}_j) z_j$，将单极子的奇点数据与亚纯截面的除子联系起来。
• 从规范理论与复几何两个视角计算模空间的维度，确认了两种方法的一致性。
• $(\vec{t}, U)$-度 $\delta_{\vec{t},U}(\mathcal{E}, \rho)$ 在截面 $S$ 沿 $\widetilde{M}_t$ 平移下保持不变，确保在圆作用下稳定性定义良好。
• 对于在有限覆盖上不平凡的圆丛，稳定性条件被定义为在逐渐增大的基本域上平均次数的极限。