비파노형 섬유에서의 스테인 차수 무한성

초록

본 논문은 파노형이 아닌 로그 칼라비-야우 섬유에서 수직 사상의 스테인 차수가 차원에만 의존하지 않고 임의로 크게 만들 수 있음을 구체적인 예시를 통해 증명한다.

상세 분석

논문은 먼저 스테인 차수(sdeg)와 강한 스테인 차수(ssdeg)의 정의를 상기하고, 기존 결과인 Birkar(2022)와 BQ25에서 제시된 “수평 lc 중심에 대한 스테인 차수는 차원에만 의존한다”는 정리를 검토한다. 여기서 핵심 가정은 섬유 X→Z가 파노형(Fano type)이라는 점이다. 파노형이란 X 위에 큰 R-디버시르 Γ가 존재해 (X,Γ) 가 klt이며 K_X+Γ∼_R0/Z 를 만족하는 경우를 말한다. Birkar와 BQ25는 파노형 섬유에 대해 수직 사상의 강한 스테인 차수도 차원과 계수 t에만 의존한다는 정리를 증명했으며, 이는 슬리미컬 최소 모델 프로그램과 모듈리 공간 구축에 필수적인 제한조건이다.

본 논문의 주요 공헌은 파노형 가정을 제거했을 때 스테인 차수가 무한히 커질 수 있음을 보이는 반례를 구성한다. 이를 위해 저자들은 LLR04에서 다룬 타원곡선의 “분할 곱셈적 감소(split multiplicative reduction)”를 활용한다. 구체적으로, 임의의 자연수 n과 그 약수 d (d≠n)를 잡고, 완전 이산 평가환 R을 선택해 그 잔류체 k가 차수 d인 순환 갈루아 확장을 갖도록 한다. 그런 뒤 LLR04의 결과에 따라 특수 섬유가 n/d개의 P^1_{k’} 로 이루어진 순환형 곡선을 갖는 최소 산술 표면 X→Spec R을 만든다. 이 표면의 특수 섬유는 기하학적으로 n개의 직선이 연결된 환형 곡선이며, 각 연결점의 잔류체가 k’와 동일하므로 각 성분에 대한 스테인 차수는 정확히 d가 된다.

하지만 이 표면은 베이스가 완전 이산 평가환이므로 직접적으로 알제브라ically closed 필드 위의 로그 칼라비-야우 섬유가 아니다. 이를 해결하기 위해 세 단계의 “스프레드 아웃” 과정을 도입한다. 첫 단계에서는 Artin의 대수 근사 이론을 이용해 완전 DVR을 에테일하게 확장한 R’ 위에 동일한 기하학적 특성을 가진 표면 X’을 만든다. 여기서 R’은 K 위의 유한형 이산 평가환이며, 특수 섬유와 일반 섬유의 로그 칼라비-야우 성질이 보존된다. 두 번째 단계에서는 R’을 K 위의 비특이점이 없는 준사영면 Z°의 한 곡선 C°의 일반점에서 국소화한 뒤, X’→Spec R’을 Z° 위의 섬유화로 확장한다. 이 과정에서 수직 사상 S⊂B의 수평 성분이 C° 위에 n/d개의 서로 다른 성분으로 나타나며, 각 성분의 정규화는 스테인 차수 d를 가진다. 마지막 단계에서는 HX13의 방법을 이용해 이 비사영 섬유를 사영적 컴팩트화하고, MMP를 수행해 최종적으로 X와 Z가 사영적이며 (X,B)→Z가 로그 칼라비-야우 섬유가 되도록 만든다. 결과적으로, 임의의 d와 n (d|n, d≠n)에 대해 강한 스테인 차수가 d인 수직 사상이 존재함을 보인다.

이러한 구성은 파노형 가정이 없을 때 스테인 차수의 상한이 차원·계수에만 의존한다는 기존 추측을 반박한다. 특히, 수직 사상의 계수가 1인 경우에도 강한 스테인 차수가 임의로 커질 수 있음을 보여, 파노형 섬유와 비파노형 섬유 사이의 근본적인 차이를 강조한다. 또한, 산술적 기법(완전 DVR, Galois 확장, 분할 곱셈적 감소)과 대수기하학적 근사(Artin 근사, 스프레드 아웃, MMP)의 결합이 복잡한 예시를 구성하는 데 얼마나 효과적인지를 입증한다.