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

learn more… | top users | synonyms

1
vote
1answer
57 views

Differential forms as functionals on curves

Please give me a reference to a book or lecture notes where the following stuff is studied. Let $M$ be a Riemann surface with boundary $\partial M$ (but not necessarily, any smooth $n$-dimensional ...
2
votes
0answers
50 views

Definition of the relative de-Rham cohomology and its generalization

Let $M$ be a smooth manifold and $N$ be its smooth submanifold. We say that two closed forms $\omega_1$ and $\omega_2 \in \Lambda^k(M)$ are equivalent if their difference is an exact form from ...
1
vote
1answer
79 views

Cohomological ($p$-)dimension of a pro-$p$ group

I have a question concerning the cohomological dimension and $p$-dimension of a pro-$p$-group. Let's first recall the definitions of that The cohomological dimension $cd \ G$ of a pro-finite group ...
1
vote
1answer
75 views

simple question about cohomology group

Let's consider compact 4-manifold $M^{4}$ and point $P \in M$. Then (use Mayer-Vietoris) inclusion $i\colon M\setminus P \to M$ induce isomorphism $i^{*}\colon H^2(M) \to H^2(M\setminus P)$. Let's ...
1
vote
0answers
47 views

Relative de Rahm cohomology computation for two disjoint circles embedded in R^2

Consider a submanifold $Y$ of $\mathbb{R}^2$ formed by two disjoint embedded copies of $S^1.$ Compute $H^{\bullet}_{dR}(\mathbb{R}^2,Y).$ In this case the long exact sequence splits, and we can ...
7
votes
1answer
86 views

Finite generation of Tate cohomology groups

Let $G$ be a finite group, and let $F$ be a complete resolution for $G$. In other words, $F$ is an acyclic chain complex of projective $\mathbb{Z}G$-modules together with a map ...
1
vote
1answer
55 views

An exact homology sequence associated with a principal SO(n) bundle

Suppose $P$ is a principal $SO(n)$ bundle, X is its base space. Why is there an exact sequence in homology groups $$ 0 \to H^1(X;\mathbb{Z}_2) \to H^1(P;\mathbb{Z}_2) \to H^1(SO(n);\mathbb{Z}_2)\to ...
3
votes
1answer
91 views

Cech cohomology and cohomology of a category : a cluster of questions.

I apologize in advance : what follows is a bit of a mess. Also, I think it might be a big tautology, but i don't see it yet. My question is about the rapport of Cech cohomology and cohomology of a ...
1
vote
0answers
30 views

Weight space for a finite-dimensional $\mathfrak{g}-$module $M$.

Let $\mathfrak{g}$ a semisimple Lie algebra, $M$ finite-dimensional $\mathfrak{g}-$module, $\mu\in\mathfrak{h}^*_{\mathbb{Z}}$ and $s_i$ simple reflection such that ...
2
votes
0answers
37 views

Do the cyclic or Hochschild homologies satisfy the addition axiom of Eilenberg Steenrod?

Do the cyclic or Hochschild homologies satisfy the addition axiom of ES? If so please provide a reference or proof (reference is preferable).
8
votes
0answers
97 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 ...
2
votes
0answers
31 views

What is Kadison's process about cocycles?

My teacher told me the Kadison's process(may be not this ward, it is just my translation ) can make a 2-cocycle turn to be a cocycle(i.e.,derivation). But I can not find it in the internet. Thanks a ...
2
votes
1answer
304 views

First proof of Poincaré Lemma

I know that a way of proving Poincare lemma is to use the homotopy invariance and contractibility of the Euclidean space. Is there is a way of doing it directly (without using the contractibility of ...
1
vote
1answer
287 views

The Poincare Lemma for Compactly Supported Cohomology

I´m reading the proof of The Poincare Lemma for Compactly Supported Cohomology there is a part in the proof that said in the text book Bott and Tu: $d \pi_{\ast} = \pi_{\ast} d$ in other words, ...
1
vote
0answers
64 views

Easy characterization of Cohomology in an Abelian Category

It should be quite an easy question and probably there's also a certain degree of intrinsic silliness in it, but still... Let $\mathcal{C}$ be an abelian category and let $C(\mathcal{C})$ be the ...
3
votes
0answers
112 views

Functors that are the homology of a chain complex

Is there an a priori reason why the singular homology and cohomology groups of a space should be computable as the homology of chain complexes? Certainly you can express any family of functors (say, ...
0
votes
1answer
106 views

Surfaces of genus g

The problem: give maps $f:\Sigma_{g}\longrightarrow\Sigma_{h}$ not homotopic to a constant map with $0<g<h$. Any idea would be helpful.
3
votes
0answers
62 views

Applications of Microfunctions

Can anyone suggest good (a) uses/applications or (b) construction of micro-functions (introduced by Mikio Sato in 1971) in analysis? I am trying to understand the subject better. Suggestions of ...
8
votes
2answers
101 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. ...
3
votes
1answer
79 views

Extensions of $\mathbb{Z}_n$ by $\mathbb{Z}$

Given that $H^2(\mathbb{Z}_n,\mathbb{Z})=\mathbb{Z}_n$, it follows that up to equivalence there should be $n$ extensions of $\mathbb{Z}_n$ by $\mathbb{Z}$, one for each cohomology class. I'd like to ...
0
votes
0answers
43 views

First cohomology of a Galois group with finite base field

Let $l/k$ be a (may be infinite) galois extension with galois group $G$ and $k$ a finite field with size $q$. Also $k$ and $l$ are given the discrete topology. $G$ is given the Krull topology. Then ...
7
votes
1answer
132 views

Computing the action of $S_3$ on $H^n(\mathbb{Z}_3,\mathbb{Z})$

Let $G=S_3$ and let $H$ be the Sylow $3$-subgroup in $G$. If $\mathbb{Z}$ is the trivial module, then it can be shown that $$H^n(H,\mathbb{Z})=\begin{cases}\mathbb{Z}&n=0\\0&n\text{ ...
0
votes
1answer
73 views

Non abelian $H^1(G,A)$ problem.

Let $G,A$ be groups. We do not assume that $A$ is abelian. For $f,g\in Z^1(G,A)$, we write $f\backsim g$ if there is an $a\in A$ such that $g(x)=a^{-1}f(x)\ ^xa$ (we use the pre-exponential notation ...
7
votes
1answer
112 views

Strange case of Serre's duality

$\newcommand{\O}{\mathcal{O}}$ Let $X$ be a smooth projective curve and $D$ and effective divisor on it. The normal bundle of $D$ is defined as $$ \O_D(D)\; = \; \O_x(D)\;\otimes_{\O_X}\, \O_D$$ where ...
2
votes
1answer
52 views

confused, Universal Coefficient Theorem (cohomology)

This is bad, but I was applying the UCT to a small complex and didn't seem to work. Namely the chain complex $0 \rightarrow \mathbb{Z} \rightarrow \mathbb{Z} \rightarrow 0$ where the nonzero map is, ...
6
votes
1answer
427 views

Long exact sequence for cohomology with compact supports

Related to my previous question here. Let $X$ be a topological space and let $H_c^{\bullet}(X)$ denote its singular cohomology with compact supports (rational coefficients). Let $U$ be an open subset ...
3
votes
0answers
75 views

Tangent space of a moduli space.

Let $X$ be a compact Riemann surface with genus $2$ and $M^2$ the moduli space of stable principal $SL(2)$-bundles of rank $r$. We know that $M^2$ is a complex projective variety of dimention ...
3
votes
1answer
367 views

Understanding cohomology with compact support

I am trying to understand the definition of (singular) cohomology with compact supports. My understanding of singular cohomology goes like this. Let $X$ be a topological space. Define the singular ...
1
vote
1answer
113 views

cohomology of Eilenberg-Maclane space

In line 5, Page 394 of Allen Hatcher's book Algebraic Topology, it is claimed that $H^n(K(G,n);G)=Hom(H_n(K(G,n),\mathbb{Z});G)$ for any abelian group $G$. How to get it? I have tried but cannot ...
2
votes
1answer
45 views

Cohomology of volume forms

If g and h are Riemannian metrics on the same manifold, say both of volume 1, then it follows (I guess from Poincaré duality) that their volume forms dvol_g and dvol_h are cohomologous. Question: is ...
0
votes
1answer
30 views

References on “relative Lie groups”

I'm trying to read Deligne's Formes modulaires et représentations $\ell$-adiques. In section 2, he briefly goes over a number of facts about (complex-analytic) elliptic curves in a relative setting. I ...
0
votes
0answers
25 views

Hit problem and $\left( \mathbb{F}_2 \otimes_{A} P_6 \right)_{10}$

I try to determine the $\left(\mathbb{F}_2 \otimes_{A} P_6 \right)_{10}$ as a $\mathbb{F}_2$- vector space, in which $P_6$ is polynomial algebra $\mathbb{F}_2[x_1,x_2,\dots,x_6]$ and $A$ is Steenrod ...
5
votes
2answers
74 views

Show that $\dim H^0(\mathbb{P}^n, \mathcal{O}_{\mathbb{P}^n}(m)) = {n + m \choose n}$ if $m \geq 0$, and $0$ otherwise.

Show that $\dim H^0(\mathbb{P}^n, \mathcal{O}_{\mathbb{P}^n}(m)) = {n + m \choose n}$ if $m \geq 0$, and $0$ if $m < 0$. This statement came up in an algebraic geometry text with no explanation ...
4
votes
1answer
100 views

The degree of every smooth map $\mathbb{R}^n \to \mathbb{R}^n$ is one…

Let $\varphi : M^n \to N^n$ be a proper smooth map between two connected smooth manifolds. Then $\varphi$ induces a linear map $\varphi^* : H_c^n(N) \simeq \mathbb{R} \to H_c^n(M) \simeq \mathbb{R}$ ...
18
votes
1answer
258 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 ...
0
votes
0answers
57 views

Exact sequence and Tor functor.

Say $M$ is an $R$-module and $\operatorname{gld}(R)=n$, i.e. global dimension of $R$ is n. Is then $\operatorname{Tor}_i^{R}(M,N)=0$ for any $i>n$ and $M,N$ any $R$-module? Is it possible to ...
2
votes
0answers
58 views

Relationship between hyperalgebra (algebra of distributions) of an affine group scheme to its cohomology

Let G be an affine group scheme, and Dist(G) its hyperalgebra. I am wondering what is the relationship between Dist(G) and G interms of Cohomology? Is there a cohomology theory for Dist(G), if so ...
4
votes
2answers
98 views

Cohomology and Global Sections

For a topological space X, $ \ H^0 (X, \Bbb Z)$ tells you about the connected components of $X$. For a sheaf $\mathcal O_X$ on $X$, $H^0 (X, \mathcal O_X)$ is usually written to refer to global ...
2
votes
1answer
95 views

Rational spectra

I keep reading the term "rational (ring-)spectrum" but can't find a definition. My original motivation for researching this was to understand some basic examples of complex oriented cohomology ...
5
votes
0answers
94 views

Motivation?: Lie algebra and algebraic group Cohomology

This is just an a-priori question to get a motivational heuristic idea: If an algebraic group G (more generally, G an affine group scheme), is connected over an algebraically closed base-field k. ...
3
votes
1answer
27 views

Identity in cohomology

Let $N^{4k+1}$ be a compact oriented manifold with boundary $i:M^{4k} \hookrightarrow N$. Suppose $c \in H^{4k}(N,A)$ for some abelian group $A$. I have to prove that $ \langle i^*(c), [M] \rangle =0 ...
4
votes
0answers
61 views

Cohomology of $\mathcal O(k)$

I am reading a paper in which it is claimed that $H^1(\mathcal O(-k),\mathcal O)=0$, where $k\geqslant 1$. Moreover, the argument also requires that $H^2(\mathcal O(-k),\mathcal O)=0$. Here ...
1
vote
1answer
87 views

induced map between cohomology groups of real projective spaces

Let $i: \mathbb{R}P^{n-1}\hookrightarrow \mathbb{R}P^n$. Then $i$ induces isomorphisms $i^*: H^k(\mathbb{R}P^n;\mathbb{Z}_2)\longrightarrow H^k(\mathbb{R}P^{n-1};\mathbb{Z}_2)$ for $0\leq k\leq n-2$. ...
4
votes
1answer
53 views

Tensoring a flasque resolution by a line bundle give s a flasque resolution

I had an argument explained to me the other day and I didn't quite understand one of the steps. Here's my best reconstruction: Let $\mathscr{F}$ be a quasi-coherent sheaf, and $\mathscr{L}$ a ...
7
votes
1answer
192 views

A basic (?) question about Tate twists in étale cohomology

I have a basic question about the meaning of Tate twists in étale cohomology. I want the understand a statement of the form $$H^1(U,\Lambda) \cong \Lambda(-1)$$ in which $U$ is the spectrum of a ...
2
votes
0answers
137 views

A corollary of Grothendieck’s Finiteness Theorem

Well-known Theorem: Grothendieck’s Finiteness Theorem. Assume that $R$ is a homomorphic image of a regular (commutative Noetherian) ring. Let $\mathfrak a$ be an ideal of $R$, and let $M$ be a ...
8
votes
0answers
174 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 ...
2
votes
0answers
95 views

Poincare duality on non closed manifolds

For proving the Poincare duality $H_{\mathrm{dR},p}\cong H_\mathrm{dR}^{m-p}$ one can use the bilinear form $B:H_\mathrm{dR}^p\times H_\mathrm{dR}^{m-p}\to\mathbb{R}$ given by ...
4
votes
1answer
232 views

Request for companion of Mariano Suárez-Alvarez's proof.

Mariano Suárez-Alvarez's answer to Cohomology of projective plane seems very interesting. However, there are three pieces I could not stitch up for one of his proofs. Wonder if someone may help? ...
2
votes
0answers
26 views

Retracts from product spaces to wedge spaces

I want to show that $S^n \vee S^m$ is not a retract of $S^n \times S^m$, using the cup product. I am trying to do this as a special case of a more general theorem where $X \vee Y$ are arbitrary ...