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

learn more… | top users | synonyms

4
votes
2answers
933 views

Translation Request - Grothendieck's Tohoku Paper

I've been learning sheaf cohomology, and was interested in reading Grothendieck's Tohoku paper. However, I don't read French. I've done a semi-extensive google search, and the majority of links end ...
1
vote
0answers
18 views

cohomology of unordered configuration spaces of sphere

Let $F(X,n)$ be the configuration space of order $n$. Let $F(X,n)/\Sigma_n$ be the unordered configuration space of order $n$. What is $H^*(F(S^2,n)/\Sigma_n;\mathbb{Z}_2)$? I did not find the answer ...
0
votes
0answers
3 views

Let ${\Phi \in H^n(E, E - B; \mathbb{Z}/2)},$ restrict to $E$, and pullback to $B$, where $B \subset E$.

I am reading about characteristic classes, and I came upon this statement. Let ${\Phi \in H^n(E, E - B; \mathbb{Z}/2)},$ restrict to $E$, and pullback to $B$, where $B \subset E$. Can someone ...
0
votes
1answer
87 views

Exact sequences, mostly linear algebra and notation confusion.

Problem: Let $0 \to A^0\stackrel{d^0}{\to} A^1 \stackrel{d^1}{\to} \dots \stackrel{d^{n-1}}{\to} A^n \to 0 $ be a chain complex and assume each $A^i$ is finite-dimensional. Prove that the sequence ...
2
votes
2answers
86 views

Abelian category without enough injectives

What is an example of an abelian category that does not have enough injectives? An example must exist, but I haven't been able to find one. If possible, a brief explanation of why the abelian ...
0
votes
0answers
23 views

Twisted cohomology as sections of bundle of Eilenberg-Maclane spaces

Let $X$ a space, and $E$ an multiplicative cohomology theory represented by a ring spectrum $K$, i.e. $E^\bullet(X)=[X,K]$. Also let $A$ be a local system of abelian groups. Cohomology with local ...
5
votes
1answer
83 views

Bounding the cohomology of a smooth projective variety

Let $X/\mathbb C$ be a smooth projective variety. Suppose it is smoothly embedded in $\mathbf P^n$ as the zero locus of an ideal generated by homogeneous polynomials $f_1, f_2, \dots, f_r$ in $n+1$ ...
0
votes
0answers
34 views

example of use of (co)homology

I'm learning cohomology, but there is very few examples in the book I'm reading. I read the definition of Ext and Tor but don't know how to use these. Are there some examples of proposition such that ...
0
votes
0answers
37 views

To check d^2= 0 in the standard complex of Lie superalgebras.

For a Lie superalgebra $\mathfrak{g}$ and a $\mathfrak{g}$-module $V$ we can define the cohomology $H^i(\mathfrak{g}, V)$ with coeffiecient in $V$ to be the cohomology space of the following complex: ...
1
vote
1answer
42 views

Does the cup product on de Rham cohomology induce a nondegenerate bilinear form?

I have small issue I came across in the following. Suppose $M$ is a compact, oriented manifold of dimension $4n+2$. I want to prove that the de Rham cohomology group $H^{2n+1}(M)$ are even ...
6
votes
1answer
172 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 ...
1
vote
1answer
88 views

Spaces with different homotopy type

I want to show that the spaces $ S^1 \vee S^1 \vee S^2$ and $S^1 \times S^1 $ do not have the same homotopy type. I calculated their homologies and cohomologies and they turn out to be equal. So I ...
2
votes
2answers
80 views

No symplectic structure on $S^{2n},\ n>1$

I am trying to show that there is no symplectic structure on the $2n$-dimensional sphere $S^{2n}$, where $n>1$. I've tried following these steps: (a) Given a compact $2n$-dimensional symplectic ...
2
votes
0answers
59 views

cohomology ring of grassmannian

Let $G_k(\mathbb{R}^n)$ be the grassmannian consisting of all $k$-subspaces in $\mathbb{R}^n$. How to compute the cohomology ring $$H^*(G_k(\mathbb{R}^n);\mathbb{Z})$$ and what is the result?
1
vote
0answers
26 views

What maps of $k$-algebras $A\to B$ induce finite maps $\mathrm{Ext}_B^*(k,k)\to\mathrm{Ext}_A^*(k,k)$?

Let $k$ be an algebraically closed field, and let $A$ and $B$ be finitely generated $k$-algebras. A map $\varphi:A\to B$ of $k$-algebras induces a map ...
2
votes
2answers
51 views

Recommended textbooks for Hamiltonian group actions?

I am doing a project on Hamiltonian group actions on symplectic manifolds, and my supervisor was able to list several good books on Riemannian geometry to start me off, but he didn't know of any ...
2
votes
0answers
14 views

Connecting homomorphism in the Gysin sequence

Let $j : SO(2n) \to SO(2n+1)$ be the standard subgroup embedding and let $Bj : BSO(2n) \to BSO(2n+1)$ be the induced fibration obtained by factoring the universal $SO(2n+1)$-bundle by the subgroup ...
0
votes
1answer
45 views

Hard Lefschetz Thereom and the Cohomology of Flag Varieties

Let $G$ be a compact connected connected Lie group $G$, and $B$ a Borel subgroup containing a maximal torus. Moreover, let $F = G/B$ be the associated flag manifold. Now $F$ is a compact Kahler ...
0
votes
1answer
29 views

smash product of Eilenberg-Maclane spaces

Let $G$ be an abelian group and $K_n=K(G,n)$ be the Eilenberg-Maclane space. How to obtain $K_m\wedge K_n$ is $(m+n-1)$-connected? (Hatcher's book page 404)
4
votes
0answers
71 views

Showing Grothendieck's Vanishing Theorem provides a strict bound

The following result is due to Grothendieck: If $X$ is a noetherian topological space of dimension $n$, then for all $i>n$ and all sheaves of abelian groups $\mathscr{F}$ on $X$, we have ...
1
vote
0answers
34 views

Meyer-vietoris sequence to compute the compact cohomology for Möbius strip

How do you use Meyer-vietoris sequence to compute the compact cohomology for Möbius strip without the bounding edge? Please give detail math. In particular explain how inclusion map is used. On page ...
1
vote
0answers
30 views

Rearding notation of (Relatively)Projective/ (Relatively)Injective in Group cohomology

I am reading Group cohomology from Serre's Local Fields. I got confused with the notation he used... We know that : $A$ is Projective module if $Hom_R(A, \_)$ is exact $A$ is Injective module if ...
4
votes
3answers
375 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 ...
1
vote
1answer
45 views

Showing the image of $H^j(X;\mathbb C^\times)$ lies in the torsion subgroup of $H^{j+1}(X;\mathbb Z)$

Let $X$ be a (compact, if necessary) topological space. Then from the short exact sequence of constant sheaves $$ 0 \to \mathbb Z \to \mathbb C \to \mathbb C^\times \to 0 $$ we have a connecting ...
1
vote
1answer
32 views

2-forms on $S^2$

I've read that the group $H^2_{dR}(S^2)=\mathbb{R}$. If I'm not wrong, this implies that one can build closed 2-forms that are not exact. Can somebody show me an example, please? Thanks!
2
votes
1answer
74 views

Some questions about cellular homology and cohomology

Consider the CW structure on $\mathbb{RP}^n$ given by one cell in every dimension. This gives rise to the cellular complex $C_\bullet(\mathbb{RP}^n)$ which is generated by a single element $c_i$ for ...
6
votes
0answers
233 views

Another Algebraic de Rham Cohomology question…

NOTE: scroll down to read my latest edit first if you're reading this for the first time :) My aim is to calculate the de Rham cohomology of the variety $U = \text{Spec} \ A$, where: $$A = ...
1
vote
1answer
25 views

Supplement for reading Group cohomology from Serre Local Fields

I am doing a reading course on Group cohomology... I am supposed to start reading Group cohomology part in Serre's Local fields Book ...
2
votes
0answers
38 views

Kernels of induced maps in cohomology

Let $k$ be a field, and let $A$ and $B$ be two commutative $k$-algebras. Suppose $\varphi,\psi:A\to B$ are maps of $k$-algebras such that there are algebra automorphisms $G:A\to A$ and $F:B\to B$ ...
0
votes
0answers
50 views

Non-existance of a neutral element for the cup product

I know that if $X$ is a space and $R$ a commutative unitary ring, the cup product $$\smile : H^k(X; R) \times H^l(X;R) \rightarrow H^{k+l}(X;R)$$ has as a neutral element the cohomology class in ...
1
vote
1answer
37 views

Quantum Cohomology of Affine Toric Varieties

I would like to know whether quantum cohomology rings of affine toric varieties have been calculated, if this is possible. Does anyone have a relevant paper they could refer me to? I have seen it ...
0
votes
1answer
41 views

Equality in de Rham cohomology

Let $U_1,U_2,...,U_r$ be open sets in $\mathbb{R}^n$ such that $U_i\cap U_j =\emptyset$ for all $i \neq j$. Then prove, $H^k_{dR}(\bigcup_{i=1}^{r} U_i)=\bigoplus_{i=1}^{r} H^k_{dR} (U_i)$
7
votes
1answer
147 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
44 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
1answer
52 views

Simple example of $X$ with torsion in $H^1(X,\mathbb{Z})$?

Question: Is there a simple example of a space $X$ possessing torsion in its first integral cohomology group $H^1(X,\mathbb{Z})$? For reasonable spaces $X$, e.g. CW-complexes, one has ...
1
vote
0answers
24 views

Looking for Proof of the Order of a quandle cohomology group for an n-fold dihedral

Does anyone know where the proof that states that the order of a quandle cohomology group for an n-fold dihedral quandle is n is located? I have been told it can be found in one of ...
3
votes
1answer
28 views

Generalisation of cochain complexes and “curvature”

Someone has mentioned to me that generalizations of co-chain complexes and their cohomology have been studied, where instead of $d^2 = 0$ we have something like $d^2 \alpha = q \alpha $, which is ...
2
votes
1answer
67 views

The cohomology ring of the nerve of a category associated to a vector space

Let $n\ge2$, and let $V$ be an $n$-dimensional vector space over a field $k$. Consider the category $\mathcal{C}$ whose objects are nonzero, proper subspaces of $V$, and whose morphisms are ...
1
vote
0answers
56 views

Prove the Weyl's complete reducibility Theorem on finite-dimensional $\mathfrak{g}-modules$ by Kostant's $\mathfrak{n}$-cohomology result

I've met an exercise in Kumar's book ("Kac-Moody Groups, their Flag Varieties and Representation Theory", Chapter III, page 89, Ex. 3.2. E, (1) & (2)). But I have no idea about its proof. Any ...
2
votes
1answer
45 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)$$ ...
1
vote
1answer
43 views

First cohomology group of direct products

Let $p$ be a prime number and H be a finite group with $|H|=p-1$ and consider $\varphi: H \times Z_{p^k} \rightarrow Aut(Z_{p^k})$ as a non-trivial action of $H \times Z_{p^k}$ on $Z_{p^k}$ such that ...
1
vote
0answers
52 views

how is the jordan-holder theorem used in conjunction with short exact sequences to construct groups of certain order?

I am an undergraduate and have been asked to explain how simple groups can be used to construct groups of finite order. I started with reading about the extension problem in group theory and from ...
4
votes
1answer
55 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 ...
8
votes
1answer
172 views

Does de Rham theorem hold for manifolds with boundary?

I am following the J.Lee's book "Introduction to Smooth Manifolds", 2nd ed., page 480-486 to learn the de Rham theorem. It is proven on manifolds without boundary, which makes me curious about whether ...
4
votes
0answers
64 views

Geometric Interepretation of $\mathbb{G}_a$-torsors

Let's fixed a locally ringed space $(X,\mathcal{O}_X)$ (although, this should apply to any ringed topos, but I haven't thought that through). In fact, if it's helpful, you can assume that $X$ is a ...
3
votes
1answer
67 views

Cohomology Calculation

A couple of days ago I asked this Question on calculating hypercohomology I tried a similar example for $(\mathbb{C}^*)^2$, and I have a couple of questions. Here is my calculation: We have a ...
1
vote
2answers
138 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: ...
1
vote
0answers
44 views

Tensor product with an L on top

Looking at the definition of the Kunneth morphism in SGA4, XVII, 5.4.1.4, there is the notation $$Rf_*K \overset{\mathbb{L}}{\boxtimes}_{\mathcal{A}_0} Rg_* L \rightarrow Rh_*(K ...
4
votes
0answers
36 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 ...
1
vote
0answers
45 views

Relative cohomology of a vector space module non-zero vectors

I am trying to explicitly compute the relative cohomology groups $H^m(\mathbb R^n,\mathbb R^n_0;\mathbb Z)$, where $\mathbb R^n_0$ is all the non-zero vectors in $\mathbb R^n$. I think that the answer ...