[논문 리뷰] Subvarieties in non-compact hyperkaehler manifolds

Misha Verbitsky|ArXiv.org|2003. 12. 31.

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

한 줄 요약

이 논문은 비콤파クト 하이퍼카일러 다양체에 대해, 모든 컴팩트 복소부분다양체가 모든 일반적인 유도된 복소構조 $ I \in \mathbb{C}P^1 $ 에 대해 삼분석적(모든 유도된 복소構조에 대해 복소해석적임)임을 증명한다. 유일한 예외는 가чёт한 예외 집합일 뿐이다. 이 결과는 하이퍼카일러 이론의 히지 이론에 기반한 콤팩트 케이스 정리(이전 결과)를 비콤팩트 설정으로 확장하며, 삼심플렉틱 면적 함수와 그 임계값을 사용하여, 이 함수의 일정성은 삼분석성임을 증명한다.

ABSTRACT

Let M be a hyperkaehler manifold, not necessarily compact, and $S\cong CP^1$ the set of complex structures induced by the quaternionic action. Trianalytic subvariety of M is a subvariety which is complex analytic with respect to all $I \in CP^1$. We show that for all $I \in S$ outside of a countable set, all compact complex subvarieties $Z \subset (M,I)$ are trianalytic. For M compact, this result was proven in alg-geom/9403006 using Hodge theory.

연구 동기 및 목표

• 콤팩트 하이퍼카일러 다양체에서 컴팩트 복소부분다양체가 삼분석적이라는 알려진 결과를 비콤팩트 케이스로 확장하는 것.
• 혼합 히지 체계로 인해 히지 이론이 적용 불가능한 비콤팩트 하이퍼카일러 다양체에서 컴팩트 복소부분다양체의 행동을 이해하는 것.
• 모든 컴팩트 부분다양체가 삼분석적임을 보장하는 일반적인 유도된 복소구조 $ I \in \mathbb{C}P^1 $ 를 특성화하는 것.
• 삼심플렉틱 면적 함수 $ V_Z(L) $ 를 이용한 삼분석성의 기준을 수립하는 것. 이 함수가 상수일 때이고 그때에만 $ Z $ 가 삼분석적임을 보여준다.

제안 방법

• 모든 $ L = aI + bJ + cK \in \mathbb{C}P^1 $ 에 대해 삼심플렉틱 면적 함수 $ V_Z(L) = \frac{1}{n!2^n} \int_Z (a\omega_I + b\omega_J + c\omega_K)^n $ 를 정의한다. 이 함수는 각 복소구조에 대한 심플렉틱 면적을 측정한다.
• Wirtinger 부등식을 사용하여 $ V_Z(L) \leq \text{Area}_g(Z) $ 를 보이며, 등호는 $ Z $ 가 $ (M,L) $ 에서 복소해석적일 때에만 성립함을 보인다.
• 모든 호모로지 클래스에 대해 $ V_Z $ 가 $ \mathbb{C}P^1 \cong S^2 $ 상의 다항함수임을 증명한다. 따라서 임계점은 유한하다.
• 모든 비상수 $ V_{[Z]} $ 에 대해 $ I \in \mathbb{C}P^1 $ 가 $ V_{[Z]} $ 의 최댓값을 갖지 않는 경우, 복소구조 $ I $ 는 일반적이라고 정의하고, 비일반적 $ I $ 의 집합이 가чёт하다는 것을 보인다.
• Wirtinger 부등식의 등호 조건에 기반하여, $ V_Z $ 가 $ \mathbb{C}P^1 $ 전반에서 일정할 때 삼분석성이 성립함을 증명하는 기준을 사용한다.
• 이 기준을 적용하여, 일반적 $ I $ 에 대해 $ (M,I) $ 내 모든 컴팩트 복소부분다양체가 삼분석적임을 보인다.

실험 결과

연구 질문

• RQ1 비콤팩트 하이퍼카일러 다양체의 유도된 복소구조 $ I \in \mathbb{C}P^1 $ 중에서 모든 컴팩트 복소부분다양체가 삼분석적일 조건은 무엇인가?
• RQ2 특히 비콤팩트 설정에서 히지 이론에 의존하지 않고 부분다양체의 삼분석성을 특성화할 수 있는가?
• RQ3 삼심플렉틱 면적 함수 $ V_Z(L) $ 는 삼분석 부분다양체를 탐지하는 데 어떤 역할을 하는가?
• RQ4 면적 함수 $ V_Z $ 가 최댓값을 갖는 비일반적 복소구조 집합은 비삼분석 부분다양체의 존재와 어떻게 관련이 있는가?

주요 결과

• 모든 비콤팩트 하이퍼카일러 다양체 $ M $ 에 대해, $ \mathbb{C}P^1 $ 의 가чёт한 부분집합 $ S_0 \subset \mathbb{C}P^1 $ 이 존재하여, 모든 $ I \notin S_0 $ 에 대해 $ (M,I) $ 내 모든 컴팩트 복소부분다양체가 삼분석적임을 보장한다.
• 삼심플렉틱 면적 함수 $ V_Z(L) $ 는 부분다양체 $ Z \subset M $ 가 삼분석적일 때이고 그때에만 상수이다.
• 함수 $ V_Z $ 는 $ \mathbb{C}P^1 $ 상의 다항함수이며, 각 호모로지 클래스에 대해 임계점(최댓값)은 유한하다. 이는 비일반적 복소구조가 가чёт하다는 것을 의미한다.
• 모든 비상수 $ V_{[Z]} $ 에 대해 $ I \in \mathbb{C}P^1 $ 가 $ V_{[Z]} $ 의 최댓값을 갖지 않는 경우, 복소구조 $ I $ 는 일반적이라고 정의되며, 비일반적 $ I $ 의 집합은 가чёт하다.
• 일반적 $ I $ 에 대해 $ (M,I) $ 는 양의 차원을 가진 컴팩트 부분다양체를 가지지 않으며, 따라서 삼분석 부분다양체 외에는 존재하지 않는 한 비대수적이다.
• 이 결과는 [V1] 에서의 콤팩트 케이스 결과를 비콤팩트 다양체로 일반화하며, 히지 이론을 피하기 위해 삼심플렉틱 면적 함수와 $ \mathbb{C}P^1 $ 상의 다항함수 성질을 사용한다.