[論文レビュー] Makar-Limanov invariant, Derksen invariant, flexible points

Fabrizio Donzelli|arXiv (Cornell University)|Jul 17, 2011

Advanced Differential Equations and Dynamical Systems参考文献 4被引用数 3

ひとこと要約

本稿は、アフィン代数的多様体における柔軟点の存在と、Makar-Limanov不変量、Derksen不変量の間の深い関係を確立する。有限Picard群をもつアフィン多様体に対して、Makar-Limanov不変量が自明（ℂに同型）であることと、柔軟点が存在することは同値であり、さらに、Derksen不変量が自明であることから、SAut(X)の作用が高々1点を固定点として持ち、トランスティヴであることが示され、アフィン代数幾何における代数的自己同型群の構造的分類ツールが得られる。

ABSTRACT

We estabilish some connections among the Makar-Limanov invariant, the Derksen invariant, and the existence of flexible points on an affine variety.

研究の動機と目的

• アフィン代数的多様体におけるMakar-Limanov不変量、Derksen不変量、および幾何学的柔軟性の概念との関係を明確化すること。
• 有限Picard群の条件下で、正則Makar-Limanov不変量が自明であることから柔軟点が存在することを示すことで、文献におけるギャップを解消すること。
• 特にDanilov-Gizatullin多様体とその自己同型群の文脈において、自明な不変量をもつアフィン曲面の構造的特徴付けを提供すること。
• Derksen不変量が自明であることから、自己同型群が高々1つの固定点しか持たないことを証明し、不変量に基づく新たな分類基準を提示すること。

提案手法

• すべてのℂ+-作用によって生成される特別な自己同型群SAut(X)を用いて、Xの正則部分集合上の軌道構造とトランスティヴ性を分析する。
• 局所的にべき零である微分作用素（LND）の概念を適用し、Makar-Limanov不変量をX上のすべてのLNDの核の共通部分として定義する。
• 有理的SAut(X)-不変量を用いた幾何的商の構成により、幾何的商X′//SAut(X)をもつ開アフィン部分多様体X′を構成する。
• 局所的にべき零である微分作用素が超曲面Dに接するならば、Dの定義関数gはその微分作用素に関して不変であるという補題を用いる。
• 有理的不変量に関するRosenlichtの定理の一般化を適用し、一般位置にある軌道を分離する有限個の有理的不変量の存在を示す。
• 座標環の単項式生成子と明示的な局所的にべき零である微分作用素を用いて、Danilov-Gizatullin多様体のDerksen不変量を直接計算する。

実験結果

リサーチクエスチョン

• RQ1 アフィン多様体において、Makar-Limanov不変量が自明であるという条件が、柔軟点の存在を示すのはどのような条件下か？
• RQ2 有限Picard群をもつアフィン曲面において、Derksen不変量と柔軟点の存在とはどのように関係しているか？
• RQ3 Derksen不変量が自明なアフィン多様体の自己同型群が、1つより多くの固定点をもつことはあり得るか？
• RQ4 特に特異的または滑らかでない場合において、Makar-Limanov不変量の体と柔軟点の存在との正確な関係は何か？
• RQ5 Danilov-Gizatullin多様体は自明なDerksen不変量をもつのか？ そして、明示的な微分作用素を用いた直接計算によって、この事実は確認可能か？

主な発見

• 体としてのMakar-Limanov不変量FML(X)が自明（ℂに同型）であることと、Xに柔軟点が存在することは同値であり、これはSAut(X)が開軌道をもつことと同値である。
• 有限Picard群をもつアフィン多様体に対して、正則Makar-Limanov不変量ML(X)が自明であることと、Xに柔軟点が存在することは同値である。
• Derksen不変量D(X)がℂ[X]に等しいことと、自己同型群Aut(X)が高々1つの固定点しか持たないことは同値である。
• Danilov-Gizatullin多様体V_nに対して、Makar-Limanov不変量およびDerksen不変量の両方が自明である：ML(V_n) ≅ ℂ かつ D(V_n) = ℂ[V_n]。
• 直接計算により、V_nのDerksen不変量が単項式x_kとyによって生成され、その不変量が次元b+1のベクトル空間をなすことが確認され、自明性が証明された。
• 本稿は、曲面においてAut(X)-軌道の補集合に2点以上存在し、かつML(X) ≅ ℂであるならば、D(X) ≠ ℂ[X]であることを示し、非自明なDerksen不変量のための基準を提供した。