Use this tag if your question involves some type of homology, including (but not limited to) simplicial homology, singular homology, or group homology.

learn more… | top users | synonyms

1
vote
0answers
14 views

Dold's proof of equivalence singular and cellular homology

I would like to ask for some help understanding a claim in Dold's proof of the equivalence of cellular and singular homology. The point is that I don't get why $\delta_n=j_*\delta_*$ where: ...
1
vote
0answers
19 views

Extension to rational and real chains

In the paper on stable commutator length, D. Calegari says that generalized $\operatorname{scl}$ function can be extended by linearity to rational group $1$-chains and by continuity to real chains ...
4
votes
1answer
57 views

Mayer-Vietoris where $A\cap B$ bounds $A$ and $B$

So I'm a bit confused about how the Mayer-Vietoris Sequence works. I thought that one of the times when it is useful is when we choose $A$ and $B$ such that $A\cap B$ is homotopic to the boundaries of ...
0
votes
0answers
38 views

Question about a theorem from Chang's book: Methods in Nonlinear analysis

I have this this theorem from Chang's book: Methods in Nonlinear analysis, with it's proof, but i don't understand it, for example what it means $K(f_{\sigma_i})$ ? Please help me thank you
0
votes
0answers
84 views

Question about Homology from the Chang's book: Methods in Nonlinear analysis

In the K.C.Chang's book in page $336$ of the book this corollary without prove there is a theorem before it but I don't know if it is a corollary of this theorem, how I can prove this ...
0
votes
1answer
35 views

Question about Chains complexes

I have $\mathcal{U}=\lbrace X-U, A\rbrace$ such that $\overline{U}\subset \overset{º}{A}$ and $X=\overset{º}{(X-U)}\cup \overset{º}{A}$ where $X$ is a topological space, $A$ is a subset of $X$ and ...
7
votes
1answer
133 views

Does the rank of homology and cohomology groups always coincide?

Let $(C_i)_{i \in \mathbb{Z}}$ be a chain complex of free abelian groups. Does the rank of the homology and cohomology groups of $(C_i)_{i \in \mathbb{Z}}$ always coincide, i.e. is ...
1
vote
0answers
29 views

Cup products and cross products

So, I am trying to compute some products on chains and their duals, but I have difficulties in understanding some operations. The cup product of cochains is quite easy to understand, especially when ...
0
votes
0answers
37 views

What is $H_1(A_\mathbb{C}^{top},\mathbb{Q})$

Let $A$ be an abelian variety defined over a number field. I have seen in a few papers the singular homology $H_1(A_\mathbb{C}^{top},\mathbb{Q})$ being used. I read up on the singular homology but it ...
1
vote
1answer
42 views

Introduction to Localization of Topological Spaces

I am trying to learn localization of topological spaces but am not sure where to start. Can anyone recommend some introductory materials? It would be great if it contains detailed motivations, ...
3
votes
0answers
31 views

Homology of non-singular projective algebraic variety

I am unsure whether or not the following claim is true or false and whether or not my proof works or not: Claim: Let $V \subset \mathbb{C}P^n$ be a complex $k$-dimensional, non-singular, projective ...
2
votes
1answer
40 views

An isomorphism between homology and cohomology with $\mathbb{Z}_2$ coefficients

In the proof of a theorem we did in a class (namely: if $M$ is an odd-dimensional, closed manifold, then $\chi(M)=0$), there's the following step: $$H_k(M;\mathbb{Z}_2)\cong H^k(M;\mathbb{Z}_2)$$ ...
0
votes
1answer
29 views

Proof for Homologous cycles

Prove that two cycles that surround the same holes differ by a boundary i.e. the relation for calling two cycles homologous as mentioned here. ...
1
vote
0answers
34 views

Family of Morse functions made constant

I'm looking for a proof of the following theorem: Let $f_t$ be a family of real-valued Morse functions defined on a smooth compact manifold $M$, and where $t$ is in $[0,1]$ (So for all value of $t$, ...
3
votes
1answer
51 views

Question about the Betti numbers

can someone explain me this definition from :http://en.wikipedia.org/wiki/Betti_number The $n^{th}$ Betti number represents the rank of the $n^{th}$ homology group, denoted $H_n$ "which tells us the ...
4
votes
1answer
44 views

Simplicial homology of the skeleton of a simplex

Let $n$ and $k$ two natural numbers. We consider the (abstract) simplicial complex $K$ on $n$ vertices $v_1,\dots,v_n$ and such that a subset of $\{v_1,\dots,v_n\}$ is a face of $K$ if and only if it ...
1
vote
1answer
48 views

Definition of boundary in a topological invariant way

I'm reading through Aguilar & Prieto lecture notes "Fiber bundles" (available online by googling it, ...
0
votes
1answer
68 views

Homology of 3-sphere minus an embedding of $S^1 \times \mathbb{D}^2$

I'm having trouble with the following past qual question: Let $\phi \colon S^1 \times \mathbb{D}^2 \hookrightarrow S^3$ be an embedding, where $\mathbb{D}^2$ is the open unit disk in $\mathbb{R}^2$. ...
1
vote
2answers
92 views

Cohomology Ring of Klein Bottle over $\mathbb{Z}_2$

I am trying to show that the cohomology ring of the Klein bottle with $\mathbb{Z}_2$ coefficients is $H^*(K,\mathbb{Z}_2) \cong \mathbb{Z}_2[x,y]/(x^3,y^2, x^2y)$. What I know: ...
3
votes
2answers
91 views

How do we get a simplicial homology functor?

The $n$-th simplicial homology group $H_n(A)$ of an abstract simplicial complex $A$ depends on the choice of an orientation for $A$ (but for different orientations, the homology groups are ...
2
votes
0answers
28 views

Homology of connected sum of $\mathbb{R}P^4$ and $\mathbb{C}P^2$.

I'm studying for my topology qualifying exam, and I'm having trouble computing the homology of the connected sum of $\mathbb{R}P^4$ and $\mathbb{C}P^2$. I tried using a relative long exact sequence ...
4
votes
0answers
35 views

Compute the induced map on $\mathbb{CP}^n$

Let $d>0$ and $f:\mathbb{C}^{n+1}\rightarrow \mathbb{C}^{n+1}$ be given by $f(z_0,...,z_n)=(z_0^d,...,z_n^d)$. Let $F:\mathbb{CP}^n \rightarrow \mathbb{CP}^n$ be the induced map by $f$. Compute ...
3
votes
0answers
47 views

Surgery and Euler Characteristic

I am trying to find out how a $(p,n-p)$ surgery affects the Euler Characteristic of an orientable, $n-$ dimensional, compact manifold. Call the initial manifold $M$ and the post-op manifold $M'$. This ...
3
votes
1answer
40 views

Question about the proof of the universal coefficient theorem

When deriving the universal coefficient theorem, in class we proceeded as follows: We have the SES: $$0\to ...
2
votes
2answers
51 views

Find a CW complex with prescribed homology groups

A past qual question asks to construct a CW-complex $X$ with $H_0(X) = \mathbb{Z}$, $H_5(X) = \mathbb{Z} \oplus \mathbb{Z}_6$, and $H_n(X) = 0$ for $n\not= 0, 5$. One can build a CW-complex $Y$ by ...
2
votes
1answer
31 views

Homology groups of a simplicial complex

I have a question from a qualifying exam: let $X$ be the simplicial complex that consists of the 3-simplices $(v_1,v_2,v_3,v_4)$, $(v_3,v_4,v_5,v_6)$, $(v_1,v_2,v_5,v_6)$, where the $v_i$'s are all ...
6
votes
2answers
117 views

Is this Space Homotopy Equivalent to $S^2$

Let $X$ be the space $S^1$ with two $2$-cells attached via maps of relatively prime degrees. This space is simply connected and has the homology of $S^2$, but is it homotopy equivalent to $S^2$?
1
vote
2answers
60 views

$H_n(\mathbb{R}P^4 \times S^1)$

I have been trying to compute the homology of $\mathbb{R}P^4 \times S^1$ by using cellular homology. Nevertheless, I cannot see what the attaching maps are.
2
votes
2answers
76 views

Homology groups equal when $\cdots \rightarrow 0 \rightarrow H_n(\mathbb{S}^m) \rightarrow H_{n-1}(\mathbb{S}^m) \rightarrow 0 \rightarrow \cdots$

I'm reading a set of notes but I don't understand the following concept. We have a long exact sequence $\cdots \rightarrow 0 \rightarrow H_n(\mathbb{S}^m) \rightarrow H_{n-1}(\mathbb{S}^m) ...
0
votes
1answer
24 views

Degree of an induced map on $\mathbb{CP}^n$

Let $r :\mathbb{C}^{n+1} \rightarrow \mathbb{C}^{n+1} $ be the map $r(z_0, z_1,\ldots, z_n)=(-z_0, z_1,\ldots, z_n)$. $r$ induces a map $\bar r : \mathbb{CP}^n \rightarrow \mathbb{CP}^n $. What is the ...
3
votes
2answers
44 views

How to show that $f_* (\sigma)=\sigma$ where $f$ is mapping between projective spaces $\mathbb{R}\text{P}^3$

Suppose that $f:\mathbb{R}\text{P}^3 \to \mathbb{R}\text{P}^3$ is continuous mapping without fix points and let $\sigma$ be (some) generator of group $H_3(\mathbb{R}\text{P}^3)$. Prove that ...
3
votes
0answers
32 views

Definition of the algebraic intersection number of oriented closed curves.

Can anyone point me to a reference (book/paper) where I can read up on the the algebraic intersection number of closed curves on an orientable surface? In this paper by John Franks it is used to ...
6
votes
2answers
143 views

How do Homology Groups work

How do homology groups work? Looking at the wikipedia article, it lists, for example, $H_k(S^1) = \mathbb Z$ for $k = 0,1$ and ${0}$ otherwise. It also says that $H_k(X)$ is the k-dimensional holes in ...
2
votes
1answer
33 views

What is the meaning of “Homotopy of Little disc Operads”

I want to understand what means the homotopy of the little discs operad. I'm starting to research in this area and I have some questions. 1) I don't understand why little discs operad is a ...
2
votes
1answer
54 views

Wedge Sum of Two Spheres Homotopy Equivalent to a Compact Manifold?

Let $X=S^2$v $S^2$ (wedge sum). The homology groups are $H_0(X,\mathbb{Z})= \mathbb{Z}$, $H_1(X,\mathbb{Z})= 0$, and $H_2(X,\mathbb{Z})= \mathbb{Z} \oplus\mathbb{Z}$. I can see that $X$ is not ...
1
vote
1answer
62 views

Triviality of $H_3(G,\mathbb{Z})$

We know that the triviality of the Schur multiplier means that projective representations can be lifted to ordinary ones. The Schur multiplier is also a measure of the failure of how the commutator ...
0
votes
1answer
38 views

Is the composition of a homeomorphism with itself orientation-preserving?

Just a short question about the degree of a homeomorphism. So, I understand that in the continuous setting we define the degree of a map $\ f: M \rightarrow M$ on a connected orientable manifold as ...
0
votes
1answer
23 views

0-cycles with null augmentation are boundaries in convex spaces?

Well as the title says I would like to know if given a convex space $ X $, a $0$-cycle (equivalently any $0$-chain, right?), such that its augmentation is null is a boundary? All this in singular ...
1
vote
0answers
23 views

Enunciation of $\partial$ as the boundary map

How is $\partial$ typically pronounced when it is used as the boundary map in homology theory? The answer to this question provides some good information on the enunciation of $\partial$, but more ...
6
votes
0answers
95 views

Show $\mathbb{CP^2/CP^1}$ is not a retract of $\mathbb{CP^4/CP^1}$.

So I have shown that the natural projection $\pi: \mathbb{CP^n}\rightarrow \mathbb{CP^n/CP^k}$ induces a monomorphism $\pi^*:H^*(\mathbb{CP^n/CP^k},\mathbb Z)\rightarrow H^*(\mathbb{CP^n},\mathbb Z) ...
1
vote
1answer
40 views

Basic Simplicial Homology Question

Let K be a 4-dimensional simplicial complex which has 8 0-simplices, 12 1-simplices, 9 2-simplices, 10 3-simplices and 6 4-simplices. Suppose that $H_0(K)= \mathbb{Z}, H_1(K)= ...
6
votes
2answers
152 views

Can we simultaneously realize arbitrary homotopy groups and arbitrary homology groups?

Let's keep our groups finitely presented for the time being. All spaces in this post are path connected. Background: By a standard construction (e.g., on p. 365 of Hatcher), there exists a $K(\pi, ...
0
votes
1answer
49 views

Triangulate the triangle with edges identified

Consider the closed triangle (simplex) $ \Delta = [(0,1), (0,0) , (1,0)] \subset \mathbb{R}^2 $, ie, $\Delta$ is the convex hull of the points $v_1 = (0,1)$, $v_0 = (0,0)$ and $v_2 = (1,0)$ in ...
0
votes
1answer
17 views

not complete solution in computation of singular cohomology

I know how to compute singular cohomology of single point. Then I want to compute cohomology of $\mathbb{Z}$. Consider $C_{k}(\mathbb{Z})=\oplus_{i\in Z} C_{k}(point)$. $$\text{Hom}(A\oplus B, G)= ...
1
vote
0answers
19 views

Comparison between Eilenberg-Steenrod excision and Brown representability excisive

One of the Eilenberg-Steenrod axioms for unreduced cohomology is excision, which states that $H^n(X,A)\cong H^n(X\setminus U,A\setminus U)$, for good subspaces such as when $\overset{\circ}U\subseteq ...
5
votes
1answer
98 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
0answers
58 views

If two maps induce the same homomorphism, then they are homotopic

If two chain maps $f,g:\mathcal{X} \rightarrow \mathcal{Y}$, where $\mathcal{X},\mathcal{Y}$ are chain complexes with free modules $X_p$ and $Y_p$ over a PID, $R$, induce the same homomorphism in the ...
3
votes
2answers
38 views

Generator of singular homology of n-sphere

I am learning singular homology theory right now. The homology of n-sphere is computed by Mayer-Vietoris argument. Intuitively, for example the class represented by a loop is the generator of ...
1
vote
1answer
30 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, ...
3
votes
0answers
50 views

Equivariant version of Morse theory [closed]

Is there some variant on Morse or Morse-Bott theory yielding equivariant (co)homology instead of singular homology? Any reference/idea would be greatly appreciated. Crossposted on MathOverflow.