[論文レビュー] Representation rings of Lie superalgebras

Gregory D. Landweber|ArXiv.org|Mar 12, 2004

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

ひとこと要約

本稿では、リー超代数の表現環の複数の変種を導入・研究し、偶数部と奇数部の形式的差分から構成される超表現環を含む。また、表現環、その自己双対的イデアル、および超表現環を関連付ける六項周期的完全系列を確立する。主な貢献は、複素数および実数の両ケースに一般化可能な周期的完全系列であり、実数設定では予想外の六項バージョンが得られ、超表現理論におけるより深い代数的・位相的構造が明らかになる。

ABSTRACT

Given a Lie superalgebra \g, we introduce several variants of the representation ring, built as subrings and quotients of the ring R_{\Z_2}(\g) of virtual \g-supermodules (up to even isomorphisms). In particular, we consider the ideal R_{+}(\g) of virtual \g-supermodules isomorphic to their own parity reversals, as well as an equivariant K-theoretic super representation ring SR(\g) on which the parity reversal operator takes the class of a virtual \g-supermodule to its negative. We also construct representation groups built from ungraded \g-modules, as well as degree-shifted representation groups using Clifford modules. The full super representation ring SR^{*}(\g), including all degree shifts, is then a \Z_{2}-graded ring in the complex case and a \Z_{8}-graded ring in the real case. Our primary result is a six-term periodic exact sequence relating the rings R^{*}_{\Z_2}(\g), R^{*}_{+}(\g), and SR^{*}(\g). We first establish a version of it working over an arbitrary (not necessarily algebraically closed) field of characteristic 0. In the complex case, this six-term periodic long exact sequence splits into two three-term sequences, which gives us additional insight into the structure of the complex super representation ring SR^{*}(\g). In the real case, we obtain the expected 24-term version, as well as a surprising six-term version of this periodic exact sequence.

研究の動機と目的

• グローテンディーク的表現環と等変K理論的アプローチを、超表現理論において統合すること。
• パリティ反転が負に作用する超表現環を定義・研究し、K理論的インデックス構成と整合させる。
• 標準的表現環、その自己双対的イデアル、および超表現環を結ぶ周期的完全系列を確立すること。
• これらの結果を実数の場合に拡張し、六項完全系列を含む予期せぬ周期性を明らかにすること。
• 次数シフトとクリフォード加群が、次数付き表現群を構成する上での役割を明確にすること。

提案手法

• 虚数的 $ \mathfrak{g} $-超モジュールの環 $ R_{\mathbb{Z}_2}(\mathfrak{g}) $ を導入し、部分環および商環（$ R_+(\mathfrak{g}) $ および $ SR^\bullet(\mathfrak{g}) $）を構成する。
• 複素数の場合には $ \mathbb{Z}_2 $-次数付き環として、実数の場合には $ \mathbb{Z}_8 $-次数付き環として超表現環 $ SR^\bullet(\mathfrak{g}) $ を定義し、パリティ反転が負に作用するようにする。
• クリフォード加群による次数シフトを用いて $ R\mathbb{R}_{\mathbb{Z}_2}^n(\mathfrak{g}) $ を構成し、周期性の結果を得る。
• $ R\mathbb{R}_{\mathbb{Z}_2}^n(\mathfrak{g}) $ と $ R\mathbb{R}_{\mathbb{Z}_2}^{-n}(\bar{\mathfrak{g}}) $ 間の同型を適用し、$ \mathfrak{g} $ とその逆代数 $ \bar{\mathfrak{g}} $ を関連付ける。
• 任意の特性がゼロの体上で六項周期的完全系列を構成し、複素数の場合には二つの三項系列に分解される。
• 双対性とクリフォード代数の同型から誘導される同型を用いて、24項周期的完全系列と実数の場合の新規六項バージョンを確立する。

実験結果

リサーチクエスチョン

• RQ1 パリティ反転作用素が負に作用するように定義される超表現環は、どのように構成できるか。これは等変K理論と整合するか。
• RQ2 標準的表現環、その自己双対的イデアル、および超表現環の関係を支配する周期的完全系列は何か。
• RQ3 複素数から実数に移行する際、表現環の構造はどのように変化するか。
• RQ4 クリフォード加群による次数シフトは、リー超代数の表現理論における周期的構造を構成する上で果たす役割は何か。
• RQ5 実数の場合に六項周期的完全系列が存在するか。存在するならば、その幾何的または代数的起源は何か。

主な発見

• 任意の特性がゼロの体上で、$ R_{\mathbb{Z}_2}^\bullet(\mathfrak{g}) $、$ R_+^\bullet(\mathfrak{g}) $、および $ SR^\bullet(\mathfrak{g}) $ を関連付ける六項周期的完全系列が確立され、複素数の場合には二つの三項系列に分解される。
• 複素数の場合、超表現環 $ SR^\bullet(\mathfrak{g}) $ は $ \mathbb{Z}_2 $-次数付きであり、周期性により二つの三項完全系列が得られる。
• 実数の場合、表現環は $ \mathbb{Z}_8 $-次数付きであり、周期的完全系列は24項バージョンに拡張される。
• 驚くべきことに、実数の場合には六項周期的完全系列が得られ、これは双対性と $ R\mathbb{R}_{\mathbb{Z}_2}^n(\mathfrak{g}) $ と $ R\mathbb{R}_{\mathbb{Z}_2}^{-n}(\bar{\mathfrak{g}}) $ 間の同型から生じる。
• 特に $ \mathfrak{g} = \mathbb{R} $ の場合、自己双対的イデアル $ R_+^{-n}(\mathbb{R}) \cong \mathbb{Z} $ であり、超表現環は点の $ KO $-理論を実現し、この系列が $ KO $-理論の周期性と一致することが確認される。
• 同型 $ R\mathbb{R}_{\mathbb{Z}_2}^n(\mathfrak{g}) \cong R\mathbb{R}_{\mathbb{Z}_2}^{-n}(\bar{\mathfrak{g}}) $ は、奇数成分の符号を反転させることで明示的に構成され、この同型は制限写像と忘却写像を混合する。