On the connectedness of the singular set of holomorphic foliations

논문 요약: 홀로모르픽 포엽의 특이점 집합의 연결성

1. 연구 배경 및 문제 제기 (Problem)

• 배경: 1960 년대 Raoul Bott 는 위상적 제약이 전역적으로 적분 가능한 포엽 구조의 존재를 방해할 수 있음을 보였습니다 (Bott 의 소거 정리). 이는 정칙 분포 (holomorphic distributions) 의 적분성에 대한 위상적 장애물을 연구하는 'Bott 현상'의 일부입니다.
• 문제: $n$차원 사영 다양체 $X$ 위의 $k$차원 ($k>1$) 특이 홀로모르픽 포엽 $\mathcal{F}$가 주어졌을 때, 그 특이점 집합 $Sing(\mathcal{F})$의 구조, 특히 $k-1$차원 성분의 연결성에 대한 질문이 제기되었습니다.
• 구체적 질문: D. Cerveau 는 사영 공간 $\mathbb{P}^3$ 위의 2 차원 (코디멘션 1) 포엽에 대해, 특이점 집합의 $k-1$차원 성분이 연결되어 있는지 여부에 대한 질문을 던졌습니다.
• 목표: 본 논문은 포엽의 법선 다발 (normal sheaf) 의 결정선 다발 (determinant line bundle) 이 ample 할 때, 특이점 집합 중 $k-1$차원인 성분이 반드시 연결되어 있음을 증명하여 위상적 장애물을 제시하는 것입니다.

2. 주요 가정 및 정의 (Assumptions & Definitions)

• 환경: $X$는 $n$차원 사영 다양체, $\mathcal{F}$는 $k$차원 ($k>1$) 특이 홀로모르픽 포엽.
• 정규 다발 (Normal Sheaf): $N\mathcal{F}$는 정합적이고 비틀림이 없는 (torsion-free) 코히어런트 층.
• 핵심 가정:
  1. $N\mathcal{F}$의 결정선 다발 $\det(N\mathcal{F})$가 ample (충분히 큰) 하다.
  2. 특이점 집합 $Sing(\mathcal{F})$의 차원은 $\le k-1$.
• 특이점 집합 분해: $Sing(\mathcal{F}) = Z \cup Z_-$로 분해. 여기서 $Z$는 차수가 정확히 $k-1$인 성분들의 합집합이고, $Z_-$는 더 낮은 차수의 성분들.

3. 연구 방법론 (Methodology)

본 논문은 Baum-Bott 잔류 (Baum-Bott residues) 이론을 핵심 도구로 사용합니다.

1. 잔류의 국소화: Baum-Bott 정리에 따라, Chern 수 $c_1(N\mathcal{F})^{n-k+1}[X]$는 특이점 집합의 각 연결 성분 $Z_1, \dots, Z_s$ ($k-1$차원) 에서 국소화된 잔류 (residue) 로 분해됩니다. 이 잔류들은 $H_{2k-2}(Z_i)$에 속합니다.
2. 코호몰로지 변환: 잔류를 호몰로지 대신 코호몰로지에서 다루기 위해 Poincaré 쌍대성 (Poincaré duality) 을 사용하여 $H^{2(n-k+1)}(X)$로 변환합니다.
3. Ample 조건 활용: $\det(N\mathcal{F})$가 ample 이라는 조건을 이용하여, 각 연결 성분 $Z_i$에서의 잔류가 전체 Chern 수 $c_1(N\mathcal{F})^{n-k+1} \cap [X]$와 일치함을 유도합니다.
4. 계산적 증명:
   • 각 연결 성분 $Z_i$에 대해 잔류를 계산할 때, $\det(N\mathcal{F})$의 ample 성질과 교차곱 (cup product) 을 통해 각 성분이 전체 Chern 수의 양의 정수배만큼 기여함을 보입니다.
   • 전체 Chern 수는 0 이 아니므로, 이를 구성하는 연결 성분의 개수 $s$가 1 이어야 함을 유도합니다.

4. 주요 결과 (Key Results)

Theorem 1 (주정리):

• $X$를 $n$차원 사영 다양체, $\mathcal{F}$를 $k>1$차원 홀로모르픽 포엽이라 하고, $\det(N\mathcal{F})$가 ample 이라고 가정하자.
• 특이점 집합 $Sing(\mathcal{F})$를 $k-1$차원 성분들의 합집합 $Z$와 그보다 낮은 차수 성분 $Z_-$로 나눈다면, $Z$는 반드시 연결된 집합 (connected set) 이다.
• 의미: 이는 특이점 집합의 $k-1$차원 성분이 여러 개의 분리된 조각으로 나뉠 수 없음을 의미합니다.

Corollary 1 (코롤러리 1):

• $X$가 $h^1(\mathcal{O}_X)=0$인 매끄러운 사영 3-다양체이고, $\mathcal{F}$가 코디멘션 1 포엽일 때, $C$를 1 차원 특이점 성분의 합집합이라 하자.
• $C$가 reduced 이고 $\det(N\mathcal{F})$가 ample 이며, 특정 코호몰로지 조건 ($h^1, h^2$ 소거) 을 만족하면, 포엽의 고립된 특이점의 개수 (중복도 포함) 는 $h^2(\mathcal{F} \otimes \det(N\mathcal{F})^*)$와 일치한다.
• 특히 $X=\mathbb{P}^3$인 경우 이 공식이 성립합니다.

Corollary 2 (코롤러리 2):

• $\mathbb{P}^3$ 위의 코디멘션 1 포엽 $\mathcal{F}$의 접선 층 (tangent sheaf) 이 국소 자유 (locally free) 라면, 다음 중 하나만 성립합니다:
  1. $\mathcal{F}$가 평면의 펜실 (pencil of planes) 이다.
  2. $Sing(\mathcal{F})$가 특이점 (singular) 을 가진 곡선이다.
• 즉, 국소 자유 접선 층을 가진 포엽의 특이점 집합이 매끄러운 곡선일 수는 없습니다 (펜실 제외).

5. 의의 및 중요성 (Significance)

1. 적분성에 대한 위상적 장애물: 본 결과는 Bott 의 정리를 확장하여, 특이 홀로모르픽 분포의 적분성 (integrability) 에 대한 새로운 위상적 장애물을 제시합니다. 즉, 특이점 집합의 위상적 구조 (연결성) 가 분포가 적분 가능한 포엽이 될 수 있는지를 결정합니다.
2. Cerveau 의 문제 해결: D. Cerveau 가 제기한 $\mathbb{P}^3$ 위의 2 차원 포엽에 대한 질문 (특이점 집합의 1 차원 성분이 연결되는가?) 에 대해 긍정적으로 답했습니다.
3. 조건의 필요성 (Sharpness):
   • Ample 조건: $\det(N\mathcal{F})$가 ample 하지 않으면 정리가 성립하지 않음을 예시 (Hopf manifold, 곱공간 등) 를 통해 보였습니다.
   • 차원 조건: $k>1$이어야 하며, $n \le 2(k-1)$인 경우 사영 공간의 기하학적 성질상 $k-1$차원 부분다양체들이 항상 교차하므로 연결성이 자명해짐을 지적했습니다. 따라서 정리의 핵심은 $n > 2k-2$인 범위에서 유효합니다.
4. 응용: Corollary 2 를 통해, $\mathbb{P}^3$에서 국소 자유 접선 층을 가진 포엽의 특이점 구조에 대한 강한 제약을 도출했습니다. 이는 Cerveau 가 제기한 "국소 자유 접선 층을 가진 포엽의 분류" 문제에 대한 중요한 부분적 해답을 제공합니다.

6. 결론

이 논문은 Baum-Bott 잔류 이론과 ample 다발의 성질을 결합하여, 홀로모르픽 포엽의 특이점 집합이 가질 수 있는 위상적 구조에 대한 강력한 제약을 증명했습니다. 특히, 특이점 집합의 $k-1$차원 성분이 연결되어야 한다는 사실은 포엽이 적분 가능한지 여부를 판별하는 강력한 도구로 작용하며, 사영 공간 위의 포엽 이론과 대수기하학의 교차점에서 중요한 진전을 이루었습니다.