Isomorphisms in the Farrell cohomology of \(\text{Sp}(p-1,\mathbb{Z}[1/n])\). (Q935611)

Let \(p\) be an odd prime and \(\xi\) a primitive \(p\)-th root of unity. Let \(n\) be a multiple of \(p\) such that \(\mathbb{Z}[1/n][\xi]\) and \(\mathbb{Z}[1/n][\xi+\xi^{-1}]\) are principal ideal domains. We are interested in the \(p\)-primary component \(\widehat H^*(G,\mathbb{Z})_{(p)}\) of the Farrell cohomology ring \(\widehat H^*(G,\mathbb{Z})\) of \(G=\text{Sp}(p-1,\mathbb{Z}[1/n])\). If \(y\) is the greatest odd divisor of \(p-1\), then an invertible element is found in degree \(2y\) of this \(p\)-primary component. Further the precise period of this \(p\)-primary component is expressed in terms of the ramification/splitting behaviour of prime ideals. These results are obtained by computing the action of the normalizer \(N(P)\) of any cyclic \(p\)-subgroup \(P\) of \(G\) on \(\widehat H^*(C(P),\mathbb{Z})_{(p)}\) with \(C(P)\) being the centralizer of \(P\).