[論文レビュー] A dilemma of nonequivalent definitions of differential operators in noncommutative geometry

G. Sardanashvily|ArXiv.org|Feb 27, 2007

Algebraic structures and combinatorial models参考文献 11被引用数 4

ひとこと要約

この論文は、非可換幾何における微分作用素の定義に根本的な不整合が存在することを特定し、Dubois-Violette や Lunts、Giachetta らの定義を含む、既存の定義が非可換環上の導分が加群を形成しないという点で不十分であることを示している。主な貢献は、古典的可換ケースを一般化し、基礎的な曖昧さを解消する、双側的定義に基づくバイモジュール上の微分作用素の新しい定義である。

ABSTRACT

In contrast with differential operators on modules over commutative and graded commutative rings, there is no satisfactory notion of a differential operator in noncommutative geometry.

研究の動機と目的

• 非可換幾何における微分作用素の定義に、一貫性があり、普遍的に満足できる定義が存在しないことの特定。
• Dubois-Violette や Lunts、Giachetta らの定義が非可換設定でなぜ失敗するかの分析。
• 非可換環上の導分が加群を形成しないことにより、標準的な構成が崩れることの特定。
• バイモジュール上の微分作用素の新しい二重側定義を提唱し、古典的可換定義を一般化すること。
• この新しい定義が基礎的な曖昧さを解消し、非可換環上の微分作用素理論における一貫性を回復することの確立。

提案手法

• 可換環上のモジュールにおける微分作用素の古典的 Grothendieck 定義を基準として採用する。
• 非可換環上のバイモジュールにおける左、右、および二重側微分作用素を、乗法写像との反復交換子を用いて定義する。
• 二重側第一階微分作用素の代表的対象として、二重側のジェット加群 ${\cal J}^1(P) = {\cal A} \otimes_{\cal K} P \otimes_{\cal K} {\cal A} / \mu^1$ を導入する。
• $\delta^b$ と $\overline{\delta}^b$ をそれぞれ乗法の左作用と右作用を符号化する演算子として導入し、理想 $\mu^1$ を $\overline{\delta}^c \circ \delta^b({\bf 1} \otimes p \otimes {\bf 1})$ で生成される部分加群として定義する。
• 二重側微分作用素が $\delta_{b_0} \circ \cdots \circ \delta_{b_k} \Delta = 0$ および $\overline{\delta}_{b_0} \circ \cdots \circ \overline{\delta}_{b_k} \Delta = 0$ を満たすことを確立し、古典的条件を一般化する。
• この二重側定義が可換ケースで標準理論を回復し、非可換設定における従来の定義の不整合を回避することを示す。

実験結果

リサーチクエスチョン

• RQ1 非可換幾何における既存の微分作用素の定義が、なぜ古典的可換ケースに一般化できないのか。
• RQ2 非可換環上での微分作用素の定義における不整合の根本的原因は何か。
• RQ3 非可換幾何において左および右モジュール構造を両方尊重する、統一された微分作用素の定義を構築できるか。
• RQ4 非可換環上での導分が加群を形成しないという事実が、微分作用素理論に与える影響は何か。
• RQ5 非可換設定における二重側微分作用素の代表的対象（例えばジェット加群）は存在するか。

主な発見

• 非可換幾何における既存の微分作用素の定義は、すべて非可換環上の導分が加群を形成しないという点で不十分である。
• 反復交換子による古典的定義は、非可換設定への直接一般化に失敗しており、非対称な加群作用が原因である。
• Grothendieck 定義を一般化し、一貫性を回復する、新しい二重側微分作用素の定義が提唱された。
• 二重側ジェット加群 ${\cal J}^1(P)$ が、二重側第一階微分作用素の代表的対象として構成された。
• この新しい枠組みにより、左および右作用が一貫して扱われ、非可換微分幾何における基礎的曖昧さが解消された。
• この二重側定義は、導分およびその合成を有効な微分作用素として含むが、従来の定義ではそれらが除外されていた。