[论文解读] Pontryagin invariants and integral formulas for Milnor's triple linking number

Dennis DeTurck, Herman Gluck+4 more|arXiv (Cornell University)|Jan 18, 2011

Geometric and Algebraic Topology参考文献 57被引用 11

一句话总结

本文建立了三维球面中三子链的米尔诺三重 linking 数与关联特征映射从三维环面到二维球面的庞特里亚金不变量之间的几何对应关系。通过使用由三重点张成的定向二维平面，构造了一个自然映射，证明三重 linking 数等于庞特里亚金不变量的一半。在零 linking 情况下，推导出一个几何不变的积分公式，类似于高斯的 linking 积分。

ABSTRACT

To each three-component link in the 3-sphere, we associate a geometrically natural characteristic map from the 3-torus to the 2-sphere, and show that the pairwise linking numbers and Milnor triple linking number that classify the link up to link homotopy correspond to the Pontryagin invariants that classify its characteristic map up to homotopy. This can be viewed as a natural extension of the familiar fact that the linking number of a two-component link in 3-space is the degree of its associated Gauss map from the 2-torus to the 2-sphere. When the pairwise linking numbers are all zero, we give an integral formula for the triple linking number analogous to the Gauss integral for the pairwise linking numbers. The integrand in this formula is geometrically natural in the sense that it is invariant under orientation-preserving rigid motions of the 3-sphere, while the integral itself can be viewed as the helicity of a related vector field on the 3-torus.

研究动机与目标

• 建立米尔诺三重 linking 数与特征映射庞特里亚金不变量之间的几何对应关系。
• 通过使用几何上自然的核函数，将经典的高斯 linking 积分推广到三重 linking 数。
• 为 $ S^3 $ 中的三子链定义一个特征映射 $ g_L: T^3 \to S^2 $，该映射通过映射的同伦类对链同伦类型进行分类。
• 在成对 linking 数为零的情况下，提供三重 linking 数的显式积分公式，且该公式在保持方向的刚性运动下保持不变。
• 通过将积分解释为三维环面上向量场的螺旋度，将该理论与流体动力学联系起来。

提出的方法

• 定义格拉斯曼映射 $ G: \mathrm{Conf}_3 S^3 \to \mathrm{G}_2\mathbb{R}^4 $，将每组三个不同点映射到 $ \mathbb{R}^4 $ 中它们张成的定向二维平面，再通过 $ \pi_+ $ 投影到 $ S^2 $，得到特征映射 $ g_L: T^3 \to S^2 $。
• 利用微分同胚 $ \mathrm{G}_2\mathbb{R}^4 \cong S^2 \times S^2 $，通过两个投影之一定义映射 $ g_L $。
• 证明 $ g_L $ 限制在 $ T^3 $ 的三个二维环面子流形上的次数分别等于链的成对 linking 数 $ p, q, r $。
• 证明映射 $ g_L $ 的庞特里亚金不变量 $ \nu(g_L) $ 满足 $ 2\mu(L) = \nu(g_L) $，其中 $ \mu(L) $ 是米尔诺的三重 linking 数。
• 在 $ p = q = r = 0 $ 的情况下，推导出 $ \mu(L) $ 的积分公式，其核函数在 $ S^3 $ 的保持方向的刚性运动下保持不变，并将该积分解释为 $ T^3 $ 上向量场的螺旋度。
• 使用 $ S^3 $ 上的毕奥-萨伐尔算子表达螺旋度，并将其与惠特黑德的霍普夫不变量公式联系起来，将该公式推广到三重 linking 设置中。

实验结果

研究问题

• RQ1 米尔诺的三重 linking 数如何表示为从三维环面到二维球面的特征映射的拓扑不变量？
• RQ2 特征映射的庞特里亚金不变量与链的米尔诺不变量之间的确切关系是什么？
• RQ3 能否构造一个几何上自然且在 $ S^3 $ 的刚性运动下不变的三重 linking 数积分公式，类似于高斯对成对 linking 的公式？
• RQ4 三维环面上向量场的螺旋度与三重 linking 数有何关系？
• RQ5 格拉斯曼映射 $ G $ 在构造特征映射中的作用是什么？它如何编码 linking 信息？

主要发现

• 特征映射 $ g_L: T^3 \to S^2 $ 是良定义的，且在链同伦下不变，其同伦类可对链同伦类型进行分类。
• 链的成对 linking 数 $ p, q, r $ 等于 $ g_L $ 限制在 $ T^3 $ 的三个二维环面子流形上的次数，建立了直接的几何对应关系。
• 映射 $ g_L $ 的庞特里亚金不变量 $ \nu(g_L) $ 满足 $ 2\mu(L) = \nu(g_L) $，其中 $ \mu(L) $ 是米尔诺的三重 linking 数。
• 当 $ p = q = r = 0 $ 时，本文推导出 $ \mu(L) $ 的显式积分公式，其核函数在 $ S^3 $ 的保持方向的刚性运动下保持不变，具有几何自然性。
• 在零 linking 情况下，$ \mu(L) $ 的积分可解释为三维环面上向量场的螺旋度，从而将该不变量与流体动力学联系起来。
• 使用 60 个子区间的网格对博罗梅奥环的傅里叶系数进行数值计算，得到 $ \mu = -0.97 $ 的近似值，接近预期的 $ \mu = -1 $。