# Tagged Questions

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

11 views

### The first Chern class of projective line $\mathbb{CP}^1$

I am studying the Chern class using by some textbooks and lecture notes. One day, I found an example of the first Chern class of $\mathbb{CP}^1$. Let $\xi$ be a tautological line bundle of ...
20 views

### cohomology homomorphism induced by classifying map [on hold]

(1). Prove that there exists a principal $Sp(1)(\cong S^3)$-bundle over $\mathbb{C}P^\infty$, denoted as $Sp(1)\to E\to \mathbb{C}P^\infty$, such that $E\simeq S^2$. (2). The universal bundle ...
14 views

### homomorphism between cohomology induced by the multiplication of an H-space

Define the product on $\mathbb{C}P^\infty$ in the following way: \begin{eqnarray*} \phi:\mathbb{C}P\overset{\Delta}\longrightarrow(\mathbb{C}P^\infty)^k\overset{\mu}\longrightarrow ...
17 views

16 views

### 1-forms as a direct sum

Let us define the spaces $C_0, C_1$ and $C_2$ of differential $0,1,2$ forms respectively on the sphere $S^2.$ Is it true that $C_1$ is the direct sum of $d(C_0) \oplus \delta^* (C_2)$? I think this ...
85 views

### Euler characteristic, genus and cohomology: a deep connection?

For a smooth projective curve $V$ over the complex numbers, the algebraic genus, defined as the dimension of the linear system $L(\omega)$, where $\omega$ is the canonical divisor, coincides with the ...
22 views

### Examples spectral sequence

I have to make a talk about spectral sequences, so I'd like to present some concrete examples of computation, after the general definition. I'd like to present three examples of spectral sequences: ...
58 views

### Cohomology groups of coherent sheaves for very small and very big twists.

Let $\mathcal{F}$ be nonzero coherent sheaf over the projective space $\mathbb{P}_k^n$. The Serre vanishing Theorem says that $h^i \mathcal{F}(d)=0$ for $i>0$ and $d\gg 0$. I am wondering if it is ...
32 views

46 views

### maps between spheres, torus and projective plane [closed]

How to solve these questions by direct and valid argument? Various methods are wanted. Thanks.
39 views

### homology and cohomology with coefficients of ring and field [closed]

(1). Let $R$ be a ring. Let $X$ be a topological space. Then $H^n(X;R)$ is a module over $R$. Also $H_n(X;R)$ is a module over $R$.Is this statement correct? (2). Let $F$ be a field. Let $X$ be a ...
146 views

### Thom–Gysin long exact sequence

I have read about the following exact sequence of cohomology: Let $V$ be an algebraic variety over $\mathbb{C}$. If $U\subset V$ is an open subvariety, then there is a long exact sequence for ...
44 views

### Reference request for equality of torsion of H1 and H2

I have heard that for a surface $X$ (algebraic? smooth? compact?) the torsion part of $H_1(X,\mathbb{Z})$ is the same as that of $H_2(X,\mathbb{Z})$. Please could you give me a correct statement? I ...
18 views

### examples of k-invariants of spectra

The homotopy groups of commonly used topological spectra (like KO, S, MO, MSO, etc) are easy to find in literature, even appearing on Wikipedia's List of Cohomology Theories; however, I have had some ...
19 views

### Cohomology of intersection of hyperplanes

let $X = H_1 \cap ... \cap H_d$ be a compact submanifold of $\mathbb{P}_N$ where the $H_i$ are hyperplanes. I want to compute $H^q(X, \mathcal{O}_{\mathbb{P}_N}(m)|X)$. I am pretty unexperienced in ...
26 views

### The generator of compact cohomology of punctured plane

Can anyone give detailed derivation of the generator of compact cohomology of $H^1_c (R^2-\{0\}$). (It is homotopic to a circle so it is isomorphic to $R$ but I want computation of its generator, ...
33 views

### Poincare dual of a point

Why is the closed Poincare dual of a point in $R^n$ trivial but the compact dual is a "bump"? Please provide very detailed answer.
992 views

### Translation Request - Grothendieck's Tohoku Paper

I've been learning sheaf cohomology, and was interested in reading Grothendieck's Tohoku paper. However, I don't read French. I've done a semi-extensive google search, and the majority of links end ...
22 views

### cohomology of unordered configuration spaces of sphere

Let $F(X,n)$ be the configuration space of order $n$. Let $F(X,n)/\Sigma_n$ be the unordered configuration space of order $n$. What is $H^*(F(S^2,n)/\Sigma_n;\mathbb{Z}_2)$? I did not find the answer ...
3 views

### Let ${\Phi \in H^n(E, E - B; \mathbb{Z}/2)},$ restrict to $E$, and pullback to $B$, where $B \subset E$.

I am reading about characteristic classes, and I came upon this statement. Let ${\Phi \in H^n(E, E - B; \mathbb{Z}/2)},$ restrict to $E$, and pullback to $B$, where $B \subset E$. Can someone ...
88 views

### Exact sequences, mostly linear algebra and notation confusion.

Problem: Let $0 \to A^0\stackrel{d^0}{\to} A^1 \stackrel{d^1}{\to} \dots \stackrel{d^{n-1}}{\to} A^n \to 0$ be a chain complex and assume each $A^i$ is finite-dimensional. Prove that the sequence ...
100 views

### Abelian category without enough injectives

What is an example of an abelian category that does not have enough injectives? An example must exist, but I haven't been able to find one. If possible, a brief explanation of why the abelian ...
27 views

### Twisted cohomology as sections of bundle of Eilenberg-Maclane spaces

Let $X$ a space, and $E$ an multiplicative cohomology theory represented by a ring spectrum $K$, i.e. $E^\bullet(X)=[X,K]$. Also let $A$ be a local system of abelian groups. Cohomology with local ...
Let $X/\mathbb C$ be a smooth projective variety. Suppose it is smoothly embedded in $\mathbf P^n$ as the zero locus of an ideal generated by homogeneous polynomials $f_1, f_2, \dots, f_r$ in $n+1$ ...