On the existence of minimizer on a log Fano cone singularity

기술 요약: 로그 파노 원뿔 특이점(Log Fano Cone Singularity)에서의 최소화자 존재성에 관하여

문제 정의
본 논문은 로그 파노 원뿔 특이점의 맥락에서 국소 $\delta$-불변량(local $\delta$-invariant) $\delta(X, \Delta; \nu_0)$의 최소화자(minimizer) 존재성을 다룬다. 이 불변량은 무한한 크기의 표수 0인 대수적으로 닫힌 체 위에서 로그 파노 원뿔 특이점 $x \in (X, \Delta, T)$에 대해 정의되며, 여기서 $\nu_0$는 유한한 로그 불변량 $A_{X,\Delta}(\nu_0) < \infty$를 갖는 $T$-불변 밸류에이션(valuation)이다. 값은 다음과 같이 주어진다:
$$\delta(X, \Delta; \nu_0) := \inf_{\nu \in \text{Val}^*_{T, X, \ni x}} \frac{A_{X,\Delta}(\nu)}{S(\nu_0; \nu)}$$
여기서 $S(\nu_0; \nu)$는 국소 $S$-불변량이다. 관련 불변량들(예: 로그 정칙 임계값(log canonical thresholds), 정규화된 국소 부피(normalized local volumes), 전역 $\alpha$- 및 $\delta$-불변량 등)의 최소자 존재성은 선행 연구([JM12], [Blu18], [BJ20])에서 확립되었으나, 특히 $\nu_0$가 (반드시 Reeb 벡터 가중치가 아닌) 임의의 $T$-불변 밸류에이션인 로그 파노 원뿔 특이점 설정에서 국소 $\delta$-불변량의 최소자 존재 여부는 미해결 과제로 남아 있었다. 본 논문은 만약 로그 파노 원뿔 구조를 제거한다면, 차원이 2인 경우에도 최소자가 존재하지 않을 수 있음을 언급한다.

방법론
증명에는 [dFM09], [dFEM10], [Blu18], [BJ20]에서 이전에 사용된 기법인 **일반적 극한 논법(generic limit argument)**이 사용된다. 저자는 [BJ20]의 접근 방식을 채택하되, 국소 원뿔 설정에서 [BJ20, Proposition 6.3]에 직접 대응하는 대응물이 없다는 구체적인 기술적 난관에 직면한다. 이를 극복하기 위해, 본 논문은 다음과 같은 하강 전략을 도입한다:

1. 가산 부분체로의 하강(Descent to a Countable Subfield): $(X, \Delta, T)$ 및 $\nu_0$와 관련된 모든 데이터를 가산 대수적 닫힘 부분체 $k_0 \subseteq k$로 하강시킨다.
2. 일반적 극한의 구성: 대각 부분열(diagonal subsequence) 논법과 Grassmannian 위의 벡터 번들의 성질(Lemma 3.4–3.6)을 사용하여 "일반적 극한 필트레이션(generic limit filtration)"을 구성한다. 이는 밸류에이션 열 $\nu_i$가 하한(infimum)에 접근함에 따라 밸류에이티브 이데알(valuative ideals) $a_p(\nu_i)$가 $a_N(\nu_0)$에 대해 보이는 거동을 분석하는 과정을 포함한다.
3. 균등 후지 근사(Uniform Fujita Approximation): 연속 $S$-불변량과 이산 근사 $S_m$ 사이의 차이에 대한 경계 조건을 확립함으로써, $S$-불변량의 균등 근사를 국소 설정으로 확장한다(Theorem 3.2).
4. 준 단성성(Quasi-Monomiality): 구성된 극한 필트레이션이 $T$-불변 준 단성 밸류에이션(quasi-monomial valuation)에 의해 계산됨을 증명하는 것이 핵심 단계이다. 이는 임의의 $T$-불변 등급 이데알 열(graded sequence of ideals)에 대하여 로그 정칙 임계값을 계산하는 $T$-불변 준 단성 밸류에이션이 존재한다는 Lemma 2.7에 기초한다.

주요 기여 및 결과
주요 결과는 정리 1.1이다:

$k$가 무한한 크기의 대수적으로 닫힌 체인 $n$차원 로그 파노 원뿔 특이점 $x \in (X, \Delta; T)$를 가정하자. $A_{X,\Delta}(\nu_0) < \infty$인 $T$-불변 밸류에이션 $\nu_0 \in \text{Val}^*_{T, X, x}$에 대하여, $\delta(X, \Delta; \nu_0)$를 최소화하는 $T$-불변 준 단성 밸류에이션 $\nu' \in \text{Val}_{T, X, \ni x}$가 존재한다.

주요 기술적 기여는 다음과 같다:

• 정의의 확장: 본 논문은 $\text{Val}^*_{T, X, x}$(정확히 $x$에 중심을 두는 밸류에이션) 대신 $\text{Val}^*_{T, X, \ni x}$($x$로 특수화되는 밸류에이션)를 사용하여 $\delta(X, \Delta; \nu_0)$를 정의한다. Corollary 2.8은 이러한 정의들이 동일한 하한을 산출함을 보여주지만, 최소자는 전자의 집합에서만 존재할 수 있음을 명시한다(Remark 2.9).
• 일반적 극한의 적응: 본 논문은 [BJ20, Proposition 6.3]을 우회하여 Lemma 3.5를 통해 [BJ20, Proposition 6.7]의 아날로그를 증명함으로써, 로그 파노 원뿔 설정에 일반적 극한 논법을 성공적으로 적응시켰다.
• 반례 구성: 섹션 4에서 본 논문은 로그 파노 원뿔 구조가 제거될 경우, 심지어 정규 곡면 위의 klt 쌍(klt pair)에서도 최소자의 존재성이 실패함을 보여주는 반례인 Example 4.2를 제공한다. 이는 일반적 극한 논법이 형식적 필트레이션(formal filtration)을 환 $R$로 하강시키는 데 있어 원뿔 구조가 왜 필수적인지를 강조한다.

의의 및 주장
본 논문은 최소자의 존재성이 K-안정성 이론의 **안정적 퇴화 정리(stable degeneration theorem)**의 핵심 구성 요소라고 주장한다. 로그 파노 원뿔 설정에서 국소 $\delta$-불변량의 최소자 존재성을 확립함으로써, 본 연구는 참조 밸류에이션 $\nu_0$가 Reeb 벡터 가중치에 국한되지 않고 임의의 $T$-불변 밸류에이션인 경우까지 국소 K-안정성(cf. [Li17], [LX18], [Zhu24a])의 프레임워크를 확장한다.

저자는 본 결과가 $\nu_0 = \text{wt}_\xi$ (여기서 $\xi$는 Reeb 벡터)인 경우를 일반화하며, 이는 이전에 [Hua22, Theorem 5.0.4]에서 증명된 바 있음을 명시한다. 본 논문은 일반적인 klt 쌍에 대해 최소자가 존재하는지에 대한 질문 4.1을 제기하며, 제공된 반례를 통해 이에 대해 부정적으로 답한다. 또한, 최소 밸류에이션의 Rees 대수가 유한 생성(finitely generated)되는지에 관한 질문 4.4를 제기하며, 이는 Reeb 벡터와 정규화된 부피 최소자에 대해서는 알려져 있으나 일반적인 $\delta$-최소자에 대해서는 여전히 미해결 상태임을 언급한다.

본 연구는 기저 체가 무한한 크기의 대수적으로 닫힌 체라는 가정에 의존하며, 증명은 표수 0의 틀 안에서 수행된다. 저자는 문헌 조사 및 논리 정교화를 위해 AI 도구를 사용했음을 인정하나, 주요 정리의 수학적 정확성과 독립적으로 검증된 반례에 대해서는 전적인 책임을 진다.