[論文レビュー] The Asymptotic Statistics of Random Covering Surfaces

Michael Magee, Doron Puder|arXiv (Cornell University)|Mar 12, 2020

Stochastic processes and statistical mechanics被引用数 5

ひとこと要約

本稿は、曲面群の表現空間から対称群への統合のための新規手法を開発し、ランダムな被覆曲面における固定点統計の漸近的解析を可能にする。g ≥ 2 の種数を持つ曲面の基本群に属する非自明な元 γ に対して、ランダムな n 枚被覆における γ の固定点の期待値は、n → ∞ のとき d(q) に収束する。ここで q は γ が q 乗根として表せる最大の整数であり、d(q) は q の正の約数の個数である。誤差は O(n⁻¹) である。

ABSTRACT

Let $Γ_{g}$ be the fundamental group of a closed connected orientable surface of genus $g\geq2$. We develop a new method for integrating over the representation space $\mathbb{X}_{g,n}=\mathrm{Hom}(Γ_{g},S_{n})$ where $S_{n}$ is the symmetric group of permutations of $\{1,\ldots,n\}$. Equivalently, this is the space of all vertex-labeled, $n$-sheeted covering spaces of the the closed surface of genus $g$. Given $ϕ\in\mathbb{X}_{g,n}$ and $γ\inΓ_{g}$, we let $\mathsf{fix}_γ(ϕ)$ be the number of fixed points of the permutation $ϕ(γ)$. The function $\mathsf{fix}_γ$ is a special case of a natural family of functions on $\mathbb{X}_{g,n}$ called Wilson loops. Our new methodology leads to an asymptotic formula, as $n o\infty$, for the expectation of $\mathsf{fix}_γ$ with respect to the uniform probability measure on $\mathbb{X}_{g,n}$, which is denoted by $\mathbb{E}_{g,n}[\mathsf{fix}_γ]$. We prove that if $γ\inΓ_{g}$ is not the identity, and $q$ is maximal such that $γ$ is a $q$th power in $Γ_{g}$, then \[ \mathbb{E}_{g,n}[\mathsf{fix}_γ]=d(q)+O(n^{-1}) \] as $n o\infty$, where $d\left(q ight)$ is the number of divisors of $q$. Even the weaker corollary that $\mathbb{E}_{g,n}[\mathsf{fix}_γ]=o(n)$ as $n o\infty$ is a new result of this paper. We also prove that if $γ$ is not the identity then $\mathbb{E}_{g,n}[\mathsf{fix}_γ]$ can be approximated to any order $O(n^{-M})$ by a polynomial in $n^{-1}$.

研究の動機と目的

• g ≥ 2 の種数を持つ曲面の n 枚被覆曲面の空間への統合のための新規手法の開発。この空間は、基本群から対称群 Sₙ への準同型によってパラメータ化される。
• 群元 γ ∈ Γ₉ がランダムな Sₙ への準同型のもとで受ける固定点の期待値の漸近的挙動の分析。
• 自由群の設定から拡張された、表面群表現の文脈におけるウィルソンループ期待値の明確な漸近公式の確立。
• E₉,ₙ[fixγ] が n → ∞ のとき d(q) に収束することの証明。ここで q は Γ₉ 内で γ が q 乗根として表せる最大の整数である。
• 期待値が任意の O(n⁻ᴹ) の精度で n⁻¹ のローレン卜多項式によって近似可能であり、全漸近展開が得られることの示唆。

提案手法

• タイル張り曲面とコア曲面を導入し、表現の離散的近似を可能にする組合せ的モデルとして用いる。これにより、連続的表現論的積分の離散的近似が可能になる。
• 分解理論を用いて、表現空間上の固定点関数の期待値を、コア曲面からタイル張り曲面への準同型による寄与に分解する。
• 特にヤング図形、テーブルーズ、キャラクター理論を用いた対称群の表現論を応用し、行列係数および非可約表現の次元を分析する。
• ポッホハマー記号 (n)ₖ を用いてラベリングの組合せ的数え上げを記述し、埋め込まれたタイル張り曲面の確率と関連付ける。
• 対称群表現に関連するゼータ関数と、Ξₙ(Wₕ) のような主要な量のローレン卜多項式近似を用いて、漸近展開を導出する。
• 行列係数の評価と可換子推定を組み合わせ、誤差項を制御し、漸近展開における収束速度を確立する。

実験結果

リサーチクエスチョン

• RQ1 g ≥ 2 の種数を持つ曲面のランダムな n 枚被覆において、非自明な群元 γ ∈ Γ₉ が受ける固定点の期待値の漸近的挙動は何か？
• RQ2 漸近的期待値 E₉,ₙ[fixγ] は、γ の代数的構造、特に基本群内でのべきの形としての位数にどのように依存するか？
• RQ3 期待値 E₉,ₙ[fixγ] は、n⁻¹ の有理関数として任意の O(n⁻ᴹ) の精度で近似可能か？
• RQ4 γ = γ₀^q を満たす最大の q が、E₉,ₙ[fixγ] の主要漸近項を決定する役割を果たすか？
• RQ5 部分群 J ≤ Γ₉ のコア曲面の位相的および組合せ的性質は、固定点の期待値の漸近的挙動にどのように影響を与えるか？

主な発見

• 任意の非単位元 γ ∈ Γ₉ に対して、q が Γ₉ 内で γ が q 乗根として表せる最大の整数であるとき、n → ∞ のとき E₉,ₙ[fixγ] = d(q) + O(n⁻¹) が成り立つ。ここで d(q) は q の正の約数の個数である。
• n → ∞ のとき、期待値 E₉,ₙ[fixγ] は o(n) である。これは、弱形でも新規かつ非自明な結果である。
• 期待値 E₉,ₙ[fixγ] は n⁻¹ のべきの全漸近展開を有し、すべての係数が有理数である。
• 漸近展開の主要項は、⟨γ⟩ のコア曲面からタイル張り曲面への最大分解準同型の数に等しく、その値は d(q) である。
• 有限生成部分群 J ≤ Γ₉ に対して、E₉,ₙ[fixJ] の漸近的成長率は、最大分解成分のオイラー標数によって支配され、その成分の数は |ℳ𝓞𝓖(J)| に等しい。
• 本手法により、任意の O(n⁻ᴹ) の精度で期待値の一様近似が得られ、行列係数の表現論的推定とポッホハマー記号の展開を用いて誤差項の境界が制御される。