[論文レビュー] Matrix Group Integrals, Surfaces, and Mapping Class Groups II: $\mathrm{O}\left(n ight)$ and $\mathrm{Sp}\left(n ight)$

Michael Magee, Doron Puder|arXiv (Cornell University)|Apr 30, 2019

Random Matrices and Applications参考文献 30被引用数 6

ひとこと要約

本稿は、直交群およびシンプレクティック群の語における行列群積分に対して、無限大における収束するローラン級数展開を確立し、その係数が曲面上の写像および写像類群の$L^2$-オイラー特徴量に関連することを示す。これらの係数が自由群の自己同型に関して不変であることを明らかにし、ユニタリ群に対する古典的結果を一般化するとともに、ランダムな直交群およびシンプレクティック群行列に対する新たな普遍性および減衰率の結果をもたらす。

ABSTRACT

Let $w$ be a word in the free group on $r$ generators. The expected value of the trace of the word in $r$ independent Haar elements of $\mathrm{O}(n)$ gives a function ${\cal T}r_{w}^{\mathrm{O}}(n)$ of $n$. We show that ${\cal T}r_{w}^{\mathrm{O}}(n)$ has a convergent Laurent expansion at $n=\infty$ involving maps on surfaces and $L^{2}$-Euler characteristics of mapping class groups associated to these maps. This can be compared to known, by now classical, results for the GUE and GOE ensembles, and is similar to previous results concerning $\mathrm{U}\left(n ight)$, yet with some surprising twists. A priori to our result, ${\cal T}r_{w}^{\mathrm{O}}(n)$ does not change if $w$ is replaced with $α(w)$ where $α$ is an automorphism of the free group. One main feature of the Laurent expansion we obtain is that its coefficients respect this symmetry under $\mathrm{Aut}(\mathrm{\mathbf{F}}_{r})$. As corollaries of our main theorem, we obtain a quantitative estimate on the rate of decay of ${\cal T}r_{w}^{\mathrm{O}}(n)$ as $n o\infty$, we generalize a formula of Frobenius and Schur, and we obtain a universality result on random orthogonal matrices sampled according to words in free groups, generalizing a theorem of Diaconis and Shahshahani. Our results are obtained more generally for a tuple of words $w_1,\ldots,w_\ell$, leading to functions ${\cal T}r_{w_{1},\ldots,w_{\ell}}^{\mathrm{O}}$. We also obtain all the analogous results for the compact symplectic groups $\mathrm{Sp}\left(n ight)$ through a rather mysterious duality formula.

研究の動機と目的

• O(n)およびSp(n)から独立にハール分布された行列の語のトレースに対する$(n+1 - \alpha_G)^{-1}$における収束するローラン級数展開を導出すること。
• この展開の係数が曲面上の写像および写像類群の$L^2$-オイラー特徴量に関連することを結びつけること。
• ローラン展開が自由群の自己同型の対称性を保つこと、すなわち$\mathrm{Aut}(\mathbf{F}_r)$に関して不変であることの証明。
• O(n)とSp(n)の間の双対性を確立し、$n \mapsto -2n$を含む変換によって両群間の結果を相互に移すことを可能にすること。
• ランダム行列に対するFrobenius–Schurの公式やDiaconis–Shahshahaniの普遍性定理といった古典的結果の一般化。

提案手法

• ウェイングルテン計算を用いて、行列積分を$n$に関する有理関数として表現し、無限大におけるローラン級数展開を可能にする。
• 語のマッチングから曲面上の組み合わせ的マップを構成し、符号付きマッチングと曲面分解を用いてトレース積分の構造を符号化する。
• 写像類群の$L^2$-不変量を解析するため、可能である非可定向曲面を含む写像を符号化する多単体的複体「横断的マップ複体」を導入する。
• $L^2$-ホモロジー技法を適用し、曲面写像の写像類群の$L^2$-オイラー特徴量を計算し、ローラン係数と結びつける。
• 双対性公式を確立：$\mathrm{Sp}(n)$積分は、$\mathrm{O}(n)$積分において$n \mapsto -2n$と置き換え、$(-1)^\ell$を乗じることで得られる。
• トレース積分が自由群自己同型に関して不変であることに着目し、ローラン係数が$\mathrm{Aut}(\mathbf{F}_r)$に関して保存されることを証明。これは主要な対称性的特徴である。

実験結果

リサーチクエスチョン

• RQ1 O(n)から独立にハール分布された$r$個の行列の語の期待トレースは、$(n+1 - \alpha_{\mathrm{O}})^{-1}$におけるローラン級数にどのように展開可能か。また、その係数が何らかの幾何学的および群論的データをどのように符号化しているか。
• RQ2 $\mathcal{Tr}^{\mathrm{O}}_{w_1,\ldots,w_\ell}(n)$のローラン展開において、写像類群の$L^2$-オイラー特徴量は果たす役割は何か。また、曲面上の写像とどのように関係しているか。
• RQ3 O(n)とSp(n)の間の双対性は、行列積分およびそのローラン展開の構造においてどのように現れるか。
• RQ4 ローラン級数の係数が自由群$\mathrm{Aut}(\mathbf{F}_r)$に関して不変である程度は何か。この対称性が示唆するものは何か。
• RQ5 これらの結果を用いて、Frobenius–Schurの公式やDiaconis–Shahshahaniの普遍性定理といった古典的公式を、ランダム行列集合に一般化できるか。

主な発見

• $\mathcal{Tr}^{\mathrm{O}}_{w_1,\ldots,w_\ell}(n)$は、$\alpha_{\mathrm{O}} = 2$である$(n+1 - \alpha_{\mathrm{O}})^{-1}$における収束するローラン級数展開を有し、その係数は曲面上の写像およびそれらの写像類群の$L^2$-オイラー特徴量で表される。
• ローラン展開の係数は$\mathrm{Aut}(\mathbf{F}_r)$の作用に関して不変であり、自由群自己同型に関してトレース積分が持つ深い対称性を反映している。
• Sp(n)に関しては、$n \mapsto -2n$と置き換え、符号因子$(-1)^\ell$を乗じることで、$\mathrm{O}(n)$積分から$\mathrm{Sp}(n)$積分が得られ、驚くべき双対性が確立される。
• 本稿では、$n \to \infty$における$\mathcal{Tr}^{\mathrm{O}}_w(n)$の定量的減衰率が、ローラン展開の主要項から導出される。
• 一般化されたFrobenius–Schurの公式が得られ、古典的特性和恒等式が直交群の設定に拡張される。
• 普遍性の結果が証明された：自由群内の任意の語に関するランダム$\mathrm{O}(n)$行列の分布は、$\mathrm{O}(n)$上のハール測度に収束する。これは、Diaconis–Shahshahaniの定理を任意の語に一般化するものである。