[論文レビュー] An algorithmic approach to Chevalley's Theorem on images of rational morphisms between affine varieties

Mohamed Barakat, Markus Lange‐Hegermann|arXiv (Cornell University)|Nov 23, 2019

Polynomial and algebraic computation参考文献 43被引用数 5

ひとこと要約

この論文は、射影的コンパクト化とファイバー次元の低減に基づく、新規の相対的境界ハル構成を用いて、アフィン代数的多様体間の有理写像の像の可 Constructible な性質を示すアルゴリズム的で構成的な証明を提示する。この手法により、グレブナー基底と消去を用いた効率的な像の計算が可能となり、事前の主分解を避ける実装がなされており、従来の手法よりも計算効率が優れている。

ABSTRACT

The goal of this paper is to introduce a new constructive geometric proof of the affine version of Chevalley's Theorem. This proof is algorithmic and a verbatim implementation resulted in an efficient code for computing the constructible image of rational maps between affine varieties. Our approach extends the known descriptions of uniform matrix product states to $\operatorname{uMPS}(2,2,5)$

研究の動機と目的

• 有理準同型写像の像に関するアフィン版Chevalleyの定理の構成的・アルゴリズム的証明を提供すること。
• アフィン多様体間の有理写像の可 Constructible な像を計算するための計算効率の高い手法を開発すること。
• ファイバー次元の低減技術を用いて、主分解を延期または回避することで計算コストを低減すること。
• 射影的コンパクト化と一般に次元が0のファイバーを持つことを利用した、新規の相対的境界ハル構成を導入すること。
• 二部グラフデータ構造と反復的分解を用いて、像の計算を実用的に行えるようにすること。

提案手法

• 写像 f(C) の相対的境界ハル D を構成する際、元の閉部分集合を、射影に関して一般に次元0のファイバーを持つ部分集合 Γ₀ ⊆ Γ に置き換える。
• 射影的コンパクト化を用いる：環境空間を射影空間に埋め込み、Γ₀ を Pⁿ_Y における閉包として取り、無限遠超平面 H と交差させる。
• 相対的境界ハル D を、無限遠点 Γ₀∞ := bΓ₀ ∩ H の射影による像として定義する。
• 射影公式 f(f⁻¹(D) ∩ C) = D ∩ f(C) を適用し、f(C) を局所的閉集合とより小さい像の直和に分解することで、反復的計算を可能にする。
• 構成的集合を閉集合の差の互いに素な和として表現するための二部有向グラフデータ構造を用いてアルゴリズムを実装する。
• 各レベルで LocallyClosedApproximationOfProjection を用いて局所的閉近似を計算し、各再帰レベルの後にスラッシングを適用して冗長なノードを削除する。

実験結果

リサーチクエスチョン

• RQ1 Chevalleyの定理における可 Constructible な像について、アルゴリズム的手法を用いて構成的証明は可能か？
• RQ2 再帰の深さと計算複雑度を低減する効率的で最小限の相対的境界ハル構成とは何か？
• RQ3 構成的像の計算において、主分解を延期または回避することは可能か？
• RQ4 射影的コンパクト化とファイバー次元の低減を用いることで、計算効率はどのように向上するか？
• RQ5 構成的集合の反復的分解をサポートする最良のデータ構造とアルゴリズム戦略は何か？

主な発見

• 提案されたアルゴリズムは、有理写像の像を有限個の局所的閉集合の直和として構成し、Chevalleyの定理の構成的証明を提供する。
• 相対的境界ハルは射影的コンパクト化と無限遠点の像に基づいて構成され、正しさと計算効率を保証する。
• 消去の前に一般に次元0のファイバーへの帰着により、主分解を回避または延期する手法が有効である。
• 実装では、効率的なスラッシングと各再帰レベル内での並列処理を可能にする二部グラフデータ構造が使用されている。
• グレブナー・カバー や一般に自由な性質に基づくアプローチに比べ、より小さな境界ハルと低い次数の境界ハルを生成することで、従来手法を上回る性能を発揮する。
• トロイカル多様体における軌道計算の検証では、主トロイカル軌道をその閉包と境界の差として正しく計算している。