[논문 리뷰] Parabolic nef currents on hyperkaehler manifolds

Misha Verbitsky|arXiv (Cornell University)|2009. 07. 24.

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

한 줄 요약

이 논문은 초카일러 다양체에서, 상한이 0인 상위 전력과 함께 한계가 Kähler 형식인 파라볼릭 네프 전류의 르렝고 집합이 코이스otropic 부분다양체임을 증명한다. 일반적인 초카일러 다양체에서 파카르드 랭크가 1이면, 모든 르렝고 수치가 0이 되며, 이 경우 파라볼릭인 Pic(M)의 생성자가 존재하면 비자명한 코이스otropic 부분다양체가 존재한다.

ABSTRACT

Let M be a compact, holomorphically symplectic Kahler manifold, and $η$ a (1,1)-current which is nef (a limit of Kahler forms). Assume that the cohomology class of $η$ is parabolic, that is, its top power vanishes. We prove that all Lelong sets of $η$ are coisotropic. When M is generic, this is used to show that all Lelong numbers of $η$ vanish. We prove that any hyperkahler manifold with Pic(M) of rank 1 has non-trivial coisotropic subvarieties, if a generator of Pic(M) is parabolic.

연구 동기 및 목표

• 초카일러 다양체에서의 파라볼릭 네프 전류의 대수기하학적 성질을 연구하기 위해.
• 코이스otropic 기하학을 이용해 파라볼릭 네프 전류의 르렝고 집합의 구조를 규명하기 위해.
• 특히 일반적인 초카일러 다양체에서 르렝고 수치가 소멸하는 조건을 확립하기 위해.
• 파카르드 군이 Z이고 첫 번째 체르누클 클래스가 파라볼릭일 경우 비자명한 코이스otropic 부분다양체가 존재함을 증명하기 위해.
• 초카일러 SYZ 추측과 보고몰로프-보에유브일-후지키 형식을 네프 전류의 기하학과 연결하기 위해.

제안 방법

• quadratic form $ q(\eta,\eta) $의 소멸을 통해 보고몰로프-보에유브일-후지키 형식을 사용해 파라볼릭 클래스를 정의하기 위해.
• 네프 전류의 정규화 기법을 적용하여 수렴하는 양의 폐형식의 극한을 구성함으로써 전류 $ \eta $를 유도하기 위해.
• 후지키 공식을 적용하여 $ q(\eta,\eta) = 0 $ 이면 $ \eta^{n+1} = 0 $ 임을 유도함으로써 상위 전력의 소멸을 유도하기 위해.
• 전류 $ \eta $에 의해 지배되는 부분다양체를 $ \eta^p - c[Z] \geq 0 $ 를 만족하는 어떤 $ c > 0 $ 에 대해 정의함으로써 $ \eta $-코이스otropic 부분다양체를 정의하기 위해.
• $ \Omega^{n-p+1} \wedge \overline{\Omega}^{n-p+1} $ 의 약한 양성과 코homological 소멸을 사용하여 $ \eta^{n-p+1} \wedge [Z] = 0 $ 임을 보이고, 이로부터 코이스otropic 성질을 유도하기 위해.
• 일반적인 초카일러 다양체에서 모든 부분다양체는 해석적 심플렉틱 구조를 가지므로, 비자명한 코이스otropic 부분다양체가 존재하지 않으면 르렝고 수치가 0이 되어야 한다는 사실을 활용하기 위해.

실험 결과

연구 질문

• RQ1 초카일러 다양체에서 파라볼릭 네프 전류의 르렝고 집합의 기하학적 성격은 무엇인가?
• RQ2 파라볼릭 네프 전류의 르렝고 수치가 소멸하는 조건은 무엇인가?
• RQ3 $ \operatorname{Pic}(M) = \mathbb{Z} $ 이고 $ \operatorname{Pic}(M) $ 의 생성자가 파라볼릭인 초카일러 다양체는 반드시 비자명한 코이스otropic 부분다양체를 가질까?
• RQ4 초카일러 SYZ 추측은 네프 전류의 코homological 및 기하학적 성질과 어떻게 관련이 있는가?
• RQ5 코이스otropic 조건은 코homological 소멸과 전류의 양성에 의해 특징지을 수 있는가?

주요 결과

• 초카일러 다양체에서 파라볼릭 네프 전류 $ \eta $ 의 모든 르렝고 집합은 해석적 심플렉틱 형식에 대해 코이스otropic 부분다양체이다.
• 일반적인 초카일러 다양체에서 전류 $ \eta $ 의 코homology 계열이 파라볼릭이면서 네프일 경우, $ \eta $ 의 모든 르렝고 수치는 0이 된다.
• $ \operatorname{Pic}(M) = \mathbb{Z} $ 인 초카일러 다양체에서 $ \operatorname{Pic}(M) $ 의 생성자가 파라볼릭이면, $ c_1(L) $ 은 유리수 다발로 표현되거나 $ M $ 은 비자명한 코이스otropic 부분다양체를 포함한다.
• $ \eta $-코이스otropic 조건은 부분다양체 $ Z $ 가 $ [\eta]^{n-p+1}|_Z = 0 $ 를 만족함을 의미하며, 여기서 $ p $ 는 $ Z $ 의 복소 codimension 이다.
• 코이스otropic 조건은 $ Z $ 의 매끄러운 부분에서 $ \Omega^{n-p+1} $ 이 0이 되는 것으로 동치이며, 이는 심플렉틱 공간에서 가능한 최소 랭크인 부분공간에 해당한다.
• 증명은 $ \eta^{n+1} $ 의 코homological 소멸과 $ \eta^p \wedge \Omega^{n-p+1} \wedge \overline{\Omega}^{n-p+1} $ 의 양성에 기반하며, 이는 전류가 $ Z $ 에서 0이 되도록 강제한다.