Proof of the positive trace gap conjecture

Nikolay Bogachev

In the authors' words

We prove that a lattice $Γ$ in $P S L_{2} (R)$ or $P S L_{2} (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 $S L_{d} (R)$ , for every $d \geq 3$ : a lattice $Γ < S L_{d} (R)$ has positive trace gap if and only if all its traces are integers. Equivalently, after conjugation, it has finite index in the norm-one group of an order in a central simple algebra of degree $d$ over $Q$ that splits over $R$ . We also discuss spectral consequences and other applications of the results and techniques.

Main resultThe abstract does not state a limitation.

Proof of the positive trace gap conjecture

In the authors' words

More on Algebra & number theory that day

A solution to Michael's problem for Fr\'echet algebras

Disproof of a Conjectured Upper Bound for the Davenport Constant

High Rank and Multiplicity in Random and Perfect Profinite Groups

A quasisymmetric analog of Grassmannian Schubert varieties

A Secondary Multiplicative Structure on Lawson Homology