[論文レビュー] Difference Nullstellensatz in the case of finite group

Dima Trushin|arXiv (Cornell University)|Aug 26, 2009

Finite Group Theory Research参考文献 5被引用数 6

ひとこと要約

この論文は、差分体の一般化である、絶対的平坦かつ単純な差分環（すなわち、有限個の体の直積として表される）である擬体（pseudofields）を導入することで、有限群の対称性を持つ差分方程式の幾何学的理論を構築する。可 constructible な準同型写像の理論を確立し、擬体上での差分零点定理（difference Nullstellensatz）を証明する。これにより、擬概型（pseudovarieties）が函子的対応のもとで代数的概型と同様に振る舞うことが示され、差分パラメータを含むピカード・ヴェシオティ理論が可能になる。

ABSTRACT

We develop a geometric theory for difference equations with a given group of automorphisms. To solve this problem we extend the class of difference fields to the class of absolutely flat simple difference rings called pseudofields. We prove the Nullstellensatz over pseudofields and investigate geometric properties of pseudovarieties.

研究の動機と目的

• 差分概型の準同型写像における可 constructibility の欠落という、差分パラメータを含むピカード・ヴェシオティ理論を構築する上での主要な障害を克服すること。
• 差分体を擬体（有限個の体の直積で、単純かつ絶対的平坦な）に置き換えることで、古典的代数幾何の枠組みを差分方程式へと拡張すること。
• 擬概型の準同型写像が可 constructible であるような幾何学的理論を確立し、標準的な代数幾何の技法と整合性を保つこと。
• 特にアーベル関数やアーベル積分、ヤコビのシータ関数などの特殊関数に対して、差分パラメータを含むガロア理論的アプローチの基盤を提供すること。
• 差分閉じた擬体上の擬概型の圏が、体上の代数的概型の圏と函手 G を介して同値であり、その函手がスペクトルおよび可 constructible 集合を保存することを示すこと。

提案手法

• 擬体を代数的基盤として導入する。これは、単純かつ絶対的平坦な差分環であり、有限個の体の直積として表される。
• pseudoring から ring への函手 F とその擬逆函手 G を用い、擬概型と代数的概型との間の関係を確立し、スペクトルおよび可 constructible 集合を保存する。
• 擬概型を、擬体上の多項式環における差分イデアルの零点集合として定義し、スペクトル構成を用いてその幾何的構造を定義する。
• 函手 G が極限および余極限を保存することを用い、代数幾何からの結果を移行することで、擬概型の準同型写像が可 constructible であることを証明する。
• 差分イデアルの根基が、その零点集合の消失イデアルに一致することを示すことにより、擬体上での差分零点定理を確立する。
• テイラー準同型と差分環から体への構造の継承を用い、次元や既約性といった性質を代数的概形から擬概形へと持ち上げる。

実験結果

リサーチクエスチョン

• RQ1 標準的な準同型写像が可 constructible でない場合、および差分体が必要な拡張をサポートできない場合に、差分方程式の幾何学的理論を構築できるか。
• RQ2 差分閉体の概念を、有限個の体の直積を許容する形に一般化することで、幾何的・代数的整合性を保てるか。
• RQ3 差分パラメータを含むピカード・ヴェシオティ理論を支えるのに適した差分環の正しいクラスは何か。また、代数幾何とどのように関係するか。
• RQ4 擬体上の擬概形は、可 constructibility や既約性といった、代数的概形の幾何的性質をどの程度継承するか。
• RQ5 擬概形上の次元および正則関数は、どのように定義され、それらの代数的類似物と関係づけられるか。

主な発見

• 差分閉じた擬体上の擬概形の圏は、函手 G を介して、体上の代数的概形の圏と同値であり、その函手はスペクトルおよび可 constructible 集合を保存する。
• 擬概形の準同型写像は可 constructible であり、差分代数幾何の従来の手法における主要な障害を解消する。
• 擬体上では差分零点定理が成立する：差分イデアルの根基は、その零点集合の消失イデアルに一致する。
• 擬概形 X の次元は、対応する代数的概形 X* の次元に等しく、函手 G によってクルル次元が保存されることを示す。
• アフィン擬空間 An の次元は n|Σ| に等しく、|Σ| は有限群の位数を表す。これは A を K^|Σ| と同一視することと整合する。
• 擬概形上の正則関数の環は、函手 G による多項式環の像と同型であり、擬幾何的問題を代数的問題に還元できる。