[논문 리뷰] Foliations on complex projective surfaces

Marco Brunella|ArXiv.org|2002. 12. 05.

Geometry and complex manifolds참고 문헌 11인용 수 22

한 줄 요약

이 논문은 오비폴드 이론적 접근을 통해 복소 프로젝티브 표면 위의 분할을 체계적으로 분류한다. 주로 코다이라 차수와 정규 번들의 성질을 중심으로 하며, 맥키일란의 프레임워크를 브륀엘라 등 다른 이들의 보완으로 확장하여, 카일러 표면—특히 K3 및 토러스 표면—위의 분할이 리치atti, 난류, 또는 군에 대한 몫으로서 유도된 쿠머 분할임을 보여준다.

ABSTRACT

These are lecture notes of a course given in Pisa, SNS, in february 2002. They provide a classification of holomorphic foliations of nongeneral type on compact Kaehler surfaces.

연구 동기 및 목표

• 코다이라 차수에 따라 복소 프로젝티브 표면 위의 헬모르피크 분할을 분류함으로써 맥키일란의 기초적 연구를 확장한다.
• 특히 순환 몫 특이점이 존재하는 경우에, 오비폴드 시각을 통해 고전적 결과를 재구성한다.
• 정규 번들과 카일러 메트릭을 분석하여, 토러스와 K3 표면을 포함한 컴acts 카일러 비프로젝티브 표면로 분류를 확장한다.
• K3 표면에서 정규 번지 $K_{\cal F}$가 준효율적일 경우, 반드시 수치적으로 자명해야 하며, 크로네커 분할에 대한 몫으로서 유도됨을 보여준다.
• 모든 카일러 표면 위의 분할은 표면의 대수적 차수에 따라 난류, 쿠머, 또는 해석적(크로네커) 분할임을 규명한다.

제안 방법

• 순환 몫 특이점이 있는 표면 위의 분할을 정의하기 위해 오비폴드 프레임워크를 사용하며, 정규 번지 $K_{\cal F}$를 $\mathbb{Q}$-번들을 포함하도록 다룬다.
• 표면의 정규 번지와 분할의 정규 및 쌍대정규 번지 사이의 관계를 기술하기 위해 항등식 $K_X = K_{\cal F} \otimes N_{\cal F}^*$ 를 적용한다.
• K3 표면에서 $\mathbb{Q}$-번지에 대한 자르스키 분해를 적용하여 $K_{\cal F} = P + N$ 로 표현하며, $P$ 는 준효율적이고 $N$ 은 수축 가능한 지지를 가진 유효한 번지이다.
• 유우의 정리에 의해 K3 표면에서 접속 벡터 번지의 반안정성에 기반하여, 모든 카일러 형식 $\omega$ 에 대해 $c_1(K_{\cal F}) \cdot [\omega] \geq 0$ 이 성립함을 도출한다.
• K3 표면에서 $L \cdot L \geq 0$ 이고 $h^0(L) \leq 1$ 을 만족하는 유일한 번지는 자명한 번지임을 이용하여, $P$ 가 수치적으로 자명함을 증명한다.
• 정규 번지 $K_{{\cal F}^\prime}$ 가 해석적으로 자명해지는 유한 에탈 커버 $Y \to X'$ 를 구성함으로써, $Y$ 가 토러스이고 $\cal F$ 가 쿠머 분할임을 유도한다.

실험 결과

연구 질문

• RQ1 코다이라 차수를 통해 복소 프로젝티브 표면 위의 분할을 어떻게 시스템적으로 정리할 수 있는가?
• RQ2 오비폴드 구조는 순환 몫 특이점이 있는 표면로 분할 이론을 확장할 때 어떤 역할을 하는가?
• RQ3 특히 K3 및 토러스 표면에서 컴팩트 카일러 비프로젝티브 표면 위의 분할은 어떤 유형이 가능한가?
• RQ4 K3 표면에서 $K_{\cal F}$ 의 준효율성은 분할 기하학에 어떤 제약을 가하는가?
• RQ5 알고리즘 차수 0인 카일러 표면 위의 모든 분할은 크로네커 분할의 몫으로서 실현될 수 있는가?

주요 결과

• 카일러 비프로젝티브 표면에서 대수적 차수 1을 가지며 타원 섬유 분할과 수직인 분할은 난류 분할이며, 이러한 분할은 이와 같이 분류된다.
• 토러스에서는 곡선이 존재하지 않기 때문에 유일한 가능한 분할은 상수 벡터장에 의해 생성되는 크로네커 분할 뿐이다.
• K3 표면에서는 유한한 기저 변경 후 정규 번지 $K_{\cal F}$ 는 반드시 수치적으로 자명해야 하며, 이는 $K_{\cal F}^{\otimes n} \cong \mathcal{O}_X(E)$ 를 만족하는 유효한 인피르터 $E$ 가 존재함을 의미한다.
• K3 표면에서 $P \cdot P \geq 0$ 이고 $h^0(P) \leq 1$ 을 만족하는 유일한 $\mathbb{Q}$-번지는 자명한 번지이므로, $P$ 는 반드시 수치적으로 자명하다.
• 자르스키 분해에서 음의 부분의 지지를 수축한 후, 분할은 표면 $X'$ 의 유한 에탈 커버 $Y$ 로 올라가며, 이때 $Y$ 는 토러스이고, 그 올린 분할은 크로네커 분할이 된다.
• 따라서 K3 표면 위의 모든 분할은 쿠머 분할—즉, 유한 순환군에 대한 크로네커 분할의 몫—으로서 유도되며, 이는 완전한 분류를 제공한다.