[논문 리뷰] Cobordisms of maps with singularities of a given class

Yoshifumi Ando|ArXiv.org|2007. 07. 30.

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

한 줄 요약

이 논문은 상대 h-원리 가정 하에, 닫힌 n-다양체에서 p-다양체 P로의 매끄러운 사상의 코버디즘 동치류를 호모토피 이론적으로 분류한다. 이는 특정한 유형의 특이점을 가진 사상들의 정렬된 코버디즘 군이 특정한 톰 공간 구성의 안정적 호모토피 군과 동형임을 보이며, 기존의 '접선' 사상에 대한 결과를 일반화하고 구의 안정적 호모토피 군과 연결한다.

ABSTRACT

Let P be a connected smooth p-manifold. We describe the group of all cobordism classes of smooth maps of n-manifolds to P with singularities of a given $cal K$-invariant class in terms of certain stable homotopy groups by applying the relative homotopy principle on the existence level. We also deal with the oriented version and construct a classifying space to which this oriented cobordism group is represented as the set of homotopy classes of P in the codimension n

연구 동기 및 목표

• 특정 유형의 특이점을 가진 매끄러운 사상의 코버디즘 동치류 군을 안정적 호모토피 군을 통해 기술하는 것.
• 정렬된 코버디즘 군을 위한 분류 공간을 구성하여 분류를 정렬된 경우로 확장하는 것.
• h-원리 가정 하에 코버디즘 군과 안정적 호모토피 군 사이의 동형을 확립하는 것.
• 기존의 '접선' 사상에 대한 결과를 일반화하고, 이를 구의 안정적 호모토피 군과 연결하는 것.

제안 방법

• 상대 h-원리(h-P)를 사용하여 제트 번들의 절단과 특정한 특이점 유형을 가진 실제 매끄러운 사상 간의 관계를 설정한다.
• 제트 번들의 구조 $ J^k(N,P) $ 를 적용하고, 열린 $ G_{n-p+1} $-불변 부분집합 $ \Omega \subset J^k(n,p) $ 를 통해 $ \theta $-정규 사상을 정의한다.
• 그라스만다이언 번들의 톰 공간에 대한 사상 공간들의 코초한 극한으로서 분류 공간 $ B_V $ 를 구성한다.
• 톰-포트리아진 구성과 쌍대성 사상들을 활용하여 코버디즘 동치류를 안정적 호모토피 군과 연결한다.
• 특정 톰 공간 $ T(\widehat{\gamma}_{G_{n-p+1}}^\ell) \wedge T(\nu_P) $ 의 안정적 호모토피 군을 사용하여 코버디즘 군을 분류한다.
• 특수한 경우(예: $ \mathfrak{O}(n,S^n;\Omega^{1,0};0) \cong \pi_n^s $)에서 동형을 검증하기 위해 [3,4,6]의 기존 결과를 적용한다.

실험 결과

연구 질문

• RQ1 특정 유형의 특이점을 가진 사상의 코버디즘 군은 안정적 호모토피 군을 통해 어떻게 기술될 수 있는가?
• RQ2 이러한 사상의 정렬된 코버디즘 군의 구조는 무엇이며, 이를 어떻게 분류 공간으로 실현할 수 있는가?
• RQ3 상대 h-원리가 모든 형식적 절단이 실제 $ \Omega $-정규 사상으로 호모토피 가능하게 하는 조건은 무엇인가?
• RQ4 특이점 유형의 포함관계가 결과적으로 얻어지는 코버디즘 군에 미치는 영향은 무엇이며, 특히 구의 안정적 호모토피 군과의 관계에서 어떻게 나타나는가?
• RQ5 사상의 코버디즘 동치류와 특이점 집합의 위상 기하학적 성질 간의 관계는 무엇인가, 특히 $ \pi_n^s $ 에서의 영이 아닌 원소들과의 관계에서 어떻게 나타나는가?

주요 결과

• 정렬된 코버디즘 군 $ \mathfrak{O}(n,P;\Omega,\Omega_\star) $ 는 안정적 호모토피 군 $ \pi_{n+\ell}^{s}(T(\widehat{\gamma}_{G_{n-p+1}}^\ell) \wedge T(\nu_P)) $ 와 동형이며, 이 동형은 분류 공간 $ B_V $ 를 통해 실현된다.
• P = S^n 인 경우, 차수 0 사상의 군 $ \mathfrak{O}(n,S^n;\Omega^{1,0};0) $ 는 n번째 안정적 호모토피 군 $ \pi_n^s $ 와 동형이며, 체스의 결과를 일반화한다.
• 특이점 유형의 포함관계 $ \Omega^{1,0}(n,n) \to \Omega(n,n) $ 는 군 준동형사상 $ \mathfrak{i}_\Omega: \pi_n^s \to \mathfrak{O}(n,S^n;\Omega) $ 를 유도하며, 비영인 원소의 지지집합은 $ \mathcal{K} $-불변 열린 부분집합 $ U(a) \subset J^k(n,n) $ 와 연결된다.
• 분류 공간 $ B_V $ 의 구성은 연속적 사상들의 코초한 극한을 통해 코버디즘 군을 표현함을 보였다.
• 코버디즘 군과 사상 공간 간의 동형 $ \mathfrak{O}(n,P;\Omega^{1,0}) \cong [P,F] $ 가 확립되었으며, 여기서 F 는 서론에서 정의된 공간으로, 코버디즘 군과 사상 공간 간의 연결고리가 된다.
• 논문은 h-원리(h-P) 가 형식적 해를 실제 $ \Omega $-정규 사상으로 실현할 수 있음을 증명하여, 호모토피 이론적 분류의 가능성을 보였다.