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

learn more… | top users | synonyms

31
votes
4answers
2k views

Integral cohomology (stable) operations

There have been a couple questions on MO, and elsewhere, that have made me curious about integral or rational cohomology operations. I feel pretty familiar with the classical Steenrod algebra and its ...
35
votes
10answers
10k views

What is (co)homology, and how does a beginner gain intuition about it?

This question comes along with a lot of associated sub-questions, most of which would probably be answered by a sufficiently good introductory text. So a perfectly acceptable answer to this question ...
67
votes
2answers
15k views

Why is the Hodge Conjecture so important?

The Hodge Conjecture states that every Hodge class of a non singular projective variety over $\mathbf{C}$ is a rational linear combination of cohomology classes of algebraic cycles: Even though I'm ...
45
votes
2answers
4k views

Cohomology and fundamental classes

Let X be a real orientable compact differentiable manifold. Is the (co)homology of X generated by the fundamental classes of oriented subvarieties? And if not, what is known about the subgroup ...
11
votes
6answers
3k views

Cohomology of fibrations over the circle

Are there any general results on the (integral) cohomology of manifolds that are fibrations over the circle? Any literature references much appreciated.
9
votes
4answers
1k views

Cohomology groups of homogeneous spaces

Is there a general method to calculate the cohomology groups of homogeneous spaces ($G/H$), such as $\frac{U(4)}{U(2)\times U(2)}$, $\frac{U(5)}{U(2)\times U(3)}$, $U(4)/U(2)$, etc. If yes, could you ...
18
votes
1answer
1k 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 ...
1
vote
1answer
214 views

permutation action on cohomology of Stiefel manifolds

Let $V_k(\mathbb{R}^n)$ be Stiefel manifolds. In the paper The cohomology rings of real Stiefel manifolds with integer coefficients, Martin Čadek, Mamoru Mimura, and Jiří Vanžura, J. Math. Kyoto ...
-1
votes
1answer
177 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 ...
62
votes
5answers
8k views

What is sheaf cohomology intuitively?

What is sheaf cohomology intuitively? For local systems it is ordinary cohomology with twisted coefficients. But what if the sheaf in question is far from being constant? Can one still understand ...
47
votes
11answers
6k views

Why torsion is important in (co)homology ?

I've once been told that "torsion in homology and cohomology is regarded by topologists as a very deep and important phenomenon". I presume an analogous statement could be said in the context of ...
31
votes
10answers
5k views

de Rham cohomology and flat vector bundles

I was wondering whether there is some notion of "vector bundle de Rham cohomology". To be more precise: the k-th de Rham cohomology group of a manifold $H_{dR}^{k}(M)$ is defined as the set of closed ...
34
votes
2answers
3k 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 ...
15
votes
2answers
2k views

BRST cohomology

I am reading some work on Mirror Symmetry from Physics perspective,the physicists seem to use some aspects of BRST quantization and BRST cohomology. What is BRST Quantization and BRST cohomology, in ...
46
votes
7answers
3k views

Can anyone give me a good example of two interestingly different ordinary cohomology theories?

An answer to the following question would clarify my understanding of what a cohomology theory is. I know it's something that satisfies the Eilenberg-Steenrod axioms, and I know that those axioms ...
22
votes
4answers
3k views

de Rham vs Dolbeault Cohomology

For a complex manifold $M$, one can consider (A) its de Rham cohomology, or (B) its Dolbeault cohomology. I'm looking for some motivation as to why one would bother introducing Dolbeault cohomology. ...
20
votes
0answers
668 views

Calabi-Yau cohomology?

My question here is going to be this -- but I'll give a bit of background to explain myself in a moment: What has been done/what results are available on Calabi-Yau cohomology in degree $n \geq 3$ ...
18
votes
1answer
1k views

De Rham cohomology of formal groups

Let $G$ be some (dimension $1$, to simplify) formal group over a characteristic $0$ field $K$. The law of $G$ is denoted by $\oplus$. If $w(X) \in K[[X]] dX$ is a differential form, let $F_w(X)$ be ...
10
votes
1answer
494 views

Fomin-Kirillov algebras and Schubert calculus

In Fomin, Sergey; Kirillov, Anatol N. Quadratic algebras, Dunkl elements, and Schubert calculus. Advances in geometry, 147--182, Progr. Math., 172, Birkhäuser Boston, Boston, MA, 1999. MR1667680 ...
7
votes
1answer
663 views

Equivalence between statements of Hodge conjecture

Dear everyone, I was unable to obtain the equivalence between the two statements of the Hodge conjecture. I searched for some previous questions that others asked here, to check whether someone has ...
7
votes
3answers
397 views

Are generalized cohomology theories a set of complete homotopy invariants for spaces ?

In the same vein of this MO question, one can ask: If two spaces $X$, $Y$ have isomorphic generalized cohomology rings $\mathrm{h}^{\bullet}(X)\cong \mathrm{h}^{\bullet}(Y)$ for every ...
25
votes
1answer
784 views

Making $\mathbb{Q}$-cohomology integral

Let $X$ be an algebraic variety (say, smooth and projective) over $\mathbb{C}$, and fix $$\alpha\in H^i(X^{\text{an}}, \mathbb{Q})$$ with $i>0$. Does there always exist a variety $Y$ and a ...
15
votes
2answers
951 views

Are the homology and cohomology Serre spectral sequences dual to each other?

If we use homology and cohomology over a field $k$, if a space has homology and cohomology groups of finite type in each degree, then $H_\ast(X;k)$ is dual to $H^\ast(X;k)$ using the universal ...
12
votes
3answers
2k views

cohomology and Eilenberg-MacLane spaces

This question is related to this question from Dinakar, which I found interesting but don't yet have the background to understand at that level. Unless I'm mistaken, the rough statement is that ...
9
votes
2answers
537 views

“Skew Cohomology” of a Space

Let $X$ be a space. The symmetric group $\Sigma_{n+1}$ acts on the function space $$ X^{\Delta^n} $$ of continuous maps from the standard $n$-simplex to $X$. The action is induced by permuting the ...
7
votes
3answers
616 views

Relation between cohomology of ordered and unordered configuration spaces?

For any manifold $M$, the unordered configuration space of $k$ points is obtained as a quotient of ordered configuration space of $k$ points by the group action of symmetric group on $k$ letters. Does ...
5
votes
3answers
1k views

Brauer group of projective space

I've read that $\text{Br} \mathbb{P}^n_k$ (here $\text{Br}$ is the cohomological Brauer group, i.e. $H^2_{ét}(-,\mathbb{G}_m)$) is just isomorphic to $\text{Br} k$. As proof of this fact seems to be ...
4
votes
1answer
404 views

Cohomology Ring of the Flag Manifolds, Cartan Subalgebras, and Weyl Groups

I've recently read the following line in an interesting paper: It is well-known that the cohomology ring of a flag variety $G/B$ is isomorphic to the quotient ring of the ring of polynomial ...
11
votes
3answers
1k views

Is there a good definition of (topological) K-Theory over arbitrary spaces?

Hi (this is my very first question here, so please don't hurt me...) for some time now i've been looking for a sufficiently aesthetical definition of (topological) K-theory of arbitrary spaces, yet ...
10
votes
1answer
489 views

positions of a methane molecule with carbon atom at the origin

Let $\text{CH}_4$ be the molecule of Methane: The four hydrogen atoms form vertices of a regular tetrahedron with the carbon atom in the center of the regular tetrahedron. Here we regard all atoms ...
9
votes
4answers
692 views

$Sq^1$ cohomology of spaces

For any space $X$, the first Steenrod square cohomology operation $$Sq^1\colon H^\ast(X;\mathbb{Z}_2)\to H^{\ast +1}(X;\mathbb{Z}_2)$$ is a derivation, meaning that $Sq^1\circ Sq^1 = 0$ and ...
7
votes
1answer
451 views

Intuitive Aproach to Dolbeault Cohomology [closed]

(Duplicated from math.stackexchange) I would like to understand an intuitive approach to the definitions of Dolbeault Cohomology (using $\partial$ and $\bar{\partial}$) similar to the one given here. ...
7
votes
2answers
1k views

Is every homology theory given by a spectrum?

Let $E$ be a spectrum. For any CW complex $X$, define $h_*=\pi_i(E\wedge X)$. Then we know that $h_*$ form a homology theory. In other words, there functors satisfy the homotopy invariance, maps a ...
7
votes
3answers
377 views

Group Extensions and Line Bundles on $BG$

I am sure the answer to this question is well-known, but It is well known that the group cohomology $H^2(G,\mathbb Z)$ classifies group extensions $0\to \mathbb Z\to E\to G\to 1$ and that for a ...
4
votes
2answers
1k views

Why is the derived tensor product only defined for bounded above derived categories?

In "Residues and Duality" by Hartshorne, the derived tensor $\otimes$ only defined for the bounded above categories (see Chapter I, section 4), that is one has $$\otimes: D^{-}(X) \times D^{-}(X) \to ...
3
votes
0answers
1k views

group cohomology and cohomology of classifying space [closed]

Let $G$ be a discrete group, and $BG$ is the classifying space. It is well-known that the group cohomology of $G$-module M, is the same as the cohomology on $BG$ with coefficient in $\tilde{M}$, which ...
5
votes
2answers
308 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 ...
5
votes
1answer
847 views

Natural morphism appearing in Grothendieck spectral sequence

Assume we are in the setting of the Grothendieck spectral sequence (Weibel, 5.8): $G : A \to B, F : B \to C$ are left exact functors such that $G$ sends injective objects to $F$-acyclic objects. Now ...
4
votes
1answer
809 views

The Gysin long exact sequence for the complement of the zero section of a line bundle over a (possibly) singular base

Let $pr:X\to Z$ be a line bundle of (possibly) singular varieties (that could be reducible) over a characteristic $p$ field ($p$ could be zero); $U$ is the complement to the zero section $Z\to X$. ...
3
votes
1answer
465 views

Cohomology groups of quotient by finite group

I know there are already lots of questions about (co)homology groups of a quotient manifold, but please let me ask one more question. Let $G$ be a finite group acting on a manifold $M$ without fixed ...
2
votes
1answer
369 views

vanishing theorems

I would be glad to know about possible generalizations of the following results: 1) (Grothendieck) Let $X$ be a noetherian topological space of dimension $n$. Then for all $i>n$ and all sheaves of ...
8
votes
1answer
455 views

Is it always possible to compute the Betti numbers of a nice space with a well-chosen Lefschetz zeta function?

Let $X$ be a smooth projective variety. If I've understood correctly, the Weil conjectures imply that it is possible to compute the Betti numbers of $X(\mathbb{C})$ by computing the local zeta ...
7
votes
1answer
441 views

Do modular forms show up in the cohomology of moduli spaces of unmarked curves?

Let $\overline{\mathcal M}_{g,n}$ be the compactified Deligne-Mumford moduli stack (although I don't think taking the coarse moduli space will make much of a difference here). If we decompose $g = 1 + ...
6
votes
2answers
190 views

An example of two cofibrant dg categories whose tensor product is not cofibrant

I have been reading the paper by Toën "The homotopy theory of dg categories and derived Morita theory" where in chapter 4 it is stated that the tensor product of two cofibrant dg categories $C$ and ...
3
votes
0answers
157 views

Cohomology algebra generated by $n$ Steifel whitney classes and and $k$ dual classes subject only to $n+k$ defining relations? [closed]

Is the cohomology algebra $H^*(G_n(\mathbb{R}^{n+k}))$ over $\mathbb{Z}/2$ generated by the Steifel-Whitney classes $w_1, \dots, w_n$ of $\gamma^n$ and the dual classes $\overline{w}_1, \dots, ...
3
votes
0answers
191 views

Brauer group of a rational variety

This is a follow-up question to this question. There and here $X$ is a normal projective rational surface over $\mathbb{C}$ with finitely generated divisor class group $\text{Cl}(X)$. My question is: ...
2
votes
1answer
120 views

cohomology algebra of submanifold in euclidean space

If we write a manifold or CW-complex $X$ as a subset of $\mathbb{R}^n$, in expression of coordinates, for example, \begin{multline} F(S^2,k+1)=\{(x_1,x_2,x_3,\cdots, ...
1
vote
2answers
565 views

integral or rational cohomology of real grassmannians

I have obtained that the cohomology rings $$ H^*(G_k(\mathbb{R}^\infty);\mathbb{Z}_2)=\mathbb{Z}_2[w_1,\cdots,w_k]. $$ Also $$ H^*(G_k(\mathbb{R}^m);\mathbb{Z}_2)=\mathbb{Z}_2[w_1,\cdots,w_k]/(\bar ...
1
vote
1answer
316 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 ...
8
votes
2answers
475 views

Interpretation of the monomorphism $H^2(\pi_1(X),\mathbb{Z}) \rightarrow H^2(X,\mathbb{Z})$

Let $X$ be a nice topological space and denote by $\pi_1(X)$ its fundamental group. It is well-known that there is a well-defined map $$ 0 \rightarrow H^2(\pi_1(X),A) \rightarrow H^2(X,A),$$ where ...