{"id":"arxiv/2609.29033","url":"https://arxiv.org/abs/2609.29033","tags":["math.GR","math.DS","math.GT","math.NT"],"score":0,"title":"Proof of the positive trace gap conjecture","domain":"math.GR","source":"arxiv","authors":["Nikolay Bogachev"],"reviews":0,"subject":"math.GR","summary":"We prove that a lattice $Γ$ in $\\mathrm{PSL}_2(\\mathbb{R})$ or $\\mathrm{PSL}_2(\\mathbb C)$ has positive trace gap, meaning that its traces are uniformly separated, if and only if it is derived from an admissible quaternion algebra. For cocompact Fuchsian groups, this proves the positive trace gap conjecture attributed to Sarnak by Geninska and Leuzinger in 2008. The same characterization by quaternion algebras holds if the difference set of traces is not dense. Our method also gives a similar result for lattices in $\\mathrm{SL}_d(\\mathbb R)$, for every $d\\ge3$: a lattice…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-24","reactions":{}}