We study the mod p cohomology of the classifying space of the projective unitary group PU(p). We first proof that old conjectures due to J.F. Adams, and Kono and Yagita about the structure of the mod p cohomology of classifying space of connected compact Lie groups held in the case of PU(p). Finally, we proof that the classifying space of the projective unitary group PU(p) is determined by its mod p cohomology as an unstable algebra over the Steenrod algebra for p>3, completing previous works for the cases p=2,3.
For an odd prime $p$, we study the image of the Thom map from Brown-Peterson cohomology of $BPU_n$ to the ordinary cohomology in dimensions $0\leq i\leq 2p+2$, where $BPU_n$ is the classifying space of the projective unitary group $PU_n$. Also we show that a family of well understood $p$-torsion cohomology classes $y_{p,k}\in H^{2p^{k+1}+2}(BPU_n;Z_{(p)})$ are in the image of the Thom map.
Let $PU_n$ the projective unitary group of rank $n$ and $BPU_n$ its classifying space. For an odd prime $p$, we extend previous results to a compete description of $H^s(BPU_n;\mathbb{Z})_{(p)}$ for $s<2p+5$ by showing that the $p$-primary subgroups of $H^s(BPU_n;\mathbb{Z})$ are trivial for $s = 2p+3$ and $s = 2p+4$.
We provide descriptions for the moduli spaces $\text{Rep}(Γ, PU(m))$, where $Γ$ is any finitely generated abelian group and $PU(m)$ is the group of $m\times m$ projective unitary matrices. As an application we show that for any connected CW-complex $X$ with $π_1(X)\cong \mathbf{Z}^n$, the natural map $π_0(\text{Rep}(π_1(X), PU(m)))\to [X, BPU(m)]$ is injective, hence providing a complete enumeration of the isomorphism classes of flat principal $PU(m)$-bundles over $X$.
A classic result states that on any locally contractible and paracompact topological space, singular cohomology and sheaf cohomology are isomorphic. A result by Ramanan claims that the paracompactness assumption may be removed, but Ramanan's proof in fact implicitly relies on the assumption of paracompactness and does not work in the stated generality. This paper gives a modified proof that, in fact, singular cohomology and sheaf cohomology agree on any locally contractible topological space.
We study the Duflot filtration on the Borel equivariant cohomology of smooth manifolds with a smooth $p$-torus action. We axiomatize the filtration and prove analog of several structural results about equivariant cohomology rings in this setting. We apply this abstract theory to study the $\mathbb{F}_p$ cohomology rings of classifying spaces of compact Lie groups, and show how to recover geometric results about the cohomology of $BG$ using equivariant cohomology. This includes some results about detection on subgroups and restrictions on associated primes that were previously only known for fi…
Let X be a finitistic space with non-trivial cohomology groups H^in(X;Z)=Z with generators v_i, where i = 0, 1, 2, 3. We say that X has cohomology type (a, b) if v_1^2 = av_2 and v_1v_2 = bv_3 . In this note, we determine the mod 2 cohomology ring of the orbit space X/G of a free action of G = Z_2 on X, where both a and b are even. In this case, we observed that there is no equivariant map S^m --> X for m > 3n, where S^m has the antipodal action. Moreover, it is shown that G can not act freely on space X which is of cohomology type (a, b) where a is odd and b is even. We also obtain the mod 2 …
We discuss proofs of local cohomology theorems for topological modular forms, based on Mahowald-Rezk duality and on Gorenstein duality, and then make the associated local cohomology spectral sequences explicit, including their differential patterns and hidden extensions.
The structure of the BP<n>-cohomology of elementary abelian p-groups is studied, obtaining a presentation expressed in terms of BP-cohomology and mod-p singular cohomology, using the Milnor derivations. The arguments are based on a result on multi-Koszul complexes which is related to Margolis's criterion for freeness of a graded module over an exterior algebra.
For finite dimensional free $C_p$-spaces, the calculation of the Bredon cohomology ring as an algebra over the cohomology of $S^0$ is used to prove the non-existence of certain $C_p$-maps. These are related to Borsuk-Ulam type theorems, and equivariant maps related to the topological Tverberg conjecture. For certain finite dimensional $C_p$-spaces which are formed out of representations, it is proved that the cohomology is a free module over the cohomology of a point. All the calculations are done for the cohomology with constant coefficients $\mathbb{Z}/p$.
This paper gives the cohomology classification of finitistic spaces X equipped with free actions of the group G = S3 and the orbit space X/G is the integral or mod 2 cohomology quaternion projective space HPn. We have proved that X is the integral or mod 2 cohomology (4n+3)-sphere or the product of 3-sphere and quaternion projective space HPn. Similar results for G = S1 actions are also discussed.
Let $Γ$ = SL 3 (Z[ 1 2 , i]), let X be any mod-2 acyclic $Γ$-CW complex on which $Γ$ acts with finite stabilizers and let Xs be the 2-singular locus of X. We calculate the mod-2 cohomology of the Borel constructon of Xs with respect to the action of $Γ$. This cohomology coincides with the mod-2 cohomology of $Γ$ in cohomological degrees bigger than 8 and the result is compatible with a conjecture of Quillen which predicts the strucure of the cohomology ring H * ($Γ$; Z/2).
We give Leray-Borel-type descriptions for the mod-$2$ and the rational equivariant cohomology rings of the real and the oriented flag manifolds under the canonical torus or 2-torus actions.
In this paper we caculate mod 2 cohomology ring of $F_{\mathbb{Z}_2^m}(\mathbb{R}^m,n)$ , which is local representation of orbit congfiguration spaces over small covers. We construct a differntial graded algebra, and there is a ring isomorphism between its mod 2 cohomology ring and $H^*(F_{\mathbb{Z}_2^m}(\mathbb{R}^m,n),\mathbb{Z}_2)$. This idea can also be applied to calculate mod 2 cohomology ring of complement space of real arrangements.
We establish a weak form of Carlson's conjecture on the depth of the mod-p cohomology ring of a p-group. In particular, Duflot's lower bound for the depth is tight if and only if the cohomology ring is not detected on a certain family of subgroups. The proofs use the structure of the cohomology ring as a comodule over the cohomology of the centre via the multiplication map. We demonstrate the existence of systems of parameters (so-called polarised systems) which are particularly well adapted to this comodule structure.
For certain manifolds with an involution the mod 2 cohomology ring of the set of fixed points is isomorphic to the cohomology ring of the manifold, up to dividing the degrees by two. Examples include complex projective spaces and Grassmannians with the standard antiholomorphic involution (with real projective spaces and Grassmannians as fixed point sets). Hausmann, Holm and Puppe have put this observation in the framework of equivariant cohomology, and come up with the concept of "conjugation spaces", where the ring homomorphisms arise naturally from the existence of what they call "cohomology…
Let F denote a field of characteristic different from two. In this paper we describe the mod 2 cohomology of a Galois group which is determined by the Witt ring WF.
It is not known whether or not the stable rational cohomology groups $\tilde H^*(Aut(F_\infty);\Q)$ always vanish. We show that either the rational cohomology does not vanish in certain dimensions, or the integral cohomology of a moduli space of pointed graphs does not stabilize in certain other dimensions. Similar results are stated for groups of outer automorphisms. This yields that $H^5(\hat Q_m; \mathbb{Z})$, $H^6(\hat Q_m; \mathbb{Z})$, and $H^5(Q_m; \mathbb{Z})$ never stabilize as $m \to \infty$, where the moduli spaces $\hat Q_m$ and $Q_m$ are the quotients of the spines $\hat X_m$ and …
In this paper we provide a computation of the mod 2 cohomology groups of the third finite subset space of the sphere $S^n$ using known results about the cohomology of the symmetric product of spheres.
The Hilbert scheme X^{[a]} of points on a complex manifold X is a compactification of the configuration space of a-element subsets of X. The integral cohomology of X^{[a]} is more subtle than the rational cohomology. In this paper, we compute the mod 2 cohomology of X^{[2]} for any complex manifold X, and the integral cohomology of X^{[2]} when X has torsion-free cohomology. The results of this paper are used in Voisin's work on the universal CH_0 group of cubic hypersurfaces, because the crucial point there is to study the 2-torsion in the Chow group.
We propose a unified framework in which the different constructions of cohomology groups for topological and Lie groups can all be treated on equal footings. In particular, we show that the cohomology of "locally continuous" cochains (respectively "locally smooth" in the case of Lie groups) fits into this framework, which provides an easily accessible cocycle model for topological and Lie group cohomology. We illustrate the use of this unified framework and the relation between the different models in various applications. This includes the construction of cohomology classes characterizing the…
We construct a modification of Vassiliev's method of calculating cohomology groups of spaces of nonsingular algebraic hypersurfaces. We use this modified method to calculate the real cohomology groups of the space of nonsingular plane quintics.
We construct and analyse models of equivariant cohomology for differentiable stacks with Lie group actions extending classical results for smooth manifolds due to Borel, Cartan and Getzler. We also derive various spectral sequences for the equivariant cohomology of a differentiable stack generalising among others Bott's spectral sequence which converges to the cohomology of the classifying space of a Lie group.
We give a characterization of groups with twisted p-periodic cohomology in terms of group actions on mod p homology spheres. An equivalent algebraic characterization of such groups is also presented.
This is a survey paper on cohomology theories for $A_\infty$ and $E_\infty$ ring spectra. Different constructions and main properties of topological André-Quillen cohomology and of topological derivations are described. We give sample calculations of these cohomology theories and outline applications to the existence of $A_\infty$ and $E_\infty$ structures on various spectra. We also explain the relationship between topological derivations, spaces of multiplicative maps and moduli spaces of multiplicative structures.
In this paper, we study the mod(p) motivic cohomology of twisted complete flag varieties over some restricted fields k. Here we take k such that the mod(p) Milnor K-theory KM_i(k)/p=0 for i>3.
