[論文レビュー] A description of characters on the infinite wreath product

Artem Dudko, N. I. Nessonov|ArXiv.org|Oct 27, 2005

Random Matrices and Applications参考文献 9被引用数 3

ひとこと要約

本稿は、$Γ\wr\mathfrak{S}_{∞}$ 上の分解不能な特徴の完全な分類を、$Γ\wr\mathfrak{S}_{∞}$ の表現に対するオクノフの方法の一般化を用いて行う。この特徴は、$Γ$ の有限特徴によって完全に決定され、分類はタイプ $III$ 表現における冪等作用素とトミタ＝タケサキのモジュラー作用素に関連する漸近的作用素と密接に結びついている。主な結果は、$Γ$-特徴と不変射影を用いた $II_1$-因子表現の構造的記述である。

ABSTRACT

Let $\mathfrak{S}_\infty$ be the infinity permutation group and $Γ$ an arbitrary group. Then $\mathfrak{S}_\infty$ admits a natural action on $Γ^\infty$ by automorphisms, so one can form a semidirect product $Γ^\infty times \mathfrak{S}_\infty$, known as the {\it wreath} product $Γ\wr\mathfrak{S}_\infty$ of $Γ$ by $\mathfrak{S}_{\infty}$. We obtain a full description of unitary $II_1-$factor-representations of $Γ\wr\mathfrak{S}_\infty$ in terms of finite characters of $Γ$. Our approach is based on extending Okounkov's classification method for admissible representations of $\mathfrak{S}_\infty imes\mathfrak{S}_\infty$. Also, we discuss certain examples of representations of type $II_1$, where the {\it modular operator} of Tomita-Takesaki expresses naturally by the asymptotic operators, which are important in the characters-theory of infinite symmetric group.

研究の動機と目的

• 無限ワーレス積 $\Gamma\wr\mathfrak{S}_{\infty}$ 上のすべての分解不能特徴を分類すること。これらは $II_1$ 型因子表現に関連している。
• オクノフによる $\mathfrak{S}_{\infty}\times\mathfrak{S}_{\infty}$-表現の分類法をワーレス積の文脈に拡張すること。
• $\mathfrak{S}_{\infty}$ の特徴論における漸近的作用素と、タイプ $III$ 表現におけるモジュラー作用素との関係を分析すること。
• GNS構成における特定の作用素のスペクトル射影と、$\Gamma$-表現の既約成分との対応関係を確立すること。

提案手法

• 著者たちはオルシャンスキーの半群法を用い、漸近的作用素と二重コセット構造を介して $\Gamma\wr\mathfrak{S}_{\infty}$ の表現を分析するオクノフの手法を拡張する。
• 彼らは $\Gamma\wr\mathfrak{S}_{\infty} = \Gamma^\infty_e \rtimes \mathfrak{S}_{\infty}$ を定義し、$\Gamma^\infty_e$ に帰納的極限位相、$\mathfrak{S}_{\infty}$ に離散位相を導入する。
• 主な技術的道具は、GNS構成を介して定義される作用素 $\mathcal{O}_k$ のスペクトル分解であり、$r \in \{\alpha_i, \beta_i\} \subset (0,1)$ における固有値に対応する射影 $E^{(k)}(r)$ を得る。
• 彼らは $E^{(k)}(r)$ と $\mathfrak{S}_m$ の作用から得られる射影 $e_m(r)$ を用いて、$\mathfrak{S}_m$ 上の特徴 $\phi_r(s)$ を定義し、これが分解不能であることを示す。
• 証明は、$\nu(r) \in \mathbb{Z}$ でなければならず、その反対仮説から矛盾を導くために恒等式 $\sum_{s \in \mathfrak{S}_m} \text{sgn}(s) t^{|\mathbb{P}_m(s)|} = t(t-1)\cdots(t-m+1)$ を用いる。
• 分類は、$r \neq 0$ のとき $W^*$-代数 $E_k(r)\mathfrak{A}_k$ が有限次元であること、および $\Gamma$-表現が $E_k(r)\mathcal{H}_\phi$ 上で $\Gamma$ の特徴に対応する既約成分に分解されることを示すことによって完成する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして $\Gamma\wr\mathfrak{S}_{\infty}$ 上の分解不能特徴を $\Gamma$ の有限特徴で完全に分類できるか？
• RQ2 $\mathfrak{S}_{\infty}$ の特徴論における漸近的作用素の役割は何か？また、タイプ $III$ 表現におけるモジュラー作用素とどのように関係しているか？
• RQ3 すべての $g \in \Gamma\wr\mathfrak{S}_{\infty}$、$s \in \mathfrak{S}_{\infty}$ に対して $\varphi(sg) = \varphi(gs)$ を満たす正定値関数 $\varphi$ が因子表現を生じる条件は何か？
• RQ4 作用素 $\mathcal{O}_k$ のスペクトル射影は、GNS表現における $\Gamma$-作用の既約成分とどのように関係するか？

主な発見

• 本稿は、$\Gamma\wr\mathfrak{S}_{\infty}$ 上の分解不能特徴の完全な分類を確立し、これらが $\Gamma$ の有限特徴と漸近的作用素からのスペクトルデータによってパラメトライズされることを示した。
• $r \in \{\alpha_i, \beta_i\} \subset (0,1)$ に対して、$\mathcal{O}_k$ のスペクトル射影 $E^{(k)}(r)$ は、有限次元 $W^*$-代数 $E_k(r)\mathfrak{A}_k$ を生成し、表現が $II_1$ 型であることを保証する。
• 各固有値 $r$ に対応する値 $\nu(r)$ は整数でなければならない。これは恒等式 $\sum_{s \in \mathfrak{S}_m} \text{sgn}(s) t^{|\mathbb{P}_m(s)|} = t(t-1)\cdots(t-m+1)$ を用いて、背理法により示された。
• $E_k(r)\mathcal{H}_\phi$ 上の $\Gamma$-表現の既約成分は、定理7で述べられる $\varrho^r$ 表現に正確に一致する。
• タイプ $III$ 表現におけるモジュラー作用素は、自然に漸近的作用素を介して表現され、特徴論とトミタ＝タケサキ理論との深い関係を確認する。
• 各特徴に対するGNS表現の構成は第2節で明示的に実現されており、スペクトルデータと因子表現構造との対応関係が示されている。