e58a26f69e93b278.tex
1: \begin{abstract}
2:     Let $G$ be a topological group acting on a simplicial complex $\calX$
3:     satisfying some mild assumptions. For example, consider a $k$-regular
4:     tree and its automorphism group, or more generally, a regular affine
5:     Bruhat-Tits building and its  automorphism group.
6:     We define and study various types of high-dimensional
7:     spectra of quotients of $\calX$ by subgroups of $G$.
8:     These spectra include the spectrum of many natural operators associated with
9:     the quotients, e.g.\ the high-dimensional Laplacians.
10: 
11:     We
12:     prove a theorem in the spirit of the Alon-Boppana Theorem, leading to a notion of \emph{Ramanujan quotients}
13:     of $\calX$.
14:     Ramanujan $k$-regular graphs
15:     and  Ramanuajn complexes in the sense of Lubotzky, Samuels and Vishne are \emph{Ramanujan in dimension $0$}
16:     according to our definition (for $\calX$, $G$ suitably chosen).
17:     We give a criterion for a quotient of $\calX$ to be Ramanujan which is phrased in terms of
18:     representations of $G$, and use it, together with deep results about automorphic
19:     representations, to show that affine buildings of inner forms of $\uGL_n$
20:     over local fields of positive characteristic  admit infinitely many quotients
21:     which are \emph{Ramanujan in all dimensions}.
22:     The Ramanujan (in dimension $0$) complexes constructed by
23:     Lubotzky, Samuels and Vishne arise as a special case of our construction.
24:     Our construction also gives rise to Ramanujan graphs which are apparently new.
25: 
26:     %In particular, ignoring the \emph{trivial spectrum},
27:     %the spectrum of the high dimensional Laplacians
28:     %of these complexes is contained in the spectrum of the high dimensional Laplacians of the their universal cover.
29: 
30:     Other applications are also discussed.
31:     %We also give other applications of our machinery.
32:     For example, we show that there are non-isomorphic simiplicial complexes which are \emph{isospectral in
33:     all dimensions}.
34: \end{abstract}
35: