[論文レビュー] Random Unitary Representations of Surface Groups II: The large $n$ limit

Michael Magee|Durham Research Online (Durham University)|Jan 8, 2021

Geometric and Algebraic Topology被引用数 5

ひとこと要約

本稿は、 genus-g 表面（g ≥ 2）の基本群のランダムユニタリ表現（SU(n) に値する）に対して、n → ∞ のとき、任意の非恒等元群要素の期待トレースが有界のまま保たれることを確立する。Dehnの語呪問題の技法と古典的不変体理論の組み合わせを用いて、著者らは、これらの表現が漸近的に Voiculescu の自由独立性条件を満たすことを証明し、自由群に対する彼の結果を大規模 n における表面群へ一般化する。

ABSTRACT

Let $Σ_{g}$ be a closed surface of genus $g\geq 2$ and $Γ_{g}$ denote the fundamental group of $Σ_{g}$. We establish a generalization of Voiculescu's theorem on the asymptotic $*$-freeness of Haar unitary matrices from free groups to $Γ_{g}$. We prove that for a random representation of $Γ_{g}$ into $\mathsf{SU}(n)$, with law given by the volume form arising from the Atiyah-Bott-Goldman symplectic form on moduli space, the expected value of the trace of a fixed non-identity element of $Γ_{g}$ is bounded as $n o\infty$. The proof involves an interplay between Dehn's work on the word problem in $Γ_{g}$ and classical invariant theory.

研究の動機と目的

• 自由群におけるハールユニタリ行列の Voiculescu の漸近的 *-自由性結果を、自由群から表面群へ拡張すること。
• Γg = π1(Σg) のランダム表現の n → ∞ の極限を、Atiyah-Bott-Goldman のシンプレクティック測度を備えた SU(n) に分析すること。
• 任意の非恒等元 γ ∈ Γg の期待トレースが n → ∞ のとき一様に有界のまま保たれることを示すこと。
• 表面群表現に対する非可換確率論的類似物としての漸近的自由性を確立すること。
• トポロジー的手法（Dehn の語呪問題）と不変体理論（Weingarten 計算）を統合し、トレース期待値を制御すること。

提案手法

• モジュライ空間 M_{g,n} = Hom(Γg, SU(n))^{irr}/PSU(n) 上の Atiyah-Bott-Goldman シンプレクティック形式を用いて、自然な確率測度を定義する。
• キャラクター理論とヤング図形の組み合わせ論を用いて、SU(n) 上の積分を通じて期待トレースを計算する Weingarten 計算を適用する。
• 語の分解（マッチングデータおよび手術を介した）を用いて、表面語をピースとディスクにトポロジカルに分解し、トレース寄与を分析する。
• 非恒等元が制御可能な複雑さを持つ巡回的短縮代表元を持つことを保証するため、Dehn の表面群における語呪問題の結果を用いる。
• 射影公式と組み合わせ的積分恒等式を用いて、トレース期待値をヤング図形ペア (μ,ν) に関する和に還元し、係数 D_{[μ,ν]}(n) と J_n(w,[μ,ν]) を得る。
• RR-ディスク、WR-アーク、トポロジー的オイラー特性からの寄与を分析することで、一様な O(1) 界を確立する。

実験結果

リサーチクエスチョン

• RQ1 ランダムな表面群表現における非恒等元の期待トレースは、n → ∞ のとき有界のまま保たれるか？
• RQ2 Voiculescu の自由群における漸近的 *-自由性は、表面群へ拡張可能か？
• RQ3 表面語のトポロジカル特性（例：巡回的短縮、語長）は、大規模 n 表現におけるトレース期待値にどのように影響するか？
• RQ4 Atiyah-Bott-Goldman シンプレクティック構造は、トレースモーメントの成長を制御するために果たす役割は何か？
• RQ5 不変体理論とトポロジカルな組み合わせ論をどのように統合し、非自由群のランダム表現を分析できるか？

主な発見

• 任意の非恒等元 γ ∈ Γg（g ≥ 2）に対して、期待トレース E_{g,n}[tr_γ] は n に依存しない一様有界である。すなわち、n → ∞ のとき E_{g,n}[tr_γ] = O_γ(1) である。
• この有界性は、[Γg, Γg] の元に対しても成り立ち、自由群の場合を越えて結果を拡張する。
• 証明は、表面語をピースとディスクにトポロジカルに分解し、オイラー特性とアーク・サイド接続を介して寄与を分析することに依存する。
• RR-ディスクからの寄与はその数で有界であり、総オイラー特性が -(k+ℓ) 以下であることが示される。ここで k と ℓ は語長パラメータである。
• 漸近的挙動は Weingarten 計算とキャラクター理論によって制御され、トレース期待値は係数 D_{[μ,ν]}(n) と J_n(w,[μ,ν]) を持つヤング図形ペア (μ,ν) に関する和として表現される。これらの係数は n に対して O(1) である。
• ゼータ関数 ζ(2g−2;n) → 1（n → ∞）であるため、正規化係数は O(1) 界に影響しない。