The equivariant topology of stable Kneser graphs (Q640844)

The stable Kneser graph \(SG_{n,k}\) (where \(n\) and \(k\) are integers satisfying \(n\geq 1\) and \(k\geq 0\)) is a vertex critical graph with chromatic number \(k+2\). It ist also called the Schrijver graph. Lovasz considered a cell complex \(\Hom(H, G)\) for given graphs \(G\) and \(H\) where the vertices of \(\Hom(H, G)\) are the graph homomorphisms from \(H\) to \(G\). A graph \(T\) is called a homotopy test graph if for all loopless graphs \(G\) and \(r\geq 0\) such that \(\Hom(G, T)\) is \((r-1)\) connected \(\chi(g)\geq\chi(T)+ r\) holds. In the present paper it is shown that the graphs \(SG_{2s,4}\) are homotopy test graphs and that \(SG_{n,k}\) is not a homotopy test graph if \(k\not\in\{0,1,2,4,8\}\) and \(n\geq N(k)\).