[論文レビュー] The group of automorphisms of the category of free associative algebras

Aivars Berzins|ArXiv.org|Feb 20, 2005

Advanced Topics in Algebra参考文献 5被引用数 11

ひとこと要約

この論文は、体上の自由非可換代数の圏の自己同型群を特徴付ける長年の問題を解決する。この自己同型群が、体自己同型と代数自己同型の合成からなる半内部自己同型と、非可換単項式の順序を反転させる鏡自己同型から生成されることを証明する。この結果により、可換およびリー代数の設定で知られているものと類似した、非可換の場合の自己同型群の完全な構造的記述が得られる。

ABSTRACT

In this paper, the problem formulated in [8] is solved. We prove, that the group of automorphisms of the category of free associative algebras is generated by semi-inner and mirror automorphisms

研究の動機と目的

• 体上の自由非可換代数の圏の自己同型群の構造を特定すること。これは、プロットキンが以前に提起した問題である。
• 非可換代数の圏の自己同型が、文献で予想されている半内部自己同型と鏡自己同型によって生成されるかどうかという未解決の問題を解消すること。
• n > 2 の場合の Aut(W(x₁,…,xₙ)) の構造が未知であり、n=2 の場合と顕著に異なることが知られているため、その構造に依存しない手法を提供すること。
• 普遍代数的幾何の枠組みを拡張し、非可換多様体における自由代数の圏における自己同型の役割を明確にすること。
• 圏の任意の自己同型が、各自由代数上で代数自己同型または鏡反自己同型と合成された双対写像の族から生じることを確立すること。

提案手法

• 自由非可換代数の圏の自己同型の圏論的定義を用いる。ここで各自己同型 τ は、i 個の生成子を持つ自由代数 Wᵢ における双対写像の族 μ = {μᵢ} によって誘導される。
• τ が射に作用する際、sᵀ = μⱼ ∘ s ∘ μᵢ⁻¹ と、共役作用を通じて作用することを活用する。s ∈ Hom(Wᵢ, Wⱼ) である。
• 1 個生成のケース W(x) = P[x] から分析を開始する。この場合、自己同型群は体自己同型と代数自己同型によって生成されることが知られており、μ₁ は形式 αη₁ である。
• 体自己同型の逆と合成することで、μ₁ が代数自己同型である正規化された自己同型 τ′ に帰着する。
• 鍵となるステップは、自由2生成代数 W(x,y) における μ の振る舞いを分析することであり、Hom(W₁, W₂) および Hom(W₂, W₁) の自己準同型 s を用いて μ にかかる制約を導出する。
• μ が μ(x+y) = μ(x) + μ(y) および μ(xy) = αμ(x)μ(y) + βμ(y)μ(x) を満たし、α, β ∈ P であることを証明する。その後、α=1, β=0（自己同型）または α=0, β=1（反自己同型）のいずれかに限られ、結論として μ は W(x,y) 上で自己同型または鏡反自己同型であることが示される。

実験結果

リサーチクエスチョン

• RQ1 体 P 上の自由非可換代数の圏の自己同型群の完全な構造は何か？
• RQ2 普遍代数的幾何で予想されているように、この自己同型群は半内部自己同型と鏡自己同型によって生成可能か？
• RQ3 n > 2 の場合の Aut(W(x₁,…,xₙ)) の未知の構造に依存せずに、この群を記述することは可能か？
• RQ4 Hom(Wᵢ, Wⱼ) の自己準同型は、圏の自己同型を誘導する双対写像 μᵢ の可能な形にどのような制約を課えるか？
• RQ5 自由代数上の双対写像 μ が自己同型または反自己同型であることを強いる条件は何か？

主な発見

• 体 P 上の自由非可換代数の圏の自己同型群は、半内部自己同型と鏡自己同型によって生成される。
• 半内部自己同型とは、各自由代数上で体自己同型と代数自己同型の合成によって誘導される自己同型である。
• 鏡自己同型は、単項式の順序を反転させる反自己同型から生じるが、内部的または半内部的ではない。
• 証明により、圏の任意の自己同型は、各自由代数上で代数自己同型または鏡反自己同型と合成された双対写像によって作用することが示される。
• 2 生成自由代数 W(x,y) の分析により、重要な恒等式 μ(xy) = αμ(x)μ(y) + βμ(y)μ(x) が得られ、α, β ∈ P である。この恒等式の妥当な解は α=1, β=0 または α=0, β=1 のみであり、これは μ が W(x,y) 上で自己同型または反自己同型であることを示唆する。
• この性質は、自己準同型の持ち上げにより、より高次の生成子を持つ自由代数へと拡張可能である。