On the canonical bundle formula in positive characteristic

기술적 요약: 양의 표수에서의 표준 번들 공식

문제 제기
대수다양체의 분류는 최소모델 프로그램 (MMP) 과 표준 약수 (canonical divisor) 의 양성 (positivity) 성질 연구에 크게 의존합니다. 이 맥락에서 핵심적인 도구는 표준 번들 공식으로, 이는 사영 $f: X \to Z$의 표준 약수를 기저와 올의 표준 약수와 관련짓고, 그 관계를 특이점을 측정하는 판별식 부분 (discriminant part) 과 모듈라이의 변동을 측정하는 모듈라이 부분 (moduli part) 으로 분해합니다.

이 공식은 표수 0 (예: 호지 구조의 변이나 잎사귀에 대한 원뿔 정리를 통한) 에서는 잘 정립되어 있지만, 양의 표수 $p > 0$에서의 유효성은 여러 요인에 의해 방해받아 왔습니다:

1. 일반적 매끄러움의 실패: 양의 표수에서는 총 공간이 매끄럽더라도 기하학적 일반 올이 특이점을 가질 수 있어, 판별식 부분의 직접적인 정의를 방해합니다.
2. 야생 분기 (Wild Ramification): "야생" 올 (중복도가 $p$로 나누어지는 경우) 의 존재는 총 공간의 표준 약수와 사영에 의해 유도된 잎사귀 사이의 관계를 복잡하게 만듭니다.
3. 적분 가능 잎사귀에 대한 원뿔 정리의 실패: 표수 0 에서 모듈라이 부분의 양성을 증명하는 표준적인 증명은 대수적으로 적분 가능한 잎사귀에 대한 원뿔 정리에 의존하는데, 이는 양의 표수에서는 성립하지 않는 것으로 알려져 있습니다.
4. 준안정 축소 (Semistable Reduction) 의 부재: 표수 0 에서 사용된 "좋은" 모델 (성질 $(*)$을 만족하는) 의 구성은 종종 양의 표수에서는 동일한 일반성으로 성립하지 않는 준안정 축소 정리에 의존합니다.

본 논문은 이러한 문제들을 다루기 위해 양의 표수에서 곡선 위의 사영에 대한 표준 번들 공식을 확립하고, 특정 가정 하에서 모듈라이 부분의 nef 성을 증명합니다.

방법론
저자는 표수 0 에 대해 Acosta, Cascini, Svaldi, Spicer (ACSS21) 가 도입한 전략을 적응시켜, 양의 표수의 특정 장애물을 극복하도록 수정합니다. 방법론은 다음과 같은 주요 단계를 거칩니다:

1. 성질 $(*)$로의 축소: 증명 전략은 먼저 "성질 $(*)$"를 만족하는 사영의 특정 클래스에 대해 결과를 확립하는 것을 포함하며, 여기서 모듈라이 부분은 유도된 잎사귀의 표준 약수와 (보정 항을 제외하고) 일치합니다. 그런 다음 일반 경우는 쌍유리적 변형을 통해 이 클래스로 축소됩니다.
2. 비정규 일반 올의 처리: 양의 표수에서는 기하학적 일반 올이 정규일 수 없습니다. 이를 해결하기 위해 저자는 **프로베니우스 기저 변경 (Frobenius base change)**을 사용합니다. 프로베니우스 사상의 $e$-제곱 ($F^e$) 을 포함하는 다이어그램을 고려함으로써 기하학적 일반 올의 특이점들을 총 공간 $X^{(e)}$로 "_lift"시킵니다. 이를 통해 올이 정규인 모델에서 접속법 (adjunction) 과 MMP 기법을 적용할 수 있게 됩니다.
3. 잎사귀와 순수 비분리 사상: 논문은 양의 표수에서 잎사귀와 순수 비분리 사상 사이의 대응을 활용합니다. 프로베니우스 사상의 미분이 소멸하므로, 순수 비분리 사상은 잎사귀를 정의합니다. 저자는 야생 분기 항 ($W(f)$) 을 고려하여 프로베니우스 기저 변경 $X^{(e)}$의 표준 약수와 원래 사영의 모듈라이 부분을 관련짓는 공식을 유도합니다.
4. 모듈라이 약수에 대한 Bend and Break: 잎사귀에 대한 원뿔 정리가 양의 표수에서 실패하므로, 저자는 잎사귀에 접하는 유리곡선을 직접 구성할 수 없습니다. 대신, 프로베니우스 기저 변경 후 얻어진 다양체 $X^{(e)}$에 적용된 Bend and Break 정리를 증명에 활용합니다. $X^{(e)}$의 표준 약수를 모듈라이 부분과 연관시킴으로써, 모듈라이 부분이 nef 가 아닐 경우 그 부정성을 보여주는 수직 유리곡선을 구성하여 모순에 이르게 합니다.
5. 차원에 대한 귀납법: 주요 정리의 증명은 $X$의 차원에 대한 귀납법으로 진행됩니다. 이는 기하학적 일반 올의 로그 정칙 중심 (log canonical centers) 에 대한 접속법을 수행해야 함을 요구합니다. 이러한 중심들이 존재하고 잘 행동하도록 보장하기 위해, 저자는 로그 분해와 dlt MMP 를 활용하여 이러한 중심 위에 불일치 (discrepancy) 가 $-1$인 약수를 추출하는 "기하학적$(*)$-변형"을 구성합니다.

주요 기여 및 결과

• 표준 번들 공식 (정리 7.9): 로그 MMP, 접속법 역 (inversion of adjunction), 그리고 $n$차원까지의 로그 분해의 존재를 가정할 때, 완전체 위 표수 $p > 2$의 정규 곡선 $Z$로 가는 $n$차원 정규 사영다양체 $X$의 사영 $f: X \to Z$에 대해, $(X, B)$가 로그 정칙인 일반 올을 가진 dlt 쌍이고 $K_X + B$가 $f$-nef 이면, 모듈라이 부분 $M_Y$가 nef 인 성질 $(*)$을 만족하는 쌍유리 모델 $(Y, C)$가 존재함을 논문은 증명합니다.
• K-자명한 경우의 양성 (정리 7.10): 결과적으로, $K_X + B \sim_{\mathbb{Q}} f^*L$인 경우 (K-자명한 경우), 모듈라이 부분 $M_Z = L - (K_Z + B_Z)$가 nef 임을 논문은 증명합니다.
• 3 차원의 무조건적 결과 (계 7.11): 표수 $p > 5$인 대수적으로 닫힌 체 위의 3 차원 다양체의 경우, 로그 MMP, 접속법 역, 그리고 로그 분해의 가정이 성립하는 것으로 알려져 있습니다. 따라서, 로그 정칙인 일반 올을 가진 dlt 쌍에 대해 표준 번들 공식과 모듈라이 부분의 nef 성이 무조건적으로 성립합니다.
• 야생 분기에 대한 공식: 논문은 양의 표수에서 사영에 의해 유도된 잎사귀의 표준 약수에 대한 명시적 공식 (정리 3.6, 정리 3.25) 을 제공하며, 야생 성분에 지지된 보정 항 $W(f)$를 도입합니다. 또한 프로베니우스 기저 변경 $X^{(e)}$의 표준 약수를 모듈라이 부분과 관련짓습니다 (계 5.4).

의의 및 주장
본 논문은 이전 기법들 (호지 이론, 표준 원뿔 정리 등) 이 적용되지 않았던 양의 표수 환경으로 표준 번들 공식을 확장한다고 주장합니다. 그 의의는 다음과 같습니다:

1. 일반적 매끄러움 실패 극복: 프로베니우스 기저 변경을 사용하여 비정규 일반 올이라는 양의 표수 쌍유리 기하학의 주요 장애물을 우회합니다.
2. 원뿔 정리 우회: 잎사귀에 대한 원뿔 정리가 양의 표수에서 실패하는 것으로 알려진 상황에서, 프로베니우스 기저 변경에 Bend and Break 정리를 사용하는 것은 실행 가능한 대안을 제공합니다.
3. 3 차원에서의 그림 완성: 결과는 표수 $p > 5$인 3 차원 다양체에 대한 완전하고 무조건적인 표준 번들 공식을 제공하여, 양의 표수에서 다양체 분류 이론의 공백을 메웁니다.

저자는 명시적으로 결과가 관련 차원에서의 로그 분해 존재성과 MMP 의 유효성에 의존한다고 지적하며, 이는 현재 차원 $\le 3$ (및 표준 계수를 가진 부분적으로 4 차원) 에 대해서만 알려져 있습니다. 논문은 이러한 가정 없이 모든 차원이나 모든 표수에 대한 문제를 해결한다고 주장하지 않으며, 새로운 실험적 응용을 제안하지도 않지만, 대신 양의 표수에서 다양체 분류의 귀납적 논증에 필요한 이론적 기초를 확립합니다.