Tagged Questions

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

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 ...
52 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 ...
30 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 ...
48 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 ...
34 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)
81 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 ...
42 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 ...
32 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 ...
402 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 ...
46 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 ...
33 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!
88 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 ...
238 views

42 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 ...
46 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 ...
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 ...
83 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 ...
57 views

Trivial Cohomology Group->Lower-Dimensional Homotopy?

Calculating the (de-Rham) cohomology of a tee connector (Picture), I got $H^0=R,H^1=R^2,H^2=0$. Furthermore, just from looking at it, I assume the tee connector is homotopic to a circle with an arc ...
59 views

52 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 ...
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 ...
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 ...