[論文レビュー] Almost set-theoretic complete intersections in characteristic zero

Margherita Barile|ArXiv.org|Apr 4, 2005

Polynomial and algebraic computation参考文献 9被引用数 4

ひとこと要約

本稿では、特徴量が0の新しいクラスのアフィン単体的トーリック多様体を導入し、その定義イデアルがcodim(V)より多くの生成元を必要とするにもかかわらず、正確にcodim(V) + 1個の二項式方程式で定義可能であることを示す。二項式に関する再帰的恒等式と互いに素な素数の冪の性質を用いて、代数閉体上、特徴量0の体において、このような多様体が「ほとんど集合的完全交差」として定義可能であることを証明する。

ABSTRACT

We present a class of toric varieties $V$ which, over any algebraically closed field of characteristic zero, are defined by codim $V$+1 binomial equations.

研究の動機と目的

• 特徴量0のトーリック多様体が最小の二項式方程式数で定義可能かどうかを解明する長年の問題に取り組む。
• 特に特徴量0では通常二項式による定義が不可能であるため、完全交差を超えた集合的完全交差の理論を拡張する。
• codim > 2 であるアフィン単体的トーリック多様体の無限クラスを、二項式によるcodim(V)+1個の定義方程式で「ほとんど集合的完全交差」として構成する。
• 再帰的二項式恒等式と互いに素な素数の冪を用いた構成的技法を提供し、定義方程式の数を削減する。

提案手法

• 変数を共通のべき乗に上げたものと混合単項式を含むモナミアルパラメトライゼーションにより、アフィン単体的トーリック多様体のクラスを定義する。
• 多様体に関連する指数ベクトルの半群 T を用いて、定義イデアル内の二項式関係を分析する。
• 再帰的恒等式を適用：二項式 F = M - N に対して、F^(h) = M^h - N^h は F^(h+1) = M F^(h) + F N^h を満たし、F^(h) ∈ (F) が保証される。
• 異なる素数の冪 p^α と q^β が互いに素であることを利用して、M^{p^α}(u) = N^{p^α}(u) および M^{q^β}(u) = N^{q^β}(u) から M(u) = N(u) を導出する。
• 異なる素数 p と q に対して、二つの二項式 F_{n,p} = y_n^{p^α} - E_p および F_{n,q} = y_n^{q^β} - E_q を構成し、r+1 個の式で多様体を定義する。
• これらの r+1 個の二項式の零点が、I(V) 内のすべての二項式の零点を含むことを証明し、多様体が集合論的に定義可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 特徴量0のアフィン単体的トーリック多様体が、完全交差でない場合でも、codim(V) + 1 個の二項式方程式で定義可能かどうか。
• RQ2 特徴量0において、特徴量0の基準による制限を回避する方法を用いて、二項式による集合的完全交差を構成可能かどうか。
• RQ3 再帰的二項式恒等式と互いに素な素数の冪を用いて、トーリック多様体の定義方程式数をどのように削減できるか。
• RQ4 半群 T の組合せ的構造と、特徴量0において、そのコドメインより1つ多い二項式で定義可能な多様体の可能性との関係は何か。
• RQ5 正の特徴量で用いられる p-グルーイングに基づく手法を、特徴量0に適応して、同様に最小の二項式定義集合を達成できるか。

主な発見

• 例1の多様体 V は、6 個の生成元を必要とする定義イデアルを持つにもかかわらず、4 個の二項式方程式 F₁, F₂, F₃,₂, F₃,₃ で定義される。
• 定義イデアル I(V) は6 個の二項式で最小生成される：y₁⁶−x₁x₃, y₂⁶−x₂x₃, y₃²−x₁x₂y₁²y₂², y₁⁴y₂⁴−x₃y₃, y₁²y₃−x₁y₂⁴, y₂²y₃−x₂y₁⁴。
• 特徴量0において、V は完全交差でも、二項式による集合的完全交差でもない（定理1.1による）。
• V は codim(V) + 1 = 4 個の二項式で定義されるため、「ほとんど集合的完全交差」として成り立つ。
• 証明は、p^α と q^β が互いに素であることを利用して、M^{p^α}(u) = N^{p^α}(u) および M^{q^β}(u) = N^{q^β}(u) から M(u) = N(u) を導出する点に依存し、これにより I(V) 内のすべての二項式が共通零点で消えることが保証される。
• 再帰的構造と素数の冪指数を活用することで、定義方程式数を6個から4個に削減する手法が成功した。