The Asymptotic Statistics of Random Covering Surfaces
Autor: | Michael Magee, Doron Puder |
---|---|
Rok vydání: | 2020 |
Předmět: |
Statistics and Probability
Algebra and Number Theory Probability (math.PR) 20B30 20P05 20C30 20F34 20F65 20F70 Geometric Topology (math.GT) Group Theory (math.GR) Mathematics - Geometric Topology FOS: Mathematics Discrete Mathematics and Combinatorics Geometry and Topology Representation Theory (math.RT) Mathematics - Group Theory Mathematical Physics Analysis Mathematics - Probability Mathematics - Representation Theory |
Zdroj: | Forum of Mathematics, Pi, 2023, Vol.11, pp.e15 [Peer Reviewed Journal] |
DOI: | 10.48550/arxiv.2003.05892 |
Popis: | Let $\Gamma_{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}(\Gamma_{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 $\phi\in\mathbb{X}_{g,n}$ and $\gamma\in\Gamma_{g}$, we let $\mathsf{fix}_{\gamma}(\phi)$ be the number of fixed points of the permutation $\phi(\gamma)$. The function $\mathsf{fix}_{\gamma}$ 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\to\infty$, for the expectation of $\mathsf{fix}_{\gamma}$ with respect to the uniform probability measure on $\mathbb{X}_{g,n}$, which is denoted by $\mathbb{E}_{g,n}[\mathsf{fix}_{\gamma}]$. We prove that if $\gamma\in\Gamma_{g}$ is not the identity, and $q$ is maximal such that $\gamma$ is a $q$th power in $\Gamma_{g}$, then \[ \mathbb{E}_{g,n}[\mathsf{fix}_{\gamma}]=d(q)+O(n^{-1}) \] as $n\to\infty$, where $d\left(q\right)$ is the number of divisors of $q$. Even the weaker corollary that $\mathbb{E}_{g,n}[\mathsf{fix}_{\gamma}]=o(n)$ as $n\to\infty$ is a new result of this paper. We also prove that if $\gamma$ is not the identity then $\mathbb{E}_{g,n}[\mathsf{fix}_{\gamma}]$ can be approximated to any order $O(n^{-M})$ by a polynomial in $n^{-1}$. Comment: 51 pages, 6 figures. Slightly simplified Sections 5.2 and 5.4 |
Databáze: | OpenAIRE |
Externí odkaz: |