[論文レビュー] Local Strong Factorization of birational maps

Kalle Karu|ArXiv.org|Mar 12, 2003

Algebraic Geometry and Number Theory参考文献 3被引用数 8

ひとこと要約

本稿は、特徴量がゼロの体上の滑らかな代数的概形間の双有理写像について、局所的な強い因数分解予想を証明する。任意の2つの付値によって支配される正則局所環は、その付値に沿った単形変換の列によって同型にできると示している。主な結果は、このような因数分解が、単形幾何と単項式化を用いて可能であることを確立し、n次元における長年の予想を、有理独立なベクトルを持つ非特異的錐のスターサブディビジョンに帰着させることで解決する。

ABSTRACT

The strong factorization conjecture states that a proper birational map between smooth algebraic varieties over a field of characteristic zero can be factored as a sequence of smooth blowups followed by a sequence of smooth blowdowns. We prove a local version of the strong factorization conjecture for toric varieties. Combining this result with the monomialization theorem of S.D.Cutkosky, we obtain a strong factorization theorem for local rings dominated by a valuation.

研究の動機と目的

• 特徴量ゼロの体上の付値によって支配される正則局所環の局所的強い因数分解予想を証明すること。
• そのような任意の2つの局所環が、付値に沿った単形変換の列によって同型にできると確立すること。
• クリステンセンの3次元結果を、単形法を用いて任意の次元へ一般化すること。
• 定理0.1の完全な証明を、定理0.2（局所的単形因数分解）とカツコスキーの単項式化定理を組み合わせることで与えること。
• 過去の文献における欠落を埋めるために、不完全なグローバルな強い因数分解の証明に依存するのではなく、直接的な単形的議論を用いること。

提案手法

• 正則局所環を非特異的有理錐に対応させることで、局所因数分解問題を単形幾何の問題に還元する。
• 有理独立な座標を持つベクトルに沿った錐のスターサブディビジョンを用いて、付値に沿った単形変換をモデル化する。
• 格子の商の低次元への射影を用いて次元に関する帰納法を適用し、錐の構造を保つ。
• カツコスキーの単項式化定理を用いて、一方の環のパラメータを、ユニモジュラー指数行列を持つ他方の環のパラメータの単項式として表現する。
• 中心 (x_i, x_j) における単形変換を、付値ベクトル v に沿った u_i + u_j における錐のスターサブディビジョンに翻訳する。
• ユニモジュラー変換が錐の非特異性を保ち、有限回のこのような操作で単位行列に収束することを用いる。

実験結果

リサーチクエスチョン

• RQ1 特徴量ゼロの体上の滑らかな概形間の適切な双有理写像は、局所的設定において、滑らかな blown-up の列に続く blown-down を経て因数分解可能か？
• RQ2 同一の付値によって支配される2つの正則局所環は、その付値に沿った単形変換の列による共通の細分に因数分解可能か？
• RQ3 単形概形と有理独立な座標を持つ有理ベクトルに制限した場合、任意の次元における局所的強い因数分解予想は成立するか？
• RQ4 グローバルな強い因数分解予想は、錐のスターサブディビジョンを含む局所的単形的問題に還元可能か？
• RQ5 単項式化は、連続する単形変換による共通の細分の構成を可能にする役割を果たすか？

主な発見

• 特徴量ゼロの体上の優れた正則局所環が付値によって支配される限り、局所的強い因数分解予想は成立する。
• 共通の付値 ν 沿いの単形変換の列によって、R と S の両方から T という局所環が構成可能であり、これにより定理0.1が証明される。
• 有理独立な座標を持つベクトル v を含む任意の2つの非特異的錐 σ と τ に対して、v に沿った滑らかなスターサブディビジョンの列によって得られる共通の非特異的錐 ρ が存在する。これにより定理0.2が証明される。
• 一般の場合を単形的設定に還元するために単項式化定理を用い、一方の環のパラメータをユニモジュラー指数行列を持つ他方の環のパラメータの単項式として表現できる。
• 単形変換とスターサブディビジョンの対応関係により、代数的変換の幾何的解釈が可能となり、指数行列における有限収束（単位行列への収束）が保証される。
• 不完全なグローバルな強い因数分解証明に依存するのを避け、錐の分割と次元に関する帰納法に基づく直接的で構成的な議論を用いる。