Canonical Projectivization of Smooth Complete Toric Varieties

기술적 요약: 매끄러운 완전 토릭 다양체의 표준적 사영화

문제 제기
본 논문은 토릭 기하학의 근본적인 질문을 다룹니다: 격자 $N \cong \mathbb{Z}^n$ 내의 매끄러운 완전 팬 $\Sigma$로 정의된 매끄러운 완전 토릭 다양체 $X_\Sigma$가 주어졌을 때, 이를 적절한 유리적 토릭 사상을 통해 지배하는 매끄러운 사영 토릭 다양체를 구성할 수 있는가? 그러한 지배 다양체의 존재는 (토릭 Chow 보조정리를 통해 이후 특이점 제거를 수행함으로써) 고전적으로 알려져 있으나, 고전적 접근법은 일반적으로 특이점을 가진 중간 다양체를 경유합니다. 여기서 다루는 구체적인 과제는 이 사영화가 매끄러운 중간 다양체들의 순열을 통해, 모든 사상이 매끄러운 토러스 불변 중심을 따라 이루어지는 일반적 블로우업으로만 달성될 수 있는지 여부입니다. 이는 "매끄러운 별형 분해 (smooth stellar factorization)" 문제와 관련되며, 블로우업과 블로우다운을 모두 허용하는 약한 분해 정리 (Weak Factorization Theorem) 와는 구별됩니다.

방법론
저자 Parsa Bakhtary 는 입력 팬 $\Sigma$를 세 가지 명확한 단계로 정제하여 $N$ 내의 매끄러운 사영 팬 $\hat{\Sigma}$로 변환하는 균일하고 구성적인 알고리즘을 제안합니다. 이 구성은 $N$의 순서화된 격자 기저가 고정되면 **표준적 (canonical)**입니다.

1. 벽 배열 팬 구성 (Wall-Arrangement Fan Construction):
   첫 번째 단계는 참조 팬 $\mathcal{A}_\Sigma$를 구성하는데, 이를 "벽 배열 팬 (wall-arrangement fan)"이라고 합니다. $\Sigma$의 모든 코디멘션 1 원뿔 $\tau$에 대해, 저자는 지지 초평면을 $N_\mathbb{R}$ 내의 중심 초평면으로 확장합니다. 이러한 초평면들의 배열이 완전 팬 $\mathcal{A}_\Sigma$를 정의합니다.

   • 성질: $\mathcal{A}_\Sigma$는 $\Sigma$를 정제하는 완전 사영 팬입니다. 그러나 $\mathcal{A}_\Sigma$는 일반적으로 매끄럽거나 심플렉틱 (simplicial) 하지 않습니다.

2. 부호 적응 알고리즘 (벽 적응 단계, Sign-Adaptation Algorithm):
   목표는 $\mathcal{A}_\Sigma$에 "종속 (subordinate)"인 팬 $\Gamma(\Sigma)$ (즉, $\Gamma(\Sigma) \preceq \mathcal{A}_\Sigma$) 로 $\Sigma$를 정제하면서도 매끄러움을 유지하는 것입니다.

   • 메커니즘: 알고리즘은 $\mathcal{A}_\Sigma$를 정의하는 벽 법선 $m_i$들을 순회합니다. 주어진 법선 $m$에 대해, 생성자들이 초평면 $\ker(m)$의 반대편에 위치할 때 (즉, $m(u) \cdot m(v) < 0$일 때) 2 차원 원뿔 $\langle u, v \rangle$를 "$m$-나쁜 (bad)" 것으로 정의합니다.
   • 연산: 알고리즘은 $m$-나쁜 2-원뿔들에 대해 유한한 수의 별형 분할 (star subdivisions) 을 수행합니다. 구체적으로, 나쁜 원뿔 $\langle u, v \rangle$에 대해 $u+v$로 생성된 광선을 삽입합니다.
   • 종료: 가중치 함수 $w_m(\tau) = |m(u)| + |m(v)|$를 사용하여 종료를 증명합니다. 각 분할은 나쁜 원뿔들의 최대 가중치를 엄격히 감소시키거나 그 수를 줄입니다.
   • 결과: 이 단계는 모든 원뿔이 벽 배열의 단일 챔버 내에 완전히 위치하도록 하는 (즉, 모든 원뿔의 광선 생성자들이 각 벽 법선에 의해 정의된 동일한 닫힌 반공간에 속하는) 매끄러운 팬 $\Gamma(\Sigma)$를 생성합니다. 이는 $\Gamma(\Sigma) \preceq \mathcal{A}_\Sigma$를 보장합니다. 결정적으로, 모든 단계는 매끄러운 코디멘션 2 불변 중심을 따른 블로우업입니다.

3. 중심점 래퍼 (사영성 단계, Barycentric Wrapper):
   $\Gamma(\Sigma)$가 매끄럽고 사영 팬 $\mathcal{A}_\Sigma$를 정제하지만, 그 자체로 사영적이지는 않을 수 있습니다.

   • 연산: 저자는 $\text{Bar}(\Gamma(\Sigma))$로 표시되는 중심점 유도 분할 (barycentric derived subdivision) 을 적용합니다. 이는 차원 $k \geq 2$인 모든 원뿔의 생성자들의 합에 해당하는 중심점 (barycenters) 에 대응하는 광선들을 삽입하는 것으로, 차원의 감소 순서로 처리됩니다.
   • 결과: 보조정리 6.4 에 따르면, 매끄러운 팬 $\Phi$가 사영 팬 $\Delta$를 정제하면, 중심점 분할 $\text{Bar}(\Phi)$는 사영적입니다. 이 단계는 매끄러움을 유지하면서 사영성을 강제합니다.

주요 기여 및 결과

• 정리 1.1 (표준 토릭 사영화): $N_\mathbb{R}$ 내의 임의의 매끄러운 완전 팬 $\Sigma$ ($n \geq 2$) 에 대해, 다음을 만족하는 표준적 유한 토릭 블로우업 순서가 존재함을 증명합니다:
  $$X_{\hat{\Sigma}} = X_r \to X_{r-1} \to \dots \to X_0 = X_\Sigma$$
  여기서:

  1. $X_{\hat{\Sigma}}$는 매끄럽고 사영적입니다.
  2. 각 사상은 코디멘션 $\geq 2$인 매끄러운 토러스 불변 중심의 블로우업입니다.
  3. 이 구성은 고정된 순서화된 격자 기저에 대해 표준적입니다.

• 균일성: 증명은 비사영 3-다양체에 대한 일부 이전 접근법과 달리 차원별 사례 분석을 피하고 모든 차원 $n$에 걸쳐 균일합니다.

• 3 차원 특수화: 3 차원에서 벽 적응 단계에 의해 해결되는 "나쁜" 대상은 불변 곡선 (2-원뿔에 해당) 이며, 중심점 단계는 불변 곡선과 토러스 고정점 (3-원뿔) 을 해결합니다. 이는 비사영 모이셰존 (Moishezon) 3-다양체에서 관찰된 "나쁜 곡선" 철학과 일치합니다.

• 길이 추정: 논문은 필요한 블로우업 수에 대한 추정을 제공합니다. 전체 길이는 벽 조건을 만족시키기 위해 추가된 광선 수와 관련된 적응 비용과 적응된 팬의 원뿔 수와 관련된 중심점 비용으로 분해됩니다. 3-다양체의 경우, 특정 공식 $L_{full} = 6f_1(\Gamma) - f_1(\Sigma) - 10$이 유도됩니다.

의의 및 주장
본 논문은 전체 과정에서 매끄러움을 유지하는 사영화 문제에 대한 구성적 해결책을 제공한다고 주장합니다.

• 고전적 방법과의 대비: (특이점을 가진 중간 팬을 도입할 수 있는) 고전적 토릭 Chow 보조정리를 따른 후 특이점 제거를 수행하는 방법과 달리, 이 방법은 모든 중간 다양체가 매끄럽도록 보장합니다.
• 약한 분해 정리와의 대비: 유리 사상을 블로우업과 블로우다운으로 분해하는 약한 분해 정리 (Włodarczyk) 와 달리, 이 구성은 블로우업만 사용하여 결과를 달성합니다.
• Q-인자적 수정과의 대비: Fujino–Sato 와 같이 플립 (flips), 플로프 (flops), 또는 Q-인자적 수정을 사용하는 프레임워크와는 다르며, 이는 종종 지배 다양체가 아닌 코디멘션 1 에서 동형인 다양체들을 초래합니다.
• 표준성: 격자 기저가 선택되면 구성은 결정론적이며, 체계적인 순서로 "나쁜" 부분 다양체들 (사영성 벽을 가로지르는 것들) 을 해결합니다.

저자는 매끄러움 가정이 필수적이라고 지적합니다. 입력 팬이 매끄럽지 않다면, 생성자들의 합 $u+v$가 원시적 (primitive) 이 아닐 수 있어 부호 적응 알고리즘의 직접적인 적용이 불가능해집니다. 이 작업은 가중치 분해 추측의 가중치 버전과 구별되는, 매끄러운 팬을 위한 직접적이고 가중치가 없는 구성으로 제시됩니다.