1
vote
2answers
71 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: ...
2
votes
1answer
50 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 ...
2
votes
1answer
35 views

Wedge product of basis elements of cohomology

Let $M$ be a compact, connected, oriented 4-manifold without boundary. If $H^2(M)\cong \mathbb{R}^2$ and I have a basis $\{[\omega_1],[\omega_2]\}$ for $H^2(M)$, is it the case that $[\omega_1\wedge ...
8
votes
1answer
237 views

Why are de Rham cohomology and Cech cohomology of the constant sheaf the same

I am comfortable with de Rham cohomology, sheaves, sheaf cohomology and Cech cohomology. I am looking to prove the following theorem: If $M$ is a smooth manifold of dimension $m$, then we have ...
2
votes
0answers
32 views

uniqueness of Hopf invariant

(Hopf invariant, page 427 of A. Hatcher's Algebrac Topology): Let $f: S^m\longrightarrow S^n$ with $m\geq n$. We can form a CW-complex $C_f$ by attaching a cell $e^{m+1}$ to $S^n$ via $f$. The ...
1
vote
0answers
46 views

Chains and cochains: integer versus real coefficients

Let a real, smooth manifold $M$ be given. For each non-negative integer $k$, let a singular $k$-cube on $M$ be a continuous mapping $c:[0,1]\to M$. Let $C_k(M,\mathbb Z)$ denote the set of formal ...
3
votes
2answers
136 views

de Rham cohomology of $\mathbb R^2 \setminus \mathbb Z^2 $

I am trying to calculate the cohomology of $X = \mathbb R^2 \setminus \lbrace \mathbb Z \times \mathbb Z \rbrace = \lbrace (x,y) \in \mathbb R^2 : x \text{ and } y \not \in \mathbb Z \rbrace.$ ...
1
vote
0answers
40 views

Compactness and Poincare duality

I am reading Appendix B in Fulton's Young Tableaux about Borel-Moore homology. In particular, I'd like to understand why for compact manifolds the Borel-Moore homology groups are isomorphic to ...
4
votes
0answers
127 views

Top de Rham cohomology

I just realized that I never really understood why $H_{dR}^n(M, \mathbb{R}) = \mathbb{R}$ if $M$ is compact and $H_{dR}^n(M, \mathbb{R}) = \{0\}$ if $M$ is not compact (provided that's true?). I'm ...
2
votes
1answer
291 views

First proof of Poincaré Lemma

I know that a way of proving Poincare lemma is to use the homotopy invariance and contractibility of the Euclidean space. Is there is a way of doing it directly (without using the contractibility of ...
0
votes
1answer
70 views

Can anyone check my proof that $H^1(\Sigma-\{p\})=0$ for a compact and orientable surface $\Sigma$?

I have the following problem: Let $\Sigma$ be a compact and orientable surface. Show that $H^1(\Sigma-\{p\})=0$ for every $p\in \Sigma$. Can anyone check my proof and give suggestions? Sketch of ...
0
votes
1answer
161 views

How to compute $H^1(\Sigma_g-\{p\})$ using Mayer-Vietoris?

How can I find, using Mayer-Vietoris, $H^1(\Sigma_g-\{p\})$, where $\Sigma_g$ is a genus $g$ surface?
1
vote
0answers
74 views

If $Z$ is an oriented manifold with boundary such that $\partial Z=M$ where $M$ is a compact and oriented manifold then $\chi(M)=0\mod(2)$..

I need some help for showing the following result: Let $M$ be a compact ($\partial M= \emptyset$) and oriented manifold of dimension $n$ and $Z$ an oriented manifold with boundary such that ...
3
votes
1answer
94 views

Defining the coboundary map $\delta_*$ on the Sheaf Cech Cohomology groups

I'm having trouble understanding the definitions I've been reading, of what has been called an 'induced coboundary operator' or a 'connecting homomorphism' depending on what source you're reading. ...
1
vote
2answers
116 views

Mayer-Vietoris for $\mathbb C\mathbb P^n$?

Does anyone have any idea of how calculating the De Rham cohomology $H^k(\mathbb C\mathbb P^n)$ of the complex projective space using Mayer-Vietoris?
4
votes
2answers
293 views

How do I know when a form represents an integral cohomology class?

Suppose $M$ is an $n$-dimensional manifold, and $\omega \in \Omega^p(M)$ is a closed $p$-form. Moreover, assume that $d\omega = 0$, so that it represents a de Rham cohomology class. I would like to ...
2
votes
1answer
97 views

Why functions $f_{\alpha \beta} \colon U_\alpha \cap U_\beta \to Y$ are called cocycles?

Let $X$ be some smooth manifold and $\{U_\alpha\}$ be its open cover. The last month I hear very often that one calls a collection of functions $f_{\alpha \beta} \colon U_\alpha \cap U_\beta \to Y$, ...
5
votes
1answer
159 views

Simple exercise in cohomology

I know this is a simple exercise but I am stuck unfortunately. Question: Use de Rham cohomology to prove that the sphere $S^2$ is not diffeomorphic to the torus $T$. You may assume that ...
5
votes
0answers
138 views

Prove Poincare duality theorem with Morse theory.

First let us consider a smooth n-manifold. And find a Morse function f. Now let's consider -f. A singular point of f with index k is a singular point of -f with index n-k. Thus we have a canonical ...
2
votes
0answers
103 views

Vanishing of local cohomology of constructible sheaves

Recall, that if $\mathcal{F}$ is a coherent sheaf on a variety and $Z$ is an l.c.i. subvarity of codimension $n$, then $H^i_Z(\mathcal F)$ vanishes for $i > n$. Is there an analogous statement for ...
7
votes
2answers
170 views

Dimension of de Rham Cohomology groups?

Is there a simple way to prove that the de Rham cohomology groups of a compact manifold $M$ have finite dimension as $\mathbb{R}$-vector spaces?
4
votes
0answers
169 views

de Rham Cohomology of Non-Flat Bundle

Let $E$ be a smooth vector bundle on a smooth manifold $M$. If $E$ is flat, there is a connection $\nabla$ which is a differential which we can use to define the de Rham cohomology of $E$. If $E$ ...
4
votes
1answer
129 views

Highest DeRahm Cohomology

Let $X$ be a $C^\infty$ manifold, compact oriented and connected of dimension $n$. How do you prove that the integration map $$\int_X: \omega \mapsto \int_X \omega $$ from $H^n_{DR}(X)$ to ...
10
votes
1answer
155 views

Proof of $H^k(X,\mathbf k) = H^k(X,\mathbb Z) \otimes \mathbf k$

Let $X$ be a compact manifold and denote $H^k(X,G)$ the $k$-th cohomology group with coefficients in the abelian group $G$. Using Cech cohomology one can prove that there is a natural isomorphism $ ...