[논문 리뷰] Poisson structures and generalized Kahler structures

Ryushi Goto|ArXiv.org|2007. 12. 17.

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

한 줄 요약

이 논문은 비자명한 포아송 구조를 가진 컴acts Kähler 다양체의 모든 헬름홀로픽 포아송 부분다양체가 포아송 이중벡터에 의해 유도된 일반화된 복소 구조의 변형을 통해 일반화된 키티어 구조를 유산한다. 핵심 결과는 이중 헬름홀로픽 구조의 변형이 차단되지 않으며, 무한소 변형이 클래스 $[\beta \cdot \omega] \in H^{0,1}(X, T^{1,0})$ 에 의해 지배되며, 장애물 클래스 $[\beta \cdot \omega, \beta \cdot \omega] = 0$ 이 성립함을 증명함으로써 이를 입증한다. 이 구성은 포아송 기하학으로부터 비자명한 일반화된 키티어 부분다양체의 예를 제공한다.

ABSTRACT

Let X be a compact Kahler manifold with a non-trivial holomorphic Poisson structure. Then there exist deformations of non-trivial generalized Kahler structures with one pure spinor on X. We prove that every Poisson submanifold of X is a generalized Kahler submanifold with respect to the deformed generalized Kahler structures and provide non-trivial examples of generalized Kahler submanifolds arising as holomorphic Poisson submanifolds. We also obtain unobstructed deformations of bi-Hermitian structures constructed from Poisson structures.

연구 동기 및 목표

• 비자명한 헬름홀로픽 포아송 구조를 가진 컴팩트 Kähler 다양체에서 포아송 부분다양체와 일반화된 키티어 부분다양체 사이의 대응관계 수립.
• 포아송 이중벡터에 의해 유도된 일반화된 키티어 구조의 변형이 차단되지 않음을 증명.
• 이중 헬름홀로픽 구조의 무한소 변형이 클래스 $[\beta \cdot \omega] \in H^{0,1}(X, T^{1,0})$ 에서 기인함을 보여줌.
• 예를 들어 $\mathbb{C}P^3$ 의 차수 $d \leq 3$ 인 초평면과 같은 헬름홀로픽 포아송 부분다양체를 통해 비자명한 일반화된 키티어 부분다양체의 예를 구성함.

제안 방법

• 비자명한 헬름홀로픽 포아송 이중벡터 $\beta$ 가 컴팩트 Kähler 다양체에 작용함으로써 일반화된 복소 구조 $\{\mathcal{J}_{\beta t}\}$ 의 변형이 구성됨.
• Hodge 및 Lefschetz 분해에 기반한 안정성 정리 [12] 를 이용하여 순수 스핀어 $\{\mathcal{J}_{\beta t}, \psi_t\}$ 를 가진 일반화된 키티어 구조를 얻음.
• 포아송 부분다양체 $M$ 의 여접다발 $N^*$ 가 $\mathcal{J}_{\beta t}$-불변임을 보여, $M$ 이 일반화된 키티어 구조를 유산함을 보장함.
• 일반화된 키티어 구조와 토르션을 가진 이중 헬름홀로픽 구조 사이의 대응을 이용하여 변형을 복소 구조 $I^+(t)$ 와 $I^-(t)$ 의 무한소 변형으로 변환함.
• 변형의 무한소 탄젠트는 $Z_i^\pm(t) = Z_i \pm \overline{\beta} \cdot \overline{\theta}^i t \mod t^2$ 로 계산되며, 이는 클래스 $\sqrt{-1}[\beta \cdot \omega] \in H^{0,1}(X, T^{1,0})$ 를 유도함.
• Schouten 괄호를 사용한 장애물 이론을 적용하여, $H^{0,2}(X, T^{1,0})$ 에서 $[\beta \cdot \omega, \beta \cdot \omega]$ 가 0이면 변형이 차단되지 않음을 증명함.

실험 결과

연구 질문

• RQ1 비자명한 헬름홀로픽 포아송 구조를 가진 컴팩트 Kähler 다양체의 포아송 부분다양체가 일반화된 키티어 구조를 유산할 수 있는가?
• RQ2 포아송 이중벡터에 의해 유도된 일반화된 키티어 구조의 변형이 차단되지 않는가?
• RQ3 관련된 이중 헬름홀로픽 구조의 무한소 변형 클래스는 무엇인가?
• RQ4 포아송에 의해 유도된 일반화된 키티어 변형 하에서 복소 구조 $I^+(t)$ 와 $I^-(t)$ 는 어떻게 변형되는가?
• RQ5 $H^{0,2}(X, T^{1,0})$ 에서 장애물 클래스 $[\beta \cdot \omega, \beta \cdot \omega]$ 가 0이 되는 조건은 무엇인가?

주요 결과

• 비자명한 헬름홀로픽 포아송 구조 $\beta$ 를 가진 컴팩트 Kähler 다양체 $X$ 의 모든 포아송 부분다양체 $M$ 은 충분히 작은 $t$ 에 대해 일반화된 키티어 구조 $({\cal J}_{\beta t, M}, \psi_{t,M})$ 를 유산한다.
• 제약 $i_M^*\psi$ 는 $M$ 상에서 $d$-닫힘되고 비퇴화되며 순수 스핀어이므로, 유도된 구조가 순수 스핀어 하나를 가지는 일반화된 키티어 구조임을 보장한다.
• 이중 헬름홀로픽 구조 $\{I^+(t), I^-(t), h_t\}$ 의 무한소 변형은 $H^{0,1}(X, T^{1,0})$ 에서 클래스 $\sqrt{-1}[\beta \cdot \omega]$ 와 $-\sqrt{-1}[\beta \cdot \omega]$ 로 주어진다.
• 장애물 클래스 $[\beta \cdot \omega, \beta \cdot \omega]$ 는 $H^{0,2}(X, T^{1,0})$ 에서 0이 되며, 이는 이중 헬름홀로픽 구조의 변형이 차단되지 않음을 증명한다.
• 비자명한 일반화된 키티어 부분다양체의 예는 $\mathbb{C}P^3$ 의 차수 $d \leq 3$ 인 초평면을 통해 유도된다. 이러한 초평면은 포아송 부분다양체이다.
• 만일 $X = M \times \mathbb{C}P^1$ 이고 $M$ 이 복소 토러스일 경우, 장애물이 0이 되는 것은 헬름홀로픽 벡터장과 관련된 행렬 $P$ 의 랭크가 $\leq 1$ 인 경우에 국한된다.