On the discriminant locus of a generic projection

이 논문은 대수기하학, 특히 사영 공간 내의 매끄러운 사영 다양체 (smooth projective variety) 의 **일반적인 사영 (generic projection)**과 그 **판별식 (discriminant)**의 기하학적 성질을 연구한 것입니다. 저자 류시양 (Si-Yang Liu) 과 장이룡 (Yilong Zhang) 은 사영 쌍대성 (projective duality) 을 활용하여 판별식 집합의 구조를 규명하고, 그 위상수학적 성질 (기본군) 을 브레이드 군 (braid group) 과 연결했습니다.

다음은 이 논문의 상세한 기술적 요약입니다.

---

1. 연구 문제 (Problem)

대수적으로 닫힌 체 $k$ (특성 0) 위의 매끄러운 사영 다양체 $X \subset \mathbb{P}^N$ 가 주어졌을 때, $X$를 더 낮은 차원의 사영 공간 $\mathbb{P}^k$ 로 사영하는 일반적인 사영 (generic projection) $\pi: X \dashrightarrow \mathbb{P}^k$ 를 고려합니다.

• 핵심 질문: 이 사영 과정에서 발생하는 판별식 집합 (discriminant locus) $\Delta$는 어떤 기하학적 구조를 가지는가?
  • $\Delta$의 차원, 기약성 (irreducibility), 차수 (degree), 특이점 (singularities) 은 어떻게 결정되는가?
  • 특히, $\Delta$는 $X$의 쌍대 다양체 (dual variety) $X^\vee$와 어떤 관계가 있는가?
  • 복소수 체 ($\mathbb{C}$) 위에서 $\Delta$의 여집합의 기본군 (fundamental group) 은 어떤 구조를 가지는가?

이 연구는 고전적인 레프셰츠 펜실 (Lefschetz pencil, $k=1$) 이론을 고차원 선형 부분계 (higher-dimensional linear subsystem, $k \ge 2$) 로 일반화하는 것을 목표로 합니다.

2. 방법론 (Methodology)

저자들은 다음과 같은 주요 기법들을 종합적으로 활용했습니다:

1. 사영 쌍대성 (Projective Duality):
   • $X$의 쌍대 다양체 $X^\vee$와 $X$의 일반 선형 절단 (linear section) 사이의 관계를 분석합니다.
   • 이중성 정리 (Biduality): $X^{\vee\vee} \cong X$를 기반으로, $X$의 사영에 대한 판별식과 $X^\vee$의 선형 절단이 서로 쌍대임을 증명합니다.
2. 매끄러운 판별식 (Smooth Discriminant) 의 정의:
   • 고전적인 피팅 이상 (Fitting ideal) 에 의한 판별식과 구별하여, 사영의 매끄러운 부분 (smooth locus) 에서 접사상이 전사 (surjective) 가 아닌 점들의 상으로 정의된 매끄러운 판별식을 도입합니다. 이는 특이점이 있는 전체 공간의 경우에도 유용하게 작용합니다.
3. 순수성 정리 (Purity Theorem):
   • Zariski-Nagata 순수성 정리를 일반화하여, 정규 다양체 (normal variety) 에서의 유한 사영의 분기 집합 (branch locus) 이 초곡면 (hypersurface) 이거나 공집합임을 보입니다.
4. 모노드로미 (Monodromy) 와 브레이드 군:
   • 복소수 체 위에서, 판별식 여집합의 기본군이 브레이드 군 (braid group) 으로 사상 (surjection) 된다는 것을 보이기 위해, 브레이드 모노드로미 표현을 구성합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

3.1. 판별식 집합의 쌍대성 (Duality of Discriminant Locus)

• 주요 정리 (Theorem 1.3, 4.1): $X \subset \mathbb{P}^N$의 일반적인 사영 $\pi: X \dashrightarrow \mathbb{P}^k$의 판별식 집합 $\Delta$의 쌍대 다양체 $\Delta^\vee$는, $X$의 쌍대 다양체 $X^\vee$를 $\mathbb{P}^k$의 쌍대 공간에 대응하는 일반 선형 부분공간으로 절단한 것과 일치합니다.
  • 수식적으로: $\Delta^\vee = X^\vee \cap \mathbb{P}^k$ (적절한 식별 하에서).
  • 이는 $X$의 선형 절단 (hyperplane sections family) 과 $X$의 일반 사영 (generic projection) 이 서로 **사영적으로 쌍대 (projectively dual)**임을 의미합니다.

3.2. 판별식의 순수성 (Purity of Discriminant)

• 주요 정리 (Theorem 1.4, 5.3): $X$가 정규 (normal) 다양체이고 사영이 지배적 (dominant) 일 때, 판별식 $\Delta$는 다음 세 가지 경우 중 하나입니다:
  1. $X^\vee$의 여차원 (codimension) 이 $k$보다 작으면: $\Delta$는 **기약 초곡면 (irreducible hypersurface)**입니다.
  2. $X^\vee$의 여차원이 $k$와 같으면: $\Delta$는 유한 개의 초평면들의 합집합입니다.
  3. $X^\vee$의 여차원이 $k$보다 크면: $\Delta$는 공집합입니다.
• 의미: 지배적인 일반 사영의 판별식은 항상 **순수 여차원 1 (pure codimension one)**이거나 공집합입니다. 이는 고전적인 Zariski-Nagata 정리의 일반화입니다.
• 쌍대 결손 (Dual Defect) 다양체: 만약 $\Delta$가 공집합이라면, $X$는 '쌍대 결손 다양체 (dual defective variety)'입니다. 이는 $k=1$인 경우 레프셰츠 펜실이 매끄러운 가환 (smooth fibration) 이 됨을 의미하며, 곡선과 곡면의 경우 선형 다양체 (linear) 가 아니면 쌍대 다양체가 초곡면임을 재증명합니다.

3.3. 판별식의 차수 (Degree of Discriminant)

• 폴라 영역 (Polar Locus) 과의 관계: 판별식 집합은 $X$의 **폴라 영역 (polar locus)**의 사영 이미지와 일치함을 보였습니다.
• 차수 공식 (Proposition 1.7): 판별식 $\Delta_k$의 차수는 교차 이론 (intersection theory) 을 통해 다음과 같이 계산됩니다.
  $$\deg(\Delta_k) = \int_{N^\vee_{\mathbb{P}^N}X} \pi_1^* H^{k-1} \cdot \pi_2^* (H_1)^{N-k}$$
  여기서 $H$와 $H_1$은 각각 $\mathbb{P}^N$과 그 쌍대 공간의 초평면 클래스입니다. 이를 통해 폴라 영역의 차수에 대한 고전적 결과들을 재회복했습니다.

3.4. 모노드로미와 브레이드 군 (Monodromy and Braid Group)

• 주요 정리 (Theorem 1.8): 복소수 체 $\mathbb{C}$ 위에서, $Y \subset \mathbb{P}^{N+1}$이 차수 $m$인 정규 초곡면 (normal hypersurface) 일 때, $Y$에서 $\mathbb{P}^N$으로의 일반 선형 사영에 의해 생성된 분기 분포 (branch divisor) $\Delta$에 대해 다음이 성립합니다:
  1. $\deg(\Delta) = m(m-1)$.
  2. 브레이드 모노드로미 표현 (Braid monodromy representation) $\pi_1(\mathbb{P}^N \setminus \Delta) \twoheadrightarrow B_m$이 존재하며, 이는 **전사 (surjective)**입니다.
  • 여기서 $B_m$은 $m$개의 점에 대한 브레이드 군입니다.
• 응용: $X$의 쌍대 다양체 $X^\vee$가 정규 초곡면인 경우, $X^\vee$의 여집합의 기본군도 브레이드 군으로 사상됩니다. (예: 2 차 베로네사 다양체 $v_2(\mathbb{P}^2)$의 쌍대 다양체인 3 차 초곡면의 경우, 기본군은 $B_4$입니다.)

4. 의의 및 중요성 (Significance)

1. 이론적 일반화: 고전적인 레프셰츠 펜실 이론 ($k=1$) 을 고차원 사영 ($k \ge 2$) 으로 확장하여, 판별식 집합의 구조를 체계적으로 이해하는 틀을 제공했습니다.
2. 쌍대성의 명확화: 사영의 판별식과 쌍대 다양체의 선형 절단 사이의 명확한 쌍대 관계를 규명함으로써, 다양한 기하학적 불변량 (차수, 특이점 개수 등) 을 계산하는 강력한 도구를 마련했습니다.
3. 위상수학적 통찰: 복소수 기하학에서 판별식 여집합의 위상수학적 성질 (기본군) 이 브레이드 군과 밀접하게 연결됨을 보였습니다. 이는 특이점 이론 (singularity theory) 과 모노드로미 이론의 중요한 연결고리입니다.
4. 응용 가능성: 베로네사 다양체 (Veronese variety), 세베리 다양체 (Severi variety) 등 구체적인 예시들을 통해 이론을 검증하고, 타원 3-다양체 (elliptic threefold) 의 Mordell-Weil rank 계산 등 구체적인 기하학적 문제 해결에 적용 가능성을 보여주었습니다.

요약하자면, 이 논문은 사영 쌍대성을 핵심 도구로 사용하여 일반 사영의 판별식을 완전히 분류하고, 그 위상수학적 성질을 브레이드 군과 연결함으로써 대수기하학의 고전적 주제들을 현대적인 관점에서 통합하고 심화시켰습니다.