[論文レビュー] Connections on modules over simple curve singularities

Eivind Eriksen|arXiv (Cornell University)|Mar 10, 2006

Commutative Algebra and Its Applications参考文献 4被引用数 4

ひとこと要約

本稿は、代数閉体の標数0における単純な曲線特異点の完全局域環上の最大コhen＝マカウレー（MCM）加群に、積分可能接続が存在することを確立する。微分作用素とA線形性を用いて、ライブニッツ則を満たし、リー括弧を保存する接続を構成し、これらの加群に対しては常にこのような接続が存在することを証明する。

ABSTRACT

Abstract. Let k be an algebraically closed field of characteristic 0, and let A be the complete local ring of a simple curve singularity defined over k. For any maximal Cohen-Macaulay A-module M, we show that there exists an integrable connection on M, i.e. an A-linear homomorphism ∇ : Derk(A) → Endk(M) that satisfy the Leibniz property and preserves the Lie product. 1.

研究の動機と目的

• 単純な曲線特異点の完全局域環上の最大コhen＝マカウレー（MCM）加群に積分可能接続が存在するかを調査すること。
• 微分幾何学的概念（たとえば接続）を代数的特異点の文脈に拡張すること。
• このような特異点上のすべてのMCM加群が積分可能接続をもつことを証明することで、可換代数と代数幾何学における構造的結果を確立すること。
• 特異代数幾何学におけるD加群と接続を研究するための基盤的道具を提供すること。

提案手法

• 本稿は、標数0の代数閉体k上の単純な曲線特異点の完全局域環Aの枠組み内で展開される。
• k-線形なAの微分作用素からなる微分作用素の加群Derk(A)を考察する。
• 接続を、A-線形な準同型∇ : Derk(A) → Endk(M) として定義し、ライブニッツ則を満たし、リー括弧を保存する。
• 構成は、単純特異点上のMCM加群の構造に依存し、その表現論的およびホモロジー的性質を活用する。
• Aがハイパーサーフェース特異点であるという事実を用いて、微分作用素と加群の自己準同型の解析を簡略化する。
• 接続が微分作用素上のリー積を尊重することを確認することで、積分可能性条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 単純な曲線特異点の完全局域環上の最大コhen＝マカウレー加群は、常に積分可能接続をもつか？
• RQ2 A-線形かつライブニッツ則を満たすような、このような加群上の接続を構成できるか？
• RQ3 この文脈において、接続はリー積を保存するか？
• RQ4 標数0の仮定は、このような接続の存在にどのような役割を果たすか？
• RQ5 単純な曲線特異点の性質は、積分可能接続の構成をどのように容易にするか？

主な発見

• 単純な曲線特異点の完全局域環A上の任意の最大コhen＝マカウレーA加群は、積分可能接続をもつ。
• 接続∇はA-線形であり、Mにおける微分作用素の作用に関してライブニッツ則を満たす。
• 接続はDerk(A)上のリー積を保存し、積分可能性を保証する。
• このような接続の存在は、Aの代数的構造およびこの文脈におけるMCM加群の性質によって保証される。
• この結果は、標数0においてのみ成立し、基礎となる代数的構成に不可欠である。