[논문 리뷰] Cohomologically symplectic solvmanifolds are symplectic

Hisashi Kasuya|arXiv (Cornell University)|2010. 05. 07.

Geometry and complex manifolds참고 문헌 5인용 수 3

한 줄 요약

이 논문은 비가역적이고 코homologically symplectic인 다성분의 군이 토퍼션 프리이며 가상적으로 폴리사이클릭인 기본군을 가진 다성분이 symplectic하다는 것을 증명한다. 이는 기존의 nilmanifold에 대한 결과를 더 넓은 범위의 solvmanifold로 확장하기 위해 대수적 힐과 불변 형식을 사용한다. 핵심 결과는 이러한 solvmanifold에서 cohomological symplecticity가 진정한 symplecticity를 암시한다는 것이다.

ABSTRACT

We consider aspherical manifolds with torsion-free virtually polycyclic fundamental groups, constructed by Baues. We prove that if those manifolds are cohomologically symplectic then they are symplectic. As a corollary we show that cohomologically symplectic solvmanifolds are symplectic.

연구 동기 및 목표

• Cohomologically symplectic한 solvmanifold가 실제로 symplectic한지 여부를 규명함으로써, 기존의 nilmanifold에 대한 등가성 결과를 더 넓은 범위로 확장한다.
• Baues의 구성 방법을 통해 토퍼션 프리이며 가상적으로 폴리사이클릭인 기본군을 가진 비가역적 다성분의 코homological 구조를 분석한다.
• 관련 Lie 군 위에서의 불변 symplectic 형식의 존재와 cohomological symplecticity 사이의 연결 고리를 확립한다.
• 일반적인 solvmanifold 설정에서 cohomological symplecticity가 symplecticity를 암시하는지 여부라는 열린 문제를 해결한다.

제안 방법

• 기본군 Γ가 토퍼션 프리이며 가상적으로 폴리사이클릭인 경우, Γ의 실 대수적 힐 HΓ를 사용하여 표준 Γ-다성분 MΓ = α(Γ)\UΓ를 구성한다.
• HΓ = T ⋉ UΓ의 분해를 활용하며, 여기서 T는 최대 재구성 부분군이고 UΓ는 유니포텐트 라디칼이며, 지수 함수를 통해 UΓ ≅ ℝ^n으로 동치이다.
• 정리 3.6을 적용하여 (⋀𝔲*人均)^T ⊂ A*(MΓ)의 포함관계가 코homology에서 동형을 유도함을 보인다.
• H^2(Γ, ℝ)에서의 코homological 조건 ω^n ≠ 0을 MΓ 상에서 점별 조건 (ω^n)Γp ≠ 0로 변환한다.
• T의 작용에 대한 ω의 불변성과 대수적 힐의 구조를 이용하여 ω가 닫힘과 비퇴화성을 가진 2형식임을 보인다.
• 다성분 상에서 ω^n의 비퇴화성이 존재함을 통해 ω가 MΓ 상의 symplectic 형식임을 확립한다.

실험 결과

연구 질문

• RQ1 Cohomologically symplectic한 solvmanifold는 반드시 symplectic한가?
• RQ2 코homology에서 닫힌 2형식의 최상위 거듭제곱이 0이 아니면, 그에 따라 symplectic 구조가 존재하는가?
• RQ3 대수적 힐의 구조를 통해 cohomological symplecticity 조건이 진정한 symplectic 형식으로 올라갈 수 있는가?
• RQ4 유니포텐트 라디칼과 재구성 부분군은 solvmanifold 상의 symplectic 형식을 실현하는 데 어떤 역할을 하는가?
• RQ5 Lie 군 상에는 불변 symplectic 형식이 존재하지만, 몫 다성분에는 존재하지 않는 반례가 존재하는가?

주요 결과

• 토퍼션 프리이며 가상적으로 폴리사이클릭인 기본군을 가진 cohomologically symplectic한 비가역적 다성분은 symplectic하다.
• Baues의 방법을 통해 구성된 표준 Γ-다성분 MΓ는 H^2(Γ, ℝ)에 ω^n ≠ 0를 만족하는 클래스 ω가 존재할 경우 symplectic하다.
• H*(MΓ, ℝ)과 H*((⋀𝔲*)^T) 사이의 동형은 코homological 데이터가 미분 형식으로 올라감을 보장한다.
• 모든 점 p ∈ MΓ 에서 (ω^n)Γp ≠ 0임을 확인함으로써 ω가 symplectic 형식임을 확인한다.
• G/D와 Γ = D/D₀의 예는 H^2((⋀𝔲*)^{±1})가 자명한 비-symplectic한 solvmanifold를 보여주며, 코homological 조건의 필요성을 확인한다.
• 예를 들어 H/Δ와 같은 symplectic한 solvmanifold는 어떤 solvable Lie 군의 불변 symplectic 형식으로도 커버되지 않으며, 이는 Proposition 4.1의 역이 성립하지 않음을 보여준다.