[論文レビュー] Ternary mappings of triangular algebras

Cándido Martı́n González, Dolores Martı́n Barquero+2 more|arXiv (Cornell University)|May 30, 2019

Rings, Modules, and Algebras被引用数 1

ひとこと要約

本稿は、三角代数における三重微分作用素および自己同型の研究のためのカテゴリカル枠組みを導入し、可逆元による左・右乗法と代数自己同型の合成として三重自己同型を明示的に特徴づける。主な貢献は、引き戻し構成と群函手を用いた三重微分作用素および自己同型の正確な記述であり、忠実な双加群に関して、内自己同型および内微分作用素の完全分類が、リー代数および加群自己準同型を用いてなされている。

ABSTRACT

We take a categorical approach to describe ternary derivations and ternary automorphisms of triangular algebras. New classes of automorphisms and derivations of triangular algebras are also introduced and studied.

研究の動機と目的

• 三角代数における三重微分作用素および自己同型のカテゴリカルなアプローチの開発。
• 可逆元および代数自己同型を用いた三重自己同型の特徴づけ。
• 成分関係および内微分作用素を用いた三重微分作用素の記述。
• ペアシー分解を保存する新しい自己同型類 Aut₀(T) の導入および研究。
• 自己同型群および微分作用素群と一般線形群および自己同型群を含む引き戻しの間の同型の確立。

提案手法

• 三角代数の自己同型および微分作用素をモデル化するための圏論および群函手の使用。
• 一般線形群函手 GL(M) 及び双数 R[ε] を用いたその接リー代数への応用。
• H = homR(A⊗M⊗B, M) を通じた GL(M) と Aut(A×B) の間のホモロジー空間を介した、Aut₀(T) をファイバー積として記述する引き戻し図式の構成。
• 三重写像の成分ごとの振る舞いを分析するためのペアシー分解 T = pTp ⊕ pTq ⊕ qTq の利用。
• 自己同型 T(m) = xmy⁻¹ による共役写像としての内自己同型の同定および A× × (B×)op からの群の上への準同型写像としての実現。
• リー代数を含む正確な列および同型の導出、例：Innder₀(T) ≅ (A⁻ × B⁻)/(Z(A) ×E Z(B))。

実験結果

リサーチクエスチョン

• RQ1 代数的およびカテゴリカルな道具を用いて、三角代数の三重自己同型をどのように完全に特徴づけることができるか？
• RQ2 三角代数における三重微分作用素の正確な構造は何か？また、いつ内微分作用素となるか？
• RQ3 三重微分作用素の成分どうしが、代数的にどのように関係し合い、基礎となる代数的構造と結びつくか？
• RQ4 忠実な双加群 M が自己同型および微分作用素の分類において果たす役割は何か？
• RQ5 ペアシー分解を保存する新しい自己同型類 Aut₀(T) を体系的に記述し、既知の群構成と関係づけることができるか？

主な発見

• 代数 A の任意の三重自己同型は、自己同型 σ および可逆元 x, y を用いて (RyLxσ, Lxσ, Ryσ) の形に表される。
• 三角代数の三重微分作用素は、加群自己準同型および代数自己同型を含む成分関係によって完全に記述される。
• 三重微分作用素が内微分作用素であることは、積写像 μ に関して成分が特定の適合性条件を満たすことと同値である。
• ペアシー分解を保存する自己同型群 Aut₀(T) は、引き戻し GL(M) ×H Aut(A×B) に同型であり、ここで H = homR(A⊗M⊗B, M) である。
• 忠実な双加群 M に対して、Der₀(T) は gl(M) ×H Der(A×B) に同型であり、微分作用素の空間にリー代数構造が与えられる。
• Aut₀(T) の内自己同型は共役写像 T(m) = xmy⁻¹ に対応し、群として (A× × (B×)op)/(Z(A×) ×E Z(B×)op) に同型である。