[논문 리뷰] Positive forms on hyperkahler manifolds

Misha Verbitsky|Osaka City University (Osaka City University)|2008. 01. 12.

Geometry and complex manifolds참고 문헌 20인용 수 6

한 줄 요약

이 논문은 하이퍼카일러 다양체에서 $\partial$-닫힘되고 양성인 $(2p,0)$-형식을 닫힘되고 양성인 $(n+p,n+p)$-형식으로 매핑하는 단사함수 ${\cal V}_{p,p}$를 도입함으로써 고전적 복소기하학 정리의 하이퍼카일러 버전을 수립한다. 이는 스코다-엘 미르 정리와 시보니의 보조정리의 하이퍼카일러 버전을 가능하게 하며, 히 quaternionic 설정에서 복소다양체의 복소다양체에서의 양성과 닫힘 성질이 융합된 다항집합을 넘어선다. 주요 기여는 하이퍼카일러 설정에서 다항집합을 통해 양성과 닫힘 성질을 확장하는 것으로, 유도된 직접 이미지의 다중안정성에 적용된다.

ABSTRACT

Let $(M,I,J,K)$ be a hyperkaehler manifold, $\dim_\R M =4n$. We study positive, Dolbeault-closed $(2p,0)$-forms on $(M,I)$. These forms are quaternionic analogues of the positive $(p,p)$-forms. We construct an injective homomorphism mapping Dolbeault-closed $(2p,0)$-forms to closed $(n+p,n+p)$-forms, and positive $(2p,0)$-forms to positive $(n+p,n+p)$-forms. This construction is used to prove a hyperkaehler version of the classical Skoda-El Mir theorem, which says that a trivial extension of a closed, positive current over a pluripolar set is again closed. We also prove the hyperkaehler version of the Sibony's lemma, showing that a closed, positive $(2p,0)$-form defined outside of a compact complex subvariety $Z\subset (M,I)$, $\codim Z > 2p$ is locally integrable in a neighbourhood of $Z$. These results are used to prove polystability of derived direct images of certain coherent sheaves.

연구 동기 및 목표

• 하이퍼카일러 다양체에서 복소기하학의 양성 $(p,p)$-형식에 대한 허수부 버전을 개발한다.
• 다항집합을 통해 닫힘되고 양성인 전류를 확장하기 위한 하이퍼카일러 버전의 스코다-엘 미르 정리를 수립한다.
• 다중차원이 $>2p$인 부분다양체 외부에서의 양성 $(2p,0)$-형식의 국소적 적분 가능성에 대한 하이퍼카일러 버전의 시보니의 보조정리를 증명한다.
• 이 결과들을 하이퍼카일러 다양체에서 코herent sheaf의 유도된 직접 이미지의 다중안정성에 적용한다.

제안 방법

• SL(n,$\mathbb{H}$)-다양체에서 $\partial$-닫힘된 $(2p,0)$-형식을 닫힘된 $(n+p,n+p)$-형식으로 연결하기 위해 단사함수 ${\cal V}_{p,q}: \Lambda^{p+q,0}_I(M) \to \Lambda^{n+p,n+q}_I(M)$를 구성한다.
• 약한 양성 조건과 실수 조건을 사용하여 $(2p,0)$-형식의 양성성을 정의한다: $\eta(x_1, J(\bar{x}_1), \dots, x_p, J(\bar{x}_p)) \geq 0$ 이고 $\eta = J(\overline{\eta})$.
• 등사사상 ${\cal R}_{p,p}$를 사용하여 허수형식을 표준 복소 $(p,p)$-형식으로 매핑함으로써 고전적 복소해석 도구의 적용을 가능하게 한다.
• 근사형식 $R(\rho_i)$에 대한 스토크스 정리와 극한 추론을 사용하여 $\int_D \eta \wedge \rho \wedge \Omega^{n-2} \wedge \overline{\Omega}^n$ 형태의 적분을 유계화한다.
• 고전적 스코다-엘 미르 정리를 ${\cal R}_{p,p}$ 매핑을 통해 표준 복소기하학으로 문제를 이관함으로써 활용한다.
• 형식 $\eta \wedge R(\rho_i) \wedge \Omega^{n-2}$ 가 $Z$ 근처에서 $R(\rho_i)$ 가 0이 되므로 $U$ 상에서 잘 정의되고 양성임을 이용한다.

실험 결과

연구 질문

• RQ1 스코다-엘 미르 정리는 $\partial$-닫힘되고 양성인 $(2p,0)$-형식에 대해 하이퍼카일러 설정으로 확장될 수 있는가?
• RQ2 다중차원이 $>2p$인 컴팩트한 복소부분다양체 $Z$ 외부에서 정의된 닫힘되고 양성인 $(2p,0)$-형식은 $Z$ 근처에서 국소적으로 적분 가능한가?
• RQ3 하이퍼복소다양체에서 $(2p,0)$-형식의 양성 개념은 어떻게 형식화할 수 있으며, 이는 복소 $(p,p)$-형식의 양성과 유사하게 되는가?
• RQ4 단사함수 ${\cal V}_{p,p}$는 허수형식과 복소해석학적 호지 이론적 구조를 어떻게 연결하는가?
• RQ5 근사와 적분 유계화를 사용하여 하이퍼카일러 버전의 시보니의 보조정리를 증명할 수 있는가?

주요 결과

• 단사함수 ${\cal V}_{p,p}$ 는 $\partial$-닫힘되고 양성인 $(2p,0)$-형식을 닫힘되고 양성인 $(n+p,n+p)$-형식으로 매핑하며, 이 두 성질을 유지한다.
• 하이퍼카일러 버전의 스코다-엘 미르 정리가 성립한다: 다항집합 위에서 $\partial$-닫힘되고 양성인 $(2p,0)$-형식의 자명한 확장은 $\partial$-닫힌다.
• 시보니의 보조정리는 하이퍼카일러 설정에서 성립한다: 다중차원이 $>2p$인 부분다양체 $Z$ 외부에서 정의된 닫힘되고 양성인 $(2p,0)$-형식은 $Z$ 근처에서 국소적으로 적분 가능하다.
• 콤팩트한 $D \subset U \setminus Z$ 에 대해 적분 $\int_D \eta \wedge \Omega^{n-1} \wedge \overline{\Omega}^n$ 이 항상 유계이므로 국소적 적분 가능성이 보장된다.
• 증명은 적분을 스토크스 정리로 표현하고, 경계 $\partial U$ 에서 근사형식 $R(\rho_i)$ 의 수렴성을 보여줌으로써 기반한다.
• 이 결과들은 하이퍼카일러 다양체에서 일정한 코herent sheaf의 유도된 직접 이미지의 다중안정성을 증명하는 데 응용된다.