[論文レビュー] Associative Geometries. II: Involutions, the classical torsors, and their homotopes

Wolfgang Bertram, Michael Kinyon|arXiv (Cornell University)|Sep 24, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用数 10

ひとこと要約

本稿は、可換的幾何における対合を用いて、古典的群の連続的変形（ホモトープ）の幾何的構成を提示する。これは、リー代数の縮約の概念を一般化したものである。本稿では、古典的群およびそのホモトープが、すべてのホモトープで共通のコンパクトな基底空間を持つ、標準的な半群完備化を有することを証明している。これにより、代数的・幾何的構造が統一される。

ABSTRACT

For all classical groups (and for their analogs in infinite dimension or over general base fields or rings) we construct certain contractions, called "homotopes". The construction is geometric, using as ingredient involutions of associative geometries. We prove that, under suitable assumptions, the groups and their homotopes have a canonical semigroup completion.

研究の動機と目的

• 一般線形群から、型B, C, Dの古典的群へと、対合的アソシエイティブ代数を用いてリー代数の縮約（ホモトープ）の概念を一般化すること。
• 基点（例えば0や1）に依存しない、グローバル化可能な代数的構成を可能にする、対合を伴うアソシエイティブ幾何に基づく幾何的枠組みを構築すること。
• 古典的群およびそのホモトープが、すべてのホモトープで同一のコンパクトな基底空間を持つ標準的半群完備化を有することを証明すること。
• 有限次元行列代数にとどまらず、無限次元および一般の環または体を係数とする設定へとホモトープ理論を拡張すること。
• 対合とアソシエイティブ三重系の観点から、対称的・反対称的構造（例えば、直交型とシミプレクティック型）の双対性を統一すること。

提案手法

• 可換的代数 $\mathbb{A}$ のヒルベルト的または反ヒルベルト的部分に属する $a$ に対して、三重線形括弧 $[x,y]_a = xay - yax$ を用いて、リー代数のホモトープを構成し、標準的リー括弧と自明な括弧との間を連続的に入れ替える。
• アソシエイティブ代数に作用する対合 $*$ を用いて、$\mathrm{Aherm}(\mathbb{A},*)$ および $\mathrm{Herm}(\mathbb{A},*)$ 上に、退化した場合でも次元を保つリー代数の族を定義する。
• 型を交換する対合を伴うアソシエイティブ対 $(\mathbb{A}^+, \mathbb{A}^-)$ を用いて古典的群をモデル化し、対合が対称的・反対称的構造の双対性を符号化する。
• 三重系 $\langle x,y,z\rangle = \langle x, \tau^+ y, z\rangle^+$ を用いて、第二種のアソシエイティブ三重系を定義し、代数的構造とトロスルや一般化された射影の幾何とを結びつける。
• 補完格子および直交補完性の理論を用いて、構成されたホモトープの標準的半群完備化の存在を保証する。
• アソシエイティブ代数が乗法に関して自然に半群をなすことを利用し、トロスル構造と群の完備化を通じて、この性質をグローバルな幾何的設定へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 リー代数のホモトープの概念を、一般線形群から型B, C, Dの古典的群へとどのように拡張できるか。
• RQ2 アソシエイティブ幾何における対合が、古典的群の連続的変形（ホモトープ）の構成に果たす役割は何か。
• RQ3 古典的群およびそのホモトープの半群完備化を、ホモトープの選択に依存しない標準的かつ一様なものにできるか。
• RQ4 退化したホモトープ（例えば、非可逆な $A$）は、形式によって定義される古典的リー代数とどのように関係し、なぜそれらとは同型でないのか。
• RQ5 アソシエイティブ対における型を交換する対合は、第二種のアソシエイティブ三重系とどのように対応し、トロスルのような幾何的構造とどのように関係するか。

主な発見

• 古典的リー代数のホモトープは、対合的アソシエイティブ代数のヒルベルト的または反ヒルベルト的部分に属する $a$ に対して、三重線形括弧 $[x,y]_a = xay - yax$ を用いて構成され、標準的リー括弧と自明な括弧との間を連続的に補間する。
• 転置対合を伴う行列代数では、直交的およびシミプレクティック的リー代数のホモトープが得られる：$\mathfrak{o}_n(A;\mathbb{K})$ は対称的 $A$ に対して、$\mathfrak{sp}_{n/2}(A;\mathbb{K})$ は反対称的 $A$ に対して、非退化な $A$ では標準的代数と同型となる。
• 退化したホモトープ（例えば、非可逆な $A$）は、退化した形式によって定義されるリー代数とは同型でない。これは、同型でないにもかかわらず、次元を保存するためである。
• この構成により、古典的群およびそのホモトープの両方に対して、すべてのホモトープで同一のコンパクトな基底空間を持つ標準的半群完備化が得られる。
• アソシエイティブ幾何と対合的構造の枠組みを通じて、有限次元行列代数にとどまらず、無限次元および任意の係数環または体の設定へと理論が拡張可能である。
• アソシエイティブ対における型を交換する対合は、第二種のアソシエイティブ三重系と一対一に対応し、対称的・反対称的構造の双対性の幾何的実現を提供する。