# Tagged Questions

This tag is for questions relating to cohomology groups and cochain complexes.

3k views

### Direct proof that the wedge product preserves integral cohomology classes?

Let $H^k(M,\mathbb R)$ be the De Rham cohomology of a manifold $M$. There is a canonical map $H^k(M;\mathbb Z) \to H^k(M;\mathbb R)$ from the integral cohomology to the cohomology with coefficients ...
2k views

### What is the solution to Nash's problem presented in “A Beautiful Mind”?

I was watching the said movie the other night, and I started thinking about the equation posed by Nash in the movie. More specifically, the one he said would take some students a lifetime to solve ...
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 ...
507 views

### Gross-Zagier formulae outside of number theory

(Edit: I have asked this question on MO.) The Gross-Zagier formula and various variations of it form the starting point in most of the existing results towards the Birch and Swinnerton-Dyer ...
1k views

### Cohomology of projective plane

How I can compute cohomology de Rham of the projective plane $P^{2}(\mathbb{R})$ using Mayer vietoris or any other methods?
515 views

### The simplest nontrivial (unstable) integral cohomology operation

By an integral cohomology operation I mean a natural transformation $H^i(X, \mathbb{Z}) \times H^j(X, \mathbb{Z}) \times ... \to H^k(X, \mathbb{Z})$, where we restrict $X$ to some nice category of ...
275 views

### Why is there “no analogue of $2i\pi$ in $\mathbf C_p$”?

In his paper Fonctions L p-adiques, Pierre Colmez says: Tate a montré qu'il n'existait pas dans $\mathbf C_p$ d'analogue $p$-adique de $2i \pi$ et donc par conséquent que les périodes $p$-adiques ...
1k views

### Motivating Cohomology

Question: Are there intuitive ways to introduce cohomology? Pretend you're talking to a high school student; how could we use pictures and easy (even trivial!) examples to illustrate cohomology? Why ...
284 views

### What is the difference between $\ell$-adic cohomology and cohomology with coefficient in $Z_\ell$?

Let $X$ be a non-singular projective variety over $\mathbb{Q}$. Consider on the one hand $H^i_B(X(\mathbb{C}),\mathbb{Z}_\ell)$ the singular cohomology with value in $\mathbb{Z}_\ell$, and on the ...
375 views

### Twisted Cech cohomology

Let $X$ be a CW-complex with contractible universal cover $\tilde{X}$ and fundamental group $\pi = \pi_1X$. Twisted (co)homology is found by lifting the cell structure on $X$ to a $\pi$-invariant ...
1k 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 ...
759 views

### Meaning of “efface” in “effaceable functor” and “injective effacement”

I'm reading Grothendieck's Tōhoku paper, and I was curious about the reasoning behind the terms "effaceable functor" and "injective effacement". I know that in English, to efface something means ...
568 views

### Group cohomology versus deRham cohomology with twisted coefficients

Let $G$ be a simple simply-connected Lie group, let $M$ be a 3-manifold and $P \to M$ a principal $G$-bundle. Let $A$ be a flat connection in this bundle, and let $\text{Ad} P$ be the associated ...
737 views

### Topological vs. Algebraic $K$-Theory

Suppose I can calculate the extraordinary cohomology encoded in topological $K$-groups of a topological space $X$ with CW structure. What information does this give me about $C^{*}$-algebras ...
717 views

### The “need” for cohomology theories

In many surveys or introductions, one can see sentences such as "there was a need for this type of cohomology" or "X succeeded in inventing the cohomology of...". My question is: why is there a need ...
294 views

### Different ways of representing a second cohomology class

There are probably many ways of talking about a second (integral) cohomology class of a smooth, closed, orientable manifold $M$ of dimension $n$. Here are a few, with $\alpha\in H^2(M,\mathbb{Z})$: ...
386 views

### Why isn't $H^*(\mathbb{R}P^\infty,\mathbb{F}_2)\cong \mathbb{F}_2[[x]]$?

We just computed in class a few days ago that $$H^*(\mathbb{R}P^n,\mathbb{F}_2)\cong\mathbb{F}_2[x]/(x^{n+1}),$$ and it was mentioned that $H^*(\mathbb{R}P^\infty,\mathbb{F}_2)\cong \mathbb{F}_2[x]$, ...
1k views

### Poincare Duality Reference

In Hatcher's "Algebraic Topology" in the Poincare Duality section he introduces the subject by doing orientable surfaces. He shows that there is a dual cell structure to each cell structure and it's ...
275 views

### What functor does $K(G, 1)$ represent for nonabelian $G$?

For $G$ an abelian group, the Eilenberg-Maclane space $K(G, n)$ represents singular cohomology $H^n(-; G)$ with coefficients in $G$ on the homotopy category of CW-complexes. If $n > 1$, then $G$ ...
150 views

### Computing cohomology of hypersurface

I'm taking a course on differential geometry now, and we got the following exercise from the lecturer: compute the (de Rham) cohomology groups $H_{dR}^i(M)$ of your favourite space. In all the ...
191 views

### When is a map essential in Čech cohomology?

I read a nice survey of parts of game theory, Foundations of Strategic Equilibrium, by Hillas and Kohlberg. Something where I stumble is the discussion of Mertens stability. There is a definition that ...
558 views

### vector bundles on affine schemes

Serre's theorem (one of them) states that for a quasi-coherent sheaf $\mathscr F$ on an affine noetherian scheme $H^i(X,\mathscr{F})$ vanish for $i >0$. I used to think that this would imply that ...
312 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 ...
583 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 ...
389 views

### Which cohomology theories have a formula $\langle \Omega,\text d \omega \rangle = \langle \partial \Omega,\omega \rangle$?

Is a formula $$\langle \Omega,\text d \omega \rangle = \langle \partial \Omega,\omega \rangle$$ like Stokes theorem $$\int_\Omega \text d \omega=\int_{\partial\Omega} \omega$$ common in cohomology ...
574 views

878 views

### Toy sheaf cohomology computation

I asked this question a while back on MO : http://mathoverflow.net/questions/32689/how-should-a-homotopy-theorist-think-about-sheaf-cohomology One thing that really helped in learning the Serre SS ...
397 views

645 views

### Homology of the Empty set

I am under the impression that the standard convention for the homology (singular) of the empty set is 0 in all non negative degrees and $\mathbb{Z}$ in degree $-1$. I have no problem with this ...
316 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 ...
135 views

### “Inverse problem” for Brauer groups

This question is really just a curiosity, but I'm really interested in the answer. Given a field $K$, we can form the set$^*$ $Br(K)$ consisting of equivalence classes of finite-dimensional central ...
102 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 ...
190 views

### De Rham Cohomology of $M \times \mathbb{S}^1$

Let $M$ be a closed (compact, without boundary) $m$-dimensional manifold. I want to prove that $H^{k+1}(M \times \mathbb{S}^1) = H^k(M) \oplus H^{k+1}(M)$. ($H^k$ is the $k$-th De Rham cohomology ...
923 views

### What are cohomology rings good for?

I am studying some concepts of algebraic topology myself, and I read lately a bit about cohomology rings (created by the direct sum of cohomology groups) but besides all definitions I could not find ...
918 views

### how to compute the de Rham cohomology of the punctured plane just by Calculus?

I have a classmate learning algebra.He ask me how to compute the de Rham cohomology of the punctured plane $\mathbb{R}^2\setminus\{0\}$ by an elementary way,without homotopy type,without ...
In my few months of studying group cohomology, I've seen two "standard" complexes that are introduced: We let $X_r$ be the free $\mathbb{Z}[G]$-module on $G^r$ (so, it has as a $\mathbb{Z}[G]$-basis ...
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 ...