Effective results on projective normality of the first and second secant varieties

기술적 요약: 제1 및 제2 초점 다양체(Secant Varieties)의 사영 정규성에 관한 유효한 결과

문제 정의
$X$를 $\mathbb{P}^r$에 매우 풍부한(very ample) 선다발 $L$의 완전 선형계에 의해 임베딩된 차원 $n$인 매끄러운 복소 사영 다양체라고 하자. $k$차 초점 다양체 $\Sigma_k(X, L)$은 $X$ 위의 $k+1$개 점들의 선형 스팬(linear span)의 합집합의 폐포이다. 대수 기하학의 중심 과제 중 하나는 이러한 초점 다양체의 기하학적 및 코호몰로지적 성질, 특히 그 특이점과 정의 이데알(defining ideal)의 생성(generation)을 결정하는 것이다.

Chou–Song, Ullery, Ein–Niu–Park, 그리고 Choi–Lacini–Sheridan–Park의 이전 연구들은 충분히 양의 성질을 가진 선다발에 대해 $\Sigma_k$가 온건한 특이점(normal Du Bois)을 가지며 사영적으로 정규(projectively normal)하다는 것을 밝혀냈다. 그러나 이러한 결과들은 종종 비유효적(non-effective)이었거나 요구되는 양의 성질에 대한 명시적인 경계(bounds)가 결여되어 있었다. 또한, 특정 조건 하에서 동차 이데알 $I(\Sigma_k)$가 차수 $k+2$에서 생성된다는 것은 알려져 있으나, 이러한 생성에 대한 유효한 기준, 특히 카탈렉티언트 행렬(catalecticant matrix)의 $3 \times 3$-소행렬식(minors)에 의한 생성(Eisenbud–Koh–Stillman 및 Sidman–Smith의 추측)을 고차원에서 완전히 정량화하는 작업은 미결 과제로 남아 있었다.

본 논문은 다음을 보장하기 위한 임베딩 선다발 $L$의 양의 성질에 대한 **유효한 경계(effective bounds)**를 설정하는 것을 목표로 한다:

1. 제1($\Sigma_1$) 및 제2($\Sigma_2$) 초점 다양체의 사정 정규성(projective normality)과 normal Du Bois 특이점.
2. $I(\Sigma_1)$의 3차식(cubics)에 의한 생성.
3. 선형 형식들의 행렬(카탈렉티언트 행렬)의 $3 \times 3$-소행로식에 의한 $I(\Sigma_1)$의 생성.

저자들은 $n \ge 2$인 경우를 가정하며, 이는 곡선($n=1$)에 대한 날카로운 유효 결과들이 이미 Ein–Niu–Park 및 Agostini–Park에 의해 확립되었기 때문이다.

방법론
증명은 저자들과 그 동료들이 개발한 코호몰로지 접근법에 의존한다. 전략은 초점 다양체의 기하학적 성질을 힐베르트 스킴(Hilbert schemes of points) 및 중첩 힐베르트 스킴(nested Hilbert schemes of points) 상의 벡터 번들(vector bundles)에 대한 코호몰로지 소멸(vanishing) 문제로 환원하는 것이다.

주요 기술적 구성 요소는 다음과 같다:

• 힐베르트 스킴: 저자들은 $k$개의 점에 대한 힐베르트 스킴 $X[k]$와 중첩 힐베르트 스킴 $X[k_1, \dots, k_\ell]$을 활용한다. 이들은 선다발 $L$과 연관된 꼬리 번들(tautological bundles) $E_{k,L}$을 고려한다.
• 특이점 분해(Resolution of Singularities): 초점 다양체 $\Sigma_k$는 $B_k = \mathbb{P}(E_{k+1, L})$에서 $\Sigma_k$로 가는 유리 사상(birational morphism) $\alpha_k: B_k \to \Sigma_k$의 상으로 실현된다. 여기서 $B_k$는 $X[k+1]$ 위의 사영 번들이다. $\Sigma_k$의 특이점은 이 분해의 예외적 층(exceptional divisors)을 통해 분석된다.
• 코호몰로지 소멸: 핵심 논거는 $X[k]$ 및 중첩 스킴 상의 특정 벡터 번들에 대한 고차 코호몰로지 군 $H^i$의 소멸을 증명하는 것이다. 이러한 소멸 정리들은 Kawamata–Viehweg 소멸 정리를 사용하여 도출된다.
• 양의 성질 조건: 선다발 $L$은 $L = \omega_X \otimes H^m \otimes B$ 형태(여기서 $H$는 매우 풍부하고 $B$는 nef)라고 가정된다. 저자들은 필요한 번들이 "nef and big"이 되거나 소멸을 유발하기 위한 특정 아마플함(ampleness) 조건(예: $(k-1)$-very ample)을 만족시키기 위해 필요한 최소 정수 $m$을 결정한다.
• 스킴의 특이점: 중첩 힐베르트 스킴 $X[1,2,3]$ 및 $X[1,2,3,4]$가 Gorenstein canonical singularities를 가진다는 사실은 이전 문헌([7], [8])에서 확립된 중요한 요소이다. 이 성질은 소멸 정리를 적용하고 Du Bois 성질을 분석하는 데 필수적이다.

주요 기여 및 결과

1. 사정 정규성 및 특이점에 대한 유효한 경계 (정리 1.1)
본 논문은 $n \ge 2$일 때, 만약 $L = \omega_X \otimes H^m \otimes B$이고 $m \ge 2n + 2$ (for $k=1$) 또는 $m \ge 3n + 3$ (for $k=2$)이면 다음을 만족함을 입증한다:

• $\Sigma_k$는 normal Du Bois 특이점을 가진다.
• $\Sigma_k$는 **사정 정규(projectively normal)**하다.
• 고차 코호몰로지 군 $H^i(\Sigma_k, \mathcal{O}_{\Sigma_k}(\ell))$는 $i > 0, \ell > 0$에 대해 소멸한다.
• $\Sigma_k$는 $H^i(X, \mathcal{O}_X) = 0$ ($1 \le i \le n-1$의 경우) 또는 $H^i(X, \mathcal{O}_X) = 0$ ($1 \le i \le n$의 경우)일 때 각각 Cohen–Macaulay(또는 rational singularities)이다.

이 결과는 비유효적인 이전 경계들을 개선하며, $\Sigma_1$의 사정 정규성을 위해 $m \ge 2n + 2$가 충분함을 확인한다.

2. 3차식에 의한 생성 (정리 1.2)
저자들은 동차 이데알 $I(\Sigma_1)$이 3차식에 의해 생성되기 위한 유효한 조건을 제공한다.

• 결과: 만약 $m \ge 3n + 2$이면, $I(\Sigma_1(X, L))$은 3차식에 의해 생성된다.
• 방법: 이는 $q \ge 3$인 특정 코쉬-코호몰로지 군(Koszul cohomology groups) $K_{1,q}(\Sigma_1, \mathcal{O}_{\Sigma_1}(1))$의 소멸을 보여줌으로써 증명되며, 이는 커널 번들 $M_{2,L}$의 외력(exterior powers)을 포함하는 $X[2]$ 상의 코호몰로지 소멸으로 귀결된다.

3. 결정적 표현 (정리 1.3)
본 논문은 Agostini–Park의 추측(즉, $I(\Sigma_k)$가 카탈렉티언트 행렬의 $(k+2) \times (k+2)$-소행렬식에 의해 생성된다는 것)을 $k=1$에 대해 유효하게 만든다.

• 결과: $L = L_1 \otimes L_2$이고 $L_i = \omega_X \otimes H^{m_i} \otimes B_i$일 때, 만약 $m_1, m_2 \ge 3n + 2$이면, $I(\Sigma_1(X, L))$은 카탈렉티언트 행렬 $Cat(L_1, L_2)$의 $3 \times 3$-소행로식에 의해 생성된다.
• 방법: 증명은 전역 단면(global sections)의 텐서 곱으로부터 이데알의 3차 부분으로 가는 선형 사상의 전사성(surjectivity)을 입증함으로써 이루어진다. 이 전사성은 대칭 및 외력(symmetric and exterior powers) 커널 번들을 포함하는 $X[2]$ 및 $X[2,3]$ 상의 코호몰로지 소멸으로 환원된다.

의의
본 논문은 초점 다양체의 바람직한 기하학적 성질을 보장하는 선다발의 양의 성질에 대한 **유효하고 정량적인 임계값(quantitative thresholds)**을 제공한다. "충분히 양의"라는 질적 진술에서 차원 $n$을 포함하는 명시적인 경계로 나아감으로써, 본 연구의 결과는 구체적인 계산과 특정 다양체에 적용 가능하게 한다.

구체적으로, 본 논문은:

• 초점 다양체의 특이점에 대한 이해를 정교화하여, 명시적 조건 하에서 이들이 Du Bois임을 확인한다.
• $n \ge 2$인 경우에 대한 결정적 표현 추측의 유효한 버전을 해결하며, 이는 곡선이나 특정 임베딩(예: Veronese)에 대해 알려진 이전 결과들을 확장한다.
• 힐베르트 스킴 상의 강력한 코호몰로지 프레임워크를 활용하여, 중첩 힐베르트 스킴의 Gorenstein canonical 성질을 바탕으로 사정 정규성, 이데알 생성, 그리고 특이점 분석을 통합한다.