Tagged Questions

3
votes
1answer
44 views

Sufficient condition for a direct limit of abelian groups to be infinitely generated

I have the following setup. The CW-complexes $\Gamma_n$ are equipped with maps $\gamma_n\colon\Gamma_{n+1}\rightarrow\Gamma_{n}$ and it is known that the rank of their first cohomology groups is ...
7
votes
5answers
103 views

(Elementary) applications of group (co-)homology

I am looking for an elementary example of a problem, for which one does not need many things to understand the question, but which can be solved with group homology or cohomology. My background is, ...
6
votes
0answers
79 views

When does a cohomology theory have a ring structure?

I've looked around and I can't quite seem to find an answer to this question. When does a cohomology theory admit a non trivial product structure? I was trying to compute a cohomology ring from a CW ...
2
votes
2answers
70 views

Equivalence of categories and derived functors.

Don't know if this kind of a dumb question but let $A$ and $B$ be abelian categories and suppose they're equivalent: there are two functors $P: A \rightarrow B$ and $Q: B \rightarrow A$ satisfying the ...
3
votes
1answer
85 views

Algebraic Topology Double Complexes

I am going through Bott and Tu and trying to do Exercise 9.13 which says When a homomorphism $f: K \rightarrow K'$ of double complexes induces $H_d$-isomorphism, it also induces $H_D$-isomorphism. ...
3
votes
1answer
187 views

Vanishing of a local cohomology module

I guess $$H^2_{(x,y)}\left(\frac{\Bbb Z[x,y]}{(5x+4y)}\right)=0$$ It is well known $\operatorname{Supp} H^i_I(M)‎\subseteq V(I)\cap \operatorname{Supp}(M)$, therefore $$\operatorname{Supp} ...
3
votes
2answers
94 views

cohomology of an exact sequence

$$0\to M\to Q_1\to Q_2\to\dots\to Q_i \to N\to 0$$ exact sequence, then $$H^n(N)\cong H^{n+i}(M)$$
0
votes
1answer
64 views

Non-abelian simplicial cohomology

Is there a theory of simplicial cohomology with coefficients in a non-abelian group ? I've found next to nothing on Google so far... I'm interested in particular in the cohomology of graphs with ...
4
votes
0answers
71 views

Cartan-Eilenberg resolutions, adapted classes and acyclic resolutions

I may get grilled for this but here I go: Let $\mathcal{A}$ be an abelian category with enough injectives. What I want to know is VERY VERY specific. Let's say I have a complex in $\mathcal{A}$ $0 ...
1
vote
0answers
30 views

Inequality of numerical invariants of complex algebraic surfaces?

Let $S, T$ be algebraic surfaces over $k=\mathbb{C}$, and $\phi: S \longrightarrow T$ a surjective morphism. Furthermore we have the numerical invariants: \begin{align*} q(S) &:= \dim H^1(S, ...
2
votes
1answer
64 views

Exact sequence of four sheaves in Beauville: associated l.e.s.?

This question is about an exact sequence of four sheaves on a smooth projective surface $S$ over $k=\mathbb{C}$, to be found in Beauville: complex algebraic surfaces, theorem I.4, page 3 (second ...
4
votes
0answers
137 views

Composition of derived functors and comparison between hypercohomology and sheaf cohomology

I had a few questions about compositions of derived functors, the comparison between hypercohomology, and sheaf cohomology and the following theorem from the Gelfand, Manin homological algebra book: ...
1
vote
0answers
53 views

Universal coefficient formula

Let $X$ be a compact manifold (so that all (co)homologyies have finite rank). The universal coefficient formula ($\mathbb{Z}$-coefficient for simplicity) says that we have the following short exact ...
34
votes
2answers
810 views

Algebraic Topology Challenge: Homology of an Infinite Wedge of Spheres

So the following comes to me from an old algebraic topology final that got the best of me. I wasn't able to prove it due to a lack of technical confidence, and my topology has only deteriorated since ...
5
votes
1answer
268 views

cohomology vs homology

I have learned the basic things about cohomology and homology. It seems that homology and cohomology both deal with the same objects, the complexes, but with a different choice of the indexes (for ...
3
votes
1answer
72 views

The relation between betti numbers and Tor functor?

Let $M$ be finitely generated Module over the Polynomial ring $R=k[x_{1},..,x_{n}]$, then there is a free resolution of M of the form $$0\rightarrow F_{n}\rightarrow ...\rightarrow F_{0}\rightarrow ...
1
vote
2answers
134 views

cohomology of a finite cyclic group

I apologize if this is a duplicate. I don't know enough about group cohomology to know if this is just a special case of an earlier post with the same title. Let $G=\langle\sigma\rangle$ where ...
2
votes
1answer
72 views

Other differentials for group cohomology other than the standard one.

In group cohomology, one defines $H^i(G;A)$ for $G$ a group and $A$ a $G$-module (an abelian group with a $G$-action) as the $i$-th right derived functor of the functor $$(-)^G: G-mod \rightarrow Ab, ...
8
votes
0answers
204 views

Why do universal $\delta$-functors annihilate injectives?

Let $\mathcal{A}$ and $\mathcal{B}$ be abelian categories. Suppose $\mathcal{A}$ has enough injectives, and consider a universal (cohomological) $\delta$-functor $T^\bullet$ from $\mathcal{A}$ to ...
7
votes
2answers
133 views

Geometric interpretation of injective/projective resolutions?

I understand the geometric interpretation of derived functors, as well as their usefulness in giving a simple, purely algebraic description of cohomology. I also understand how resolutions are used ...
0
votes
1answer
207 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 ...
2
votes
2answers
187 views

Is the sheaf of locally constant functions flasque?

Quick question, is the sheaf of locally constant functions flasque?
8
votes
3answers
614 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 ...
6
votes
1answer
192 views

Is there any relation about rational homology of X and X/G

If we know the rational homology of X is 0, can we get some information about the rational homology of X/G, where G is a finite group? Thank you very much for the answers!