Quillen decomposition for supports of equivariant cohomology with local coefficients (Q797870): Difference between revisions

The author investigates the support \(V_ G(X;A)\) of an equivariant Borel cohomology module \(H_ G(X;A)\) of a G-space X with local coefficients in A. It is supposed that A is a \(k[\pi_ 0G]\)-algebra, where k is a field of characteristic p. Then denoting by EA(G,X) the category whose objects are elementary abelian p-subgroups of G having fixed points on X and whose morphisms are restrictions of inner automorphisms of G, a natural map \(\alpha\) : \(\lim ind_{E\in EA(G,A)}V_ E(pct.;A)\to V_ G(X;A)\) is obtained. The author gives conditions about X,G and the action by which \(\alpha\) is a homeomorphism of spaces with the Zariski topology. The conditions are the following: G is a compact Lie group or a discrete group of finite p-cohomological virtual dimension with only finitely many conjugacy classes of elementary abelian p-subgroups, X is either finite- dimensional or compact and the action satisfies certain local and finiteness conditions, the so-called (C) and (F) conditions. In the proof of the main result the author uses topological arguments in the spirit of \textit{D. Quillen}'s work on the spectrum of an equivariant cohomology ring with constant coefficients [Ann. Math., II. Ser. 94, 549-602 (1971; Zbl 0247.57013)].