[论文解读] 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

一句话总结

本文通过将奥库诺夫方法推广至 $\mathfrak{S}_{\infty}$-表示，对无限半直积 $\Gamma\wr\mathfrak{S}_{\infty}$ 上的不可约特征标进行了完整分类。结果表明，此类特征标完全由 $\Gamma$ 的有限特征标决定，分类过程依赖于与类型 $III$ 表示中松原-竹下模算子相关的谱投影和渐近算子。关键结果是：在 $\Gamma$-特征标与不变投影的框架下，对 $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.

研究动机与目标

• 对与 $II_1$-因子表示相关的无限半直积 $\Gamma\wr\mathfrak{S}_{\infty}$ 上的所有不可约特征标进行分类。
• 将奥库诺夫对 $\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)$ 构造的投影 $e_m(r)$ 及 $\mathfrak{S}_m$ 的作用，定义了 $\mathfrak{S}_m$ 上的特征标 $\phi_r(s)$，并证明其为不可约。
• 证明依赖于恒等式 $\sum_{s \in \mathfrak{S}_m} \text{sgn}(s) t^{|\mathbb{P}_m(s)|} = t(t-1)\cdots(t-m+1)$，该恒等式用于在 $\nu(r) \notin \mathbb{Z}$ 时导出矛盾。
• 通过证明当 $r \neq 0$ 时，$W^*$-代数 $E_k(r)\mathfrak{A}_k$ 是有限维的，且 $\Gamma$-表示在 $E_k(r)\mathcal{H}_\phi$ 上可分解为与 $\Gamma$-特征标对应的不可约分量，完成分类。

实验结果

研究问题

• RQ1 如何基于 $\Gamma$ 的有限特征标，对 $\Gamma\wr\mathfrak{S}_{\infty}$ 上的不可约特征标实现完整分类？
• 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$ 表示中，模算子自然地通过渐近算子表达，证实了特征标理论与松原-竹下理论之间存在深刻联系。
• 第 2 节中明确实现了每个特征标的 GNS 表示构造，展示了谱数据与因子表示结构之间的对应关系。