[논문 리뷰] On hyperbolic cohomology classes

Michael Brunnbauer, D. Kotschick|ArXiv.org|2008. 08. 11.

Geometric and Algebraic Topology참고 문헌 16인용 수 5

한 줄 요약

이 논문은 단순 복합체에서 초구형(cohomology) 클래스의 호모로지 불변성을 확립하고, 그 존재가 기본군의 비가소성(non-amenability)과 연결됨을 보여준다. 두 차수에서, 비순환적 클래스가 반드시 초구형일 필요가 없음을 입증함으로써 열린 문제를 해결하며, 심플렉틱 4차원 다각체에서 심플렉틱 형식이 비순환적이지만 초구형이 아닌 예를 구축함으로써 유계와 초구형 코homology 클래스 사이의 엄밀한 포함관계를 입증한다.

ABSTRACT

We study hyperbolic cohomology classes in the general context of simplicial complexes and prove homological invariance statements for them. We relate the existence of hyperbolic cohomology classes to the non-amenability of the fundamental group. In degree two we clarify the relation between hyperbolic and atoroidal classes, leading to an application to symplectically atoroidal manifolds.

연구 동기 및 목표

• 단순 복합체의 일반적 설정에서 초구형 코homology 클래스의 호모로지 불변성을 확립하기 위해.
• 초구형 코homology 클래스와 기본군의 비가소성 사이의 관계를 명확히 하기 위해.
• Kȩdra(2007)가 제기한, 두 차수에서 비순환적 클래스가 초구형 클래스에 포함되는지에 대한 열린 문제를 해결하기 위해.
• 심플렉틱 4차원 다각체의 구체적 예를 제시하여, 심플렉틱 형식이 비순환적이지만 초구형이 아닌 경우를 보여주며, 유계와 초구형 코homology 부분공간 사이의 엄밀한 포함관계를 입증하기 위해.

제안 방법

• 단순 복합체에서 de Rham 코homology를 사용하여, 보편 커버에서 유계 원천의 존재를 통해 초구형 코homology 클래스를 정의한다.
• de Rham 정리를 적용하여, 실수 단순 코hom로의 단순 코호모로지와 미분형식의 de Rham 코호모로지를 동일시한다.
• Brooks의 라플라스 연산자의 스펙트럼 간격 결과를 적용하여, 기본군의 비가소성과 초구형 클래스의 부재 사이의 관계를 규명한다.
• 저위계수 표면로 표현될 수 없는 비순환적 원소를 가진 Barge-Ghys 군을 사용하여, 비순환적이지만 초구형이 아닌 클래스를 구성한다.
• Lefschetz 필라션의 피복 합성과 Thurston 유형의 심플렉틱 접합을 통해 이러한 코호모로지 클래스를 심플렉틱 4차원 다각체 위에 실현한다.
• 유계 코호모로지가 가소성 군(예: 노르몬 군)에서 0이 됨을 이용하여, 이러한 경우 초구형 클래스가 존재할 수 없음을 보이고, 비록 그렇더라도 비순환적 클래스는 여전히 비자명할 수 있음을 밝힌다.

실험 결과

연구 질문

• RQ1 Gromov가 추측하고 Kȩdra가 의문을 제기한 바와 같이, 두 차수에서 모든 비순환적 코호모로지 클래스가 초구형인가?
• RQ2 두 차수에서 코호모로지의 초구형 부분공간이 유계 코호모로지 부분공간과 일치하는가, 아니면 포함관계가 엄밀한가?
• RQ3 기본군의 비가소성은 초구형 코호모로지 클래스의 존재 또는 부재와 어떻게 관련되는가?
• RQ4 비순환적이지만 초구형이 아닌 심플렉틱 4차원 다각체를 구축할 수 있는가?
• RQ5 높은 차수에서나 가소성 군이 존재할 경우, 초구형, 유계, 비순환적 코호모로지 부분공간 간의 관계는 어떠한가?

주요 결과

• 유한적으로 표현 가능한 군 Γ가 존재하여, V²_hyp(BΓ)는 자명하지만 V²_ator(BΓ)는 비자명한데, 이는 비순환적 클래스가 반드시 초구형일 필요가 없음을 보여준다.
• 심플렉틱 형식 ω가 비순환적이지만 초구형이 아닌 구체적인 닫힌 심플렉틱 4차원 다각체가 존재하며, 이는 모든 비순환적 클래스가 초구형인다는 추측에 대한 반례를 제공한다.
• 일반적으로 V²_b(X) ⊂ V²_hyp(X)의 포함관계는 엄밀하며, 가소성으로 인해 유계 클래스가 0이 되는 경우에 대해 예를 들어 보여준다. 이 경우 유계 클래스는 0이지만 초구형 클래스는 여전히 존재할 수 있다.
• 최고 차수에서는, 유계 코호모로지 부분공간이 0이지만 초구형 부분공간은 비자명할 수 있는데, 이는 비가소 기본군과 단순 복합체 부피가 0인 다각체에서 관찰된다.
• 모든 초구형 부분공간의 합은 실수 코호모로지 링에서 아이디얼을 이룬다. 그러나 동일한 성질이 유계 코호모로지 부분공간에는 성립하지 않는다.
• Lefschetz 필라션의 피복 합성으로 구성된 심플렉틱 4차원 다각체에서, ω = ω_F + kπ*ω_B는 큰 k에 대해 비순환적이지만 초구형이 아니며, 이는 ω_F가 초구형이 아니기 때문이다.