극단적 다양체를 위한 동등성 CM 최소화

초록

본 논문은 극단적 Kähler 다양체에 대해 자동사상군을 허용한 동등성 CM 최소화 추측을 증명한다. DVR 위의 극소형 모델들 사이에서 정의되는 CM 차수를 비교하고, 극단적 메트릭을 갖는 특수 섬유가 존재하면 특정 1‑parameter 서브그룹에 대한 트위스트 모델이 CM 차수에서 최소가 됨을 보인다. 이를 위해 Székelyhidi의 비대칭 필터레이션 안정성 결과를 확장하고, Wang–Odaka 형태의 Donaldson–Futaki 공식의 DVR 버전을 구축한다. 결과적으로 극단적 다양체의 모듈러 공간이 분리성을 갖고, 상대 K‑안정성 및 아크 K‑안정성에 대한 새로운 사례를 제공한다.

상세 분석

이 연구는 기존의 CM 최소화 정리를 Hattori가 cscK(상수 스칼라 곡률) 다양체와 이산 자동사상군 가정 하에 증명한 것을, 자동사상군이 존재하고 극단적(K‑극단) 메트릭을 허용하는 상황으로 일반화한다는 점에서 혁신적이다. 논문은 먼저 DVR(이산 평가환) 위의 모델을 정의하고, 두 모델 사이의 CM 차수를 Knudsen–Mumford 전개를 이용해 유리수로 측정한다. 이 차이는 모델들의 특수 섬유에 대한 Hilbert 다항식의 계수와 blow‑up 과정에서 발생하는 효과적인 Q‑분산의 교차항을 통해 명시적으로 계산된다.

핵심 기술은 ‘좋은 필터레이션(good filtration)’을 구성하여, 해당 필터레이션의 상대 Donaldson–Futaki 불변량 DF_T0(F)와 두 모델 사이의 CM 차이를 동일시하는 식 (1.1)을 얻는 것이다. Hattori가 비동등성 경우에 사용한 필터레이션을 자동사상군 T‑불변으로 확장하고, 이를 통해 한쪽 모델을 T‑트위스트한 형태 X_ξ, L_ξ 를 얻는다.

다음 단계에서는 극단적 메트릭이 존재하는 경우 모든 T‑불변 좋은 필터레이션에 대해 DF_T0(F)≥0임을 보인다. 여기서는 Székelyhidi가 제시한 ‘blow‑up formula’와 ‘asymptotic vanishing order’ 기법을 상대적 설정으로 일반화한다. 특히, 필터레이션의 감소 노름 ‖F‖_T0 가 양수이면 DF_T0(F) 가 엄격히 양수가 됨을 증명함으로써, 극단적 다양체가 상대 K‑안정성(특히 좋은 필터레이션에 대한)을 만족함을 확인한다.

마지막으로, 위 두 결과를 결합해 Theorem 1.2를 증명한다. 이는 특수 섬유가 극단적 메트릭을 갖는 경우, 적절히 선택된 1‑parameter 서브그룹 ξ∈T에 대해 CM(X_ξ,L_ξ)가 모든 다른 T‑동등 모델보다 작거나 같으며, 동등성이 없을 때는 엄격히 작다는 것을 의미한다. Corollary 1.3은 cscK 경우를 즉시 얻으며, Corollary 1.4는 아크 K‑안정성(arc K‑polystability)까지 확장한다.

이러한 결과는 모듈러 공간의 분리성(separatedness)과 프로젝트성(projectivity) 확보에 직접적인 영향을 미치며, 특히 자동사상군이 비이산적인 경우에도 K‑안정성 이론을 적용할 수 있는 새로운 도구를 제공한다. 또한, Wang–Odaka 형태의 Donaldson–Futaki 공식을 DVR 상황에 적용함으로써, 기존의 GIT 기반 접근법과 알제브라적 방법을 통합하는 틀을 제시한다.