[論文レビュー] 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

ひとこと要約

本稿は、3次元球面内の3成分リンクのミルナーの三重リンク数と、関連する特徴的写像 $ g_L: T^3 \to S^2 $ のポントリャーギン不変量との間の幾何的対応を確立する。三重点によって張られる向き付けられた2次元平面を用いて自然な写像を構成し、三重リンク数がポントリャーギン不変量の半分に等しいことを示す。零リンクの場合には、ガウスのリンク積分に類似した幾何的に不変な積分公式を導出する。

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.

研究の動機と目的

• ミルナーの三重リンク数と特徴的写像のポントリャーギン不変量との間の幾何的対応を確立すること。
• 古典的なガウスのリンク積分を、幾何的に自然な被積分関数を用いて三重リンク数へと拡張すること。
• 3次元球面内の3成分リンクに対して、$ g_L: T^3 \to S^2 $ という特徴的写像を定義し、その写像のホモトピー類によってリンクホモトピー型を分類すること。
• 対間リンク数がすべて0である場合に、三重リンク数の明示的な積分公式を提示し、向きを保つ剛体運動に対して不変であることを示すこと。
• 積分を3次元トーラス上のベクトル場のヘリシティとして解釈することで、理論を流体力学と結びつけること。

提案手法

• 3次元球面内の相異なる3点の組に対して、それらが$ \mathbb{R}^4 $内で張る向き付けられた2次元平面を割り当てるグレアマン写像 $ G: \mathrm{Conf}_3 S^3 \to \mathrm{G}_2\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 $ という微分同相性を用い、そのうちの1つの射影を用いて写像 $ g_L $ を定義する。
• $ T^3 $ の3つの2次元トーラス部分多様体への $ g_L $ の制限の次数が、リンクの対間リンク数 $ p, q, r $ に一致することを示す。
• $ g_L $ のポントリャーギン不変量 $ \nu(g_L) $ が $ 2\mu(L) = \nu(g_L) $ を満たすことを証明する。ここで $ \mu(L) $ はミルナーの三重リンク数である。
• $ p = q = r = 0 $ の場合に、$ \mu(L) $ の積分公式を導出し、$ S^3 $ の向きを保つ剛体運動に対して不変な被積分関数を備える。また、この積分を3次元トーラス上のベクトル場のヘリシティとして解釈する。
• $ S^3 $ 上のビオ・サバール作用素を用いてヘリシティを表現し、ホイットッカーのホップ不変量の公式を三重リンク設定に拡張する。

実験結果

リサーチクエスチョン

• RQ1 ミルナーの三重リンク数は、3次元トーラスから2次元球面への特徴的写像の位相的不変量としてどのように表現できるか？
• RQ2 特徴的写像のポントリャーギン不変量とリンクのミルナー不変量との間の明確な関係は何か？
• RQ3 ガウスの公式に類似した幾何的に自然で、$ S^3 $ の剛体運動に対して不変な三重リンク数の積分公式を構成できるか？
• RQ4 3次元トーラス上のベクトル場のヘリシティは、三重リンク数とどのように関係するか？
• RQ5 グレアマン写像 $ G $ は特徴的写像を構成する上で果たす役割は何か？また、リンクの情報をどのように符号化するか？

主な発見

• $ g_L: T^3 \to S^2 $ は適切に定義されており、リンクホモトピーに関して不変であり、そのホモトピー類がリンクをホモトピー型で分類する。
• リンクの対間リンク数 $ p, q, r $ は、$ T^3 $ の3つの2次元トーラス部分多様体への $ g_L $ の制限の次数に一致し、直接的な幾何的対応が確立される。
• 写像 $ g_L $ のポントリャーギン不変量 $ \nu(g_L) $ は $ 2\mu(L) = \nu(g_L) $ を満たす。ここで $ \mu(L) $ はミルナーの三重リンク数である。
• $ p = q = r = 0 $ の場合に、$ \mu(L) $ の明示的な積分公式を導出し、$ S^3 $ の向きを保つ剛体運動に対して不変な幾何的に自然な被積分関数を持つ。
• 零リンクの場合の $ \mu(L) $ の積分は、3次元トーラス上のベクトル場のヘリシティとして解釈でき、この不変量と流体力学を結びつける。
• ボロメアンの輪に対して、60区間のグリッド上でフーリエ係数を用いた数値評価を実施した結果、$ \mu = -0.97 $ の近似値が得られ、期待される $ \mu = -1 $ に近い値であった。