Abelian spiders and real cyclotomic integers

Abstract

If Γ \Gamma is a finite graph, then the largest eigenvalue λ \lambda of the adjacency matrix of Γ \Gamma is a totally real algebraic integer ( λ \lambda is the Perron-Frobenius eigenvalue of Γ \Gamma ). We say that Γ \Gamma is abelian if the field generated by λ 2 \lambda ^2 is abelian. Given a fixed graph Γ \Gamma and a fixed set of vertices of Γ \Gamma , we define a spider graph to be a graph obtained by attaching to each of the chosen vertices of Γ \Gamma some 2 2 -valent trees of finite length. The main result is that only finitely many of the corresponding spider graphs are both abelian and not Dynkin diagrams, and that all such spiders can be effectively enumerated; this generalizes a previous result of Calegari, Morrison, and Snyder. The main theorem has applications to the classification of finite index subfactors. We also prove that the set of Salem numbers of “abelian type” is discrete.