# Tagged Questions

**7**

votes

**0**answers

156 views

### What's the Hochschild homology of the category of constructible sheaves?

Let $X$ be a manifold. Does the Hochschild homology/cohomology of the category of constructible sheaves on $X$ have a more familiar name?

**0**

votes

**1**answer

187 views

### Birkhoff decomposition vanishing of the Chern numbers

Birkhoff decomposition vanishing of the Chern numbers of the holomorphic line bundles of the Birkhoff-Grothendieck decomposition, is some statement I read off in One of Connes papers. Without going ...

**3**

votes

**1**answer

250 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 ...

**3**

votes

**1**answer

177 views

### Euler Characteristic of Coverings via Sheaf Theory

Let $X$ be a nice space (compact $CW$-complex or triangulated space, compact manifold, whatever works),
$f:Y\to X$ be a finite covering of degree $n$, and $\chi(X)$ be the euler characteristic.
By the ...

**4**

votes

**1**answer

233 views

### Holomorphic logarithmic De Rham complex

Let $X$ be a complex variety of dimension $n$ and $D$ a smooth hypersurface.
Let $\Omega_X(logD)^*$ be the holomorphic logarithmic De Rham complex: $\omega\in \Omega_X(logD)^k$ is a form of degree ...

**9**

votes

**1**answer

381 views

### Sheaves on Contractible Analytic Spaces

Let $(X,\mathcal{O}_X)$ be a contractible complex analytic space. Suppose that $\mathcal{F}$ is a coherent sheaf of $\mathcal{O}_X$-modules. Can we invoke the fact that $X$ is contractible to ...

**5**

votes

**2**answers

315 views

### Is the site of (smooth) manifolds hypercomplete?

By site of manifolds Man, I mean the category of manifolds (maybe submanifolds to obtain a small category) with continuous maps between them. A Grothendieck topology is given by open covers. Actually, ...

**4**

votes

**0**answers

133 views

### Homotopy-theoretic measure of operations on sheaves failing to be sheaves

Here's something I've been wondering about for a few weeks:
Consider a topological space $X$ and a sheaf of rings $\mathscr O_X$ on $X$. Suppose $\mathscr{F}$ and $\mathscr{G}$ are $\mathscr O_X$ ...

**8**

votes

**1**answer

521 views

### When does the sheaf cohomology of a topological space vanish?

The question is in the title. A more precise formulation is:
Let $X$ be a topological space. When does $H^i(X,F) = 0$ for all $i > 0$ and all abelian sheaves $F$ on $X$?
The obvious example is a ...

**6**

votes

**1**answer

509 views

### Hypercohomology of a complex via Cech cohomology

Let $X$ be a reasonable topological space. If $\mathcal{F}$ is a sheaf of abelian groups then Cech cohomology gives us a method to compute the cohomology groups $H^p(X, \mathcal{F})$ - the main input ...

**7**

votes

**4**answers

826 views

### Coboundaries and Gluing in Cech Cohomology - Intuition?

I'm trying to develop an intuition for Cech cohomology geometrically, but am currently failing. A lot of people seem to say that the groups $H^n$ measure obstructions to gluing local sections to get ...

**19**

votes

**0**answers

371 views

### Why are quasitopological spaces needed in sheaf theoretic approaches to the h-principle?

Recently I have been learning more about the h-principle and in particular the methods of "continuous sheaves". In many treatments of this I see people using "quasi-topological spaces" and I am trying ...

**6**

votes

**1**answer

257 views

### Are constructible derived categories invariant up to weak homotopy equivalence?

Let $X$ and $Y$ be two topological spaces and $R$ be commutative ring. Let $D_c^b(X, R)$ and $D_c^b(Y,R)$ be their respective bounded derived categories of constructible sheaves of $R$-modules. I ...

**1**

vote

**1**answer

295 views

### Leray Spectral Sequence

Let $f:X\to Y$ be a smooth map between paracompact differential manifolds $X$ and $Y$.
Let $U$ be an open and dense subset of $Y$. For any $y\in U$, let $f^{-1}(y)=F$
be a generic fiber that is a ...

**1**

vote

**0**answers

66 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 ...

**2**

votes

**1**answer

357 views

### system of local coefficients on X, locally constant sheaves and orientation sheaves

Hi,
I try to understand the orientation sheaves. When searching it in the google, i meet new areas such as local coefficient system and locally constant sheaves. I realize that any system of local ...

**0**

votes

**1**answer

383 views

### Spectral sequences in Hypercohomology of sheaves (For a complex of acyclic sheaves) - Follow-up to previous question

Alright, this is a follow-up to my previous question (Spectral sequences in Hypercohomology of sheaves), sorry I took so long to reply. Let $X$ be a topological space, let $F^\bullet$ be a cochain ...

**8**

votes

**2**answers

613 views

### Example of a Sheaf (on the site of smooth manifolds) with Nontrivial Cohomology on $\mathbb{R}^n$?

Does such a sheaf of abelian groups exist? If not, is there a reference or a proof? Does such a sheaf of non-abelian groups exist?
I realized recently that while I've taken it for granted that ...

**2**

votes

**1**answer

516 views

### Spectral sequences in Hypercohomology of sheaves

Alright, here I go again, don't know if I'm missing something here but let $X$ be a topological space and let $F^{\bullet}$ be a cochain complex of sheaves, I want to compute the cohomology of this ...

**1**

vote

**2**answers

393 views

### Hypercohomology of a complex of sheaves that might be acyclic (or might not)

Back again, check this out, let $X$ be a topological space and let $F^{\bullet}$ be a cochain complex of sheaves, I'm trying to compute the cohomology of the complex of global sections of the sheaves
...

**5**

votes

**3**answers

1k views

### Where can I find a proof of the de Rham-Weil theorem?

Where can I find a proof of the de Rham-Weil theorem?
Does anyone know?

**1**

vote

**1**answer

736 views

### Orientation Sheaf and Double Cover

The orientation sheaf of an $n$-manifold $M$ is $\mathcal{O}_n=Sheaf(U\mapsto H_n(M,M-U;\mathbb{Z}))$, with stalks given by $(\mathcal{O}_n)_x = lim H_n(M,M-U)=H_n(M,M-x)=\mathbb{Z}$ (the limit is ...

**4**

votes

**1**answer

324 views

### Derived Equivalence of Sheaves and Homotopy

This question loosely elaborates on an earlier question. It is pretty silly, but I'd like to hear some authoritative answers.
Recall that if $f:S^{\bullet}\to T^{\bullet}$ is a quasi-isomorphism of ...

**2**

votes

**1**answer

481 views

### Does one need to sheafify when defining the inverse image of a sheaf with respect to an embedding?

This seems to be a rather simple (stupid?:)) question; yet I was not able to find an answer quickly.
For a morphism $f:X\to Y$ of schemes (or topological spaces) and an (etale or topological) sheaf ...

**2**

votes

**0**answers

190 views

### Exercise concerning locally constant presheaves [closed]

Let $\mathscr{F}$ be a presheaf of abelian groups on some topological space $X$. We say that $\mathscr{F}$ is locally constant if there exists an open cover $\mathcal{U}$ of $X$ (i.e. ...

**7**

votes

**0**answers

274 views

### Dualizing complex of the product of two locally compact spaces

Hello!
In the setting of locally compact Hausdorff spaces, I would like to understand the relation between the exterior product ${\mathbb D}_X\boxtimes{\mathbb D}_Y$ of the dualizing complexes of two ...

**2**

votes

**2**answers

2k views

### On a proof of the existence of tubular neighborhoods.

Studying analysis on manifolds, I have found, in the proof of the existence of tubular neighborhoods, a reference to theorem 3.1.2 in "Topologie algebrique et theorie des faisceaux" of Godement.
...

**1**

vote

**2**answers

414 views

### Why is this a local constant sheaf

If a group $G$ acts on a topological space $M$, and a representation of $G$ on a vector space $V$, why $M \times_G V$ is a local constant sheaf over $M/G$?

**7**

votes

**0**answers

324 views

### Applications of sheaf theory to the computation of invariants of LS-category type

I would like to know if sheaf theory can be applied to a particular class of questions in topology.
The Schwarz genus (also known as sectional category) of a continuous map $p\colon\thinspace E\to ...

**3**

votes

**1**answer

1k views

### Grothendieck spectral sequence and Mayer-Vietoris sequence

Suppose $U'\cup U''=X$ is an open cover $U$ of a topological space $X$ and $F$ is a sheaf on $X$ with values in abelian groups. There is a special instance of the Grothendieck spectral sequence ...

**3**

votes

**0**answers

203 views

### Descent of singular cohomology

When proving that singular cohomology of an appropriate space $X$ equals sheaf cohomology of $X$ with "values" (does one say that?) in the sheaf $\mathbb{Z}_X$ of locally constant functions, the ...

**6**

votes

**2**answers

2k views

### Sheaf cohomology question

For a topological space $X$ and a sheaf of abelian groups $F$ on it sheaf cohomology $H^n(X,F)$ is defined.
Singular cohomology of $X$ can be expressed as sheaf cohomology if $X$ is locally ...

**11**

votes

**2**answers

2k views

### De Rham decomposition theorem, generalisations and good references

De Rham decomposition theorem states that every simply-connected Riemannian manifold $M$
that admits complementary sub-bundles $T'(M)$ and $T''(M)$ of its tangent bundle parallel with respect to the ...

**5**

votes

**2**answers

490 views

### The equivalence of cateogry of equivariant sheaves on principal bundle and category of sheaves on base space.

Let $\pi:P\mapsto B$ is a $G$-principal bundle, which means $G$ acts on $P$ freely and $\pi$ is a locally trivial fibration. Here is a well-known theorem:
THeorem: The inverse image functor $\pi^*$ ...

**7**

votes

**2**answers

820 views

### Is there a description of sheaf cohomology in algebraic-topological terms?

Is there a description of of sheaf cohomology for the sheaf of sections of a continuous function in terms of common constructions in Algebraic Topology?
In more detail: Any sheaf on a space X can be ...

**13**

votes

**4**answers

831 views

### Cohomology of a sheaf of functions locally constant along a foliation

Take a smooth manifold $M^n$ with a smooth foliation $F$. Consider the sheaf $\cal F$ of $C^{\infty}$ functions on $M^n$, locally constant along the foliation $F$. What is known about Chech cohomology ...

**21**

votes

**2**answers

974 views

### Loop Spaces as Generalized Smooth spaces or as Infinite dimensional Manifolds?

There are two ways to define smooth mapping spaces and I want to know how they compare?
Let's take the concrete special case of free loops spaces. I think this is the most studied example so will ...

**14**

votes

**4**answers

703 views

### Equivalence of ordered and unordered cech cohomology.

Given a topological space X and a finite cover X = $\cup X_i$, one can define Cech cohomology of a sheaf of abelian groups F with respect to the cover $\{X_i\}$ in two different ways:
(Ordered): ...

**19**

votes

**4**answers

3k views

### What (if anything) happened to Intersection Homology?

In the early 1990's, Gil Kalai introduced me to a very interesting generalization of homology theory called intersection homology, which existed for like 10 years back then I believe. Defined ...

**52**

votes

**8**answers

4k views

### equivalence of Grothendieck-style versus Cech-style sheaf cohomology

Given a topological space $X$, we can define the sheaf cohomology of $X$ in
I. the Grothendieck style (as the right derived functor of the global sections functor $\Gamma(X,-)$)
or
II. the Čech ...