[논문 리뷰] Poisson cohomology of a class of log symplectic manifolds

Melinda Lanius|arXiv (Cornell University)|2016. 05. 12.

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

한 줄 요약

이 논문은 정규 교차 divisor D를 가진 로그 심플렉틱 다양체의 파아손 코homology를 계산하며, b-심플렉틱 코hom올로지의 일반화를 위해 레이어드 앨지브로이드 접근법을 사용한다. 핵심 결과는 파아손 코homology가 분할의 교차에 대한 직접합으로 표현되며, 캐논리컬 선다발과 함께 비틀린 코homology 항목을 포함함으로써 기존의 b-심플렉틱 구조에 대한 결과를 확장한다.

ABSTRACT

We compute the Poisson cohomology of a class of Poisson manifolds that are symplectic away from a collection $D$ of hypersurfaces. These Poisson structures induce a generalization of symplectic and cosymplectic structures, which we call a k-cosymplectic structure, on the intersection of hypersurfaces in $D$.

연구 동기 및 목표

• 정규 교차 divisor D를 가진 로그 심플렉틱 다양체의 파아손 코homology를 계산하여, 기존의 b-심플렉틱 구조에 대한 결과를 확장한다.
• 로그 심플렉틱 설정에서 고차원 교차에 대해 특이 초면에서의 코심플렉틱 구조를 일반화한다.
• 로그 심플렉틱 형식에 의해 유도된 특이 파아손 구조를 다룰 수 있는 레이어드 앨지브로이드를 이용한 코homological 프레임워크를 개발한다.
• 파아손 코homology의 정확한 분해를 배경 다양체의 de Rham 코homology와 분할 교차에서의 비틀린 코homology로 표현한다.

제안 방법

• 정규 교차 divisor D를 가진 다양체 위에서 b-접선(bundle)의 리 앨지브로이드 코hom올로지로 파아손 코homology를 모델링하기 위해 레이어드 앨지브로이드 구조를 사용한다.
• 문헌 [6]의 리 앨지브로이드 코hom올로지 동형을 적용하여 b-코hom올로지를 분할 성분의 교차에 대한 직접합으로 표현한다.
• 분할 성분의 정의 함수에 대해 로그 형식 복합체에 필터링을 도입하여, 교차의 코homology를 귀납적으로 계산할 수 있도록 한다.
• 분할 성분의 정의 함수에 대한 변수 변경을 통해 코homology 클래스가 좌표 변환에 대해 불변임을 보인다.
• 분할 교차 근처의 국소 모델에서 미분의 핵과 상을 분석함으로써 로그 심플렉틱 복합체의 코hom올로지를 유도한다.
• 파아손 코hom로지가 분할 성분의 모든 가능한 교차에 대한 합으로 분해되며, 각 스트라툼에서 비틀린 코homology 항목이 포함됨을 확립한다.

실험 결과

연구 질문

• RQ1 정규 교차 divisor D를 가진 로그 심플렉틱 다양체의 파아손 코homology는 배경 다양체의 코homology와 그 스트라툼의 코homology로 어떻게 분해되는가?
• RQ2 로그 심플렉틱 설정에서 분할 성분의 수직 교차에서 어떤 코심플렉틱 구조의 일반화가 발생하는가?
• RQ3 파아손 코hom올로지는 b-접선(bundle) 위의 리 앨지브로이드 구조를 통해 계산될 수 있으며, b-심플렉틱 케이스와 비교해 보면 어떻게 되는가?
• RQ4 분할 교차 위의 캐논리컬 선다발은 로그 심플렉틱 파아손 구조의 코homological 분해에서 어떤 역할을 하는가?
• RQ5 분할 성분의 정의 함수의 변화는 파아손 복합체의 코homology 클래스에 어떻게 영향을 미치는가?

주요 결과

• 로그 심플렉틱 다양체의 파아손 코hom올로지는 배경 다양체의 de Rham 코hom올로지와 분할 교차 레이스터의 모든 스트라툼에서의 비틀린 코hom올로지 그룹의 직접합과 동형이다.
• 분할 성분의 교차로 정의된 각 스트라툼에 대해, 스트라툼의 쌍대 정규 벡터수의 쌍대를 포함하는 항목이 포함되며, 각 성분에 대해 |N^*Z|^{-1}으로 표현된다.
• 코homology 분해에는 모든 가능한 분할 성분의 부분집합 기여가 포함되며, 총 차수 이동은 각 교차에 관여하는 성분의 수와 유형에 따라 달라진다.
• 각 스트라툼에서의 코homology는 분할 성분의 정의 함수의 변화에 대해 불변이므로 잘 정의된 기하학적 구조임을 보장한다.
• 최종 결과는 b-심플렉틱 코hom올로지 공식 H^p_π(M) ≃ H^p(M) ⊕ H^{p-1}(Z)을 모든 분할 교차에 대한 비틀린 계수를 포함하는 전체 분해로 일반화한다.
• 코homology는 다음 공식으로 완전히 특징지어진다: ^bH^p(M) ≃ H^p(M) ⊕ ⨁_{I,J,K,L} H^{p-m}(∩Z; ⊗|N^*Z|^{-1}) where m = 2|I| + |J| + |K| + |L| and I,J,K,L are index sets satisfying I ≠ ∅ and I ∩ J = I ∩ K = ∅.