[論文レビュー] Algebras with the same (algebraic) geometry

B. Plotkin|ArXiv.org|Oct 14, 2002

Advanced Topics in Algebra参考文献 18被引用数 73

ひとこと要約

本稿は、任意の代数の多様体において代数幾何学を普遍的枠組みで展開し、代数的集合の族とそのスケルトンを用いて幾何的不変量を定義する。主な貢献は、2つの代数 $ H_1 $ と $ H_2 $ が同型または同値な幾何を有する条件を特定することであり、これは、それらの族 $ K_{\theta}(H_1) $ と $ K_{\theta}(H_2) $ が「適切な」同型または同値であるときに限り成立する。この条件は、半内部自己同型を介した幾何的同値性と、同一の準同型的恒等式を共有することと厳密に一致する。

ABSTRACT

Some basic notions of classical algebraic geometry can be defined in arbitrary varieties of algebras $Θ.$ For every algebra $H$ in $Θ$ one can consider algebraic geometry in $Θ$ over $ H.$ Correspondingly, algebras in $Θ$ are considered with the emphasis on equations and geometry. We give examples of geometric properties of algebras in $Θ$ and of geometric relations between them. The main problem considered in the paper is when different $H_1$ and $H_2$ have the same geometry.

研究の動機と目的

• 任意の代数の多様体 $ \Theta $ における代数幾何学を定義・形式化し、古典的代数幾何学を一般化すること。
• $ \Theta $ に属する2つの代数 $ H_1 $ と $ H_2 $ が同じ幾何的構造を持つ条件を調査すること。
• 代数的集合族のカテゴリの同型および同値性に基づいて、代数の幾何的同値性の基準を確立すること。
• 特定の多様体（可換代数、結合的代数、体上のリー代数など）において、準同型的恒等式と半内部自己同型を用いて幾何的同値性を特徴づけること。

提案手法

• 代数 $ H $ 上の代数的集合のカテゴリ $ K_{\Theta}(H) $ とそのスケルトン $ \tilde{K}_{\Theta}(H) $ を定義し、$ H $ の幾何的不変量とする。
• $ \Theta $ に含まれる有限生成自由代数のカテゴリ $ \Theta^0 $ を用いて、幾何的同値性を誘導する自己同型および自己同値を研究する。
• カテゴリ $ K_{\Theta}(H_1) $ と $ K_{\Theta}(H_2) $ の「適切な」同型および同値の概念を導入し、代数的集合のラティスと整合性を持つように保証する。
• 半内部自己同型 $ \sigma $ を用いて、$ W \to H $ と $ W \to H^\sigma $ の間の準同型写像の対応を構成し、核と閉イデアルを保存する。
• 代数 $ H_1 $ と $ H_2 $ の幾何的同値性が、$ H_1^\sigma $ が $ H_2 $ と幾何的に同値となるような半内部自己同型 $ \varphi = \hat{\sigma} \varphi_0 $ の存在と同値であることを証明する。
• 本フレームワークを特定の多様体 $ \operatorname{Com}\text{-}P $, $ \operatorname{Ass}\text{-}P $, および $ \operatorname{Lie}\text{-}P $ に適用し、共有される準同型的恒等式と半同型写像を通じて同値性を示す。

実験結果

リサーチクエスチョン

• RQ1 多様体 $ \Theta $ に属する2つの代数 $ H_1 $ と $ H_2 $ が、代数的集合のカテゴリ $ K_{\Theta}(H_1) \cong K_{\Theta}(H_2) $ を同型に持つのはいつか？
• RQ2 カテゴリ $ K_{\Theta}(H_1) $ と $ K_{\Theta}(H_2) $ が幾何的同値を反映するように「適切に」同値となるための条件は何か？
• RQ3 自由代数のカテゴリ $ \Theta^0 $ の半内部自己同型は、多様体 $ \Theta $ 内の代数の幾何的同値性とどのように関係するか？
• RQ4 体 $ P $ 上の古典的代数幾何学において、2つの体の拡張 $ L_1 $ と $ L_2 $ が同じ幾何を持つのはいつか？
• RQ5 アーベル群において、2つの非周期的アーベル群が代数的集合のカテゴリで幾何的に同値になるのはいつか？

主な発見

• 体 $ P $ 上の体の拡張 $ L_1 $ と $ L_2 $ に対して、カテゴリ $ K_P(L_1) $ と $ K_P(L_2) $ が「適切に」同型であるための必要十分条件は、$ L_1 $ と $ L $ が半同型であり、$ L_2 $ と $ L $ が同じ準同型的恒等式を持つような共通の拡張 $ L $ が存在することである。
• アーベル群の多様体において、2つの非周期的アーベル群 $ H_1 $ と $ H_2 $ が、カテゴリ $ K_{\Theta}(H_1) $ と $ K_{\Theta}(H_2) $ を同型または同値に持つための必要十分条件は、それらが同じ準同型的恒等式を持つことである。
• 代数 $ H_1 $ と $ H_2 $ の幾何的同値性は、$ H_1^\sigma $ が $ H_2 $ と幾何的に同値となるような半内部自己同型 $ \varphi = \hat{\sigma} \varphi_0 $ の存在と同値であり、自由代数カテゴリの自己同型が幾何にどのように関連するかを結びつける。
• 写像 $ \mu = \nu \sigma^{-1}_{W} $ は、$ H $-点と $ H^\sigma $-点の間の全単射を定め、核と閉イデアルを保存するため、幾何的類似性を誘導する。
• 写像 $ \alpha(\hat{\sigma})_W(T) = \sigma_W(T) $ は、$ H $-閉イデアルと $ H^\sigma $-閉イデアルのラティスの間の全単射を定め、$ \sigma $-誘導写像が閉構造を保存することを示す。
• カテゴリ $ \tilde{K}_{\Theta}(H) $ は $ K_{\Theta}(H) $ のスケルトンとして、$ H $ の完全な幾何的不変量であり、このようなスケルトンの同型は代数の幾何的同値性を反映する。