[論文レビュー] Lie algebras of vector fields on smooth affine varieties

Yuly Billig, Vyacheslav Futorny|arXiv (Cornell University)|May 16, 2017

Nonlinear Waves and Solitons参考文献 13被引用数 3

ひとこと要約

本稿は、代数閉体上での非特異なアフィン多様体 $X$ における多項式ベクトル場のリー代数が、単純であるための必要十分条件として $X$ が滑らかであることの自己完結的証明を提供する。証明は局所的・大域的原理に基づく：まず、すべての非ゼロイデアルが、特異点でない各点における接空間を張る（局所的豊富性）ことを示し、次にヒルベルトのアフィン多項式の零点定理を用いてこの局所的性質を大域的に拡張することで、イデアルが全体の代数に一致することを示し、単純性を証明する。本研究は、ジョルダンやジークベルトの古典的結果を一般化するが、先行文献に依存しない。

ABSTRACT

We reprove the results of Jordan [18] and Siebert [31] and show that the Lie algebra of polynomial vector fields on an irreducible affine variety X is simple if and only if X is a smooth variety. Given proof is self-contained and does not depend on papers mentioned above. Besides, the structure of the module of polynomial functions on an irreducible smooth affine variety over the Lie algebra of vector fields is studied. Examples of Lie algebras of polynomial vector fields on an N-dimensional sphere, non-singular hyperelliptic curves and linear algebraic groups are considered.

研究の動機と目的

• 非特異なアフィン多様体上の多項式ベクトル場のリー代数の単純性基準を再証明し、一般化すること。
• 多様体の滑らかさと関連するベクトル場のリー代数の単純性の同値性を自己完結的に証明すること。
• 滑らかなアフィン多様体上のベクトル場のリー代数に関する多項式関数の加群構造を調べること。
• 球面、非特異なハイパーエリプティック曲線、線型代数的群など、具体的な例を提示すること。

提案手法

• 証明は局所的・大域的原理を用いる：まず、ベクトル場のリー代数におけるイデアルの局所的性質を、特異点でない点において分析する。
• すべての非ゼロイデアルが局所的に豊富であることを示す。すなわち、各特異点でない点において、イデアルに属するベクトル場が接空間を全空間として張ることを意味する。
• 方向微分と加群構造を用いて、イデアルの $A$-部分加群を構成し、多項式関数代数による左作用に関して閉じていることを示す。
• ヒルベルトのアフィン多項式の零点定理を適用して、イデアルに関する局所的情報を大域的結論へと拡張し、任意の非ゼロイデアルが全体のリー代数に一致することを証明する。
• 左不変および右不変ベクトル場を用いて、ベクトル場のリー代数と多項式関数代数上の自由加群との間の同型を構成する。
• 線型代数的群 $G$ に対して、$\mathcal{D}_G \cong A \otimes \mathcal{L}^L \cong A \otimes \mathcal{L}^R$ を証明し、リー代数が座標環上の自由加群であることを示す。

実験結果

リサーチクエスチョン

• RQ1 非特異なアフィン多様体上の多項式ベクトル場のリー代数が単純である条件は何か？
• RQ2 ベクトル場のリー代数におけるイデアルの局所的構造は、その基底多様体の幾何にどのように関係するか？
• RQ3 滑らかなアフィン多様体上のベクトル場のリー代数に関する多項式関数代数の加群構造は何か？
• RQ4 線型代数的群上のベクトル場のリー代数は、座標環上の自由加群としてどのように記述できるか？
• RQ5 球面やハイパーエリプティック曲線などの特定の多様体上の多項式ベクトル場のリー代数の構造的性質は何か？

主な発見

• 非特異なアフィン多様体 $X$ 上の多項式ベクトル場のリー代数は、$X$ が滑らかであるための必要十分条件である。
• ベクトル場のリー代数におけるすべての非ゼロイデアルは、局所的に豊富である。すなわち、$X$ のすべての非特異点において、イデアルに属するベクトル場が接空間全体を張る。
• 証明は自己完結的であり、ジョルダンやジークベルトの先行結果に依存せず、彼らの定理の新たな独立的導出を提供する。
• 線型代数的群 $G$ に対して、ベクトル場のリー代数 $\mathcal{D}_G$ は $A \otimes \mathcal{L}^L$ および $A \otimes \mathcal{L}^R$ に同型であり、$A$ は座標環、$\mathcal{L}^L$, $\mathcal{L}^R$ は左不変および右不変ベクトル場の空間である。
• $\mathcal{D}_G$ が $A$-加群として自由であることは、方向微分とコアクション写像を用いて構成された明示的な逆写像により確立される。
• 本稿では、$N$ 次元の球面、非特異なハイパーエリプティック曲線、線型代数的群上のベクトル場のリー代数について、一般理論を説明する具体的な構成を提供する。