# Questions tagged [homology-cohomology]

Use this tag if your question involves some type of (co)homology, including (but not limited to) simplicial, singular or group (co)homology. Consider the tag (homological-algebra) for more abstract aspects of (co)homology theory.

4,784 questions
Filter by
Sorted by
Tagged with
27 views

### Group cohomology reference

I'm interested in studying group cohomology (for discrete groups). Are there accessible (lecture) notes that give a nice overview of the basics for group cohomology and develop the categorical ...
1 vote
42 views

41 views

1 vote
64 views

### Why is $X \mapsto hom(\pi_*^{st}X, \mathbb{Q})$ the same as ordinary rational cohomology?

I am trying to understand the notion of Anderson duality from appendix B of this paper https://arxiv.org/abs/math/0211216 by Hopkins and Singer. But I somehow get stuck at the very first steps. I am a ...
17 views

### example of Grade of module [duplicate]

Let $R$ be a commutative Noetherian ring, $I$ be a proper ideal of $R$ and $M$ is finitely generated $R$-module. I want to find an example of module $M$ such that $$grade(I,M)>grade(I,R)$$ thank ...
1 vote
37 views

60 views

### The first homology group $H_1(M)$ of a compact manifold $M$ is always $\mathbb Z_i \oplus \mathbb Z_j\oplus...\oplus\mathbb Z_n$ ($i,j,...,n\ge 2$)?

The dimension of the first homology group $H_1(M)$ is the number of (nonequivalent) loops of the manifold $M$. For all the cases I know, such as $RP^n$, $S^n$, cylinder, n-torus, klein bottle and so ...
137 views

12 views

1 vote
47 views

### Relation between mod 2 Betti numbers and integral cohomology

Let $M$ be an orientable connected manifold of finite type. My question is that if $H^{i}(M,\mathbb{Z}_{2})$ is non-zero, then can we say that $H^{i}(M,\mathbb{Z})$ is non-zero? I know that this is ...
27 views

### “Usual argument for a bicomplex” in order to extend a cocycle

I was reading this article and I got stuck in the proof of Proposition 2.1. In particular I don't get the last paragraph of the proof when it talks about extending to a cocycle and using a similar ...
31 views

### Homology and homotopy groups and holes

Q. In what sense do homology and homotopy groups "count" or "detect" holes? And when do they differ in their hole counting? I'm seeking a high-level view of these questions, ...
33 views

### Pullback of Lie derivative acting on $k-$ forms

I have to prove the following. Let $M$ be a differentiable smooth manifold and let $\chi \in \Gamma(TM)$ a smooth vector field on $M$. Denote by $\mathcal{L}_{\chi}$ the Lie derivative along $\chi$ ...
35 views

### General Applications of Persistent Homology [closed]

Are there any general applications of persistent homology (or topological data analysis in general) ? . All the applications I seem to find relate to very specific applications so I was wondering if ...
14 views

### Isolating betti numbers from the Euler characteristic of a manifold

I am interested in isolating the Betti numbers of a manifold $\mathcal{M}$ from its Euler characteristic $\chi(\mathcal{M})$ for physical purposes. By isolating, I mean deriving an expression of the ...
25 views

29 views

70 views

### The suspension of $\mathbb{C}P^2$ is not homotopy equivalent to $S^3 \vee S^5$

I am looking for a relatively simple way to see that $\Sigma \mathbb{C}P^2$ is not homotopy equivalent to $S^3 \vee S^5$. Both the Euler characteristic of a space and its homology groups are invariant ...
88 views

I am studying for a qualying exam and there is one exercise from the previous years exams which I don't know how to approach. Let $n$ be a positive integer and $$G = \{ g \in \Bbb C^{\times} | g^{n} =... 0 votes 1 answer 26 views ### Homology of the Eilenberg-MacLane spectrum of Fp with coefficients in Fq for p and q prime I understand the Steenrod algebra for \mathbb{F}_{p^n} both from classical calculations and a past question, but I'd like to ask about H\mathbb{F}_{p*} H \mathbb{F}_q for p and q different ... 0 votes 0 answers 34 views ### On cohomology ring of a mapping cone . \mathbf {The \ Problem \ is}: Let \eta: S^{3} \rightarrow S^{2} be the Hopf map, that is, the attaching map for C P^{2}. Consider the map \tau expressed as the composite$$ \tau: S^{3} \...
Consider the Euler sequence $$0\rightarrow \gamma \rightarrow \epsilon^4 \rightarrow Q \rightarrow 0$$ over $\mathbb{P}^3$. Take the projectivized bundle $\pi:P(Q)\rightarrow \mathbb{P}^3$ and ...