[논문 리뷰] Simply Connected Manifolds with Infinitely Many Toric Contact Structures and Constant Scalar Curvature Sasaki Metrics

Charles P. Boyer, Christina W. Tønnesen-Friedman|arXiv (Cornell University)|2014. 04. 15.

Geometry and complex manifolds참고 문헌 28인용 수 9

한 줄 요약

이 논문은 사소한 연결된, 홀수 차원의 다양체를 Sasaki 다양체의 조인 구축을 통해 구성하여, 무한히 많은 서로 다른 토릭 접촉 구조(Reeb 유형)를 가짐을 보이며, 이러한 다양체들이 일정한 스칼라 곡률(Sasaki) 메트릭의 광선을 지닌다는 것을 증명한다. 특히 $ l_2 $ 가 충분히 클 경우, 최소 세 개의 이러한 광선이 존재하며, 이는 동치의 코homology 링을 가진 무한한 접촉 구조에도 불구하고, 미분형식의 수가 유한함을 보여주는 드문 사례이다.

ABSTRACT

We study a class of simply connected manifolds in all odd dimensions greater than 3 that exhibit an infinite number of toric contact structures of Reeb type that are inequivalent as contact structures. We compute the cohomology ring of our manifolds by using the join construction for Sasaki manifolds and show that all such contact structures admit a ray of compatible Sasaki metrics of constant scalar curvature (CSC). Furthermore, infinitely many such structures admit at least 3 rays of constant scalar curvature Sasaki metrics.

연구 동기 및 목표

• 단순 연결된 홀수 차원 다양체에 대해 무한히 많은 서로 다른 토릭 접촉 구조(Reeb 유형)를 구성하는 것.
• 유사한 코homology 링을 가진 이러한 다양체가 유한한 수의 미분형식만을 가질 수 있는지 여부를 규명하는 것.
• 이 다양체의 Sasaki 코ーン 내에서 일정한 스칼라 곡률(CSC) Sasaki 메트릭의 광선의 존재성과 수를 분석하는 것.
• 토릭 접촉 기하학과 조인 구축의 맥락에서 극값 및 CSC Sasaki 메트릭의 이해를 확장하는 것.

제안 방법

• Wang–Ziller 다양체와 가중된 구 $ S^3_{f w} $ 의 곱으로부터 Sasaki 다양체를 구성하기 위해 조인 구축을 사용하며, 정수 $ l_1, l_2, w_1, w_2 $ 로 매개변수화된다.
• 조인의 필베이션 구조에 Leray–Serre 스펙트럴 시퀀스를 적용하여 코homology 링을 계산하며, 특정한 표현식을 얻는다: $ H^*(M, Z) \to \nZ[x,y]/(w_1w_2l_1^2x^2, x^{p+1}, x^2y, y^2) $.
• Sasaki 코ーン과 그 부분코너, 특히 감소된 $ \bf w $-Sasaki 코너 $ \tilde{\frak{t}}_{\bf w} $ 를 분석하여 CSC Sasaki 메트릭의 존재성을 연구하며, 이 코너가 극값 Sasaki 메트릭으로 완전히 채워진다는 것을 보여준다.
• 극값 조건에서 유도된 6차 다항식 $ f(b) $ 의 근을 분석함으로써 CSC 광선의 수를 결정하며, 양성 조건과 판별식 기준을 사용하여 다수의 양의 실근이 있음을 확인한다.
• Descartes의 부호 법칙과 삼차식 $ g(b) $ 의 판별식 분석을 적용하여, 세 개의 서로 다른 양의 실근이 존재할 조건을 규명하며, 이는 세 개의 CSC 광선이 존재함을 의미한다.
• 고정된 $ l_1, w_1, w_2 $ 에 대해 유한한 수의 미분형식만 존재함을 보여줌으로써 위상적 유한성을 확립한다.

실험 결과

연구 질문

• RQ1 단순 연결된 홀수 차원 다양체는 동치의 코homology 링을 가진 채로 무한히 많은 서로 다른 토릭 접촉 구조(Reeb 유형)를 가질 수 있는가?
• RQ2 코homology 링이 이러한 다양체의 미분형식을 결정하는가, 아니면 동일한 링을 가진 무한히 많은 서로 다른 미분형식이 존재할 수 있는가?
• RQ3 한 개의 토릭 접촉 구조의 Sasaki 코너 내에서 일정한 스칼라 곡률(CSC) Sasaki 메트릭의 광선은 최대 몇 개 존재할 수 있는가?
• RQ4 Sasaki 코너가 CSC 메트릭의 광선을 두 개 이상 포함하는 조건은 무엇이며, 이러한 메트릭은 정규적 또는 비정규적인가?
• RQ5 조인 구축은 고정된 코homological 데이터를 유지하면서 비자명한 위상수학적 성질과 다수의 CSC 광선을 가진 다양체를 생성할 수 있는가?

주요 결과

• 모든 홀수 차원 $ 2p+3 > 5 $ 에 대해, 고정된 $ l_1, w_1, w_2 $ 에 대해 유한한 수의 미분형식만을 가지며, 동치의 코homology 링 $ \nZ[x,y]/(w_1w_2l_1^2x^2, x^{p+1}, x^2y, y^2) $ 을 가진 가산 무한히 많은 단순 연결된 토릭 접촉 다양체 $ M_{l_1,l_2,\bf w} $ 가 존재한다.
• 이 다양체들은 $ p+2 $ 차원의 Sasaki 코너를 가지며, 이 중 2차원 부분코너 $ \tilde{\frak{t}}_{\bf w} $ 는 극값 Sasaki 메트릭으로 완전히 채워진다.
• 충분히 큰 $ l_2 $ 에 대해, Sasaki 코너에는 최소 세 개의 일정한 스칼라 곡률(CSC) Sasaki 메트릭 광선이 존재하며, 대부분은 비정규적이다.
• 특히 $ p=1 $ 인 경우, $ w=(3,2), l_1=1 $ 일 때 $ l_2 \to 19 $ 이면 삼차식 $ g(b) $ 의 판별식이 양이 되며, 이는 유리근 하나와 무리근 두 개를 가지며, 이는 각각 하나의 준정규적, 두 개의 비정규적 CSC 광선에 해당한다.
• $ p \to 1,2,3,4 $ 와 $ l_2 \to 6,3,2,2 $ 에 대해 각각 $ S^2 \times S^{2p+1} $ 과 $ S^2 \tilde{\times} S^{2p+1} $ 는 최소 두 개의 CSC Sasaki 메트릭 광선을 가진다.
• 7차원 다양체 $ M^{1,1}_{{\bf k},{\bf l},{\bf w}} $ 의 코homology 링은 $ \nZ[x,y,u,z]/(x^2, l_2xy, w_1w_2l_1^2y^2, z^2, u^2, zu, zx, ux, uy) $ 이며, 이 다양체는 비형식적일 가능성이 높아 일반화된 조인의 경우 유한성 정리가 적용되지 않을 것으로 보인다.