# Tag Info

Accepted

### Why is (co)homology useful and in which way?

This question is extremely broad, and a lot of ink has been spilled on the subject of "why is cohomology useful" (see, for example, here, here, here, here, here, here, here, or here, all ...
• 38.5k

### What is the solution to Nash's problem presented in "A Beautiful Mind"?

The problem is to find a subset $X$ of $\mathbb{R}^3$ such that if $V$ is the vector space of vector fields $F$ on $\mathbb{R}^3$\ $X$ with $\nabla\times F = 0$ and $W$ is the vector space of vector ...
• 26.2k
Accepted

### Vanishing differential forms in cohomology

No, this is not always possible. One can use differential forms to define higher order cohomology operations called Massey products and if they don't vanish, then you have an obstruction for the ...
• 65.9k

### Meaning of "holes" counted by homology groups

The "dimension" of a hole is the dimension of the part that actually exists. For a sphere, then, we have a $2$-dimensional boundary, which is missing a $3$-dimensional ball inside it. We ...
• 38.5k

### So what is Cohomology?

Some very basic answers, with the aim of giving you an idea of the big picture: On the most basic level, you can think of cohomology as a fancy way of counting/classifying holes in an underlying space ...
• 227k
Accepted

### The First Homology Group is the Abelianization of the Fundamental Group.

I do not understand a lot of the last paragraph either, but I will give a slightly different proof of the statement based on Bredon, Topology and Geometry, p. 174. For every point $x\in X$, fix a ...
Accepted

### Finding a mistake using Mayer-Vietoris

By your argument at the beginning, removing four points from a two-sphere should yield something which is homotopy equivalent to a zero-sphere. This is obviously not true. Your error is that after ...
• 8,755
Accepted

### What is the difference between cellular, simplicial and singular homology and their simplices?

Let's zoom out a bit. A definition of homology has to navigate a tradeoff between several different nice properties it could satisfy, most notably a tradeoff between how easy it is to compute in ...
• 424k
Accepted

### Local Degree of a map between n-spheres

To make sense of a proof of this nature, it isn't enough to know that there exists a map from $H_d(V, V \backslash \{ y \})$ to $H_d(S^d, S^d \backslash \{ y \})$, and that there exists an isomorphism ...
• 32.3k

### Is there a homology theory that counts connected components of a space?

There is no homology theory which satisfies the following conditions: $H_0(X)$ is the free abelian group generated by the connected components of $X$. The homomorphism $f_*:H_0(X)\to H_0(Y)$ induced ...
• 311
Accepted

### Does trivial cohomology imply trivial homology? Does $\operatorname{Hom}(A,\mathbb Z) = \operatorname{Ext}^1(A, \mathbb Z) = 0$ imply $A = 0$?

No such groups exist. Suppose $\operatorname{Ext}(A,\mathbb{Z})=\operatorname{Hom}(A,\mathbb{Z})=0$. First, note that the functor $\operatorname{Ext}(-,\mathbb{Z})$ turns injections into surjections ...
• 333k
Accepted

• 21k
Accepted

### induced homomorphism in homology

In terms of the logical process of inducing maps, you can think in the following way: A continuous map $f : X\rightarrow Y$ induces chain maps $f_\# : C_k(X) \rightarrow C_k(Y)$ (for each $k$) which ...
• 2,406
Accepted

### Direct proof that the wedge product preserves integral cohomology classes?

$\def\ZZ{\mathbb{Z}}\def\RR{\mathbb{R}}$I'm not sure if this is an answer to the question, since it does refer to $H_{\ast}(M, \ZZ)$, but I think it sheds some interesting light on why the problem is ...
Accepted

### Intuitive reason why the Euler characteristic is an alternating sum?

I don't know how intuitive this will be, but here is how I think of it. It is similar to what Travis mentioned in the comments. We need the Euler characteristic to not change when we change the ...
• 6,832
Accepted

### Why group cohomology and not group homology?

If you read, say, Brown's book, it becomes quite clear that cohomology is better than homology. Firstly, as Don Alejo noted, cohomology comes equipped with the cup-product, but also in regard to ...
• 100k

### Nilpotent elements of cohomology ring

The Cech cohomology ring of a space $X$ is the direct limit of the cohomology rings of nerves of open covers of $X$. If $X$ is compact, then finite open covers are cofinal in all open covers, so ...
• 333k
Accepted

### Computing the Simplicial Homology of $S^1$

Let us consider $S^1$ as a triangle, with vertices $u$, $v$, and $w$ and edges between each pair of them which we will write as $uv$, $vw$, and $uw$. We use the ordering $u<v<w$ on the vertices....
• 333k
Accepted

### How does one orient a simplicial complex?

As Eric Wofsey says, there are two notions here: An orientation of an $n$-dimensional simplicial complex is a choice of orientation for each $n$-dimensional simplex. The easiest way to find one is to ...

### Cohomology ring of a wedge sum

The right way to think of $H^*(X\vee Y)$ is not as a quotient of $H^*(X)\times H^*(Y)$ (which, as you point out, does not have a natural ring structure) but rather as a subring. Indeed, this is what ...
• 333k

### Interpretation of Borel equivariant cohomology.

Borel cohomology $H^*_G(X)$ is the cohomology of the homotopy quotient $X//G := EG \times_G X$. The usual quotient, $X/G$, is bad from a homotopy theoretical point of view: it does not preserve ...
• 54.5k
Let $X=S^3\vee\Sigma\mathbb{RP}^2$ and consider the following map $f:X\to X$. On the $S^3$ summand, $f$ is the identity. On the $\Sigma\mathbb{RP}^2$ summand, $f$ is the composition of the pinch map ...