[논문 리뷰] Random Unitary Representations of Surface Groups II: The large $n$ limit

Michael Magee|Durham Research Online (Durham University)|2021. 01. 08.

Geometric and Algebraic Topology인용 수 5

한 줄 요약

이 논문은 고리수 g ≥ 2인 표면의 기본군의 랜덤 유니터리 표현에 대해, SU(n)로의 표현에서 임의의 항등원이 아닌 원소의 기대 추적값이 n → ∞일 때 유계로 유지됨을 확립한다. Dehn의 단어 문제 기법과 고전적 불변량 이론을 조합하여, 저자들은 이러한 표현들이 점점 커지는 n의 극한에서 Voiculescu의 자유 독립성 조건을 점점 만족함을 증명하며, 자유군에서의 그의 결과를 표면군으로 일반화한다.

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 심플렉틱 형식을 이용해 자연스러운 확률 측도를 정의한다.
• 기대 추적값을 계산하기 위해 Weingarten 미분법을 적용하며, 특성 이론과 양도 다이어그램 조합론을 사용해 SU(n) 위의 적분을 수행한다.
• 표면 단어를 조각들과 디스크로 분해하는 위상수학적 분해를 통해 추적 기여도를 분석한다.
• 비항등원 원소가 제한된 복잡도를 갖는 순환적으로 단순화된 표현을 갖는다는 점을 보장하기 위해 표면군에서의 단어 문제에 대한 Dehn의 결과를 적용한다.
• 투영 공식과 조합적 적분 항등식을 사용하여 추적 기대값을 Young 다이어그램 쌍 (μ,ν)에 대한 합으로 줄이고, 계수 D_{[μ,ν]}(n)과 J_n(w,[μ,ν])를 포함한다.
• RR-디스크, WR-호, 위상수학적 오일러 특성수 기여도를 분석함으로써 추적 기대값의 유계를 확립하며, 최종적으로 일관된 O(1) 유계를 도출한다.

실험 결과

연구 질문

• RQ1 랜덤 표면군 표현에서 SU(n)로의 항등원이 아닌 원소의 기대 추적값이 n → ∞일 때 유계로 유지되는가?
• RQ2 Voiculescu의 자유군에서의 점근적 *-자유성 결과를 표면군으로 확장할 수 있는가?
• RQ3 표면 단어의 위상수학적 성질(예: 순환 단순화, 단어 길이)이 큰 n 표현에서 추적 기대값에 어떤 영향을 미치는가?
• RQ4 Atiyah-Bott-Goldman 심플렉틱 구조는 추적 모멘트의 성장 양상에 어떤 역할을 하는가?
• RQ5 불변량 이론과 위상수학적 조합론을 어떻게 융합하여 비자유군의 랜덤 표현을 분석할 수 있는가?

주요 결과

• g ≥ 2인 임의의 항등원이 아닌 γ ∈ Γg에 대해, 기대 추적값 E_{g,n}[tr_γ]는 n에 대해 일관되게 유계이며, 즉 n → ∞일 때 E_{g,n}[tr_γ] = O_γ(1)이다.
• 이 유계성은 [Γg, Γg]의 원소인 γ에 대해서도 성립하여, 자유군의 경우를 초월해 결과를 확장한다.
• 이 증명은 표면 단어를 조각들과 디스크로 분해하는 위상수학적 분해에 기반하며, 기여도는 오일러 특성수와 호-측면 인cidences를 통해 분석된다.
• RR-디스크의 기여도는 그러한 디스크의 수로 유계이며, 총 오일러 특성수는 k와 ℓ가 단어 길이 매개변수일 때 ≤ -(k+ℓ)임을 보였다.
• 점근적 행동은 Weingarten 미분법과 특성 이론에 의해 제어되며, 추적 기대값은 계수 D_{[μ,ν]}(n)과 J_n(w,[μ,ν])를 포함하는 Young 다이어그램 쌍 (μ,ν)에 대한 합으로 표현된다. 이 계수들은 n에 대해 O(1)이다.
• ζ(2g−2;n) → 1 as n → ∞ 이므로, 정규화 인자 는 O(1) 유계에 영향을 주지 않는다.