# Tagged Questions

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

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 ...
307 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 ...
890 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 ...
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?
496 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 ...
828 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 ...
489 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 ...
415 views

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 ...
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 ...
654 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 ...
613 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 ...
698 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 ...
434 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 ...
285 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 ...
985 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 ...
551 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 ...
317 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 ...
62 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 ...
202 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 ...
104 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 ...
69 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 ...
271 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 ...
77 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 ...
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Ă© ...
273 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 ...