# Tagged Questions

156 views

### The cohomology groups of $\Omega U(n)$

Let $\Omega U(n)$ be the loop space of $U(n)$. Is it true that the cohomology groups $H^*(\Omega U(n); \mathbb{Z})$ are torsion-free? How can one calculate these groups?
97 views

### The action of Steenrod squares on the indeterminate in Bullett-Macdonald identities

The Bullet-Macdonald identity (c.f. On the Adem relations)is the following: $$P(s^2+st)P(t^2)=P(t^2+st)P(s^2).$$ where we have $P(s)=\Sigma _s s^iSq^i$. This is known to be equivalent to the Adem ...
897 views

### $H^4(BG,\mathbb Z)$ torsion free for $G$ a connected Lie group

Recently, prompted by considerations in conformal field theory, I was let to guess that for every compact connected Lie group $G$, the fourth cohomology group of it classifying space is torsion free. ...
135 views

### natural map from $H^3(BG,\mathbb{Z})$ to $H^3(\underline E G,\mathbb{Z})$?

is there any natural map from natural map from $H^3(BG,\mathbb{Z})$ to $H^3(\underline E G,\mathbb{Z})$? where $G$ is a discrete group, $BG$ is the classifying space, and $\underline E G$ is the ...
229 views

102 views

### consistent orientation for functorial pull-push in generalized cohomology

Given a correspondence $X_{\mathrm{in}} \stackrel{i_{\mathrm{in}}}{\leftarrow} X \stackrel{i_{\mathrm{out}}}{\to} X_{out}$ of suitable "spaces" of sorts, and given a (generalized) cohomology theory ...
223 views

### What's a good example/reference for cohomology classes on Springer fibers that aren't restricted from the flag variety

As usual, by Springer fiber, I mean the fixed points $X^u$ of a unipotent element $u$ of the group $G$ on the flag variety $X=G/B$. It's a lovely theorem that when $G=SL_n$, the induced map on ...
279 views

### On quadratic forms, Pontryagin Squares, and H^4(K(pi,2),U(1))

I am trying to get a concrete handle on the isomorphism $H^4(K(\pi_2,2),U(1)) \simeq \{$quadratic forms $\pi_2 \to U(1) \}$. This is explained in Eilenberg and Maclane's ...
228 views

### Equivariant cohomology and complex non-degenerate bilinear forms

Let $M = GL(n,\mathbb{C})$ be the set of non-degenerate bilinear forms on $\mathbb{C}^n$ (not necessarily symmetric). The general linear group $G = GL(n,\mathbb{C})$ acts on $M$ in the usual way ...
362 views

### Weights on equivariant cohomology?

Let $X$ be a quasi-projective variety over the complex numbers, equipped with an action of a linear algebraic group $G$. Is there a natural mixed Hodge structure on its equivariant cohomology? Is ...
228 views

### Reference request: construction of Steenrod operations for an odd p

Where in literature can one find a construction of Steenrod reduced powers (for an odd $p$) that (1) works for the singular cohomology of arbitrary topological spaces (or, more generally, for the ...
300 views

### “Cohomology at the infinity”: what does one call it

Suppose $X$ is a "good enough" Hausdorff topological space; we assume that $X$ is not compact. Now, for a natural number $k$ and an abelian group $G$, consider the group ...
292 views

### BRST cohomology definition

Is there written anywhere a full definition of BRST cohomology? All I have found so far is BRST cohomology in _______. As far as I can see, BRST cohomology is the ...
478 views

### Cech Cohomology of Sections of Holomorphic Bundle over Contractible Space

Is there anything that can be said in general about the Cech cohomology of the sheaf $\mathcal{F}$ of sections of a holomorphic bundle over a contractible space $X$? I know that such a bundle must ...
197 views

### cohomology of infinite product of EM spaces

Is it true that any map from an infinite product of Eilenberg-MacLane spaces in to an Eilenberg-MacLane space factor through, upto homotopy, a finite subproduct? Even if we take with field ...
138 views

### Cohomology with compact support and the nerve of a recouvrement

Let $X$ be a simplicial complexe and we assume it localy finite and finite dimensional. We suppose taht there exist a simplicial complexe $Y$ and a map assigning to each vertex $s\in Y$ a finite ...
332 views

### A formal group law over oriented bordism

My question is related to the following question by Mark Grant here on math overflow: Formal group law of unoriented cobordism There it is stated that $MO_*$ has a formal group law $F_0$, universal ...
213 views

### A question on composites of pushforward and pullback

Let a finite group $G$ acts on an orientable manifold $X$ freely. Denote $\pi:X\rightarrow Y=X/G$ be the quotient map. This covering map defines two maps between cohomology groups ...
301 views

### $\pi$-cohomology class — a variant of cohomology class

Let $X$ be a topological space with a triangulation. The triangulation defines a chain complex in $X$. Let $\mu_d$ be a cochain and $M^d$ be a chain. We use $< \mu_d, M^d > \in M$ to denote ...
Let $G$ be a compact, connected, simply-connected Lie group with centre $Z(G)$, and consider the Lie group $G/Z(G)$. I believe that for $G$ a classical group, the Lie group $G/Z(G)$ is sometimes ...