On slope unstable Fano varieties

기술 요약: 경사 불안정(Slope Unstable) Fano 다양체에 대하여

문제 제기
본 논문은 Fano 다양체의 $(-K)$-경사 안정성(slope stability)에 대한 정교한 이해를 다룬다. 이는 K-안정성(K-stability)과 관련이 있으나 그보다 약한 개념이다. K-안정성에 대해서는 상당한 진전이 이루어졌으나, 접다발(tangent bundle) $T_X$의 대수적 개념인 경사 안정성은 여전히 덜 이해되어 있다. 구체적으로, 저자들은 Peternell의 추측 1.1(Conjecture 1.1)의 타당성을 조사한다. 이 추측은 Fano 다양체의 접다발이 $(-K_X)$-경사 불안정할 경우, 반드시 $K_X$-음의 극단적 축소(extremal contraction)의 상대 접다발(relative tangent bundle)이 이를 불안정하게 만든다는 내용을 담고 있다.

이전 연구들은 차원이 5까지인 경우에 대해 이 추측이 성립함을 확인하였으나(Peternell-Wiśniewski, Hwang), Kanemitsu(2021)는 차원 14에서 최대 불안정 층(maximal destabilizing sheaf)이 표준적인 극단적 축소가 아닌 비자명한 파이버레이션(fibration)으로부터 발생할 수 있음을 보여주는 반례를 제시하였다. 핵심적인 문제는 (Problem 1.2) 불안정한 접다발을 가진 Fano 다양체에 대하여, 최대 불안정 층이 극단적 축소의 상대 접다발에 의해 생사적(birationally)으로 유도되는지 여부를 결정하는 것이다.

방법론
저자들은 최대 불안정 층 $F \subseteq T_X$와 연관된 기하학적 구조를 규명하기 위해 **엽상 최소 모델 프로그램(foliated Minimal Model Program, fMMP)**을 사용한다. 방법론은 다음과 같이 진행된다:

1. 엽상 설정 (Foliation Setup): 저자들은 $F$가 유리적으로 연결된 잎(leaves)과 비-의사-효과적(non-pseudo-effective) 정규 칸로직 디바이저 $K_F$를 갖는 대수적으로 적분 가능한 엽상임을 확립한다.
2. 엽상 MMP (Foliated MMP): 저자들은 (Mori dream space로서의) Fano 다양체 $X$ 위에서 $K_F$-MMP를 수행한다. 이 과정은 $F$-불변 곡선들을 축소하며, 결과적으로 모리 파이버 공간(Mori fiber space) $f: Y_+ \to Z_+$를 이끌어낸다.
3. Property () 수정 (Property () Modification): 결과물인 쌍 $(Y_+, F_+)$의 특이점을 분석하기 위해, 저자들은 "Property (*) 수정"( [ACSS22]에 기반함)을 활용한다. 이 생사적 수정 $W \to Y_+$는 엽상이 등차원 사상(equi-dimensional morphism)에 의해 유도되도록 보장하며, 최근의 엽상 로그 정칙 특이점(foliated log canonical singularities)에 관한 결과들([Che23], [CC25])을 사용하여 엽상 특이점을 분석할 수 있게 한다.
4. 분류 전략 (Classification Strategy): 곡면의 경우($\dim X = 2$)에 대한 증명은 모리 파이버 공간의 기저가 점인 경우($\dim Z_+ = 0$)를 배제하는 과정을 포함한다. 이는 만약 $\dim Z_+ = 0$이라면, 결과적인 곡면 $Y_+$가 특정 특이점 제약을 가진 토릭 다양체(toric variety)여야 함을 보임으로써 달성되며, 이후 일련의 블로우업(blowup) 과정 후에 불안정한 접다발이 존재할 수 없음을 보임으로써 완성된다.

주요 기여 및 결과

• 불안정한 약한 Del Pezzo 곡면의 분류 (Theorem 1.7): 비특이(nonsingular) 약한 del Pezzo 곡면에 대하여, 저자들은 $(-K_X)$-경사 불안정한 접다발을 갖는 곡면들을 완전히 분류한다. 그러한 곡면 $X$는 다음 중 하나이다:

  • $n \in \{0, 1, 2\}$인 히르슈브루흐 곡면(Hirzebruch surface) $F_n$.
  • $F_n$ ($n \in \{0, 1, 2\}$) 상에서 서로 다른 파이버 위에 위치하며 $(-2)$-곡선을 피하는 중심점을 갖는 최대 3회의 "2-블로우업"(두 번의 블로우업 시퀀스)을 수행하여 얻은 곡면.
    모든 경우에서, 최대 불안정 층은 정규 파이버레이션 $X \to \mathbb{P}^1$에 의해 유도된다.

• 비특이 del Pezzo 곡면에 대한 개념적 증명 (Corollary 1.9): 본 논문은 불안정한 접다발을 갖는 비특이 del Pezzo 곡면이 $\mathbb{P}^1 \times \mathbb{P}^1$ ($F_0$)와 $F_1$뿐이라는 사실에 대한 최초의 개념적 증명(명시적 분류 목록에 의존하지 않는)을 제공한다. 이는 Fahlaoui(1989)의 고전적 결과를 회복한다.

• 특이 Fano 다양체와 약한 Kähler-Einstein 메트릭 (Corollary 1.10 & 1.11): 저자들은 분석을 약한 del Pezzo 곡면(정칙 특이점을 갖는 경우)으로 확장한다. 이들은 불안정한 접 층을 갖는 곡면의 가능한 특이점 유형(예: $m \in \{2, 4, 6\}$에 대한 $mA_1$, $A_1 + A_2$ 등)을 규명한다.

  • 핵심 현상: 저자들은 다양체 사례와는 구별되는 현상을 발견한다: 약한 Kähler-Einstein(KE) 메트릭을 허용하면서도 경사 불안정한 접 층을 갖는 (구체적으로 $4A_1$ 및 $6A_1$ 유형의) del Pezzo 곡면들이 존재한다. 이는 특이점이 있는 Fano 다양체의 경우, K-다항 안정성(K-polystability)이 반드시 $(-K)$-경사 다항 안정성(slope polystability)을 의미하지 않음을 보여주며, 이는 매끄러운 경우에 Kobayashi-Hitchin 대응을 통해 나타나는 함의를 깨뜨린다.

• 차원 제약 (Theorem 5.5): 본 논문은 비특이 약한 del Pezzo 곡면에 대하여, $K_F$-MMP의 모리 파이버 공간 결과가 0차원 기저($\dim Z_+ = 0$)를 가질 수 없음을 증명한다. 이는 불안정 기하학이 항상 곡선 위의 파이브레이션과 관련되어 있음을 확인해 준다.

의의 및 주장
본 논문은 엽상 생사적 기하학(foliated birational geometry)의 현대적 도구들을 활용함으로써, 경사 불안정성의 기하학적 이해에 있어 공백을 메운다고 주장한다. 최대 불안정 층을 fMMP의 관점에서 규명함으로써, 저자들은 사례별 분류를 넘어 불안정성의 구조적 이해로 나아간다.

이 연구는 매끄러운(smooth) 설정과 특이(singular) 설정 사이의 괴리를 강조한다: Picard rank가 1인 매끄러운 Fano 다양체의 접다발은 안정적일 것으로 추측되며(저차원에서 증명됨), 특이한 Fano 다양체는 약한 KE 메트릭을 허용함에도 불구하고 경사 불안정성을 보일 수 있다. 이는 특이점이 존재할 때 K-안정성과 경사 안정성 사이의 관계가 더 복잡할 수 있음을 시사한다.

저자들은 자신들의 접근 방식이 고차원에서의 Problem 1.2에 대한 틀을 제공하지만, 특이점과 기하학의 복잡성으로 인해 3차원으로 일반화하는 것은 까다롭다고 언급한다. 또한, 불안정한 접다발을 갖는 Fano 다양체에 대하여 최대 불안정 층의 계수(rank)는 최소 2 이상일 것이라고 제안하며(Problem 1.12), 이는 기존의 예시 및 부분적 결과들과 일치하는 진술이다.