[논문 리뷰] Closed manifolds admitting no special generic maps whose codimensions are negative and their cohomology rings

Naoki Kitazawa|arXiv (Cornell University)|2020. 08. 10.

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

한 줄 요약

이 논문은 코homology 링 구조를 핵심 불변량으로 사용하여, 음의 코드레인지인 유클리드 공간으로의 특수 일반 맵이 존재하지 않는 닫힌 다양체의 조건을 규명한다. 특정 코homological 조건을 만족하는 다양체—특히 유계 차수를 가진 클래스들의 비영인 cup 곱이 존재하는 경우—는 낮은 차원의 유클리드 공간으로의 특수 일반 맵을 가질 수 없으며, 이는 외계 7-구면과 실수 사영 공간에 대한 이전 결과를 더 넓은 다양체 계열로 일반화한다.

ABSTRACT

Special generic maps are higher dimensional versions of Morse functions with exactly two singular points, characterizing spheres topologically except $4$-dimensional cases: in these cases standard spheres are characterized. Canonical projections of unit spheres are special generic. In suitable cases, it is easy to construct special generic maps on manifolds represented as connected sums of products of spheres for example. It is an interesting fact that these maps restrict the topologies and the differentiable structures admitting them strictly in various cases. For example, exotic spheres, which are not diffeomorphic to standard spheres, admit no special generic map into some Euclidean spaces in considerable cases. In general, it is difficult to find (families of) manifolds admitting no such maps of suitable classes. The present paper concerns a new result on this work where key objects are products of cohomology classes of the manifolds. We can see that manifolds such as closed symplectic manifolds and real projective spaces admit no special generic maps into any connected nin-closed manifold in considerable cases.

연구 동기 및 목표

• 닫힌 다양체 위에서 특수 일반 맵의 존재에 대한 위상수학적 및 미분위상수학적 장애를 규명하는 것.
• 특히 비영인 cup 곱이 포함된 코homology 링 구조가 이러한 맵의 존재를 어떻게 제한하는지 조사하는 것.
• 외계 7-구면과 실수 사영 공간에 대한 기존 결과를 더 넓은 다양체 계열로 일반화하는 것.
• 특수 일반 맵의 존재를 이르키는 코homological 조건 $\mathrm{CohP}_{A,m,n_0}^{}$ 를 수립하는 것.
• 연결합과 곱을 통한 새로운 다양체 계열을 구성하는 프레임워크를 제공하여 특수 일반 맵이 존재하지 않는 다양체를 만드는 것.

제안 방법

• 코homological 조건 $\mathrm{CohP}_{A,m,n_0}$ 를 도입하여, $H^*(X;A)$ 내의 유계 차수를 가진 일련의 코homology 클래스들이 존재하고, 총 차수가 $n_0$ 이상이며, 그 cup 곱이 비영임을 요구한다.
• 이 조건을 사용하여 $n < m$ 인 $\mathbb{R}^n$ 으로의 특수 일반 맵의 존재하지 않음을 검출한다.
• 다양체의 연결합과 곱의 구조를 활용하여 특수 일반 맵의 존재하지 않음을 전파한다.
• 디스크와 다양체의 곱에 대한 임bedding 기법을 사용하여 조건이 만족될 경우 특수 일반 맵을 구성한다.
• 기존의 외계 7-구면과 실수 사영 공간에 대한 결과를 코homological 장애의 기초 사례로 활용한다.
• 접선 위상수학 도구—예를 들어 접선 맵과 특수 일반 맵—을 cup 곱의 구조를 통해 대수적 위상수학과 융합한다.

실험 결과

연구 질문

• RQ1 어떤 코homological 조건을 만족할 경우, 닫힌 다양체는 음의 코드레인지 유클리드 공간으로 특수 일반 맵을 가질 수 없는가?
• RQ2 닫힌 심플렉틱 다양체와 실수 사영 공간의 코homology 링은 특수 일반 맵의 존재를 어떻게 차단하는가?
• RQ3 코homological 불변량을 사용하여 특수 일반 맵의 존재하지 않음을 외계 7-구면에서 더 넓은 다양체 계열로 확장할 수 있는가?
• RQ4 다양체의 연결합과 곱은 특수 일반 맵의 존재 여부를 유지하거나 위반하는 데 어떤 역할을 하는가?
• RQ5 코homological 조건 $\mathrm{CohP}_{A,m,n_0}$ 는 특수 일반 맵에 대한 완전한 장애로 작용할 수 있는가?

주요 결과

• 코homological 조건 $\mathrm{CohP}_{A,m,n_0}$ 를 만족하는 닫힌 다양체는 $n < m$ 인 $\mathbb{R}^n$ 으로 특수 일반 맵을 가질 수 없다.
• 차원 7인 실수 사영 공간과 $\mathbb{R}P^7$ 와 동일한 호모로지를 가진 특정한 닫힌 다양체는 $n = 1,2,3,4,5,6$ 인 $\mathbb{R}^n$ 으로 특수 일반 맵을 가질 수 없다.
• $m=7$ 인 경우, 28종류 중 14종류의 외계 7-구면은 $\mathbb{R}^{m-3}, \mathbb{R}^{m-2}, \mathbb{R}^{m-1}$ 으로 특수 일반 맵을 가질 수 없다.
• $\mathrm{Sp}_{\geq n_0}$ 조건—모든 $n_0 \leq n < m$ 에 대해 $\mathbb{R}^n$ 으로 특수 일반 맵이 존재함—은 특정 연결합과 곱에서 유지된다.
• $M'$ 이 $\mathrm{Sp}_{\geq n_0'}$ 을 만족하고 $F$ 가 컴act Lie 군이거나 튜브 이웃근의 경계인 다양체의 곱 $M' \times F$ 는 차원 제약 조건을 만족할 경우 $\mathbb{R}^{n_0 + k}$ 으로 특수 일반 맵을 가질 수 있다.
• $\mathrm{CohP}_{A,m,n_0}$ 코homological 장애는 cup 곱의 차수 제약 조건이 유지될 경우 곱과 연결합에서 유지된다.