[論文レビュー] Some topics pertaining to algebras of linear operators

Stephen Semmes|ArXiv.org|Nov 11, 2002

Matrix Theory and Algorithms参考文献 11被引用数 16

ひとこと要約

この論文は、有限次元ベクトル空間上の線形作用素の代数を調査し、特に $*$-代数、群表現、および正の特性を持つ体上の作用素代数に焦点を当てる。正の特性 $p$ における基本的結果を確立し、可約性、不可約性、および群作用によって生成される代数の構造を示し、特に $p$-冪写像が作用素の振る舞いを単純化し、$p$-主成分による線形変換の分解を可能にすることを示している。

ABSTRACT

On the one hand the algebras of linear operators here act on finite-dimensional vector spaces, and on the other hand the point of view is generally an analysts'. Also, one might think of algebras as being used to add more data to basic geometry as on a graph, for instance. Of course this is a common theme which is considered in numerous settings. From an analysts' perspective, compact groups, their representations, and more general topological groups and their representations are basic objects of study. Finite groups are like groups which are especially compact, and with some extra structure. As long as one considers finite groups and finite-dimensional vector spaces, one might as well consider general underlying fields k too. This includes p-adic fields, which are quite interesting for analysis.

研究の動機と目的

• 有限次元ベクトル空間上の線形作用素代数の構造的理解を図ること、特に $*$-代数と内積空間との関係を対象とする。
• 群表現が作用素代数をどのように生成するかを分析すること、特に正則表現およびその商を対象とする。
• 正の特性における線形作用素の挙動を調査すること、特に $T^{p^l} = I$ のとき $T - I$ が冪零であること、および $n = p^l m$ であるような作用素の分解を対象とする。
• 有限次元代数の文脈において、表現論、不変部分空間、および二重可換子定理の間の関係を確立すること。
• 数論そのものではなく、作用素論的および計算的文脈における代数的単純性のために $p$-進構造の有用性を探索すること。

提案手法

• 任意の体上のベクトル空間における線形作用素代数を構成するために、有限群およびその表現の理論を用いる。
• 不変部分空間および商空間の概念を適用して、特に正の特性における表現を不可約成分に分解する。
• 正の特性における二項定理を用いて、$R$ と $S$ が可換であれば $(R + S)^p = R^p + S^p$ が成り立つことを示し、$T^{p^l} = I$ のとき $T - I$ の冪零性を導く。
• $ ext{gcd}(p^l, m) = 1$ を満たす $n = p^l m$ の分解を用いて、Bézoutの恒等式により、有限位数の作用素 $S$ を可換な $p$-主成分と $p'$-主成分に分解する。
• 左および右正則表現を用いて、群 $G$ を $GL(F(G))$ に埋め込む。$G$ は $G$ 上の $k$-値関数の空間上の可逆線形作用素の部分群として埋め込まれることが示される。
• 線形汎関数 $\lambda$ と写像 $v \mapsto f_v(y) = \lambda(\sigma_{y^{-1}}(v))$ を用いた構成により、不可約表現が左正則表現の部分表現として実現可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 内積空間上の $*$-代数は、$C^*$-代数およびフォン・ノイマン代数理論における二重可換子定理とどのように関係するか？
• RQ2 体の特性が正の $p$ であるとき、特に $p$-冪写像と関連して、作用素代数にどのような構造的性質が現れるか？
• RQ3 任意の有限群表現は正則表現に埋め込めるか？また、その埋め込みは不可約性を保つのか？
• RQ4 有限位数 $n = p^l m$（$p \nmid m$）の作用素 $S$ が、Bézoutの恒等式からどのように可換な $p$-主成分と $p'$-主成分に分解されるか？
• RQ5 $p$-進数および絶対値は、古典的数論とは独立して作用素代数において果たす役割は何か？

主な発見

• 体の特性が $p$ であるとき、可換な線形作用素 $R$ と $S$ が $R^p = S^p = 0$ を満たすならば、$(R + S)^p = R^p + S^p = 0$ が成り立ち、$p$-冪写像が加法的であることが示される。
• 線形作用素 $T$ が $T^{p^l} = I$ を満たすならば、$(T - I)^{p^l} = T^{p^l} - I = 0$ より、$T - I$ は高々 $p^l$ 次の冪零であることが示される。
• 有限位数 $n = p^l m$（$p \nmid m$）の線形作用素 $S$ は、$S_1^{p^l} = I$、$S_2^m = I$、$S_1 S_2 = S_2 S_1$ を満たすように $S = S_1 S_2$ と分解可能であり、整数 $a, b$ を用いて $a m + b p^l = 1$ を満たす。
• 有限群 $G$ の左正則表現は、$F(G)$（$G$ 上の $k$-値関数の空間）上で忠実であるため、$G$ は $GL(F(G))$ の部分群として埋め込まれ、この表現は左正則表現と同型である。
• 任意のベクトル空間 $Z$ 上の不可約表現 $\sigma$ に対して、非ゼロの線形汎関数 $\lambda$ を用い、$f_v(y) = \lambda(\sigma_{y^{-1}}(v))$ で定義される写像 $v \mapsto f_v$ により、$\sigma$ と $F(G)$ 上の左正則表現の部分表現との間に同型が誘導される。
• 不変部分空間 $W$ が存在するとき、商空間 $V/W$ は $V$ からの表現を引き継ぐ。$\rho$ が不可約でない場合、$W$ および $V/W$ 上の表現に分解可能であり、両方の次元は正の小さい値をとる。