[論文レビュー] Automorphisms of categories of free modules and free Lie algebras

Ruvim Lipyanski, B. Plotkin|ArXiv.org|Feb 10, 2005

Algebraic structures and combinatorial models参考文献 7被引用数 13

ひとこと要約

本稿では、ネーター環上の有限生成自由加群の圏および無限体上の有限生成自由リー代数の圏の任意の自己同型が半内部的であることを確立する。著者らは関手的かつカテゴリカルな手法と、ホフィアン的および正則的多様体の性質を用いて、このような自己同型が環自己同型および自由代数の半同型から生じることを示し、先行研究におけるリー代数の場合の証明を簡略化する統一的枠組みを提供する。

ABSTRACT

We prove that the group of automorphisms of the category of free modules over Noterian rings is semi-inner and present also a short proof of a similar result for the variery of Lie algebras.

研究の動機と目的

• ネーター環上の有限生成自由加群の圏の自己同型群を特徴付けること。
• 無限体上の有限生成自由リー代数の圏の自己同型が半内部的であるという証明を拡張・簡略化すること。
• 半同型および自己同型関手を用いたカテゴリカルな枠組みを確立し、内部同値の意味で自己同型を分類すること。
• これらの圏における特別な自己同型が内部的および対象を保存する成分に分解されることを示すこと。
• 代数的幾何学における代数的多様体の性質に関する結果を、カテゴリ理論的自己同型分類を用いて統一的かつ一般化すること。

提案手法

• 自己同型を関手と自然同型を用いて定義し、内部的、外部的、半内部的自己同型を区別する。
• 自己同型と商圏におけるその同型類との関係を表す準同型 δ: Aut Φ → Aut⁰ Φ を用いる。
• 定理1.10を適用して、巡回代数を保存する自己同型が特別である、すなわち対象上で恒等写像に同型であることを示す。
• σ ∈ Aut K および s_X が自由代数の半同型であるペア (σ, s) を用いて、半内部的自己同型を構成し、可換図式の条件を満たすようにする。
• 無限体上の自由リー代数のホフィアン性を用いて、全単射な自己準同型が同型であることを保証し、分類を可能にする。
• 定理1.11を適用して、End W⁰ に自明に作用する対象を保存する自己同型は内部的であることを示し、問題を適切な内部自己同型の構成に還元する。

実験結果

リサーチクエスチョン

• RQ1 ネーター環上の有限生成自由加群の圏の任意の自己同型は半内部的か？
• RQ2 無限体上の有限生成自由リー代数の圏の任意の自己同型は半内部的か？
• RQ3 このような圏における自己同型の構造は、内部自己同型と対象を保存する自己同型の合成に還元可能か？
• RQ4 これらの圏における特別な自己同型はどのように分解され、その分類に何を示唆するか？
• RQ5 リー代数自己同型の半無限性に関する証明は、カテゴリカルおよび関手的技法を用いて簡略化可能か？

主な発見

• ネーター環上の有限生成自由加群の圏の任意の自己同型は半内部的である。
• 無限体上の有限生成自由リー代数の圏の任意の自己同型は半内部的である。
• 無限体上の自由リー代数の圏の自己同型群は、体自己同型および代数的自己同型から生じる半内部的自己同型によって完全に特徴付けられる。
• 半同型および対象を保存する自己同型に基づく新しいカテゴリカルなアプローチにより、リー代数の証明が短縮・簡略化された。
• 両者の加群およびリー代数の文脈において、特別な自己同型について φ = φ₁φ₂（φ₁ が内部的で φ₂ が対象を保存する）の分解が成り立つ。
• 体自己同型および代数的同型から誘導される内部自己同型を用いて構成された φ₁ = φ ∘ ϕ⁻¹ ∘ f⁻¹ が内部的であることが示され、半内部的構造が裏付けられた。