[논문 리뷰] Formality of 7-dimensional 3-Sasakian manifolds

Marisa Fernández, Stefan Ivanov외 1명|arXiv (Cornell University)|2015. 11. 28.

Geometry and complex manifolds인용 수 2

한 줄 요약

이 논문은 단순연결된 컴act한 7차원 3-Sasakian 다양체가 형식적일 조건을 규명한다. 즉, 그 두 번째 Betti 수 b₂가 1 이하일 때에만 형식적임을 보이며, b₂ ≥ 2인 7차원 Sasaki-Einstein 다양체의 구체적 예를 제시한다. 이러한 예는 형식적이지만 3-Sasakian 다양체일 수 없음을 증명하며, 7차원에서 3-Sasakian 구조에 대한 위상적 장벽을 Massey 곱을 통해 규명한다.

ABSTRACT

We prove that any simply connected compact 3-Sasakian manifold, of dimension seven, is formal if and only if its second Betti number is $b_2<2$. In the opposite, we show an example of a 7-dimensional Sasaki-Einstein manifold, with second Betti number $b_2\geq 2$, which is formal. Therefore, such an example does not admit any 3-Sasakian structure. Examples of 7-dimensional simply connected compact formal Sasakian manifolds, with $b_2\geq 2$, are also given.

연구 동기 및 목표

• 단순연결된 컴팩트한 7차원 3-Sasakian 다양체의 형식성 조건을 규명하는 것.
• b₂ ≥ 2인 형식적인 Sasaki-Einstein 다양체의 구체적 예를 제시하고, 3-Sasakian 구조를 갖지 못함을 보이는 것.
• 형식성과 Massey 곱을 활용하여 7차원에서 Sasaki-Einstein와 3-Sasakian 다양체 간의 위상적 차이를 명확히 하는 것.
• b₂ ≥ 2일 때 형식성이 3-Sasakian 구조의 존재를 보장하지 못함을 보여주는 것. 이는 고차 Massey 곱이 0이지만 3-Sasakian이 될 수 없음을 의미한다.

제안 방법

• 7차원 다양체의 유리호모토피 유형을 분석하기 위해 최소모델과 미분가환대수(DGA)를 사용한다.
• 최소모델의 코homology에서 모든 삼중 Massey 곱이 0이면 형식성이 성립함을 적용한다.
• Kähler-Einstein 6차원 다양체 M = ℂP³#(k개의 복사본)ℂP³ 위의 원판자리(bundle)의 총공간 N을 구성한다. 여기서 오일러 클래스는 ℓb − Σai이다.
• M이 단순연결된 6차원 다양체이므로 형식적임을 이용하고, 모델 (A, d) = H*(M) ⊗ V(x), |x|=1, dx = ℓb − Σai의 코homology를 계산한다.
• 관계 ai·aj = 0 (i≠j)와 d(x·ai) = −a²i에 의해 모든 삼중 Massey 곱이 0이 되며, 이는 형식성을 의미한다.
• 3-Sasakian 다양체는 반드시 b₂ ≤ 1이어야 하므로, b₂ ≥ 2인 형식적인 다양체는 3-Sasakian 구조를 가질 수 없음을 결론짓는다.

실험 결과

연구 질문

• RQ1 단순연결된 컴팩트한 7차원 3-Sasakian 다양체에서 형식성이 성립하는 데 필요한 두 번째 Betti 수 b₂의 정확한 조건은 무엇인가?
• RQ2 b₂ ≥ 2인 형식적인 Sasaki-Einstein 다양체는 존재할 수 있으며, 만약 존재한다면 3-Sasakian 구조를 가질 수 있는가?
• RQ3 Massey 곱은 7차원에서 Sasaki-Einstein와 3-Sasakian 다양체를 구별하는 위상적 불변량으로 어떻게 작용하는가?
• RQ4 ℂP³의 k개 점에서의 블로우업(cohomology)은 b₂ ≥ 2인 형식적인 Sasaki-Einstein 다양체를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 단순연결된 컴팩트한 7차원 3-Sasakian 다양체는 그 두 번째 Betti 수 b₂가 1 이하일 때에만 형식적이다.
• ℂP³의 네 점에서의 블로우업 위의 S¹-_bundle의 총공간으로서, b₂ = 4인 7차원 단순연결 컴팩트한 Sasaki-Einstein 다양체의 구체적 예를 구성하였다.
• 이 예는 모든 삼중 Massey 곱이 ai·aj = 0 (i≠j) 및 d(x·ai) = −a²i의 코homological 관계로 인해 0이 되므로 형식적이다.
• 이 다양체의 형식성은 3-Sasakian 구조를 가질 수 없음을 의미한다. 왜냐하면 3-Sasakian 다양체는 반드시 b₂ ≤ 1이어야 하기 때문이다.
• k ≥ 2일 때, ℂP³의 k개 점에서의 블로우업 위의 S¹-_bundle의 총공간으로서, 오일러 클래스가 ℓb − Σai (ℓ가 크기)인 다양체는 형식적이며, 단순연결이고 컴팩트한 Sasakian 다양체이며, b₂ = k이다.
• k > 4일 때 기저 다양체는 Kähler-Einstein 메트릭을 가질 수 있음이 알려져 있지 않지만, 총공간은 여전히 Sasakian이자 형식적이므로 3-Sasakian일 수 없다.