[论文解读] Monopoles on 3 dimensional AC manifolds

Gonçalo Oliveira|arXiv (Cornell University)|Dec 6, 2014

Geometry and complex manifolds参考文献 10被引用 6

一句话总结

该论文通过基于隐函数定理的微扰方法，将 $k$ 个分离良好的狄拉克单极子胶合到第二贝蒂数为零（$b^2(X) = 0$）的三维渐近锥形（AC）流形上，构造了单极子。关键结果是建立了一个从位置、平坦联络和相位参数空间到单极子模空间的局部微分同胚，表明当质量 $m$ 足够大时，模空间的一个开集可通过此构造覆盖。

ABSTRACT

We construct monopoles in any asymptotically conical (AC) $3$-manifold $X$ with $b^2(X)=0$. For sufficiently large mass, our construction covers an open set in the moduli space of monopoles. We also give a more general construction of Dirac monopoles in any AC manifold, which may be useful for generalizing our result to the case when $b^2(X) eq 0$.

研究动机与目标

• 在第二贝蒂数为零（$b^2(X) = 0$）的三维渐近锥形（AC）流形上构造单极子。
• 为 AC 3-流形上单极子模空间的虚拟维数公式提供几何实现。
• 通过消除狄拉克单极子的奇点，将单极子的胶合构造推广至非紧致的 AC 流形。
• 证明固定总电荷 $k$ 和质量 $m$ 的单极子模空间包含一个由位置、平坦联络和相对相位参数化的开集。

提出的方法

• 在 $X$ 上构造具有 $k$ 个奇点的狄拉克单极子，奇点位于 $X^k(m)$ 中指定的点 $(p_1, ..., p_k)$，其中 $m$ 为质量，且各点间距为 $4m^{-1/2}$。
• 使用局部 $\mathbb{S}^1$-值参数光滑化狄拉克单极子的奇点，得到 Bogomolny 方程的近似解 $(A_0, \Phi_0)$。
• 在加权 Sobolev 范数 $H_{1,-1/2}$ 下估计误差项 $e_0 = \ast F_{A_0} - \nabla_{A_0}\Phi_0$，证明 $\|e_0\|_{H_{1,-1/2}} \leq C m^{-7/4}$。
• 通过隐函数定理在加权 Sobolev 空间中变形近似解 $(A_0, \Phi_0)$，以求解精确的单极子方程。
• 利用在权 $\beta = -1/2$ 处线性化算子 $d_1^* \oplus d_2$ 的弗雷德霍姆性质，识别出配置空间中的截面，该截面在局部上刻画了模空间。
• 证明从参数空间到线性化算子核的映射 $\pi_h \circ \tilde{h}$ 是大质量下的局部微分同胚，从而建立了与模空间 $\mathcal{M}_{k,m}$ 的局部微分同胚关系。

实验结果

研究问题

• RQ1 能否基于分离良好的奇点，通过胶合方法在 $b^2(X) = 0$ 的三维 AC 流形上构造单极子？
• RQ2 AC 3-流形上单极子的模空间与位置、平坦联络和相对相位等几何参数之间有何关系？
• RQ3 在孤立点处对狄拉克单极子进行光滑化时，近似解的误差的渐近行为如何？
• RQ4 该胶合构造在 $b^2(X) \neq 0$ 的 AC 流形上能在多大程度上被推广？
• RQ5 隐函数定理是否适用于在加权 Sobolev 空间中将近似解变形为精确的单极子解？

主要发现

• 当质量 $m$ 足够大时，该构造覆盖了总电荷为 $k$、质量为 $m$ 的单极子模空间 $\mathcal{M}_{k,m}$ 中的一个开集。
• 映射 $h: X^k(m) \times H^1(X, \mathbb{S}^1) \times \check{\mathbb{T}}^{k-1} \to \mathcal{M}_{k,m}$ 是一个局部微分同胚，为模空间提供了几何参数化。
• 光滑化后近似解的误差满足 $\|e_0\|_{H_{1,-1/2}} \leq C m^{-7/4}$，且随 $m$ 增大而衰减。
• 投影映射 $\pi_h \circ dH_x$ 的导数在大质量下一致有下界，确保该映射为局部微分同胚。
• 该构造为虚拟维数公式 $\dim \mathcal{M}_{k,m} = 4k + b^1(X) - b^2(X) - 1$ 提供了几何解释，其对应于位置、平坦联络和相位。
• 参数空间 $X^k(m) \times H^1(X, \mathbb{S}^1) \times \check{\mathbb{T}}^{k-1}$ 抓住了模空间中的自由度，其中 $H^1(X, \mathbb{S}^1)$ 对应平坦联络，$\check{\mathbb{T}}^{k-1}$ 对应单极子之间的相对相位。