Ramanujan Type Buildings
Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Representation-theoretic methods; automorphic representations over local and global fields (11F70) Langlands-Weil conjectures, nonabelian class field theory (11S37) Groups with a (BN)-pair; buildings (20E42) Linear algebraic groups over local fields and their integers (20G25) Representations of Lie and linear algebraic groups over local fields (22E50)
A building \(\mathcal B\) with all vertices special and whose underlying graph \(\underline{\mathcal B}\) is \(l\)-regular is called Ramanujan type building with bound \(c\), if every eigenvalue \(\lambda\) of the adjacency matrix of \(\underline{\mathcal B}\) is either \(\lambda=\pm l\) or \(|\lambda|\leq c\). Let \(\mathcal B\) be the Bruhat-Tits building attached to the group \(\text{GL}_3(\mathbb{Q}_p)\). The building \(\mathcal B\) is the direct product of the building of \(\text{SL}_3(\mathbb{Q}_p)\) and the affine line, so all vertices of \(\mathcal B\) are special. Let \(\mathbb{A}\) be the ring of adeles of \(\mathbb{Q}\), \(\mathbb{A}_f\) be the ring of finite adeles. Let \(G'\) be a \(\mathbb{Q}\)-form of \(\text{U}(3)\) such that \(G'(\mathbb{Q}_p)\cong\text{GL}_3(\mathbb{Q}_p)\) and \(G'(\mathbb{R})\) is compact. Denote by \(K_p\) the maximal compact subgroup \(G'(\mathbb{Z}_p)\) of \(G'(\mathbb{Q}_p)\). For each prime \(q\neq p\) let \(K_q\) be a compact open subgroup of \(G'(\mathbb{Q}_q)\) chosen to be small and such that the group \(K_f=\prod_{q\text{ finite}}K_q\) is a compact open subgroup of \(G'(\mathbb{A}_f)\). Denote by \(K_f^p\) the subgroup \(\prod_{q\text{ finite, }q\neq p}K_q\). The number of double cosets in \(G'(\mathbb{Q})\backslash G'(\mathbb{A})/G'(\mathbb{R})G'(\mathbb{Q}_p)K_f^p\) is finite. Let \(\{x_1,\dots,x_n\}\) be the set of representatives of these cosets and let \(\Gamma_{i,p}'=G'(\mathbb{R})G'(\mathbb{Q}_p)K_f^p\cap x_iG'(\mathbb{Q})x_i^{-1}\). Then \(\Gamma_{i,p}'\) has a normal subgroup \(\Gamma_{i,p}\) of finite index which has no nontrivial element of finite order. Denote by \({\mathcal B}_i\) the finite quotient of the building of \(G'(\mathbb{Q}_q)\) by \(\Gamma_{i,p}\) and by \(\mathbb{B}\) the disjoint union of the \({\mathcal B}_i\), \(i=1,\dots,n\). Main theorem. (a) Each connected component of \(\mathbb{B}\) is a Ramanujan type building quotient with bound \(2p(p^{1/2}+1+p^{-1/2})\). (b) If \(G'\) is a compact form of \(\text{U}(3)\) arising from a division algebra with an involution of the second kind, then each connected component of \(\mathbb{B}\) is a Ramanujan type building quotient with bound \(6p\).
- On eigenvalues of \(p\)-adic curvature.
- Ramanujan complexes and golden gates in \(PU(3)\)
- On the spectrum and linear programming bound for hypergraphs
- Ramanujan bigraphs associated with \(\mathrm{SU}(3)\) over a \(p\)-adic field
- Overlap properties of geometric expanders
- Ramanujan complexes and high dimensional expanders
- Explicit constructions of Ramanujan complexes of type A_d.
- Weak Ramanujan property of the standard non-uniform arithmetic quotient of \(\mathrm{PGL}_4\)
- Sparse high dimensional expanders via local lifts
- Sparser abelian high-dimensional expanders
- Algebra is half the battle: verifying presentations of graded unipotent Chevalley groups
- Ramanujan complexes of type \(\widetilde A_d\)
This page was built for publication: Ramanujan Type Buildings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4761334)
