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

learn more… | top users | synonyms

3
votes
1answer
71 views

Dolbeault cohomology and analytic regularity

Let $M$ be a complex analytic $n$-manifold. The Dolbeault cohomology complex is defined using a quotient space of smooth differential forms. My question is : would it make a big difference if we were ...
0
votes
0answers
21 views

The Existence of Pure Resolutions, Given a Degree Sequence?

I have been trying to understand the proof of the following theorem for the last month, I read some basics of sheaves theory and their cohomology, but still can't get the idea of this important ...
0
votes
0answers
47 views

When is $\mathcal{H}om$ functor exact in the category of presheaves

Let $C$ be a projective $\mathbb{C}$-scheme of pure dimension $1$. Suppose that $C$ is local complete intersection in $\mathbb{P}^3$. Let $C_1$ be an irreducible component of $C$, also of pure ...
0
votes
1answer
23 views

Why $\operatorname{im} \delta_{-1}$ contains two functions and $f\in C^{0}(X, \mathbb{F}_2)$ is the characteristic function?

In the paper, on page 21, line 15-20. It is said that $B^0=\operatorname{im} \delta_{-1}$ is the one dimensional space containing two functions and $f\in C^{0}(X, \mathbb{F}_2)$ is the characteristic ...
0
votes
1answer
105 views

cohomology groups of K(Zp x Zp, 1)

I have a question regarding the cohomology groups of the Eilenberg-MacLane space $K(\mathbb{Z}_p \times \mathbb{Z}_p,1)$. For $n$ > $2$, is there a way to show that $H^n(K(\mathbb{Z}_p \times ...
2
votes
1answer
62 views

Exact and closed forms with a vanishing Riemann tensor

I need a result to prove that an closed form is equally exact. I work under the assumption that the Riemann tensor vanishes everywhere on the manifold. (It is the context of general relativity.) The ...
0
votes
0answers
74 views

Exact sequences and spectral sequences

We have the well-known theorem for cohomological spectral sequences as follows: Theorem: Let $(E_r , d_r )$ be a third quadrant spectral sequence and let $E^{p,q}_2‎\Rightarrow‎ H^n(Tot(M)$. a) If ...
26
votes
0answers
361 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 ...
4
votes
1answer
61 views

Show that image of $res$ lies in $H^n(H,A)^{G/H}$

Let $G$ and $G^{\prime}$ be groups, $A$ and $A^{\prime}$ be $G$-module and $G^{\prime}$-module respectively, $C^n(G,A)$ be set of all maps from $G \times \cdots \times G$ ($n$ times) to $A$, $d_n ...
6
votes
1answer
184 views

Cup Product Structure on the Projective Space

I am reading about cup products and am stuck on this exercise in Hatcher (3.2.5). Taking as given that $H^*(\mathbb{R}P^\infty,\mathbb{Z}_2)\simeq\mathbb{Z}_2[\alpha]$, how does one show ...
2
votes
0answers
57 views

Hochschild Serre Spectral sequence

I am reading Hochschild Serre Spectral sequence from Group Theory I by M Suzuki Page 213. I will be thankful to you if you make me understand following points to me. Following is the sequence $0 ...
5
votes
0answers
63 views

lift of antiholomorphic involution of Riemann surface to its Jacobian's cohomology

Start from a connected closed Riemann surface $\Sigma_g,$ obtained as the (symmetric) covering of an open and/or unoriented surface $\Sigma,$ namely $\Sigma=\Sigma_g/\Omega,$ where $\Omega$ is an ...
4
votes
0answers
127 views

Top de Rham cohomology

I just realized that I never really understood why $H_{dR}^n(M, \mathbb{R}) = \mathbb{R}$ if $M$ is compact and $H_{dR}^n(M, \mathbb{R}) = \{0\}$ if $M$ is not compact (provided that's true?). I'm ...
7
votes
2answers
728 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 ...
3
votes
1answer
75 views

de Rham cohomology of $\mathbb{R}P^n$ via action by $SO(m+1)$

In lecture, my teacher proved the theorem that given a smooth $G$-action by a compact, connected Lie group on a manifold $M$, the de Rham cohomology of the $G$-invariant differential forms $H^p_G(M)$ ...
4
votes
0answers
36 views

Computing cohomology of product space with product-ring coefficients

I'm interested in the following problem: Let $X$ and $Y$ be finite CW complexes and $R$ and $S$ rings. Suppose you are given the cohomology rings $H^* (X; R)$ and $H^* (Y; S)$. Is there an easy way ...
0
votes
1answer
58 views

how can I show $H^1(g , Hom_C(g,M))=0$?

For a simple Lie algebra $g$ and a finite dimensional vector space $M$ with a trivial $g-$action, how can I show $H^1(g , Hom_C(g,M))=0$?
6
votes
0answers
137 views

Morita-invariance of Hochschild (co)homology.

Ok, I'm reading this paper by Christian Kassel on associative algebras and Hochschild (co)homology and on page 19 he says that Hochschild homology is Morita-invariant, by which he means that if $R$ ...
2
votes
1answer
285 views

Closed but not exact one-form on $S^2$

I would like to know whether there is any nice prescription to give an example of a closed but not exact one-form on $S^2$ (not the $3$-ball). I assume to take some points out of this surface, e.g. 3. ...
2
votes
1answer
64 views

About existence of Morse functions

Let's consider 4-manifold $M$, $\partial M = \partial M_1 + \partial M_2 = S^1 \times S^2 + \mathbb{RP}^3$. Is it true that there exist a Morse function $$f\colon M^4 \to [0,1],\quad f^{-1}(0) = ...
3
votes
1answer
112 views

Cohomology groups

I have some questions. 1) I tried to compute the cohomology group of $S^3$ with coefficients in $\mathbb{Z}/2\mathbb{Z}$ but I don't know if my result $$ H^k(S^3,\mathbb{Z}/2\mathbb{Z}) = ...
2
votes
0answers
61 views

Derived functors and coboundary operator

I understand that one can define the cohomology of an object $A$ in terms of a complex (non-zero in positive degrees) in some Abelian category, together with differentials, such that the composition ...
0
votes
0answers
26 views

Problem with cohomology (II)

Let $G$ be a group and $K$ be subgroup of $G$, Let $A$ be $G$ module. Let $X=\{X_n\}$ be free resolution of $\mathbb{Z}$. Let $\delta$ represents collectively the homomorphism induced in Hom sequence ...
0
votes
1answer
46 views

Problem with cohomology (I)

I have some doubts regarding cohomology. As title suggests I will ask these one by one. Let $G$ be a group and $A$ be $G$-module. Let $C^n(G,A)$ denote the set of all maps from $G \times \cdots ...
1
vote
0answers
24 views

Conservativeness on a graph

I'm trying to build a conservative vector field out of something smaller than $\mathbb{R}^2$ to understand how the "conservative" property of differences-of-scalar-fields leads to Green's theorem. (In ...
1
vote
2answers
94 views

Cohomology groups for the following pair $(X,A)$

Let $X=S^1\times D^2$, and let $A=\{(z^k,z)\mid z\in S^1\}\subset X$. Calculate the groups and homomorphisms in the cohomology of the exact sequence of the pair $(X,A)$. I know that theorically one ...
5
votes
0answers
61 views

Corestriction map in lie algebra cohomology

Given a lie algebra $\mathfrak{g}$ over a field $k$, we can define the cohomology groups of $\mathfrak{g}$ as follows: $$H^n(\mathfrak{g},k):=\mathrm{Ext}_{U(\mathfrak{g})}^n(k,k)$$ where ...
1
vote
0answers
26 views

Simple question on splitting of cohomology groups.

From the exponential exact sequence, I have $$ 0 \rightarrow H^2(X,\mathbb{C})/H^2(X,\mathbb{Z})\rightarrow H^2(X,\mathbb{C}^\times) \rightarrow Tor(H^3(X,\mathbb{Z})) \rightarrow 0. $$ for some ...
3
votes
1answer
85 views

Global section of pull-back of structure sheaf of projective scheme

Let $X$ be a smooth projective variety and $Z_1, Z_2$ two smooth projective divisors in $X$. Is it true that the natural restriction morphism from $H^0(\mathcal{O}_X(-Z_1-Z_2))$ to $H^0(\mathcal{O}_X ...
2
votes
1answer
78 views

Flag varieties and representation theory

I've recently been reading about flag varieties and their cohomology. I'm mainly interested in representation theory, and I've heard that flag varieties are important objects, especially in Lie ...
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
48 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
77 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
45 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
82 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
51 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
90 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
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 ...
2
votes
0answers
30 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
290 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
284 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
63 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
110 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
61 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
100 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 ...