[論文レビュー] Algebraic (volume) density property

Shulim Kaliman, Frank Kutzschebauch|arXiv (Cornell University)|Jan 23, 2012

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

ひとこと要約

本稿は、代数的体積形式を備えた滑らかなアフィン代数的多様体における代数的体積密度性質（AVDP）の有効な基準を確立する。半適合ベクトル場に基づく新規なアプローチを導入し、微分形式空間における発散作用素の逆像を分析することで、G が G-不変体積形式を備える限り、G が線型代数的群で R が閉じた再帰的部分群であるようなすべての同次空間 G/R に対して AVDP を証明する。これは長年の問題を解決し、Gromov–Vaserstein 問題に関連する特定の曲面や線型代数的群に関する以前の結果を一般化する。

ABSTRACT

A smooth affine algebraic variety $X$ equipped with an algebraic volume form $ω$ has the algebraic volume density property (AVDP) if the Lie algebra generated by completely integrable algebraic vector fields of $ω$-divergence zero coincides with the space of all algebraic vector fields of $ω$-divergence zero. We develop an effective criterion of verifying whether a given $X$ has AVDP. As an application of this method we establish AVDP for any homogeneous space $X=G/R$ that admits a $G$-invariant algebraic volume form where $G$ is a linear algebraic group and $R$ is a closed reductive subgroup of $G$.

研究の動機と目的

• 滑らかなアフィン代数的多様体に代数的体積形式が備わる場合、それが代数的体積密度性質（AVDP）を満たすかどうかを判定する有効な基準を開発すること。
• 体積保存的設定における代数幾何学における密度性質の理論を拡張し、発散がゼロのベクトル場のリー代数が非自明な C[X]-加群を含めないという障害を克服すること。
• G が G-不変体積形式を備える限り、G が線型代数的群で R が閉じた再帰的部分群であるようなすべての同次空間 G/R に対して AVDP を証明すること。
• 線型代数的群およびその同次空間に対する AVDP に関する以前の結果を単純化・一般化し、半適合ベクトル場に基づく手法をより広い代数的多様体のクラスにまで拡張すること。

提案手法

• 完全な代数的ベクトル場のペアの半適合性という概念を導入し、以前の研究で用いられた適合ペアの概念を一般化する。
• 体積形式 ω を用いた内積作用により、AVFω(X) → Z^{n−1}(X) という写像 Θ を定義し、発散がゼロのベクトル場を閉じた (n−1)-形式に同定する。
• 外微分と正確な形式への射影の合成として、D = D_{n−1}: C^{n−2}(X) → B^{n−1}(X) という作用素を構成する。
• D^{-1} ◦ Θ(Lie^ω_{alg}(X)) の空間を分析し、そこに非自明な C[X]-加群が存在するかを検討し、AVDP の主要基準とする。
• D^{-1} ◦ Θ(Lie^ω_{alg}(X)) 内にこのような C[X]-加群が存在することは、やや弱い仮定のもとで AVDP の十分条件である。
• 同次空間 G/R にこの基準を適用する際、G 上の左不変ベクトル場を用いて半適合ベクトル場を構成し、モジュラー関数 Δ_G と Δ_R を分析する。

実験結果

リサーチクエスチョン

• RQ1 滑らかなアフィン代数的多様体に代数的体積形式が備わる場合、それが代数的体積密度性質（AVDP）を満たすかどうかを判定する有効な基準を開発できるか？
• RQ2 標準的な方法である Lie^ω_{alg}(X) 内の C[X]-加群の探索が体積保存的状況でなぜ失敗するのか、そしてその障害をどのように回避できるか？
• RQ3 線型代数的群 G と閉じた再帰的部分群 R に対して、同次空間 G/R が G-不変代数的体積形式を備え、かつ AVDP を満たすための条件は何か？
• RQ4 線型代数的群およびその同次空間に対する AVDP を、半適合ベクトル場に基づく統一的かつ単純化された方法で証明できるか？
• RQ5 モジュラー関数 Δ_G|R のコホモロジー的および幾何学的意味は何か？ これは G/R 上に不変体積形式が存在する条件とどのように関係するか？

主な発見

• 本稿は、微分形式の境界作用素 D に対して、D^{-1} ◦ Θ(Lie^ω_{alg}(X)) 内に非自明な C[X]-加群が存在するという基準に基づく AVDP の新基準を確立する。
• G が G-不変代数的体積形式を備える限り、G が線型代数的群で R が閉じた再帰的部分群であるようなすべての同次空間 G/R に対して AVDP が成り立つ。
• この基準は有効的であり、以前の代数的密度性質（ADP）の基準と同等の実用的価値を持ち、AVDP の体系的検証を可能にする。
• 線型代数的群に対する AVDP の以前の証明が単純化・一般化され、今やすべてのこのような同次空間にまで拡張される。
• G/R 上に G-不変体積形式が存在することは、条件 ˜Δ_R ≡ ˜Δ_G|R と同値である。ここで ˜Δ は部分モジュラー関数を表す。
• 系として、Xm,1 = {x^m v − y u = 1} ⊂ C^4 は、m ≥ 2 のとき、任意の再帰的群の同次空間と同型でない。これは体積形式が正確であり、非定数の可逆正則関数が存在しないことによる。