By applying an advanced technique of Weyl orbits of matrix morsifications of Dynkin graphs we obtain a complete classification (up to the strong Gram Z-congruence) of the connected positive signed graphs Δ, with n≥2 vertices, of Dynkin type An (see Problem 2.1(a)), by a reduction of the problem to the combinatorial properties of the Weyl group of type An and to the classification of the conjugacy classes of the integer orthogonal matrices C in Mn+1(Z) such that the characteristic polynomial of C is of the form charC(t)=tn+1−1. Following the usual Coxeter spectral analysis technique of edge-bipartite graphs applied in Simson (2018) [31], we study such positive signed graphs Δ, with n≥2 vertices, by means of the non-symmetric Gram matrix GˇΔ∈Mn(Z) defining Δ, its Gram quadratic form qΔ:Zn→Z, v↦v⋅GˇΔ⋅vtr, the complex spectrum speccΔ⊂S1:={z∈C,|z|=1} of the Coxeter matrix CoxΔ:=−GˇΔ⋅GˇΔ−tr∈Mn(Z), called the Coxeter spectrum of Δ, and the Coxeter polynomial coxΔ(t):=det(t⋅E−CoxΔ)∈Z[t]. We define Δ to be positive if the quadratic form qΔ:Zn→Z is positive definite, or equivalently the symmetric Gram matrix GΔ:=12[GˇΔ+GˇΔtr]=E+12AdΔ∈Mn(12Z) of Δ is positive definite, where AdΔ∈Mn(Z) is the adjacency matrix of Δ.Here we classify such positive signed graphs, up to the strong Gram Z-congruence Δ≈ZΔ′, where Δ≈ZΔ′ means that GˇΔ′=Btr⋅GˇΔ⋅B, for some B∈Mn(Z) with detB=±1. The main result of the paper asserts that, given such a connected positive signed graph Δ of Dynkin type An (equivalently, det2GΔ=n+1), we have(i)the Coxeter polynomial coxΔ(t) has the form tn+tn−1+⋯+t+1 (i.e., it coincides with the Coxeter polynomial coxAn(t) of the Dynkin graph An), and(ii)there is a strong Gram Z-congruence Δ≈ZAn.As a consequence we obtain the following solution of the Coxeter spectral hypothesis stated in [26] and [32]:(a)Given a pair Δ,Δ′ of connected positive signed graphs of Dynkin type An, with n≥2 vertices, there is a congruence Δ≈ZΔ′ if and only if speccΔ=speccΔ′, and(b)Given a positive definite connected quasi-Cartan matrix C∈Mn(Z) (in the sense of [4]) of Dynkin type An (equivalently, detC=n+1), the Coxeter polynomial coxC(t)∈Z[t] of C coincides with the Coxeter polynomial coxAn(t)=tn+tn−1+⋯+t+1 of the Dynkin graph An and C is strongly Z-congruent with the canonical symmetrizable Cartan matrix An of the root system of type An.
Read full abstract