[논문 리뷰] Quasi-regular Sasakian and K-contact structures on Smale-Barden manifolds

Alejandro Cañas, Vicente Muñoz외 2명|arXiv (Cornell University)|2020. 04. 27.

Geometric and Algebraic Topology참고 문헌 24인용 수 4

한 줄 요약

이 논문은 특이 궤도 다양체 위의 준정규 Seifert 분할을 개발하여 준정규 Sasakiian 구조를 가지지만 준정규 K-contact 구조를 가지지 않는 Smale-Barden 5차원 다양체를 구성한다. 이는 준정규 Sasakiian 구조를 가지지만 준정규 K-contact 구조를 가지지 않는 다양체에 대한 첫 번째 예이며, 순환 특이성과 자명한 궤도 기본군을 가진 궤도 K3 다양체를 통해 5차원 다양체 위의 영 Sasakiian 구조를 분류한다.

ABSTRACT

Smale-Barden manifolds are simply-connected closed 5-manifolds. It is an important and difficult question to decide when a Smale-Barden manifold admits a Sasakian or a K-contact structure. The known constructions of Sasakian and K-contact structures are obtained mainly by two techniques. These are either links (Boyer and Galicki), or semi-regular Seifert fibrations over smooth orbifolds (Kollár). Recently, the second named author of this article started the systematic development of quasi-regular Seifert fibrations, that is, over orbifolds which are not necessarily smooth. The present work is devoted to several applications of this theory. First, we develop constructions of a Smale-Barden manifold admitting a quasi-regular Sasakian structure but not a semi-regular K-contact structure. Second, we determine all Smale-Barden manifolds that admit a null Sasakian structure. Finally, we show a counterexample in the realm of cyclic Kähler orbifolds to the algebro-geometric conjecture that claims that for an algebraic surface with $b_1=0$ and $b_2>1$ there cannot be $b_2$ smooth disjoint complex curves of genus g>0 spanning the (rational) homology.

연구 동기 및 목표

• 준정규 Sasakiian 구조를 가지지만 준정규 K-contact 구조를 가지지 않는 Smale-Barden 다양체가 존재하는지에 대한 열린 문제를 해결하기 위해.
• Kollár가 연구한 준정규 케이러르의 경우를 초월하여 특이 궤도 다양체 위의 준정규 Seifert 분할 이론을 개발하여 5차원 다양체 위의 Sasakiian 및 K-contact 구조의 분류를 확장하기 위해.
• 순환 특이성과 자명한 궤도 기본군을 가진 궤도 K3 다양체를 분석하여 단순연결 5차원 다양체 위의 영 Sasakiian 구조를 분류하기 위해.
• 순환 Kähler 궤도 다양체를 사용하여 b₁=0 이고 b₂>1 인 표면에서 서로소인 종수 g의 곡선 최대 개수에 관한 대수기하학적 추측에 대한 반례를 제공하기 위해.

제안 방법

• 비스무스 특이성을 가진 Kähler 궤도 다양체 위의 준정규 Seifert 분할을 활용하여 Kollár가 연구한 준정규 케이러르의 경우를 일반화한다.
• X′에서 19개의 (−2)-곡선 구성의 수축을 통해 A₁₉ 특이성을 가진 K3 다양체 X 위에 Seifert 번들의 형태로 5차원 다양체 M을 구성한다.
• 정리 41을 사용하여 섬유 구성에 대한 위상적 조건 (Z1)과 (Z2)를 확인함으로써 궤도 기본군 π₁^orb(X) = 1임을 보장한다.
• 정리 13을 적용하여 H²(X−P, ℤ)에 있는 원시 케이러르 클래스를 사용하여 M 위에 Sasakiian 구조를 구성함으로써 리브 흐름이 준정규임을 보장한다.
• H₁(M, ℤ) = 0 이고 π₁^orb(X) = 1 이므로 M이 단순연결이고 #₂(S²×S³)와 미분형임을 결론짓는다.
• A형 구성이 있는 극한 타원 K3 분할을 분석하여 궤도 불변량과 Mordell-Weil 군의 소멸을 통해 영 Sasakiian 구조를 분류한다.

실험 결과

연구 질문

• RQ1 준정규 Sasakiian 구조를 가지지만 준정규 K-contact 구조를 가지지 않는 Smale-Barden 다양체가 존재하는가?
• RQ2 순환 특이성과 자명한 궤도 기본군을 가진 궤도 K3 다양체를 통해 5차원 다양체 위의 영 Sasakiian 구조를 분류할 수 있는가?
• RQ3 b₁=0 이고 b₂>1 인 표면에서 b₂개의 서로소된 매끄러운 종수 g 곡선(g>0)이 존재할 수 없는가에 대한 대수기하학적 추측에 반례가 존재하는가?
• RQ4 특이 궤도 다양체 위의 준정규 Seifert 분할 이론이 준정규 분할을 통해 접근할 수 없는 새로운 Sasakiian 5차원 다양체의 예를 제공할 수 있는가?
• RQ5 순환 궤도 특이성을 가진 K3 다양체에 대해, 자명한 기본군과 Sasakiian 구조를 가진 Seifert 번들이 존재하는 데 있어 위상적 및 기하적 제약 조건은 무엇인가?

주요 결과

• 논문은 준정규 Sasakiian 구조를 가지지만 준정규 K-contact 구조를 가지지 않는 Smale-Barden 다양체를 구성하여 질문 1에 대한 긍정적 답변을 제시한다.
• 구성된 다양체는 #₂(S²×S³)와 미분형이며, H₁(M, ℤ) = 0 이고 π₁(M) = 1 이다. 이는 A₁₉ 특이성을 가진 K3 다양체 위의 Seifert 번들로서 유도된다.
• 궤도 기저 X는 b₂(X) = 3, π₁^orb(X) = 1 이며, X′에서 19개의 (−2)-곡선 구성의 수축을 통해 얻어지며, 이는 코다이라 유형 I₁₉ 섬유를 가진다.
• H²(X−P, ℤ)에 원시 케이러르 클래스의 존재는 정리 13의 적용 가능성을 보장하며, 이는 M 위에 Sasakiian 구조를 유도한다.
• 논문은 [23]의 추측에 대한 반례를 제공한다. b₂ = 3 이고 20개의 서로소된 (−2)-곡선을 가진 순환 Kähler 궤도 다양체 K3 표면을 구성함으로써 예상되는 경계를 위반한다.
• #₂(S²×S³) 위의 영 Sasakiian 구조는 순환 특이성과 자명한 궤도 기본군을 가진 궤도 K3 다양체를 통해 분류되며, 분류는 극한 타원 분할과 A형 구성에 의해 이루어진다.