Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
240 views

Cohomology of the complement of a subvariety

Let $X$ be a complex manifold, $Y\subset X$ a subvariety, and $U:=X\setminus Y$ of codimension $d$. It is well known that the restriction map $$ H^i(X,\mathbb Q)\to H^i(U,\mathbb Q) $$ is an ...
fgh's user avatar
  • 178
2 votes
1 answer
162 views

Pullback morphism of a hyperplane inclusion is zero in the derived category

Let $L \subset \mathbb{C}^n$ be a hyperplane and let $i:L \to \mathbb{C}^n$ be the inclusion. Since $i$ is proper, we have induced maps $i^*: H^k_c(\mathbb{C}^n) \to H^k_c(L)$, and these maps are zero ...
Eduardo de Lorenzo's user avatar
3 votes
1 answer
270 views

Čech-like cohomology with the “other nerve”

Let $X$ be a space and $\mathcal U$ a cover of $X$. Instead of Čech cohomology, I would like to take the following construction: let $$I= \{ \text{finite nonempty intersections of elements of }\,\...
Joshua Mundinger's user avatar
2 votes
1 answer
265 views

Formula for the Euler characteristic of a local system on $\mathbb{P}^1$

Let $X := \mathbb{P}^1$, $S\subset X$ a finite set of points, $U := X - S$, and $j : U\rightarrow X$ the inclusion. Let $F$ be a complex local system on $U$ of rank $r$, and let $F_0$ be a typical ...
stupid_question_bot's user avatar
1 vote
1 answer
454 views

Relationship between $H^1(X, \mathbb{T})$ and complex line bundles

Let $X$ be a compact metric space and consider the sheaf cohomology group $H^1(X, \mathbb{T})$. From a class in $H^1(X, \mathbb{T})$, I can get a principal $\mathbb{T}$-bundle over $X$ and from this, ...
Francine Laporte's user avatar
1 vote
1 answer
315 views

What is the hypercohomology of the push-forward of the intersection chain complex of an open cone to its closure?

Let $X = \left(L \times [0, 1]\right) / \left(L \times \{0\}\right)$ be the closed cone over a closed smooth $d$-dimensional manifold $L^{d}$. Let $i \colon Y \hookrightarrow X$ denote the inclusion ...
Rahmpilz's user avatar
  • 165
9 votes
4 answers
3k views

Is there a (satisfying) proof that cellular cohomology is isomorphic to simplicial cohomology that doesn't use relative cohomlogy?

That singular and de Rham cohomologies of a smooth manifold are isomorphic has two proofs that I know of. The classical one uses Stokes' theorem to give the isomorphism explicitly. The second proof ...
Makhalan Duff's user avatar
5 votes
2 answers
331 views

Sheaf cohomology on non paracompact topological spaces

I have some confusion on the subject of sheaf cohomology on non-paracompact topological spaces, i hope you can help me. My reference is Godement's book "Topologie algebrique et theorie dex faisceaux"....
User28341's user avatar
  • 609
4 votes
1 answer
601 views

Explicit examples presheaves associated to higher direct images which fail to be sheaves

So I would like to have a few simple examples where the presheaf associated to higher direct image of sheaf fails to be sheaf. So I'm looking for two (natural and simple) topological spaces $X$ and $Y$...
Hugo Chapdelaine's user avatar
1 vote
0 answers
101 views

How can one compute the cohomology of $i'^*C$, for $i':\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\setminus \{0\} $?

For an (etale or 'topological', constructible bounded) complex of sheaves $C$ on $X'=\mathbb{A}^{N}\setminus \{0\} $, $i'$ being the embedding $\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\...
Mikhail Bondarko's user avatar
4 votes
0 answers
362 views

Weil Kostant Integrality Result as Stated by Brylisnki

I'm reading through Brylinski's "Loop Spaces, Characteristic Classes and Geometric Quantization" and I am stuck on a piece of Theorem 2.2.15, which asserts that If $K$ is a closed complex-valued 2-...
cheyne's user avatar
  • 1,611