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

learn more… | top users | synonyms

65
votes
2answers
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 ...
41
votes
1answer
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 ...
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 ...
25
votes
0answers
350 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 ...
20
votes
1answer
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?
18
votes
1answer
250 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 ...
17
votes
1answer
479 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 ...
17
votes
2answers
234 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 ...
16
votes
3answers
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 ...
15
votes
3answers
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 ...
15
votes
2answers
683 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 ...
15
votes
1answer
526 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 ...
15
votes
1answer
346 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 ...
13
votes
1answer
692 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 ...
12
votes
3answers
663 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 ...
12
votes
2answers
261 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})$: ...
12
votes
1answer
379 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]$, ...
12
votes
0answers
288 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 ...
11
votes
1answer
268 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$ ...
11
votes
2answers
110 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 ...
11
votes
2answers
182 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 ...
11
votes
1answer
482 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 ...
10
votes
2answers
387 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 ...
10
votes
2answers
504 views

About the definition of Cech Cohomology

Let $X$ be a topological space with and open cover $\{U_i\}$ and let $\mathcal F$ be a sheaf of abelian groups on $X$. A $n$-cochain is a section $f_{i_0,\ldots,i_n}\in U_{i_0,\ldots,i_n}:= ...
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 $ ...
10
votes
3answers
813 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 ...
10
votes
2answers
379 views

Does every Poisson bracket on a commutative algebra come from a second-order deformation?

Let $A$ be a commutative algebra over a field $k$ (of characteristic not equal to $2$ to be safe). Recall that $f : A \otimes A \to A$ is a Hochschild $2$-cocycle if it satisfies $$f(ab, c) + f(a, b) ...
10
votes
1answer
325 views

Finite groups with periodic cohomology

I'm trying to understand Chapter 12, Section 11 in Cartan + Eilenberg's Homological Algebra, which concerns finite groups with periodic cohomology. Unfortunately I am jumping right to this section in ...
9
votes
3answers
795 views

Cohomology easier to compute (algebraic examples)

There is a previous post about motivating cohomology and it contains much of differential geometry examples, something I have just started and still have to figure out. It is said that one uses ...
9
votes
4answers
543 views

What do higher cohomologies mean concretely (in various cohomology theories)?

Superficially I think I understand the definitions of several cohomologies: (1) de Rham cohomology on smooth manifolds (I understand this can be probably extended to algebraic settings, but I haven't ...
9
votes
4answers
966 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 ...
9
votes
2answers
476 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 ...
9
votes
3answers
358 views

Turning cobordism into a cohomology theory

I've recently finished one semester in differential topology (with Milnor's Topology from the Differentiable Viewpoint) and my first semester of algebraic topology. I believe I understand Milnor's ...
9
votes
2answers
710 views

Calculating the cohomology with compact support of the open Möbius strip

I am having problems calculating the cohomology with compact support of the open Möbius strip (without the bounding edge). I am using the Mayer Vietoris sequence: U and V are two open subsets ...
9
votes
1answer
361 views

Étale cohomology of projective space

I have some very basic question about étale cohomology. Namely I would like to compute the étale cohomology of of the projective space over the algebraic closure of $\mathbb F_q$ along with its ...
8
votes
2answers
99 views

Cohomological definition of the Chow ring

Let $X$ be a smooth projective variety over a field $k$. One can define the Chow ring $A^\bullet(X)$ to be the free group generated by irreducible subvarieties, modulo rational equivalence. ...
8
votes
2answers
346 views

The cohomology group of a flasque (flabby) sheaf

This is Proposition 2.5 on page 208 of Hartshone's Algebraic Geometry: If $\mathcal F$ is a flasque sheaf on a topological space $X$, then $H^i(X, \mathcal F) = 0$ for all $i>0$. The proof ...
8
votes
1answer
67 views

Equality of rank for homology and cohomology groups via the universal coefficient theorem

I'm having trouble understanding a passage from the proof of Corollary 3.37 in Hatcher's Algebraic Topology, namely the fact that the universal coefficient theorem implies $$ ...
8
votes
1answer
583 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 ...
8
votes
1answer
221 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 ...
8
votes
1answer
122 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 ...
8
votes
0answers
167 views

Relative de Rham Cohomology is Homotopy Invariant

Suppose $ f:N\rightarrow M$ is a smooth map between two manifolds. Relative de Rham cohomology is defined through the complex $ \Omega^{q}(f)=\Omega^{q}(M)\oplus\Omega^{q-1}(N)$ with ...
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 ...
8
votes
0answers
167 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 ...
7
votes
2answers
708 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 ...
7
votes
3answers
233 views

What's the point of spectra?

I'm familiar with the definition of a spectrum, the one due to Adams, however, I'm not really sure why someone would want to define such a thing. I know they allow one to generalize homology and ...
7
votes
2answers
226 views

What is the motivation for defining both homogeneous and inhomogeneous cochains?

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 ...
7
votes
2answers
166 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?
7
votes
2answers
278 views

Manifold with 3 nondegenerate critical points

Suppose $M$ is a n-dimensional (compact) manifold and $f$ is a differentiable function with exactly three (non-degenerate) critical points. Then one can show, using Morse theory, that $M$ is ...
7
votes
1answer
821 views

References for calculating cohomology rings

I am struggling to calculate homology rings. Even for a simple space such as the sphere, it is easy to calculate the cohomology, but I find it much harder to find the ring structure. (This link gives ...