Irreducibility and singularities of some nested Quot schemes

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

• Quot 스킴의 정의: $E$를 $C$ 위의 계수 (rank) $r$, 차수 (degree) $e$인 벡터 번들이라 할 때, Quot 스킴 $Q^k_d(E)$는 $E$의 계수 $k$, 차수 $d$인 몫 (quotient) 들을 매개변수화합니다.
• 중첩된 Quot 스킴: 두 개의 몫 $E \twoheadrightarrow F_1 \twoheadrightarrow F_2$로 이루어진 쌍을 매개변수화하는 스킴 $Q^{k_1, k_2}_{d_1, d_2}(E)$를 고려합니다. 여기서 $F_i$는 계수 $k_i$, 차수 $d_i$를 가집니다 ($r > k_1 > k_2 > 0$).
• 기존 연구:
  • $k=0$인 경우 (토션 몫) 에는 잘 연구되어 있으며, 매끄러운 다양체임이 알려져 있습니다.
  • $k > 0$인 경우, 단일 Quot 스킴 $Q^k_d(E)$는 $d \gg 0$일 때 기약이고, 일반적으로 매끄로우며, 국소 완전 교차 (local complete intersection, LCI) 임이 알려져 있습니다 (PR03, GS24 등).
  • 중첩된 Hilbert 스킴 (곡선 위의 점들) 에 대해서는 Cheah (Che94) 등에 의해 매끄러움이 증명되었으나, 벡터 번들 $E$가 있고 계수가 양수인 중첩된 Quot 스킴의 경우 $d_1, d_2$가 충분히 큰 조건에서의 기약성과 특이점 구조는 명확하지 않았습니다.
• 연구 목표: $d_1 \gg d_2 \gg 0$ 또는 $0 \ll d_1 \ll d_2$인 두 가지 극단적인 경우에서 중첩된 Quot 스킴이 기약인지, 국소 완전 교차인지, 정수적 (integral) 이며 정규 (normal) 인지를 증명하는 것입니다.

2. 방법론 (Methodology)

저자들은 다음과 같은 주요 기법들을 사용하여 문제를 해결했습니다.

1. 상대적 Quot 스킴 (Relative Quot Scheme) 접근:

   • 중첩된 Quot 스킴을 단일 Quot 스킴을 베이스 (base) 로 하는 상대적 Quot 스킴으로 재구성합니다.
   • Case 1 ($d_1 \gg d_2$): $Q^{k_1, k_2}_{d_1, d_2}(E) \cong \text{Quot}_{C \times Q^{k_2}_{d_2}(E) / Q^{k_2}_{d_2}(E)}(S_2, k_1-k_2, d_1-d_2)$. 여기서 $S_2$는 $E \twoheadrightarrow F_2$의 핵 (kernel) 입니다. $F_2$가 국소 자유 (locally free) 이므로 $S_2$도 벡터 번들이 되어 기존 정리를 적용할 수 있습니다.
   • Case 2 ($d_2 \gg d_1$): $Q^{k_1, k_2}_{d_1, d_2}(E) \cong \text{Quot}_{C \times Q^{k_1}_{d_1}(E) / Q^{k_1}_{d_1}(E)}(F_1, k_2, d_2)$. 여기서 $F_1$은 $E \twoheadrightarrow F_1$의 몫으로, 일반적으로 국소 자유가 아닐 수 있습니다 (토션 포함). 이 경우 직접적인 정리를 적용할 수 없어 추가적인 분석이 필요합니다.

2. 기약성 증명 전략 (Stratification and Dimension Counting):

   • 중첩된 Quot 스킴을 $U$ (모든 몫이 국소 자유인 열린 집합) 와 $Y_{\delta, \mu}$ (토션 길이가 $\delta, \mu$인 부분) 로 분해 (stratification) 합니다.
   • 핵심 논증: $d_1, d_2$가 충분히 크다면, $U$의 차원이 기대 차원 (expected dimension) 과 일치하며, $Y_{\delta, \mu}$ ($\delta > 0$) 의 차원은 기대 차원보다 엄격하게 작음을 보입니다.
   • 이를 통해 $U$가 유일한 기약 성분임을 증명하고, 전체 스킴이 기약임을 유도합니다.
   • 이를 위해 Lemma 3.4, 3.9, 5.9 등을 통해 국소 자유 몫이 존재하지 않는 점들의 차원 상한을 세밀하게 계산합니다.

3. 상대적 Quot 스킴의 일반화 (Theorem 3.16):

   • 벡터 번들 $A$가 $C \times T$ 위에서 정의될 때, $d \gg 0$이면 구조 사상 $\pi: Q^k_d(A) \to T$가 평탄 (flat) 하고 국소 완전 교차 (LCI) 사상이며, 섬유가 기약임을 증명합니다. 이는 기존 단일 곡선 위의 결과 (PR03) 를 상대적 설정으로 확장한 것입니다.

4. 정규성 (Normality) 조건:

   • Serre 조건 ($R_0, R_1$) 을 사용하여 정수성과 정규성을 판별합니다.
   • 특이점의 코디멘션이 2 이상임을 보이기 위해, $k_1 + k_2 > r$ 및 $k_1 - k_2 \ge 2$와 같은 계수 조건 하에서 토션이 있는 부분 ($Y_{\delta, \mu}$) 의 코디멘션이 충분히 큼을 증명합니다.

3. 주요 결과 (Key Results)

논문은 두 가지 주요 정리 (Theorem) 를 통해 다음을 증명합니다.

Theorem 4.1 ($d_1 \gg d_2 \gg 0$ 인 경우)

충분히 큰 $d_2$와 $d_1 - d_2$에 대해:

• $Q^{k_1, k_2}_{d_1, d_2}(E)$는 **기약 (irreducible)**입니다.
• 차원은 기대 차원 $\text{expdim}(d_1, d_2)$와 일치합니다.
• 국소 완전 교차 (LCI) 스킴입니다.
• **정수적 (integral)**이며 **정규 (normal)**입니다.

Theorem 5.27 ($0 \ll d_1 \ll d_2$ 인 경우)

충분히 큰 $d_1$과 $d_2$에 대해:

1. 기약성: $Q^{k_1, k_2}_{d_1, d_2}(E)$는 기약이며 차원은 $\text{expdim}(d_1, d_2)$입니다.
2. 국소 완전 교차: 자연 사상 $Q^{k_1, k_2}_{d_1, d_2}(E) \to Q^{k_1}_{d_1}(E)$는 LCI 사상입니다. 따라서 중첩된 Quot 스킴 자체도 LCI 입니다.
3. 정수성: 스킴은 정수적입니다.
4. 정규성 조건: 만약 $k_1 + k_2 > r$이고 $k_1 - k_2 \ge 2$라면, 스킴은 **정규 (normal)**입니다. (Theorem 5.26)

• Theorem 5.27 의 일반화: $k_1 + k_2 \le r$인 경우에도 $E$에 자명한 번들을 추가하여 ($E' = E \oplus \mathcal{O}^{\oplus l}$) 계수 조건을 만족시키는 방식으로 기약성과 LCI 성질을 증명합니다.

4. 기대 차원 (Expected Dimension)

논문에서 다루는 모든 경우의 차원은 다음 식과 일치합니다:
$$\text{expdim}(d_1, d_2) = [d_1 r - k_1 e + k_1(r - k_1)(1 - g)] + [d_2 k_1 - d_1 k_2 + k_2(k_1 - k_2)(1 - g)]$$
이는 가상 차원 (virtual dimension) 과도 일치합니다.

5. 의의 및 기여 (Significance)

1. 이론적 확장: 단일 Quot 스킴의 기약성 및 매끄러움에 대한 기존 결과 (PR03, GS24) 를 중첩된 (nested) 구조로 성공적으로 확장했습니다.
2. 비국소 자유 (Non-locally free) 상황 처리: $d_2 \gg d_1$인 경우, 중간 몫 $F_1$이 국소 자유가 아닐 수 있는 복잡한 상황을 극복하고, 이를 정량적인 차원 분석을 통해 해결했습니다. 이는 벡터 번들 이론에서 중요한 기술적 진전입니다.
3. 특이점 구조 규명: 중첩된 Quot 스킴이 단순히 기약일 뿐만 아니라, 특정 조건 하에서 **정규 (normal)**이고 **국소 완전 교차 (LCI)**임을 보였습니다. 이는 모듈라이 공간의 기하학적 성질을 이해하는 데 필수적입니다.
4. 응용 가능성: 이 결과는 계수 이론 (enumerative geometry), 모듈라이 이론, 그리고 최근 주목받는 중첩 Hilbert 스킴 및 표면 (surface) 위의 Quot 스킴 연구에 기초를 제공합니다. 특히, 가상 기본 클래스 (virtual fundamental class) 와 모티브 분할 함수 (motivic partition functions) 연구 (MR25 등) 와의 연결고리를 제공합니다.

요약하자면, 이 논문은 곡선 위의 중첩된 Quot 스킴이 충분히 큰 차수 조건 하에서 매우 잘 행동하는 (기약, LCI, 정수, 정규) 기하학적 객체임을 rigorously 증명함으로써, 해당 분야의 기하학적 이해를 심화시켰습니다.