[논문 리뷰] The Asymptotic Statistics of Random Covering Surfaces

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

Stochastic processes and statistical mechanics인용 수 5

한 줄 요약

이 논문은 표면 군의 표현 공간을 대칭군으로 통합하는 새로운 방법을 개발하여, 임의의 피복 표면에서 고정점 통계의 점근적 분석을 가능하게 한다. 임의의 비자명 원소 γ ∈ Γ₉가 존재할 때, γ의 고정점 수의 기대값은 n → ∞일 때 n⁻¹ 오차를 포함하여 d(q)로 수렴한다. 여기서 d(q)는 γ가 q차근인 최대 정수 q의 양의 약수의 개수이다.

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ₙ으로의 임의의 준동형사상에 대한 γ의 고정점 수의 기대값의 점근적 행동을 분석한다.
• 자유군 설정에서의 기법을 확장하여 표면군 표현의 링크 기댓값에 대한 정확한 점근 공식을 수립한다.
• n → ∞일 때 기댓값 E₉,ₙ[fixγ]가 d(q)로 수렴함을 증명한다. 여기서 q는 Γ₉ 내에서 γ가 q차근이 되는 최대 정수이다.
• 기댓값이 n⁻¹에 대한 로랑 다항식으로 임의의 순서 O(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⁻ᴹ)까지 기댓값을 균일하게 근사할 수 있으며, 오차 한계는 행렬 계수의 표현 이론적 추정치와 포카머 기호 전개를 통해 제어된다.