[論文レビュー] DIFFERENTIAL OPERATORS ON PROJECTIVE MODULES

Helge Øystein Maakestad|arXiv (Cornell University)|Jan 1, 2012

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

ひとこと要約

この論文は、可換単位的環上の有限生成射影加群における微分作用素の明示的公式を提示し、加群の基本行列を用いて接続の曲率を射影的でないべきに表現する。さらに、射影的基底から生じる分割構造のクラスは限定的であることが示される。

ABSTRACT

In this paper we give explicit formulas for differential operators on a finitely generated projective module E on an arbitrary commutative unital ring A. We use the differential operators constructed to give a simple formula for the curvature of a connection on a Lie-Rinehart algebra in terms of the fundamental matrix of E. This gives an explicit formula for the curvature of a connection on E defined in terms of an idempotent for E. We also consider the notion of a stratification on the module E induced by a projective basis. It turns out few stratifications are induced by a projective basis.

研究の動機と目的

• 任意の可換単位的環上の有限生成射影加群における微分作用素の明示的公式の導出。
• Lie-Rinehart代数上の接続の曲率を、射影的加群の基本行列を用いて表現すること。
• 射影的基底とその加群に誘導される分割構造との関係の分析。
• 射影的基底から生じる加群上の分割構造の特徴付け。

提案手法

• 加群 E を表すべきを用いて射影的加群 E 上の微分作用素の構成。
• 加群 E のべき等元表現を介して関連する基本行列の定義。
• 基本行列を用いて E 上の接続の曲率公式の導出。
• Lie-Rinehart代数構造を用いて曲率と加群の代数的データの関係の特定。
• 射影的基底によって誘導される E 上の分割構造の分析。
• 射影的基底によって誘導される分割構造の数と、E に可能なすべての分割構造の総数との比較。

実験結果

リサーチクエスチョン

• RQ1 可換単位的環上の有限生成射影加群における微分作用素は、どのように明示的に構成できるか？
• RQ2 Lie-Rinehart代数上の接続の曲率は、その基盤となる射影的加群の基本行列を用いてどのように表現できるか？
• RQ3 射影的基底は、射影的加群上のどの程度の分割構造を誘導するか？
• RQ4 射影的加群上のどの分割構造が射影的基底を介して実現可能か？
• RQ5 接続の曲率を決定する代数的不変量は何か？

主な発見

• 加群のべき等元表現を用いて、射影的加群上の微分作用素の明示的公式が導出された。
• Lie-Rinehart代数上の接続の曲率が、射影的加群の基本行列を用いて明示的に表現された。
• 加群 E 上の分割構造のうち、射影的基底から生じるものは限定的である。
• 基本行列は、加群のべき等元とその接続の曲率を結ぶ重要な代数的不変量である。
• 構成の結果、曲率公式が加群のべき等元とその関連行列データにのみ依存することが明らかになった。
• 分析により、E 上の大部分の分割構造は射影的基底から生じないことが示され、強い代数的制約があることが判明した。