[논문 리뷰] Homotopically non-trivial maps with small k-dilation

Larry Guth|ArXiv.org|2007. 09. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 6

한 줄 요약

이 논문은 무수히 많은 쌍 $(m,n)$ 에 대해, 포함 $m=4, n=3$ 를 포함하여, 구 $S^m$ 에서 $S^n$ 으로의 호모토피적으로 비자명한 사상들을 구축하며, 이들의 3-팽창을 임의로 작은 값으로 만들 수 있음을 보인다. 또한 $V_k\pi_m(S^n)$ 이라는 필터링을 도입하여, $V_4\pi_7(S^4)$ 가 토르션 부분군 $
mathbb{Z}_{12}$ 와 일치함을 보이고, $
pi_7(S^4)$ 의 호모토피류가 임의로 작은 4-팽창을 가질 수 있음과 동시에 그것이 토르션임은 필요충분조건임을 증명한다.

ABSTRACT

We construct homotopically non-trivial maps from S^m to S^n with arbitrarily small 3-dilation for certain pairs (m,n). The simplest example is m=4, n=3. Other examples include arbitrarily large values of m and n. We show that a homotopy class in pi_7(S^4) can be represented by maps with arbitrarily small 4-dilation if and only if the class is torsion.

연구 동기 및 목표

• 구 사이의 사상들의 호모토피 유형이 작은 k-팽창으로 얼마나 제어되는지 조사하기.
• 어느 호모토피류 $
  pi_m(S^n)$ 에서도 임의로 작은 k-팽창이 가능한지 결정하기.
• k-팽창 행동에 따라 사상을 분류하기 위한 호모토피 불변 도구로 $V_k\pi_m(X)$ 를 정의하고 연구하기.
• 작은 $|\Lambda^k df|_{L^q}$-노름을 갖는 사상의 동치사라짐에 관해 그로모프가 제기한 질문을 해결하기.

제안 방법

• 비자명한 호모토피류를 $\pi_m(S^n)$ 에서 $\pi_{m+p}(S^{n+p})$ 로 올리는 스터핑 구조를 사용하여, $k, m, n, p$ 에 대한 일정한 조건 하에서 고차 스터핑이 작은 k-팽창으로 실현될 수 있음을 보임.
• 직육면체 영역을 $(m+p)$-구에 준위 등거리 매립함을 적용하여, 도함수 노름 $|\Lambda^k df|$ 를 통해 부피 왜곡을 통제함.
• $V_k\pi_m(X)$ 를 $\pi_m(X)$ 의 부분군으로 정의하여, 임의로 작은 k-팽창으로 표현 가능한 호모토피류의 집합으로 하며, 이것이 호모토피 불변 필터링임을 증명함.
• 홉 피브레이션과 장긴 정렬 수열을 적용하여 $\pi_7(S^4)$ 를 분석하고, 호프 불변량의 핵을 토르션 부분군으로 식별함.
• 스터핑 사상 $\pi_6(S^3) \to \ker H \subset \pi_7(S^4)$ 가 동형임을 이용하여, 모든 토르션 원소들이 $V_4\pi_7(S^4)$ 에 속해 있음을 보임.
• 정리 1을 적용하여, $k > n + (n/m)p$ 이면, 그 클래스의 $p$-중 스터핑이 $V_k\pi_{m+p}(S^{n+p})$ 에 속함을 보임.

실험 결과

연구 질문

• RQ1 어느 쌍 $(m,n)$ 에 대해, $S^m \to S^n$ 으로의 호모토피적으로 비자명한 사상이 임의로 작은 3-팽창을 갖는가?
• RQ2 $\pi_7(S^4)$ 의 호모토피류가 임의로 작은 4-팽창을 갖는지 여부는 그것이 토르션임과 필요충분조건인가?
• RQ3 $V_k\pi_m(S^n)$ 의 구조는 무엇이며, 호프 불변량과 같은 고전적 불변량과 어떻게 관련되어 있는가?
• RQ4 작은 k-팽창이 어느 정도까지 동치사라짐을 암시하며, 이는 $k$ 에 따라 어떻게 달라지는가?
• RQ5 $V_k$-필터링은 스터핑 및 기타 호모토피 연산에서 어떻게 행동하는가?

주요 결과

• 모든 $n \geq 2$ 에 대해, $\pi_m(S^n)$ 에서 비자명한 원소들이 $V_3\pi_m(S^n)$ 에 속하는 무수히 많은 $m$ 이 존재한다. 즉, 임의로 작은 3-팽창을 갖는 비자명한 사상이 존재한다.
• $\pi_4(S^3) \cong \mathbb{Z}_2$ 의 비자명한 원소는 $V_3\pi_4(S^3)$ 에 속하며, 이는 스터핑된 호프 피브레이션에 의해 실현된다.
• $V_4\pi_7(S^4)$ 는 정확히 토르션 부분군 $
  mathbb{Z}_{12}$ 와 일치하며, 이는 호프 불변량 $H: \pi_7(S^4) \to \mathbb{Z}$ 의 핵과 동형이다.
• $\pi_5(S^4) \cong \mathbb{Z}_2$ 의 비자명한 원소는 $V_4\pi_5(S^4)$ 에 속한다. 이는 이중 스터핑이기 때문이다.
• $\pi_6(S^4) \cong \mathbb{Z}_2$ 의 비자명한 원소는 $V_4\pi_6(S^4)$ 에 속한다. 다시 말해, 스터핑 기원 때문이다.
• $V_k\pi_m(X)$ 는 $\pi_m(X)$ 의 호모토피 불변 부분군이며, $V_k\pi_m(X) \subset V_{k+1}\pi_m(X)$ 를 만족하여 중첩된 필터링을 이룬다.