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

learn more… | top users | synonyms

0
votes
1answer
24 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
42 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
26 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
25 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 ...
1
vote
1answer
40 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
28 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
70 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 ...
0
votes
0answers
38 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 ...
1
vote
1answer
21 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
37 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$ ...
6
votes
0answers
228 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 = ...
0
votes
0answers
47 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 ...
0
votes
1answer
39 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)$
1
vote
1answer
32 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 ...
7
votes
1answer
137 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
1answer
49 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
26 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 ...
1
vote
0answers
49 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 ...
1
vote
1answer
37 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 ...
2
votes
1answer
43 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)$$ ...
2
votes
1answer
63 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
50 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
46 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
160 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 ...
3
votes
0answers
54 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
54 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
0answers
36 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 ...
1
vote
2answers
96 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: ...
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
44 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 ...
1
vote
1answer
33 views

Is $H^0(S^0;G)\simeq G\oplus G$ or $G$?

In the article on topospaces for the (co)homology of spheres, it says $H^0(S^n,G)\simeq H^n(S^n,G)\simeq G$. Is this true when $n=0$? I think not, for if we view $S^0$ as the union of two ...
0
votes
1answer
25 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 ...
0
votes
1answer
45 views

Why is $H^2(\mathbb{R}P^2,\mathbb{Z})\simeq\mathbb{Z}_2$?

Why is the second cohomology group of $X=\mathbb{R}P^2$ with $\mathbb{Z}$-coefficients $\mathbb{Z}_2$? We can put the usual $\Delta$-structure on $X$ with two vertices, three $1$-simplices, say $a$, ...
5
votes
2answers
58 views

history and/or motivation for cohomology in class field theory

I am currently learning (local) class field theory via group cohomology with Milne's notes. I have a number of questions about using group cohomology to prove the main statements of class field ...
2
votes
1answer
56 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
48 views

Cohomology of classifying spaces of exceptional Lie groups

Given an exceptional Lie group $G$ and maximal torus $T$ thereof, the inclusion $T \hookrightarrow G$ induces a map $BT \to BG$ of classifying spaces and a cohomological pullback $$H^*(BG) \cong ...
3
votes
1answer
55 views

On which groups can homomorphisms be defined subgroup-locally?

Let $G$ be a group and suppose that $G$ is the set-theoretic union of a collection $\mathcal U$ of subgroups. I will call such a collection a "covering" of $G$. Suppose that for each $L \in \mathcal ...
0
votes
0answers
36 views

Is this cohomology isomorphic to De Rham Cohomology?

Let $(M,g)$ be a Riemannian manifold. Put $d^{*}= *d*$ where $*$ is the Hodge $*$ operator. So $d^{*}\circ d^{*}=0$. Then it introduce a (c0)homology. What is a relation between this ...
0
votes
0answers
31 views

Book Suggestion - Complex algebraic surfaces

I am studying for an exam of algebraic geometry, in particular, I am dealing with ruled surfaces and numerical invariants, rational surfaces, Castelnuovo's Theorem and its application. I am reading ...
3
votes
0answers
60 views

De Rham cohomology of the pointed plane

i try to work out some examples for de Rham cohomology, but i have some problems: I want to figure out what $H^k(\mathbb{R}^2\setminus\{0\})$ is and want to generalize this to arbitrary finite points ...
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) ...
3
votes
0answers
44 views

When is a graded ring the cohomology ring of a CW-complex?

Let $A^*$ be a graded-commutative ring with $A^n = 0$ for sufficiently large $n$ and each $A^n$ finitely generated. When does there exist a finite CW-complex $X$ with $H^*(X) \cong A$ as graded rings? ...
1
vote
1answer
28 views

$H^1(X) = [X,\mathbb{T}]$?

This is a stupid question, but here goes. I have a compact Hausdorff space $X$, and I am talking about $[X,\mathbb{T}]$, the group of homotopy classes of maps $X \to \mathbb{T}$, where $\mathbb{T}$ ...
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)= ...
3
votes
0answers
57 views

De Rahm Cohomology of Complex Grassmannian

Since the complex Grassmannian $G_k(\mathbb{C}^n)\cong SU(n)/S(U(k)\times U(n-k))$ is connected and simply connected, the first two de Rahm cohomology groups are given by $$ ...
1
vote
0answers
22 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
101 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: ...
0
votes
0answers
31 views

Dimensions of the cohomology groups of certain complicated space

Let contruct the space $X$. We take the complex projective space $\mathbb{C}P^2$, pick two points $p_1, p_2 \in \mathbb{C}P^2$ and remove two small, disjoint, open $4$-balls $B_j$ centered at $p_j$. ...