[논문 리뷰] Pontryagin invariants and integral formulas for Milnor's triple linking number

Dennis DeTurck, Herman Gluck외 4명|arXiv (Cornell University)|2011. 01. 18.

Geometric and Algebraic Topology참고 문헌 57인용 수 11

한 줄 요약

이 논문은 3차원 구면에서의 밀너의 삼중 연결 수와 관련된 특성 매핑으로부터 3차 토러스에서 2차 구면으로의 페트리얀 불변량 사이의 기하학적 대응을 수립한다. 삼중 점들에 의해 생성되는 방향이 부여된 2차 평면을 이용해 자연스러운 매핑을 구성함으로써, 삼중 연결 수가 페트리얀 불변량의 반값과 같음을 보였다. 연결 수가 0인 경우, 가우스의 연결 적분과 유사한 기하학적 불변 적분 공식을 유도하였다.

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차원 구면에 있는 삼성분 링크에 대해 링크 호모토피 유형을 호모토피 클래스의 맵으로 분류하는 특성 매핑 $ g_L: T^3 \to S^2 $ 를 정의하기 위해.
• 쌍별 연결 수가 0일 때 삼중 연결 수에 대한 명시적인 적분 공식을 제공하고, 방향 보존 강체 운동에 대해 불변이 되도록 하기 위해.
• 유체역학과의 연결을 위해, 적분을 3차 토러스 위의 벡터장의 헬리시티로 해석하기 위해.

제안 방법

• 서로 다른 세 점의 조합에 대해 $ \mathrm{Conf}_3 S^3 \to \mathrm{G}_2\mathbb{R}^4 $ 를 정의하여, 각 세 점이 생성하는 방향이 부여된 2차 평면을 할당하고, $ \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 $ 이 3차 토러스의 2차 토러스 부분다양체에 제한되었을 때의 차수들이 링크의 쌍별 연결 수 $ 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차 토러스 위의 벡터장의 헬리시티로 해석한다.
• 3차원 구면에서의 비오테-사바르 연산자를 사용하여 헬리시티를 표현하고, 화이트헤드의 허프 불변량 공식을 삼중 연결 설정으로 확장한다.

실험 결과

연구 질문

• RQ1 밀너의 삼중 연결 수는 3차 토러스에서 2차 구면으로의 특성 매핑의 위상적 불변량으로 어떻게 표현될 수 있는가?
• RQ2 특성 매핑의 페트리얀 불변량과 링크의 밀너 불변량 사이의 정확한 관계는 무엇인가?
• RQ3 기하학적으로 자연스럽고 $ S^3 $ 의 강체 운동에 대해 불변인 피적분을 사용하여 삼중 연결 수에 대한 적분 공식을 구성할 수 있는가? 이는 가우스의 이중 연결 공식과 유사하다.
• RQ4 3차 토러스 위의 벡터장의 헬리시티는 삼중 연결 수와 어떻게 관련이 있는가?
• RQ5 그라스만 매핑 $ G $ 는 특성 매핑을 구성하는 데 어떤 역할을 하는가? 그리고 어떻게 연결 정보를 캐릭터라이즈하는가?

주요 결과

• 특성 매핑 $ g_L: T^3 \to S^2 $ 는 잘 정의되어 있으며 링크 호모토피에 대해 불변이며, 그 호모토피 클래스는 링크의 링크 호모토피 유형을 분류한다.
• 링크의 쌍별 연결 수 $ p, q, r $ 는 $ T^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 $ 의 방향 보존 강체 운동에 대해 불변인 기하학적으로 자연스러운 피적분을 가진다.
• 연결 수가 0인 경우의 $ \mu(L) $ 적분은 3차 토러스 위의 벡터장의 헬리시티로 해석될 수 있으며, 이로써 이 불변량이 유체역학과 연결된다.
• 보로메언 링크에 대해 60개의 구간으로 나누어진 격자에서 푸리에 계수를 사용한 수치적 평가는 $ \mu = -0.97 $ 의 근사값을 주었으며, 기대값인 $ \mu = -1 $ 과 매우 가까웠다.