The equivariant topology of stable Kneser graphs

The stable Kneser graph $SG_{n,k}$, $n\ge1$, $k\ge0$, introduced by Schrijver \cite{schrijver}, is a vertex critical graph with chromatic number $k+2$, its vertices are certain subsets of a set of cardinality $m=2n+k$. Bj\"orner and de Longueville \cite{anders-mark} have shown that its box complex is homotopy equivalent to a sphere, \Hom(K_2,SG_{n,k})\homot\Sphere^k. The dihedral group $D_{2m}$ acts canonically on $SG_{n,k}$, the group $C_2$ with 2 elements acts on $K_2$. We almost determine the $(C_2\times D_{2m})$-homotopy type of \Hom(K_2,SG_{n,k}) and use this to prove the following results. The graphs $SG_{2s,4}$ are homotopy test graphs, i.e. for every graph $H$ and $r\ge0$ such that \Hom(SG_{2s,4},H) is $(r-1)$-connected, the chromatic number $\chi(H)$ is at least $r+6$. If $k\notin\set{0,1,2,4,8}$ and $n\ge N(k)$ then $SG_{n,k}$ is not a homotopy test graph, i.e.\ there are a graph $G$ and an $r\ge1$ such that \Hom(SG_{n,k}, G) is $(r-1)$-connected and $\chi(G)<r+k+2$.Comment: 34 pp

New necessary conditions for (negative) Latin square type partial difference sets in abelian groups

Partial difference sets (for short, PDSs) with parameters ($n^2$, $r(n-\epsilon)$, $\epsilon n+r^2-3\epsilon r$, $r^2-\epsilon r$) are called Latin square type (respectively negative Latin square type) PDSs if $\epsilon=1$ (respectively $\epsilon=-1$). In this paper, we will give restrictions on the parameter $r$ of a (negative) Latin square type partial difference set in an abelian group of non-prime power order. As far as we know no previous general restrictions on $r$ were known. Our restrictions are particularly useful when $a$ is much larger than $b$. As an application, we show that if there exists an abelian negative Latin square type PDS with parameter set $(9p^{4s}, r(3p^{2s}+1),-3p^{2s}+r^2+3r,r^2+r)$, $1 \le r \le \frac{3p^{2s}-1}{2}$, $p\equiv 1 \pmod 4$ a prime number and $s$ is an odd positive integer, then there are at most three possible values for $r$. For two of these three $r$ values, J. Polhill gave constructions in 2009