[논문 리뷰] Logarithmic Foliations

Dominique Cerveau, Alcides Lins Neto|arXiv (Cornell University)|2018. 03. 23.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 복소수 사영 공간 위에서 임의의 코디멘션을 가진 특이점이 있는 초곡면 위에 근거한 로그형 미분형식을 통해 특이한 흔들림이 있는 폐쇄된 로그형 $p$-형식의 정규형을 설정한다. 주요 결과는 이러한 형식이 잔여계수 $\lambda_I$를 가진 로그형 1-형식 $\frac{df_i}{f_i}$들의 외적의 합과 정확한 항의 합으로 분해된다는 것이다. 이는 구성 요소의 수와 코디멘션에 대한 조건 하에서 성립한다.

ABSTRACT

The purpose of this paper is to study singular holomorphic foliations of arbitrary codimension defined by logarithmic forms on projective spaces.

연구 동기 및 목표

• 폐쇄된 유리형 1-형식의 정규형을 복소다양체 위에서 고차원 로그형 $p$-형식($p \geq 2$)으로 일반화한다.
• 기원점 외부에서 엄격한 일반적 특이점을 가진 초곡면에 따라 극을 가지는 폐쇄된 로그형 $p$-형식의 구조를 특성화한다.
• 이러한 $p$-형식이 정확하거나 잔여계수 $\lambda_I$를 포함하는 분해를 갖는 조건을 설정한다.
• 코homological 기법과 특이점의 해소를 통해 1-형식의 결과를 고차원 코디멘션으로 확장한다.
• 고립된 특이점을 가진 해석적 집합 위에서 미분형식의 확장 정리를 증명하며, Leray와 Cartan 정리를 활용한다.

제안 방법

• 엄격한 일반적 특이점(s.o.s.)을 가진 초곡면의 개념을 도입한다. 이는 모든 교차 $\{f_{i_1}=\cdots=f_{i_k}=0\}$ 가 기원점을 제외한 곳에서 매끄럽게 이루어지는 축약된 헬름홀로직 함수 $f_j$로 정의된다.
• 기원점 근처의 국소 좌표를 사용하여 형식 $\eta$를 $\frac{df_i}{f_i}$로 표현함으로써, $p$-토러스 $T_\epsilon^p$ 를 통한 잔여적 적분이 가능하게 한다.
• 밀레의 정리(폐쇄된 로그형 형식이 컴acts Kähler 다양체에서 정의될 때)를 적용하여, 정규 교차 조건 하에서 $\eta$의 폐쇄성을 확립한다.
• Leray 및 Cartan 정리를 통한 코homological 소멸을 이용한 귀납법을 통해, 구멍이 난 해석적 집합에서 전체 이웃으로의 형식의 확장을 증명한다.
• 형식을 프로젝션 공간에 투영하기 위해 내적 $i_R$ 를 활용하여 동차좌표와의 일관성을 확보한다.
• δ-복합체와 Čech 코homology를 활용하여 $H^k(\mathcal{U}, \Omega^\ell)$의 코homology 군의 소멸을 분석함으로써, 확장 결과에 핵심적인 영향을 미친다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 엄격한 일반적 특이점을 가진 초곡면에 따라 극을 가지는 폐쇄된 로그형 $p$-형식이 $\frac{df_{i_1}}{f_{i_1}} \wedge \cdots \wedge \frac{df_{i_p}}{f_{i_p}}$의 선형 조합으로 표현될 수 있는가?
• RQ2 이러한 형식이 정확한지, 그리고 $\eta = \sum \lambda_I \cdot \frac{df_{i_1}}{f_{i_1}} \wedge \cdots \wedge \frac{df_{i_p}}{f_{i_p}} + d\Theta$ 형태의 잠재함수 $\Theta$ 의 구조는 어떠한가?
• RQ3 수치적 잔여량 $\lambda_I$ 는 극의 분할의 위상수학적 성질과 어떻게 관련되어 있으며, $p$-토러스를 통한 적분을 통해 계산될 수 있는가?
• RQ4 어떤 코homological 조건이 구멍이 난 해석적 집합 위의 로그형 형식이 전체 이웃으로 확장될 수 있도록 보장하는가?
• RQ5 형식의 분해를 결정하는 데 있어 코디멘션 $n - p$ 와 구성 요소의 수 $r$ 의 역할은 무엇인가?

주요 결과

• 만약 $n \geq p+2$ 이고 $r < p$ 라면, 엄격한 일반적 특이점을 가진 초곡면에 따라 극을 가지는 폐쇄된 로그형 $p$-형식 $\eta$ 는 정확하다: $\eta = d\Theta$, 여기서 $\Theta$ 는 로그형이지만 비폐쇄적이다.
• 만약 $r \geq p$ 라면, $\eta$ 는 $\eta = \sum_{I \in \mathcal{S}_r^p} \lambda_I \cdot \frac{df_{i_1}}{f_{i_1}} \wedge \cdots \wedge \frac{df_{i_p}}{f_{i_p}} + d\Theta$ 와 같이 분해되며, $\lambda_I \in \mathbb{C}$ 는 수치적 잔여량이다.
• 잔여량 $\lambda_I$ 는 적분 $\lambda_I = \frac{1}{(2\pi i)^p} \int_{T_\epsilon^p} \eta$ 를 통해 계산되며, 여기서 $T_\epsilon^p$ 는 $\{f_{i_1} = \cdots = f_{i_p} = 0\} \setminus \{0\}$ 에 둘러싸인 $p$-토러스이다.
• 사영 공간 $\mathbb{P}^n$ 의 경우, 극의 분할이 기원점 외부에서 엄격한 일반적 특이점을 가지며 $r \geq p+1$ 라면, $\eta$ 는 $\frac{df_i}{f_i}$ 들의 외적의 선형 조합이며 정확한 항이 없고, $i_R \eta = 0$ 이다.
• 만약 $\ell \leq k - 2$ 이고 $k = \dim X$ 라면, 유도와 코homological 소멸을 통해 $X \setminus \{0\}$ 에서 전체 이웃으로의 로그형 형식의 확장이 보장된다.
• 코homology 군 $H^k(\mathcal{U}, \Omega^\ell)$ 는 $k \geq 1$, $k + \ell \leq r$ 일 때 소멸하며, 이는 $\delta$-복합체와 Leray 정리를 통해 폐쇄된 형식의 확장을 가능하게 한다.