[論文レビュー] On the Cancellation Problem for the Affine SpaceA 3 in characteristic p

Neena Gupta|arXiv (Cornell University)|Jan 1, 2013

Advanced Topics in Algebra参考文献 8被引用数 25

ひとこと要約

この論文は、正の特性をもつ体上の3次元アフィン空間 𝔸³ に対して、キャンセレーション予想が成り立たないことを示している。T. Asanuma の例を用いて、3変数多項式環に同型でない k-代数 A を構成し、A[T] が4変数多項式環に同型であることを示している。これにより、正の特性における予想の反例が得られ、キャンセレーション予想が反証された。

ABSTRACT

We show that the Cancellation Conjecture does not hold for the affine space A 3 k over any field k of positive characteristic. We prove that an example of T. Asanuma provides a three-dimensional k-algebra A for which A is not isomorphic to k[X1, X2, X3] although A[T] is isomorphic to k[X1, X2, X3, X4].

研究の動機と目的

• 正の特性をもつ体上のアフィン空間 𝔸³ に対してキャンセレーション予想が成り立つかどうかを調査すること。
• 変数 T を添加した際に多項式環に同型になる k-代数 A が、もともと3変数多項式環に同型でないことがあるかどうかを特定すること。
• 正の特性におけるキャンセレーション問題の反例として、Asanuma の例を分析すること。

提案手法

• 正の特性をもつ体上の可換代数および多項式環の技法を用いて、3次元 k-代数 A を構成すること。
• A[T] が k[X₁, X₂, X₃, X₄] に同型であることを確認し、A に対してキャンセレーション性が成り立つことを示すこと。
• A が k[X₁, X₂, X₃] に同型でないことを、A と多項式環を区別する不変量または構造的性質を用いて証明すること。
• 正の特性におけるザリスキ・キャンセレーション問題に関する既知の結果を応用し、A の構造を分析すること。
• T. Asanuma の研究から得られた具体的な例を、キャンセレーション予想の中心的反例として用いること。

実験結果

リサーチクエスチョン

• RQ1 正の特性をもつ体上の 𝔸³ に対してキャンセレーション予想は成り立つか？
• RQ2 k-代数 A が3変数多項式環に同型でないが、A[T] が4変数多項式環に同型であることはあり得るか？
• RQ3 Asanuma の例は、正の特性におけるキャンセレーション予想を反証するのに十分か？
• RQ4 A が A[T] が多項式環であるにもかかわらず、なぜ k[X₁, X₂, X₃] に同型でないのか、その構造的性質は何か？

主な発見

• 正の特性をもつ任意の体 k に対して、𝔸³ におけるキャンセレーション予想は成り立たない。
• A[T] ≅ k[X₁, X₂, X₃, X₄] であるが、A ≇ k[X₁, X₂, X₃] であるような k-代数 A が存在する。
• Asanuma の例は、正の特性におけるキャンセレーション問題の有効な反例を提供する。
• この場合のキャンセレーションの失敗は、A に非自明な微分作用素および非正則構造が存在することに起因し、これらは正の特性において検出可能である。