[論文レビュー] Geometrical equivalence, geometrical similarity and geometrical compatibility of algebras

B. Plotkin|ArXiv.org|Dec 23, 2003

Geometric and Algebraic Topology参考文献 15被引用数 5

ひとこと要約

本稿では、variety Θ における異なる代数上での代数幾何学が一致する条件を確立し、幾何的同値性、類似性、整合性の概念を導入する。代数 H₁ と H₂ 上の代数的集合の圏が同値であるための必要十分条件は、それらの代数が幾何的に整合的であることであることが示され、特に体 P 上の可換、結合的、およびリー代数に対して主要な結果が得られる。

ABSTRACT

In the paper the main attention is paid to conditions on algebras from a given variety which provide coincidence of their algebraic geometries. The main part here play the notions mentioned in the title of the paper.

研究の動機と目的

• variety Θ に属する二つの代数 H₁ と H₂ 上での代数幾何学が同値となる条件を特定すること。
• 代数幾何学の不変量としての幾何的同値性、類似性、整合性の概念を形式化し、分析すること。
• H₁ と H₂ 上の代数的集合の圏 KΘ(H₁) と KΘ(H₂) が同型または同値となる条件を調査すること。
• 非可換および非結合的なvariety、特にリー代数や体上の結合的代数を含む、代数幾何学の枠組みを拡張すること。
• 群の自由群の初等理論に関するTarskiの問題を、群のvariety 上の幾何学を通じて関連付けること。

提案手法

• 与えられたvariety Θ および代数 H に対して、KΘ(H) と K̃Θ(H) のカテゴリにおける代数的集合および代数的多様体を定義する。
• Θ に属する有限生成自由代数のカテゴリ Θ⁰ を、自己同型および自己同値を研究する基盤として用いる。
• Θ⁰ の自己同値を介して幾何的整合性の概念を導入し、KΘ(H₁) と KΘ(H₂) の圏の同値性と関連付ける。
• スケルトン、同型、カテゴリの同値といった圏論的道具を用いて、異なる代数間での幾何学を比較する。
• 無限大の準恒等式および LSC 演算子を用いて、超積および有限生成部分代数に関して閉じたクラスを特徴付ける。
• 半内因的およびミラー自己同型を介して、Θ⁰ の自己同値とねじれ同値の代数幾何学の間の対応を確立する。

実験結果

リサーチクエスチョン

• RQ1 variety Θ に属する二つの代数 H₁ と H₂ に対して、KΘ(H₁) と KΘ(H₂) の圏が同型または同値となるのはいつか？
• RQ2 代数 H₁ と H₂ にどのような条件を課すと、それらの Θ 上での代数幾何学が同一になるか？
• RQ3 自由代数のカテゴリ Θ⁰ の自己同型および自己同値は、H₁ と H₂ 間の幾何的同値性とどのように関係するか？
• RQ4 どのvariety（例：Com-P、Lie-P、Ass-P）において幾何的整合性を完全に特徴付けることができるか？また、半内因的またはミラー自己同型はどのような役割を果たすか？
• RQ5 幾何的同値性、類似性、整合性の概念は、variety 間でどの程度一致するか、または相違するか？

主な発見

• 体 P 上の単位的可換代数のvariety Com-P において、H₁ と H₂ 上の幾何学が一致するための必要十分条件は、H₁ と H₂ が幾何的に整合的であることである。
• P 上のリー代数のvariety Lie-P においても同様に、KΘ(H₁) と KΘ(H₂) が同値であるのは、H₁ と H₂ が幾何的に整合的であるときである。
• 結合的代数のvariety Ass-P については問題は未解決のままだが、ある予想が提示されている：Θ⁰ のすべての自己同型は、半内因的であるか、φ₀η の形である（φ₀ は半内因的で、η はミラー自己同型）。
• 主たる結果（定理11）は、KΘ(H₁) と KΘ(H₂) が正しく同値であるための必要十分条件が、H₁ と H₂ が幾何的に整合的であることであると述べている。
• Θ = Grp、半群、Grp-F、Com-P、Lie-P、Mod-K（K は左ネーター的）の各場合において、Θ⁰ のすべての自己同型は半内因的であり、幾何学に対する強い構造的制御が得られる。
• 半内因的自己同型に関する定理（定理14）は、内因的自己同型は幾何的同値を、半内因的自己同型はねじれ同値を、ミラー写像との合成はほぼ幾何的同値をもたらすことを示している。