0
votes
0answers
13 views

$C_g \simeq SX$ and $C_h \simeq SY$

Hi need some help with this problem: Let $f : X \to Y$ . Then we can form the cofiber sequence $X \to Y \to C_f \to C_g \to C_h$ where $g: Y \to C_f$, $h: C_f \to C_g$, and $i: C_g \to C_h$. Show ...
5
votes
1answer
82 views

(Co)homology of free symmetric algebra

Let $V$ be a (co)chain complex, and let $Sym(V)$ be the free differential graded-commutative algebra generated by $V$. Definition and examples below in case you don't know what I mean. Question: ...
1
vote
1answer
26 views

Obtaining Chain Complex from a Cochain Complex

In this question: Constructing a cochain complex out of a chain complex , palio asked how to construct a co-chain complex when given a chain complex as well as how to go in the opposite direction, ...
2
votes
2answers
73 views

Total dimension of the cohomology of a homogeneous space (or of a graded Tor)

I want to calculate the cohomology ring with rational coefficients of a homogeneous space, but would be happy enough to know its total dimension. Let $G$ be a compact Lie group, $T$ a maximal torus, ...
0
votes
0answers
39 views

Intuition of higher push-forward constant sheaves.

Let us consider the higher phsh-forward sheaves $R^if_*\mathbb{R}$ of a map $f:X\rightarrow Y$ between two compact manifolds. We assume that the fibers has a constant dimension, say $n$. I think ...
1
vote
0answers
46 views

In the Universal Coefficient Theorem, how does the cohomology generator relate to the homology generators?

Consider homology and cohomology of some space $X$ where the homology groups are finitely generated. Consider $tor(H^i(X))$, the torsion part of $H^i(X)$. How do the generators of $tor(H^i(X))$ ...
2
votes
0answers
33 views

Cohomology-Homology bilinear form of Seifert surfaces

Let $C_\ast$ be any chain complex of $R$-modules. Then for any $k\in\mathbb{Z}$ we obtain a $R$-bilinear map $$\langle-,-\rangle:H^k\!C_\ast\times H_kC_\ast\longrightarrow R, ...
4
votes
0answers
82 views

Eilenberg-Moore Spectral Sequence for Homology with Coefficients in the Integers

I am trying to learn about the Eilenberg-Moore spectral sequence to compute homology and cohomology. I have been using Hatcher's book on spectral sequences and also McCleary's "A User's Guide to ...
2
votes
1answer
105 views

Universal coefficient theorem with ring coefficients

The universal coefficient theorem for cohomology reads: $$0 \to Ext(H_{n-1}(C), R) \to H^n(C;R) \to Hom(H_n(C), R) \to 0,$$ where $C$ is a chain complex of free abelian groups and $R$ is a ring. It ...
1
vote
1answer
39 views

Natural map of extension groups

Let $\Lambda$ be a cocommutative Hopf algebra over a commutative ring $R$. For two left $\Lambda$-modules $M$ and $N$, interpret $\mathrm{Ext}_{\Lambda}^n(M,N)$ as the set of equivalence classes of ...
1
vote
1answer
106 views

Definition/existence/uniqueness of a minimal projective resolution

I'm reading Dave Benson's book "Representations and Cohomology," Volume I, and I'm trying to understand the following discussion on page $32$ in which he introduces the notion of a minimal projective ...
0
votes
2answers
46 views

Topological dimension and derham cohomological dimension

If G is a compact complex manifold then does the topological dimension bound the deRham cohomological dimension below? By derham cohomological dimension, I mean the largest extended natrual number ...
0
votes
0answers
10 views

Proof: The dual of the Homology $(H_{n-k})^{*}$= Homology $H_{n-k}$ over the reals?

Proof: The dual of the Homology $(H_{n-k})^{*}$= Homology $H_{n-k}$ over the reals ? So by dual, I mean the linear maps on $H_{k}$. I need this to understand the Poincare duality i.e. $H_{k}\cong ...
9
votes
2answers
485 views

Surprising applications of cohomology

The concept of cohomology is one of the most subtle and powerful in modern mathematics. While its application to topology and integrability is immediate (it was probably how cohomology was born in the ...
3
votes
1answer
58 views

Relating Ext groups of abelian groups and group cohomology

One can define $\mathrm{Ext}$-groups in the category of abelian groups (not $\mathbb{Z}[G]$-modules) and group cohomology in very similar ways. The second, group cohomology, can be computed in the ...
2
votes
0answers
35 views

Does additivity of (equivariant) cohomology hold at the algebra level?

The additivity property of many (co)homology theories is that if $X = \bigsqcup_{i \in I} X_i$ then $H^*(X) = \bigoplus_{i\in I} H^*(X_i)$. This is usually either an axiom of the theory, can be proven ...
5
votes
1answer
112 views

Isomorphism in cohomology is an isomorphism in homology

Let $f:X \to Y$ be a continuous map between topological spaces and $R$ some coefficients. From the universal coefficient theorem for homology we immediatly get, that if $H_*(f,\mathbb{Z})$ is an ...
0
votes
0answers
38 views

Book of Pullbacks and Pushouts

what books can I consult for properties of pullback and pushouts in algebraic topology? I need to understand the theory of homotopy in algebraic topology and I started to study pullbacks and push ...
1
vote
2answers
57 views

Inductive definition of group cohomology?

At the start of Atiyah and Wall's section on group cohomology (in the Cassels-Frhlich collection of Algebraic Number Theory notes) they, of course, define group cohomology (actually, a 'cohomological ...
0
votes
0answers
21 views

The Existence of Pure Resolutions, Given a Degree Sequence?

I have been trying to understand the proof of the following theorem for the last month, I read some basics of sheaves theory and their cohomology, but still can't get the idea of this important ...
0
votes
0answers
74 views

Exact sequences and spectral sequences

We have the well-known theorem for cohomological spectral sequences as follows: Theorem: Let $(E_r , d_r )$ be a third quadrant spectral sequence and let $E^{p,q}_2‎\Rightarrow‎ H^n(Tot(M)$. a) If ...
6
votes
0answers
137 views

Morita-invariance of Hochschild (co)homology.

Ok, I'm reading this paper by Christian Kassel on associative algebras and Hochschild (co)homology and on page 19 he says that Hochschild homology is Morita-invariant, by which he means that if $R$ ...
2
votes
0answers
61 views

Derived functors and coboundary operator

I understand that one can define the cohomology of an object $A$ in terms of a complex (non-zero in positive degrees) in some Abelian category, together with differentials, such that the composition ...
1
vote
1answer
51 views

An exact homology sequence associated with a principal SO(n) bundle

Suppose $P$ is a principal $SO(n)$ bundle, X is its base space. Why is there an exact sequence in homology groups $$ 0 \to H^1(X;\mathbb{Z}_2) \to H^1(P;\mathbb{Z}_2) \to H^1(SO(n);\mathbb{Z}_2)\to ...
1
vote
0answers
30 views

Weight space for a finite-dimensional $\mathfrak{g}-$module $M$.

Let $\mathfrak{g}$ a semisimple Lie algebra, $M$ finite-dimensional $\mathfrak{g}-$module, $\mu\in\mathfrak{h}^*_{\mathbb{Z}}$ and $s_i$ simple reflection such that ...
2
votes
0answers
37 views

Do the cyclic or Hochschild homologies satisfy the addition axiom of Eilenberg Steenrod?

Do the cyclic or Hochschild homologies satisfy the addition axiom of ES? If so please provide a reference or proof (reference is preferable).
8
votes
0answers
94 views

Is there anything to be learned from the spectrum of a cohomology ring?

Given some topological space, $X$, is there any benefit to studying $Spec(H^*(X))$, or is everything we care about already available "in the algebra"? As $H^*$ is a graded ring, does this question ...
2
votes
0answers
30 views

What is Kadison's process about cocycles?

My teacher told me the Kadison's process(may be not this ward, it is just my translation ) can make a 2-cocycle turn to be a cocycle(i.e.,derivation). But I can not find it in the internet. Thanks a ...
7
votes
1answer
129 views

Computing the action of $S_3$ on $H^n(\mathbb{Z}_3,\mathbb{Z})$

Let $G=S_3$ and let $H$ be the Sylow $3$-subgroup in $G$. If $\mathbb{Z}$ is the trivial module, then it can be shown that $$H^n(H,\mathbb{Z})=\begin{cases}\mathbb{Z}&n=0\\0&n\text{ ...
3
votes
0answers
128 views

A corollary of Grothendieck’s Finiteness Theorem

Well-known Theorem: Grothendieck’s Finiteness Theorem. Assume that $R$ is a homomorphic image of a regular (commutative Noetherian) ring. Let $\mathfrak a$ be an ideal of $R$, and let $M$ be a ...
3
votes
1answer
56 views

Proof that derived functors don't depend on choice of resolution.

Can somebody help me out with this? Let $X$ be an object in an abelian category $A$ with enough injectives, let $0 \rightarrow X \rightarrow M^{\bullet}$ be an injective resolution , let $0 ...
3
votes
0answers
58 views

A Isomorphism between the extension group and cohomology group of Lie algebras

Within the book An introduction to homological algebra by Weibel, I am trying to prove the following isomorphism, but I am not sure this is true. But I really want to know how to prove or disprove ...
1
vote
0answers
34 views

Name for the preimage of a boundary

Suppose $C_\bullet$ is a chain complex and $c_i\in C_i$ is a boundary, that is $c_i=d(c_{i+1})$ for some $c_{i+1}\in C_{i+1}$. What is the 'usual' term for $c_{i+1}$?
5
votes
2answers
99 views

Question on $\mbox{Ext}^1$

I have 2 questions, one of them concerning the isomorphicity of quotient groups (rings), and the other is on $\mbox{Ext}^1$. It's pretty long, but somehow related to each other. So I just kinda put ...
3
votes
1answer
95 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 ...
6
votes
5answers
198 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, ...
7
votes
1answer
126 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
138 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
170 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. ...
5
votes
1answer
233 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
110 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
117 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
120 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
38 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
73 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 ...
7
votes
0answers
242 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
68 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 ...
40
votes
2answers
1k 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
399 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
118 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 ...