# Tagged Questions

**4**

votes

**1**answer

215 views

### Non-vanishing of elements in cohomology of full Flag varieties

Consider the full flag variety $F_n$ consisting of full flags in $\mathbb C^n$. There is a collection of tautological bundles on $F_n$:
$0=U_0\subset U_1\subset ...\subset U_{n-1}\subset U_n=\mathbb ...

**0**

votes

**0**answers

83 views

### extension problem for the Atiyah-Hirzebruch spectral sequence

For a generalized homology theory $h$ and a Serre fibration $F\rightarrow E\rightarrow B$, we can define an Atiyah-Hirzebruch spectral sequence\begin{equation}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow ...

**4**

votes

**2**answers

229 views

### stability results for the Atiyah-Hirzebruch spectral sequence

For a generalized homology theory $h$ and a Serre fibration $F\rightarrow E\rightarrow B$, we can define an Atiyah-Hirzebruch spectral sequence\begin{equation}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow ...

**6**

votes

**0**answers

92 views

### When is the projection of an induced fibration trivial on cohomology?

Let $p: E\to B$ be a fibration, and let $f: A\to B$ be a continuous map. In my applications, $E$ and $B$ are finite complexes, but $A$ need not be. Form the pullback
$$
\begin{array}{ccc} W & \to ...

**4**

votes

**0**answers

165 views

### Which ring spectra have some kind of exponential map turning addition into multiplication?

This accepted answer to the question about $BU_\otimes$ made me recall that I want to read about this general phenomenon for a long time.
What will follow is sort of vernacular but whether it can be ...

**5**

votes

**0**answers

79 views

### A cdga for compactly supported cohomology (à la Sullivan's algebra of polynomial forms)

Let $M$ be a smooth manifold, and let $\Omega^\bullet(M)$ be the commutative dg-algebra of differential forms on $M$. It is quasi-isomorphic to the dg-algebra of singular cochains on $M$. If $M$ is no ...

**1**

vote

**0**answers

219 views

### Functors with Mayer-Vietoris Sequences

Let $F$ be a contravariant functor from some category of spaces (e.g. smooth manifolds or (compact?) topological Hausdorff spaces), to Abelian groups. Assume that for any open sets $U, V \subseteq X$ ...

**1**

vote

**0**answers

99 views

### (Co)homology of classifying space of spin group $BSpin(n)$

In the answer for question: Homology of classifying space of spin group BSpin(n),
it was shown that $H_i(BSpin(\infty),Z)$ is $0,0,0,Z$, for $i=1,2,3,4$.
What is $H_i(BSpin(\infty),Z)$ or ...

**4**

votes

**1**answer

411 views

### When does a cohomology class induce an isomorphism between homotopy groups?

A representative $\alpha$ of a cohomology class $[\alpha]\in H^n(X;\pi_n(X))$ is equivalent to a map from $X$ into an Eilenberg-Mac Lane space as $\alpha:X\to K(\pi_n(X),n)$. After applying a ...

**10**

votes

**0**answers

170 views

### “topological” Ochanine genus?

The Witten genus has famously been lifted to the string orientation of tmf ("topological Witten genus"). For the Ochanine genus I am aware of a lift to a "spin orientation of Tate K-theory", namely to ...

**3**

votes

**1**answer

243 views

### Compactly supported cohomology of homotopy equivalent manifolds

Are there examples of homotopy equivalent smooth, orientable manifolds $M$ and $N$ of the same dimension with non-isomorphic compactly supported cohomology rings?

**5**

votes

**0**answers

264 views

### Are there any cool applications of the generalized Atiyah-Hirzebruch(-Serre) spectral sequence?

Both the Atiyah-Hirzebruch and the Serre spectral sequence can be constructed from a skeletal filtration of a CW-complex:
We can construct the Atiyah-Hirzebruch spectral sequence by filtering $X$ by ...

**7**

votes

**1**answer

204 views

### worked out examples in borel-moore homology

I'm trying to learn about BM homology. I've found a few references and they are all quite abstract and high-powered. I am actually familiar with derived categories and sheaves so I don't mind thinking ...

**11**

votes

**2**answers

439 views

### Postnikov's algebraic reconstruction of cohomology from homotopy invariants

In his short paper (1951) and longer monograph (1955), Postnikov introduced what I believe are now called Postnikov systems or towers. It is my understanding that Postnikov systems have since then ...

**4**

votes

**1**answer

153 views

### The Borel construction of equivariant cobordism

In $K$ theory, the Borel construction of equivariant cohomology is somehow not the right one. The $G$-equivaraint $K$ theory of a point should be the representation ring of $G$, but $K(BG)$ is this ...

**9**

votes

**0**answers

250 views

### Cohomology and impossible ﬁgures

In connection with the MO question Occurrences of (co)homology in other disciplines and/or nature I recalled Roger Penrose's “On the cohomology of impossible ﬁgures": ...

**1**

vote

**1**answer

114 views

### A formula for isotropy group $\pi_1(G_a)$

Let $G$ be a compact Lie group and $T$ be its maximal tours, and $a\in \mathfrak{g}^*$. and $G_a$ be the isotropy group of $G$ then $T\subset G_a$ and we know that $\pi_1(T)=\mathbb{Z}^n$. My ...

**5**

votes

**2**answers

234 views

### computing second cohomology $H^2(O_a,\mathbb{Z})\cong \mathbb{Z}^n$ of a generic coadjoint orbit

Let $G$ be a compact , connected and simply connected Lie group and $a\in\mathfrak{g}^*$ (dual of Lie algebra of Lie group $G$). Then let $O_a$ be a generic coadjoint orbit then can we say ...

**3**

votes

**1**answer

175 views

### Cohomologically minimal spaces

Let $X$ be a compact connected Hausdorff topological space.
We say $X$ is a cohomologicaly minimal space, briefly CM space, if $X$ satisfies the following property:
"For every proper subset ...

**-1**

votes

**1**answer

153 views

### A closed manifold with a subset with the same ring cohomology

Is there an example of a closed manifold $M$ with a proper subset $A\subset M$ such the inclusion $i:A \to M$ gives a ring isomorphism $i^{*}$ between $\mathbb{Z}$-cohomologies?
In this question ...

**2**

votes

**0**answers

89 views

### The transfer map $H_*(BSO(3))\rightarrow H_*(BO(2))$: reference request

All cohomology and homology will be $Z/2$ coefficient. The restriction map
$H^*(BSO(3))\rightarrow H^*(BO(2))$ is well-known to be the inclusion of
the Dickson invariant $Z/2[w_2,w_3]$ into the ...

**0**

votes

**0**answers

141 views

### Metalinear frame bundle on sphere or $\mathbb{C}P^n$

Let $M$ be a smooth manifold. A complex metalinear frame bundle $\tilde F(P)\to M$ of a rank $n$ complex vector bundle $P\to M$ is a principal $ML(n,\mathbb{C})$-bundle together with a covering map ...

**24**

votes

**2**answers

1k views

### Why should I care about topological modular forms?

There seems to be a lot of recent activity concerning topological modular forms (TMF), which I gather is an extraordinary cohomology theory constructed from the classical theory of modular forms on ...

**16**

votes

**1**answer

643 views

### For which varieties is the natural map from the Chow ring to integral cohomology an isomorphism?

My apologies if this question is too naive.
Let $X$ be a smooth projective complex variety. There is a natural map $A^{\bullet}(X) \to H^{2\bullet}(X)$ of graded rings from the Chow ring of $X$ to ...

**3**

votes

**0**answers

79 views

### Additive basis for the cohomology of real flag manifolds

By Borel's description the mod 2 cohomology algebra of the flag manifold is the polynomial algebra on the Stiefel-Whitney classes of canonical vector bundles modulo ideal generated by the dual ...

**4**

votes

**0**answers

215 views

### extension of cohomology theories

In Rudyak's book it is proved (3.22 page 160) that every additive cohomology theory (in the sense of Eilenberg-Steenrod) defined on the category of finite dimensional pointed CW complexes can be ...

**0**

votes

**1**answer

418 views

### Exact sequences of the cohomology induced by fiber bundle

I'm reading section 2.1 of Lawson's book, Spin Geometry. The book states the following fact. Let $X$ be a manifold and $E$ a vector bundle over it. Equip $E$ with a Riemannian structure. Let $P_O$ be ...

**0**

votes

**0**answers

69 views

### Hit problem and $\left( \mathbb{F}_2 \otimes_{A} P_6 \right)_{10}$

I try to determine the $\left(\mathbb{F}_2 \otimes_{A} P_6 \right)_{10}$ as a $\mathbb{F}_2$- vector space, in which $P_6$ is polynomial algebra $\mathbb{F}_2[x_1,x_2,\dots,x_6]$ and $A$ is Steenrod ...

**0**

votes

**1**answer

326 views

### A generalization of cochain complex: quasi-cochain complex

It appears that we can generalize cochain complex to quasi-cochain complex, that still allow us to define cohomology.
Definition:
A quasi-cochain complex is a sequence of commutative monoids $M_n$ ...

**3**

votes

**1**answer

591 views

### Pontryagin square on $Y\times S^1$ where $Y$ is three-dimensional

Let $Y$ be an oriented manifold of dimension three, and let $X=Y\times S^1$. We have
$$H^2(X,\mathbb{Z}_2)=H^2(Y,\mathbb{Z}_2)\oplus H^1(Y,\mathbb{Z}_2).$$
Pick an element $m\oplus n\in ...

**3**

votes

**0**answers

101 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 ...

**7**

votes

**1**answer

218 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 ...

**7**

votes

**1**answer

271 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 ...

**3**

votes

**2**answers

226 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
...

**6**

votes

**2**answers

356 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 ...

**3**

votes

**1**answer

217 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 ...

**8**

votes

**1**answer

299 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 ...

**7**

votes

**1**answer

284 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 ...

**1**

vote

**0**answers

474 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 ...

**1**

vote

**1**answer

193 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 ...

**1**

vote

**0**answers

137 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 ...

**7**

votes

**1**answer

324 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 ...

**0**

votes

**2**answers

212 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 ...

**1**

vote

**1**answer

297 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 ...

**10**

votes

**1**answer

422 views

### Results from Differential Cohomology

I've been working through some notes on differential cohomology for the past few months. I feel like I have a pretty decent grasp on the concepts and its construction, at least for differential ...

**3**

votes

**1**answer

206 views

### Cohomology of Projective Classical Lie Groups

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 ...

**3**

votes

**0**answers

150 views

### In the cohomology of Thom spectrum over LoopS^{2} and p-adic characteristic classes

Let $T$ denote the thom spectrum over $\Omega S^{2}$ defined by the map
$1+3: \Omega S^{2} \to BG_{3}$
where $1 +3$ is a unit in $3$-adics.
Here $G_{3}$ is the unit component of ...

**0**

votes

**0**answers

257 views

### Cohomology of Grassmannian and equivariant cohomology

Let $G=U(n)$ and $EU(n)=V_{n}(\mathbb{C}^{\infty})$ the infinit Stiefel manifold. So i think that $BU(n)$ is the infinite Grassmannian $G_r(\mathbb{C}^{\infty})$. We have $H_{BU(n)}(pt)= ...

**4**

votes

**2**answers

147 views

### Borel localization with Mayer-Vietoris sequence

We have this theorem:
Let $U$, $V$ two open sets of manifold $M$, ($U \cup V = M$). If they are $G$ -stable the induced sequence in cohomology
$$ \cdots \to H^k_G (U \cup V) \to H^k_{G}(U)\oplus ...

**6**

votes

**0**answers

208 views

### Real schubert calculus

Studying real enumerative questions I noticed, that the even-even Schubert varieties of the real Grassmannian $Gr:=Gr_{2k}(2n,\mathbb R)$ behave analogously to the complex case.
I call a partition ...