# Questions tagged [cohomology]

A branch of algebraic topology concerning the study of cocycles and coboundaries. It is in some sense a dual theory to homology theory. This tag can be further specialized by using it in conjunction with the tags group-cohomology, etale-cohomology, sheaf-cohomology, galois-cohomology, lie-algebra-cohomology, motivic-cohomology, equivariant-cohomology, ...

1,031 questions
Filter by
Sorted by
Tagged with
114 views

### Alexander duality for Homology sphere which is the Geometric realization of a finite simplicial complex

The Alexander duality Theorem is usually stated for a triangulable pair $(\mathbb S^n, Y)$ where $Y$ is a subset of the standard sphere $\mathbb S^n$. My question is: Does the duality also hold if we ...
112 views

### Steenrod operations from the delooping viewpoint

Let $F$ be a finite field, $Sq^i$ be the $i$-th Steenrod operation $$H^*(-;F) \to H^{*+i}(-;F).$$ By Yoneda lemma, such operation is a map $\phi_i: B^{*}F \to B^{*+i} F$, where $B$ denotes the ...
178 views

### Why the scissor relations in Grothendieck rings?

Let $k$ be a field, and let $K_0(V_k)$ be the Grothendieck ring of $k$-varieties. One type of relation which defines $K_0(V_k)$ is the following: if $A$ is a $k$-variety and $C$ a closed subset of $A$,...
156 views

### Cohomology and higher structures

Classically, cohomologies of Lie groups/algebras parametrize extensions. To be precise, given an linear $G$-action on $M$, there is an bijection between $H^2(G;M)$ and the set of extension $E$ of $G$ ...
194 views

### Ideals generated by regular sequences

In Vasconcelos' paper (Ideals generated by R-sequences), he proved If $R$ is a local ring, $I$ an ideal of finite projective dimension, and $I/I^2$ is a free $R/I$ module, then $I$ can be ...
90 views

115 views

141 views

### Integral cohomology of compact Lie groups and their classifying spaces

Let $G$ be a compact Lie group and let $BG$ be its classifying space. Let $\gamma\colon \Sigma G \to BG$ be the adjoint map for a natural weak equivalence $G \xrightarrow{\sim} \Omega BG$. Taking ...
189 views

164 views

### Pushforward in Compactly Supported Cohomology

Suppose $X,Y$ are locally compact Hausdorff spaces and $f:X\to Y$ is a topological submersion of relative dimension $n$. By this we mean that for all points $x\in X$, there exists an open neighborhood ...
91 views

### 3rd Cohomology of a fibration with Flag varieties as fibers

Let $X$ be a smooth projective rational variety over $\mathbb{C}$, let $Y$ be another smooth projective variety, both of dimension bigger than 2, and let $\pi : Y \rightarrow X$ be a locally trivial ...
95 views

### cohomology of curves

Let $X$ be a smooth projective complex curve. Consider the diagonal $\Delta$ in $X \times X$, and $\mathcal{O}(\Delta)$ the associated line bundle. If $j$ is the inclusion of $\Delta$ in $X \times X$ ...
187 views

### An action of the symmetric group $S_n$ on group cohomology $H^n(G, A)$ of abelian groups

Let $H$, $A$ be discrete abelian groups, and for simplicity suppose $A$ is given the trivial $H$-action. When considering the second cohomology group $H^2(H,A)$, it is natural to talk about the ...
82 views

### Computation of mod p homology of $MSU$

I am trying to proof Novikov theorem \begin{equation} MSU_*\otimes \mathbb Z[\frac 1 2] \cong \mathbb Z[\frac 1 2][y_2, y_4, \ldots],\quad \deg y_i = 2i. \end{equation} This can be proved by using ...
578 views

### Unifying “cohomology groups classify extensions” theorems

It is common for the first or second degree of various cohomologies to classify extensions of various sorts. Here are some examples of what I mean: 1) Derived functor of hom, $\text{Ext}^1_R(M, N)$. ...
134 views

### A question about Johnson's theorem on the first and second cohomology of commutative amenable algebras

Johnson in cohomology of Banach algebra proved the following proposition. I need to some guidance for the bold part of the following proof. Do you know any papers or book with more details for this ...
317 views

### $d^3$ in the Atiyah-Hirzebruch spectral sequence for (twisted) $KO$

Cross posted from here after no responses and a bounty being placed on the question. Let $h^n(-)$ be a generalised cohomology theory. For a space $X$ there is a spectral sequence known as the Atiyah-...
Suppose $X$ is a topological space and I want to talk about its “homology”. There is this notion of singular homology obtained from singular chain complex. This is not very easy to compute. Suppose ...