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

learn more… | top users | synonyms

5
votes
1answer
115 views

Isomorphism in cohomology is an isomorphism in homology

Let $f:X \to Y$ be a continuous map between topological spaces and $R$ some coefficients. From the universal coefficient theorem for homology we immediatly get, that if $H_*(f,\mathbb{Z})$ is an ...
26
votes
0answers
419 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 ...
2
votes
0answers
35 views

Algebraic Variety compact cohomology and singular cohomology.

Given an algebraic variety $X$ defined over the complex numbers and its compact cohomology $H^i_c(X)$, under what conditions it is possible to compute its singular cohomology $H^i(X)$.
7
votes
0answers
76 views

Cohomology with coefficients in a commutative ring, how are the chain groups defined?

I have been studying a course in algebraic topology that follows Hatcher's textbook on the subject. I have some queries as to how certain things are defined. The first part of the text defines the ...
2
votes
0answers
35 views

Does additivity of (equivariant) cohomology hold at the algebra level?

The additivity property of many (co)homology theories is that if $X = \bigsqcup_{i \in I} X_i$ then $H^*(X) = \bigoplus_{i\in I} H^*(X_i)$. This is usually either an axiom of the theory, can be proven ...
0
votes
0answers
37 views

Uniqueness of the cohomological functor

This question is from the chapter 'Cohomology of Groups' by Atiyah and Wall in Cassels' and Frohlich's book 'Algebraic Number Theory'. Let $G$ be a group. Theorem 1 on page 95 says that there is a ...
4
votes
1answer
90 views

When does cohomology take pullbacks to pushouts?

I've encountered a simple situation where one has a pullback diagram of topological spaces and taking cohomology takes it into what I believe is a pushout diagram in the category of rings. I'm not ...
1
vote
1answer
32 views

A G-isomorphism of certain Hom groups

This question is from 'Cohomology of Groups' by Atiyah and Wall, p.95 of Cassels' and Frohlich's book 'Algebraic Number Theory'. Let $G$ be a group and $A={\rm Hom}_{\mathbb Z}(\mathbb Z[G],X)$ where ...
2
votes
0answers
48 views

Transgression homomorphism on cohomology

I have one confusion about the transgression homomorphism which I found in two different books. I am unable to show that they really are same. The first description of transgression homomorphism I ...
3
votes
1answer
75 views

Vanishing of higher direct images of a composition

In a paper I am studying we have the following situation. Let $S$ be the spectrum of a Dedekind domain, and let $X$, $Y$ and $Z$ be scheme of finite type over $S$, where $X$ and $Y$ are smooths and ...
1
vote
2answers
81 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 ...
0
votes
0answers
39 views

Book of Pullbacks and Pushouts

what books can I consult for properties of pullback and pushouts in algebraic topology? I need to understand the theory of homotopy in algebraic topology and I started to study pullbacks and push ...
2
votes
1answer
80 views

Sheaf cohomology of $\mathbb{P}^3$

Let $\mathbb{P}$ denote the projective space over $\mathbb{C}$. In some lecture notes I found the claim that $$ h^0(\mathbb{P}^3, \mathcal{O}(2)) = 10 $$ Do you know why this is the case? In ...
2
votes
0answers
32 views

map to product of eilenberg-maclane spaces

Given a space $X$, and an Eilenberg-MacLane space $K(G,n)$ (hereafter referred to as $K$), and two maps $f: X \to K$ and $g:X \to K$, let $f \times g:X \to K \times K$ map $x \in X$ to $(f(x),g(x))$. ...
0
votes
0answers
46 views

Intersection form and poincaré duality

Let $ M $ be a $2n$-dimensional compact connected oriented smooth manifold and let $A$, $B$ be two $n$-dimensional submanifolds that intersect transversally. Denote by $A \cdot B$ the sum of the ...
3
votes
1answer
47 views

Global sections of a twisting of a structure sheaf of a projective scheme

Let $X$ be a projective Noetherian scheme over $\mathbb{C}$. Is it true that $H^0(\mathcal{O}_X(-t))=0$ for any $t>0$?
3
votes
0answers
36 views

Group structure on pointed homotopy classes [X,S^1]

Let $[X,S^1]$ denote the set of pointed homotopy classes of maps $f:X\to S^1$. I need to show that, when $S^1$ is viewed as a subset of $\mathbb{C}$, complex multiplication induces a group structure ...
2
votes
1answer
64 views

Vanishing of $R^1f_*\mathcal O_X$

I am probably missing something obvious here, but none the less, here goes: Is the following statement (or perhaps some minor modification of it) true and if so, why: $R^1f_*\mathcal O_X = 0$ for a ...
4
votes
0answers
43 views

what can you say about the degree of $f:\mathbb{C}P^n \to \mathbb{C}P^n$

Any thoughts on this problem: If $M$ and $N$ are simply-connected, $n$-dimensional manifolds, then $H^n(M;\mathbb{Z}) \cong \mathbb{Z} \cong H^n(N;\mathbb{Z})$. A map $f:M \to N$ induces a map ...
5
votes
0answers
54 views

Making modular representation theory and cohomology 'compelling' and 'accesible'

I'm currently putting together an application for a dissertation completion fellowship offered through my university. A part of the application includes 500-1000 words describing my dissertation. ...
3
votes
2answers
138 views

de Rham cohomology of $\mathbb R^2 \setminus \mathbb Z^2 $

I am trying to calculate the cohomology of $X = \mathbb R^2 \setminus \lbrace \mathbb Z \times \mathbb Z \rbrace = \lbrace (x,y) \in \mathbb R^2 : x \text{ and } y \not \in \mathbb Z \rbrace.$ ...
2
votes
2answers
72 views

Cochains: terminology

Let a real, smooth manifold $M$ be given. Let $C_k(\mathbb Z, M$) denote the set of $k$-chains with integer coefficients, and let $C_k(\mathbb R, M)$ denote the set of $k$-chains with real ...
5
votes
0answers
95 views

Cohomology of covering space

Let $B$ be a base space and $E$ be a covering space of $B$ what is the relation between $H^2(B,\mathbb{Z})$ and $H^2(E,\mathbb{Z})$.?
4
votes
1answer
95 views

Duality in algebraic de Rham cohomology

I am trying to prove that the following is a short exact sequence $$ 0 \rightarrow H^0(X,\Omega_X) \rightarrow H^1_{\text {dR}}(X/k) \rightarrow H^1(X,\mathcal O_X) \rightarrow 0, $$ where $k$ is an ...
2
votes
0answers
67 views

Relation between algebraic hyper de Rham cohomology and hodge theory in positive characteristic

I have recently been looking at algebraic de Rham cohomology of curves in positive characteristic. In particular, I am looking at when the sequence $$0 \rightarrow H^0(X,\Omega_X) \rightarrow ...
3
votes
1answer
62 views

Intuition for chains and cochains

I'd like to get some "geometric," "physical," (or other form of) intuition for chains, cochains, and their relationship to integration on manifolds at an elementary level. In particular, it would be ...
2
votes
0answers
35 views

uniqueness of Hopf invariant

(Hopf invariant, page 427 of A. Hatcher's Algebrac Topology): Let $f: S^m\longrightarrow S^n$ with $m\geq n$. We can form a CW-complex $C_f$ by attaching a cell $e^{m+1}$ to $S^n$ via $f$. The ...
0
votes
1answer
76 views

understanding into algebraic terms difference between homology and cohomology

my previous question understand quotient group was related to understanding of quotient group,i dont need to know too much detailed in group theore,just some part of algebraic topology,especially ...
1
vote
0answers
36 views

On the group cohomology $H^1(SL_2(\mathbb{Z}), \mathcal{M}(\mathbb{C}))$

Inspired by an answer to What is the intuition between 1-cocycles (group cohomology)?, one may wonder what are the meromorphic functions $f \in \mathcal{M}(\mathbb{C})$ for which there exists a ...
1
vote
0answers
46 views

Chains and cochains: integer versus real coefficients

Let a real, smooth manifold $M$ be given. For each non-negative integer $k$, let a singular $k$-cube on $M$ be a continuous mapping $c:[0,1]\to M$. Let $C_k(M,\mathbb Z)$ denote the set of formal ...
1
vote
0answers
32 views

How to compute the chi-y genus for a non-Kahler manifold?

I am a physicist and first-time poster so I will do my best to make this question clear. Apologies in advance if it's trivial. I am trying to compute the chi-y genus of the "Goldstein-Prokushkin ...
2
votes
0answers
79 views

Cup Product Structure on the n-Torus

We know that The $k^{th}$ homology of the n-torus $(S^1)^n$ is generated by $\bigotimes_{i\in I}\lambda_i$ where $\lambda_i$ generates the first homology of the $i^{th}$ copy of $S^1$ and ...
0
votes
0answers
29 views

Morse cohomol. $\cong$ De Rham cohomol.

Are you aware of any short proofs for that fact (references)? And also for the fact that Morse cohomol. isomorphic to Singular cohomol. Also, a silly question: In the following thesis, he proves ...
1
vote
0answers
28 views

Why is it sufficient to prove for $H^0$

I am reading the corestriction homomorphism on cohomology. To prove a proposition (for example the composition of corestriction and restrcition is the multiplication by the index), it says that it is ...
1
vote
1answer
77 views

Apparent contradiction when using Mayer Vietoris

I am using the Mayer Vietoris sequence to compute the de Rham cohomology of a twice punctured plane. I computed it first by choosing my open cover to be $U=R^2-{pt}$ and $V=R^2-{pt}$ (the points are ...
0
votes
0answers
18 views

Show that $con_H^g$ is the identity map

Let $G$ be a group,$H$ a subgroup of $G$ and $A$ be $G$-module. Let $g \in G$ and $H^g=g^{-1}Hg$. Let $Z^2(G,A)$ be the set of $2$-cocycles. Given $f \in Z^2(H,A)$, let $f^g \in Z^2(H^g,A)$ be defined ...
1
vote
0answers
73 views

Derived push-forward of projective sheaf

Let S,X be schemes and $s \in S$ be a closed point. Let $D(X)$ be the derived category of complexes of sheaves. Let $$i_s: X \cong {s} \times X \hookrightarrow S \times X$$ be the natural embedding. ...
0
votes
2answers
107 views

Exercises - “From calculus to cohomology”

I am reading Madsen's book From calculus to cohomology and I've found it doesn't have any (explicit) exercises at the end of each section. I'd like to know a few books where I can find some problems ...
20
votes
1answer
1k views

Cohomology of projective plane

How I can compute cohomology de Rham of the projective plane $P^{2}(\mathbb{R})$ using Mayer vietoris or any other methods?
1
vote
0answers
40 views

Compactness and Poincare duality

I am reading Appendix B in Fulton's Young Tableaux about Borel-Moore homology. In particular, I'd like to understand why for compact manifolds the Borel-Moore homology groups are isomorphic to ...
1
vote
2answers
57 views

Inductive definition of group cohomology?

At the start of Atiyah and Wall's section on group cohomology (in the Cassels-Frhlich collection of Algebraic Number Theory notes) they, of course, define group cohomology (actually, a 'cohomological ...
3
votes
1answer
73 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
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
0answers
23 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
107 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
63 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
76 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 ...
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 ...
8
votes
3answers
243 views

What's the point of spectra?

I'm familiar with the definition of a spectrum, the one due to Adams, however, I'm not really sure why someone would want to define such a thing. I know they allow one to generalize homology and ...