This tag is for questions relating to cohomology groups and cochain complexes.

learn more… | top users | synonyms

41
votes
1answer
2k views

What is the solution to Nash's problem presented in “A Beautiful Mind”?

I was watching the said movie the other night, and I started thinking about the equation posed by Nash in the movie. More specifically, the one he said would take some students a lifetime to solve ...
20
votes
1answer
1k views

Cohomology of projective plane

How I can compute cohomology de Rham of the projective plane $P^{2}(\mathbb{R})$ using Mayer vietoris or any other methods?
6
votes
1answer
321 views

Torsion-free virtually-Z is Z

It is well known that a torsion-free group which is virtually free must be free, by works of Serre, Stallings, Swan... Is there a simple cohomological proof of the fact that a torsion-free group ...
14
votes
3answers
924 views

How to define Homology Functor in an arbitrary Abelian Category?

In the Category of Modules over a Ring, the i-th Homology of a Chain Complex is defined as the Quotient Ker d / Im d where d as usual denotes the differentials, indexes skipped for simplicity. How ...
9
votes
4answers
520 views

What do higher cohomologies mean concretely (in various cohomology theories)?

Superficially I think I understand the definitions of several cohomologies: (1) de Rham cohomology on smooth manifolds (I understand this can be probably extended to algebraic settings, but I haven't ...
9
votes
4answers
870 views

Poincare Duality Reference

In Hatcher's "Algebraic Topology" in the Poincare Duality section he introduces the subject by doing orientable surfaces. He shows that there is a dual cell structure to each cell structure and it's ...
15
votes
1answer
503 views

Group cohomology versus deRham cohomology with twisted coefficients

Let $G$ be a simple simply-connected Lie group, let $M$ be a 3-manifold and $P \to M$ a principal $G$-bundle. Let $A$ be a flat connection in this bundle, and let $\text{Ad} P$ be the associated ...
12
votes
3answers
637 views

The “need” for cohomology theories

In many surveys or introductions, one can see sentences such as "there was a need for this type of cohomology" or "X succeeded in inventing the cohomology of...". My question is: why is there a need ...
9
votes
2answers
455 views

About the definition of Cech Cohomology

Let $X$ be a topological space with and open cover $\{U_i\}$ and let $\mathcal F$ be a sheaf of abelian groups on $X$. A $n$-cochain is a section $f_{i_0,\ldots,i_n}\in U_{i_0,\ldots,i_n}:= ...
0
votes
1answer
94 views

cohomology groups of K(Zp x Zp, 1)

I have a question regarding the cohomology groups of the Eilenberg-MacLane space $K(\mathbb{Z}_p \times \mathbb{Z}_p,1)$. For $n$ > $2$, is there a way to show that $H^n(K(\mathbb{Z}_p \times ...
62
votes
2answers
2k views

Direct proof that the wedge product preserves integral cohomology classes?

Let $H^k(M,\mathbb R)$ be the De Rham cohomology of a manifold $M$. There is a canonical map $H^k(M;\mathbb Z) \to H^k(M;\mathbb R)$ from the integral cohomology to the cohomology with coefficients ...
12
votes
2answers
640 views

Meaning of “efface” in “effaceable functor” and “injective effacement”

I'm reading Grothendieck's Tōhoku paper, and I was curious about the reasoning behind the terms "effaceable functor" and "injective effacement". I know that in English, to efface something means ...
6
votes
2answers
2k views

Tensors as matrices vs. Tensors as multi-linear maps

So I read the answers in this question, and don't feel that much closer to an answer about how tensors as multi-linear maps and tensors as "multi-dimensional" matrices are truly related. For ...
13
votes
1answer
670 views

Topological vs. Algebraic $K$-Theory

Suppose I can calculate the extraordinary cohomology encoded in topological $K$-groups of a topological space $X$ with CW structure. What information does this give me about $C^{*}$-algebras ...
9
votes
3answers
749 views

Cohomology easier to compute (algebraic examples)

There is a previous post about motivating cohomology and it contains much of differential geometry examples, something I have just started and still have to figure out. It is said that one uses ...
16
votes
1answer
451 views

The simplest nontrivial (unstable) integral cohomology operation

By an integral cohomology operation I mean a natural transformation $H^i(X, \mathbb{Z}) \times H^j(X, \mathbb{Z}) \times ... \to H^k(X, \mathbb{Z})$, where we restrict $X$ to some nice category of ...
10
votes
1answer
299 views

Finite groups with periodic cohomology

I'm trying to understand Chapter 12, Section 11 in Cartan + Eilenberg's Homological Algebra, which concerns finite groups with periodic cohomology. Unfortunately I am jumping right to this section in ...
5
votes
1answer
1k views

Picard group and cohomology

It's an easy but boring exercise (Hartshorne Ex. III.4.5 or Liu 5.2.7) that the group $Pic(X)$ of isomorphism classes of invertible sheaves on a ringed topological space (well, maybe we can restrict ...
8
votes
3answers
332 views

Turning cobordism into a cohomology theory

I've recently finished one semester in differential topology (with Milnor's Topology from the Differentiable Viewpoint) and my first semester of algebraic topology. I believe I understand Milnor's ...
7
votes
1answer
70 views

Finite generation of Tate cohomology groups

Let $G$ be a finite group, and let $F$ be a complete resolution for $G$. In other words, $F$ is an acyclic chain complex of projective $\mathbb{Z}G$-modules together with a map ...
7
votes
2answers
209 views

What is the motivation for defining both homogeneous and inhomogeneous cochains?

In my few months of studying group cohomology, I've seen two "standard" complexes that are introduced: We let $X_r$ be the free $\mathbb{Z}[G]$-module on $G^r$ (so, it has as a $\mathbb{Z}[G]$-basis ...
6
votes
1answer
148 views

Cup Product Structure on the Projective Space

I am reading about cup products and am stuck on this exercise in Hatcher (3.2.5). Taking as given that $H^*(\mathbb{R}P^\infty,\mathbb{Z}_2)\simeq\mathbb{Z}_2[\alpha]$, how does one show ...
4
votes
1answer
81 views

Duality in algebraic de Rham cohomology

I am trying to prove that the following is a short exact sequence $$ 0 \rightarrow H^0(X,\Omega_X) \rightarrow H^1_{\text {dR}}(X/k) \rightarrow H^1(X,\mathcal O_X) \rightarrow 0, $$ where $k$ is an ...
7
votes
2answers
274 views

Manifold with 3 nondegenerate critical points

Suppose $M$ is a n-dimensional (compact) manifold and $f$ is a differentiable function with exactly three (non-degenerate) critical points. Then one can show, using Morse theory, that $M$ is ...
6
votes
1answer
62 views

Cohomological Whitehead theorem

Let $X$ and $Y$ be CW complexes (resp. Kan complexes) and let $f : X \to Y$ be a continuous map (resp. morphism of simplicial sets). The following seems to be a folklore result: Theorem. The ...
4
votes
1answer
84 views

When does cohomology take pullbacks to pushouts?

I've encountered a simple situation where one has a pullback diagram of topological spaces and taking cohomology takes it into what I believe is a pushout diagram in the category of rings. I'm not ...
3
votes
2answers
205 views

What restricts the number of cohomologies?

Do different cohomology theories essentially just exist because there are distinguished homology theories associated with them? If yes, is it known if there is always a relation like the Poincaré ...
6
votes
2answers
280 views

No torsion in $H^1_c(X,\mathbf{Z})$?

If $X$ is a very nice topological space, for example a finite simplicial complex, then is it true that the cohomology with compact supports $H^1_c(X,\mathbf{Z})$ is torsion-free? I have seen an ...
4
votes
1answer
57 views

Show that image of $res$ lies in $H^n(H,A)^{G/H}$

Let $G$ and $G^{\prime}$ be groups, $A$ and $A^{\prime}$ be $G$-module and $G^{\prime}$-module respectively, $C^n(G,A)$ be set of all maps from $G \times \cdots \times G$ ($n$ times) to $A$, $d_n ...
4
votes
1answer
204 views

Request for companion of Mariano Suárez-Alvarez's proof.

Mariano Suárez-Alvarez's answer to Cohomology of projective plane seems very interesting. However, there are three pieces I could not stitch up for one of his proofs. Wonder if someone may help? ...
4
votes
2answers
185 views

Can a Non-Compact Manifold have Infinite Dimensional Cohomology?

For compact manifolds, Hodge Theory tells us that (de Rham) cohomology is finite dimensional. What about non-compact manifolds? That is: Can non-compact manifolds have infinite dimensional ...
3
votes
1answer
219 views

Understanding cohomology with compact support

I am trying to understand the definition of (singular) cohomology with compact supports. My understanding of singular cohomology goes like this. Let $X$ be a topological space. Define the singular ...
2
votes
1answer
194 views

First proof of Poincaré Lemma

I know that a way of proving Poincare lemma is to use the homotopy invariance and contractibility of the Euclidean space. Is there is a way of doing it directly (without using the contractibility of ...
2
votes
2answers
154 views

(weak) homotopy equivalence

I have a question arising from chapter 3, page 41, in Switzer. He says "Note that every homotopy equivalence (in $\mathscr{T}$ [this is the category of topological spaces]) is a weak homotopy ...
2
votes
1answer
373 views

computing cohomology algebra of connected sum of two real projective spaces

Could someone tell me what is the cohomology algebra $H^*(\mathbb{R}P^n \# \mathbb{R}P^n; \mathbb{Z}_2)$ and how to compute it. Here $\#$ is the connected sum. Thanks.
0
votes
1answer
135 views

How to compute $H^1(\Sigma_g-\{p\})$ using Mayer-Vietoris?

How can I find, using Mayer-Vietoris, $H^1(\Sigma_g-\{p\})$, where $\Sigma_g$ is a genus $g$ surface?
0
votes
1answer
322 views

Rank of a cohomology group, Betti numbers.

How is the rank of a cohomology group computed and what does it convey? I am trying to understand the concept behind betti numbers in a simplicial homology. Edited with details: Given a set of ...