[논문 리뷰] Non-formal co-symplectic manifolds

Giovanni Bazzoni, Marisa Fernández외 1명|arXiv (Cornell University)|2012. 03. 29.

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

한 줄 요약

이 논문은 모든 홀수 차원 $ m \geq 3 $ 에서 비형식(compactly co-symplectic) 다양체의 존재성을 입증하며, 유일한 예외는 $ m=3, b_1=1 $ 인 경우이다. 비형식 co-symplectic 다양체가 존재하는 것은 $ m=3 $ 이고 $ b_1 \geq 2 $ 인 경우 또는 $ m \geq 5 $ 이고 $ b_1 \geq 1 $ 인 경우에 국한되며, 이는 토러스와 리 군 위의 미분동형사상의 매핑 토러스를 이용한 구체적 예제를 구성하고, 그들의 최소 모델에서 비자명한 마스시 곱을 통해 비형식성을 입증함으로써 증명된다.

ABSTRACT

We study the formality of the mapping torus of an orientation-preserving diffeomorphism of a manifold. In particular, we give conditions under which a mapping torus has a non-zero Massey product. As an application we prove that there are non-formal compact co-symplectic manifolds of dimension $m$ and with first Betti number $b$ if and only if $m=3$ and $b \geq 2$, or $m \geq 5$ and $b \geq 1$. Explicit examples for each one of these cases are given.

연구 동기 및 목표

• 모든 홀수 차원과 첫 번째 베티 수에 대해 비형식(compactly co-symplectic) 다양체의 존재성을 규명하는 것.
• co-symplectic 다양체의 지리 문제(geography problem)를 해결하기 위해, 비형식 예제가 존재하는 쌍 $ (m=2n+1, b_1) $ 를 규명하는 것.
• 차원 5에서 $ b_1 = 1 $ 인 비형식 co-symplectic 다양체의 구체적 예제를 제시하여 분류의 핵심적 빈자리 메꾸기.
• 특히 고차원 코homology 연산을 탐지하기 위해, co-symplectic 다양체의 최소 모델에서 마스시 곱을 사용하여 비형식성을 증명하는 것.

제안 방법

• 대칭 또는 카일러 다양체 위의 방향을 유지하는 미분동형사상의 매핑 토러스로 co-symplectic 다양체를 구성하는 것.
• 매핑 토러스의 최소 모델을 이용해 비형식성을 탐지하며, 특히 코homology에 대한 유도된 사상이 차수 $ p $ 에서 고유값 1을 가지며 중복도 $ r \geq 1 $ 인 경우에 초점 맞추기.
• 디피오모피즘의 코homological 조건을 바탕으로 제15정리를 적용하여 차수 $ p $ 까지의 최소 모델을 결정하는 것.
• 닫힌 1-form $ \eta $ 과 $ \eta \wedge F^n \neq 0 $ 인 조건을 만족하는 쌍 $ (F, \eta) $ 를 정의하여 co-symplectic 구조를 설정함으로써 체적 형식을 확보하는 것.
• de Rham 복합체에서 마스시 곱을 계산하여 비형식성을 탐지하는 것, 예를 들어 $ \langle [\alpha_1 \wedge \alpha_2], [\alpha_5], [\alpha_5], [\alpha_5] \rangle \neq 0 $.
• 특정 구조 방정식을 가진 완전히 해소 가능한 리 군을 사용하여 5차원 예제를 고차원 홀수 차원으로 일반화하는 것.

실험 결과

연구 질문

• RQ1 모든 $ m \geq 3 $, $ b_1 \geq 1 $ 에 대해 $ m=2n+1 $ 인 쌍 $ (m=2n+1, b_1) $ 에서 비형식(compactly co-symplectic) 다양체가 존재하는가?
• RQ2 첫 번째 베티 수 $ b_1 = 1 $ 인 5차원 비형식 co-symplectic 다양체를 구체적으로 구성할 수 있는가?
• RQ3 다양체 $ N $ 의 미분동형사상 $ \varphi $ 에 대해, 그 매핑 토러스 $ N_\varphi $ 가 비형식이 되도록 하는 조건은 무엇인가?
• RQ4 마스시 곱은 co-symplectic 다양체의 최소 모델에서 비형식성을 어떻게 탐지할 수 있는가?
• RQ5 co-symplectic 다양체의 비형식성은 그 기초가 되는 매핑 토러스 구조의 위상에 의해 차단되는가?

주요 결과

• 비형식(compactly co-symplectic) 다양체가 존재하는 것은 $ m=3 $ 이고 $ b_1 \geq 2 $ 인 경우 또는 $ m \geq 5 $ 이고 $ b_1 \geq 1 $ 인 경우에 국한되며, 유일한 예외는 $ (m,b_1)=(3,1) $ 이다.
• 첫 번째 베티 수 $ b_1(S) = 1 $ 인 비형식 5차원 co-symplectic 다양체 $ S $ 가 4차 토러스 위의 미분동형사상의 매핑 토러스로 구체적으로 구성된다.
• S의 최소 모델은 차수 3에서 정확하지 않은 닫힌 원소를 포함하며, 이는 S가 2-형식적이 아니며 따라서 형식적임을 의미하지 않음을 보여준다.
• 비자명한 4중 마스시 곱 $ \langle [\alpha_1 \wedge \alpha_2], [\alpha_5], [\alpha_5], [\alpha_5] \rangle = \frac{1}{2}[\alpha_3 \wedge \alpha_4 \wedge \alpha_5] \neq 0 $ 가 존재하여 비형식성이 확인된다.
• 완전히 해소 가능한 리 군을 사용하여 고차원 홀수 차원 $ 2n+1 \geq 5 $ 에 일반화되며, 이는 $ j=1,\dots,2n-2 $ 에 대해 $ d\alpha_j = (-1)^j \alpha_j \wedge \alpha_{2n+1} $ 인 구조 방정식을 포함한다.
• 코homology 차수 $ p $ 에서 고유값 1과 중복도 $ r \geq 1 $ 을 가지는 미분동형사상의 매핑 토러스는 $ r=1 $ 이면 비형식이 되며, 이는 추론 16에 의해 확인된다.