Semiorthogonal indecomposability for Hilbert schemes of points on integral locally planar curves

기술적 요약: 국소적으로 평면인 정적(integral) 곡선 위의 힐베르트 점 집합에 대한 반직교 분해 불가능성

문제 정의
본 논문은 국소적으로 평면인 특이점을 갖는 정적 사영 곡선 $C$에 대하여, 힐베르트 점 집합 $\text{Hilb}_n(C)$의 유도 범주(derived category)가 반직교 분해 가능성(semiorthogonal decomposability)을 갖는지에 관한 문제를 다룬다. 구체적으로, 본 연구는 $\text{Perf}(\text{Hilb}_n(C))$와 $D^b_{\text{coh}}(\text{Hilb}_n(C))$가 자명하지 않은 반직교 분해를 갖는지 조사한다. 이는 매끄러운 곡선 및 대칭 곱(symmetric products)에 대한 기존 연구를 특이점이 있는 설정으로 확장한 것이며, 이 설정에서 힐베르트는 일반적으로 특이(singular)하다. 본 연구는 산술적 종수(arithmetic genus)가 $g$일 때, 다양체가 범주적 최소성(categorical minimality)을 보일 것으로 예상되는 범위인 $1 \le n \le g-1$에 초점을 맞춘다.

방법론
저자들은 파라캐노니컬 기저 궤적(paracanonical base loci)에 기반한 기하학적 장애물 접근법을 사용하며, 이는 Kawatani와 Okawa [KO18] 및 Lin [Lin26]에 의해 도입된 기법을 정교화한 것이다. 방법론은 다음과 같은 세 가지 주요 기술적 단계로 진행된다:

1. 유도 사영화 및 캐노니컬 번들 공식:
   저자들은 $\text{Hilb}_n(C)$를 컴팩트화된 야코비안 $J = \text{Pic}^0(C)$ 위의 완전 복합체(perfect complex) $\mathcal{E}_n$의 유도 사영화(derived projectivization)로 식별하는 방식을 활용한다. [Jia25b]에 기초한 이 구성은 듀얼라이징 라인 번들 $\omega_{\text{Hilb}_n(C)}$에 대한 명시적인 공식을 도출할 수 있게 한다:
   $$\omega_{\text{Hilb}_n(C)} \simeq \mathcal{O}_{\text{Hilb}_n(C)}((g-1-n)D_p) \otimes a_n^* \mathcal{O}_J(\Theta_p)$$
   여기서 $D_p$는 고정된 매끄러운 점 $p$를 포함하는 부분 스킴의 디바이저(divisor)이고, $a_n$은 아벨 맵(Abel map)이며, $\Theta_p$는 테타 디바이저(theta divisor)이다. 이 공식은 $\mathcal{E}_n$의 가상 랭크(virtual rank)가 음수일지라도 $C$가 국소적으로 평면이라면 성립한다.

2. 디바이저의 코호몰로지 이동:
   파라캐노니컬 기저 궤적의 공집합성을 증명하기 위해, 저자들은 [AK80]의 논증을 적응시킨다. 임의의 점 $Z \in \text{Hilb}_n(C)$에 대하여, 저자들은 $\text{Supp}(Z)$에 속하지 않는 매끄러운 점 $p$를 선택한다. 보조정리 2.2를 사용하여, 관련 층(sheaf)을 $M$으로 트위스트함으로써 전역 단면(global sections)을 제거할 수 있음(구체적으로 $H^0(C, F_Z \otimes M) = 0$을 보장함)을 입증한다. 이를 통해 $M$의 작용을 통해 테타 디바이저 $\Theta_p$를 이동시켜 아벨 맵에 의한 $Z$의 상을 피하게 할 수 있다.

3. 특이 파라캐노니컬 기준:
   본 논문은 Lin의 기준(Proposition 3.1)에 대한 특이 버전(singular version)을 확립한다. 이는 정적 사영 괴너(Gorenstein) 다양체 $X$에 대하여, 만약 파라캐노컬 기저 궤적 $\text{PBs}|\omega_X|$가 공집합이면, $\text{Perf}(X)$와 $D^b_{\text{coh}}(X)$ 모두 자명하지 않은 반직교 분해를 갖지 않는다고 단언한다. 이 증명은 Spence의 코헨-마카를레(Cohen–Macaulay) 논증 [Spe22]과 대수적으로 자명한 트위스트(algebraically trivial twists)에 대한 반직교 성분의 강직성(rigidity)에 의존하며, 이는 임의의 표수(characteristic)를 가진 대수적으로 닫힌 체 위에서 유효하다.

주요 기여 및 결과

• 주요 정리 (Theorem 1.1): 대수적으로 닫힌 체 위의 산술적 종수 $g$를 갖는 정적 사영 곡선 $C$가 국소적으로 평면인 특이점을 가질 때, 모든 정수 $1 \le n \le g-1$에 대하여 범주 $\text{Perf}(\text{Hilb}_n(C))$와 $D^b_{\text{coh}}(\text{Hilb}_n(C))$는 반직교 불가능(semiorthogonally indecomposable)하다.
• 상대적 진술 (Theorem 4.2): 이 결과는 연결된 기저 $S$ 위의 곡선들의 평평한 패밀리(flat families)로 확장된다. 구체적으로, $\text{Perf}(\text{Hilb}_n(C/S))$는 자명하지 않은 $S$-선형 반직교 분해를 갖지 않으며, $D^b_{\text{coh}}(\text{Hilb}_n(C/S))$는 허용 가능한 성분(admissible components)을 갖는 자명하지 않은 $S$-선형 분해를 갖지 않는다.
• 표수 독립성: 증명은 임의의 표수에서도 성립하며, 컴팩트화된 야코비안 및 아벨 맵에 대해 흔히 발견되는 표수 0의 가정을 피한다.
• 날카로움(Sharpness): 본 논문은 결과가 날카롭다고 언급한다. $n \ge g$인 경우, [Jia25b]의 결과에 대한 국소적 평면 특수화를 통해 알 수 있듯이 반직교 분해가 존재한다.

의의
본 논문은 [Jia25b, Section 4.2.3]에서 제기되었던 문제인, 곡선 위의 힐베르트 점 집합에 대한 절대적 케이스의 불가능성 문제를 해결한다. 특이한 스킴에 대해서도 적용 가능한 강력한 기하학적 장애물을 확립함으로써, 저자들은 파라캐노니컬 기저 궤적이 공집합임을 보여준다. 이 연구는 $1 \le n \le g-1$ 범위 내에서 매끄러운 곡선과 특이 곡선 위의 힐베르트 점 집합의 범주적 행동을 통합하며, 범주적 최소성과 기저 다양체의 유리 기하학(birational geometry) 사이의 연결을 강화한다. 상대적 버전은 이러한 통찰을 패밀리로 더욱 확장하여, 모듈라이 이론적 맥락에서 반직교 분해를 연구하기 위한 도구를 제공한다.