The sheaf-theory tag has no usage guidance.

**0**

votes

**1**answer

211 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

**0**answers

66 views

### Convolution of DQ-Modules

On page 92 of Deformation Quantization Modules Kashiwara and Schapira define two different convolution products for DQ-modules that differ by whether one uses $Rp_{13*}$ or $Rp_{13!}$ to push forward....

**3**

votes

**1**answer

311 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$...

**0**

votes

**2**answers

399 views

### Pullback of a constant sheaf

Let $\varphi:X\to Y$ be a surjective morphism of schemes which are connected and of finite type.
Let $A$ be an abelian group, $\mathscr{F}$ be the constant sheaf on $X$ with fibers $A$ and $\mathscr{...

**3**

votes

**0**answers

84 views

### Monodromy along strata of a pushforward

Work with complex varieties and constructible sheaves on the complex analytic site. All functors will be tacitly derived.
Let $X$ be a variety acted upon by a connected linear algebraic group. Let $X ...

**4**

votes

**1**answer

257 views

### Representability of a certain group scheme quotient

Let $k$ be a field. Suppose we have an exact sequence of $k$-group schemes (not finite-type)
$$
1\to H\to G\to K\to 1
$$
In other words, the sheaf quotient $G/H$ is representable by a $k$-group ...

**2**

votes

**1**answer

751 views

### Cohomology of tangent bundles

Let $X$ be a smooth scheme and $Z\subset X$ a smooth subscheme. Consider the blow-up
$$\pi:\widetilde{X}:=Bl_{Z}X\rightarrow X$$
of $X$ along $Z$.
What is the relation between the cohomology of the ...

**1**

vote

**0**answers

105 views

### Pull back of D-modules and Koszul resolution

Consider an holonomic D-module on a smooth algebraic variety $X$ over a field $k$ of caracteristic 0.
Let $i: Y \hookrightarrow X$ be a regular embedding.
$Li^* M = \mathcal{D}_{Y\to X} \otimes^L_{...

**1**

vote

**1**answer

154 views

### global sections of higher direct images of étale sheaves

Is there a useful criterion for when $\Gamma(X, R^qf_*F) = H^q(X',F)$, $f: X' \to X$, $F$ an étale sheaf on $X'$?

**1**

vote

**1**answer

698 views

### relation between sheaf of hom and hom of sheaf

If $\mathcal{M，N}$ are the associated sheaf of $A$ modules $M$ and $N$ on $X=Spec A,$ then what is $\mathcal{Hom_{O_X}(M,N)}$？Is that the associated sheaf of $Hom(M,N)\ ?$

**3**

votes

**0**answers

187 views

### Can one construct Freyd-Mitchell's embeddings that respect sheafifications?

For a certain presheaf $P$ with values in an abelian category $A$ satisfying AB5 and its sheafification $S$ (with respect to a small Grothendieck site) I would like to prove: $S(f):S(X)\to S(Y)$ is ...

**1**

vote

**0**answers

92 views

### Proving that two given functionally structured spaces are isomorphic

The relevant definitions are listed below. They can be found in Chapter VI, pages 297-298 of Bredon's Introduction to Compact Transformation Groups; and Section 2, Chapter II of Bredon's Topology and ...

**4**

votes

**1**answer

183 views

### Does the bundle of germs of functions $f:X\to \mathbb R$ have the same sheaf of sections as $X\times \mathbb R$?

I'm just starting to learn about sheaves, and I'm confused about a certain matter:
I've just learned, to my delight, that every sheaf $S$ on a space $X$ is the sheaf of sections of a particular ...

**2**

votes

**0**answers

124 views

### Reconstructing complexes of sheaves from their cohomology sheaves

If $R$ is an algebra over some field $k$, and $C$ is a complex of modules over $R$, then according to B. Keller's ``Introduction to A-infinity algebras and modules'', one can record the isomorphism ...

**6**

votes

**2**answers

505 views

### C*-algebras and quantum fields

One can represent a quantum system by the Weyl algebra (which is a C*-algebra). For instance, a 1 degree of freedom system can be represented by the algebra generated by $e^{\imath t Q}, e^{\imath s P}...

**2**

votes

**3**answers

628 views

### Why are (pre)sheaves defined as contravariant functors? Why not just reverse the arrows in the first place?

Why not just have arrows in the category of opens represent coverings instead of inclusions?
It seems to me like both conventions (whether presheaves are co/contra and which of the two dual orderings ...

**0**

votes

**0**answers

79 views

### $\mathcal{F}$— twists of Lie algebras

I am trying to figure out with Drindfel's Opers. Let us consider Lie group $G$ and $G$ -- bundle $\mathcal{F}$ on the smooth algebraic curve $Y$. Can anybody help me and clarify definition of the $\...

**-1**

votes

**1**answer

180 views

### Pure Quotient and pure sub-object

Let $\mathcal{C}$ be the category of modules over a ring.
Let also $\mathcal{F}$ be a class of objects in $\mathcal C$ closed under pure subobject (pure quotient) and direct limit. Is $\mathcal{F}$ ...

**3**

votes

**1**answer

224 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

263 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 $k$...

**3**

votes

**0**answers

237 views

### serre duality for sheaves of logarithmic differentials

This question is motivated by a comment of Donu Arapura here dimension of compact support cohomology
Let $D$ be a divisor with normal crossings on some smooth projective (complex algebraic) variety $...

**9**

votes

**1**answer

473 views

### What is the difference between internal presheaves and presheaves on a total space?

Suppose that $\mathbb{C}$ is a category with finite limits and that $\mathcal{D}$ is a category internal to $\mathbb{C}$. We can also represent $\mathcal{D}$ as a fibration $\mathbb{D}\to\mathbb{C}$.
...

**4**

votes

**1**answer

288 views

### Is every soft sheaf of countable $\mathbb Q$-vector spaces a direct sum of skyscraper sheaves?

Let $X$ be a finite-dimensional compact metrizable space (these properties might partially be irrelevant; on the other hand, the case $X=[0,1]$ is already interesting to me).
Let $\mathcal F$ be a ...

**0**

votes

**1**answer

176 views

### Cocontinuous functor out of the terminal category

Let $\mathcal{C}$ be a small finitely complete category equipped with a Grothendieck (pre)topology $\tau$. For $\ast$ the terminal category (one object, one morphism), denote by $i: \ast \to \mathcal{...

**1**

vote

**1**answer

215 views

### Sheaf cohomology in non-commutative setup

Let $X$ be a topological space and $A$ a sheaf of noncommutative associative algebras over a fixed field $k$. My questions are:
1) Does the category of modules over A have enough injective?
2) If we ...

**4**

votes

**1**answer

168 views

### $f^{-1}\mathcal I \cdot \mathcal O_X$ vs $f^\ast \mathcal I$

Let $X$ ad $Y$ be (noetherian) schemes and let $\mathcal I \subseteq \mathcal O_Y$ be a sheaf of ideals on $Y$. Let $f \colon X \to Y$ be a morphism of schemes. In general the sheaf $f^\ast \mathcal I$...

**11**

votes

**1**answer

630 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 conclude,...

**15**

votes

**1**answer

722 views

### Why do rigid spaces have “not enough points”?

In Brian Conrad's notes
here for the 2007 Arizona winter school, bottom of p18, he says that there is an affinoid rigid-analytic space and a sheaf of abelian groups on it equipped with a non-zero ...

**1**

vote

**2**answers

164 views

### Terminology: complex of sheaves with cohomology sheaves concentrated in degree zero

What is the proper terminology for a complex of sheaves $\mathcal F^\bullet$ whose homology sheaves $\mathcal H^i\mathcal F^\bullet$ vanish for $i\ne 0$?

**6**

votes

**2**answers

424 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, ...

**5**

votes

**1**answer

498 views

### Reference request: sheaves on closed sets

I am faced with a context in which the most natural notion of a sheaf $\mathcal F$ is as a functor on the category of compact subsets of a (locally compact Hausdorff) space $X$. Specifically, I say a ...

**3**

votes

**1**answer

222 views

### Families of local rings coming from a locally ringed space

Let $X$ be a topological space. For every point $x \in X$ let $R_x$ be a local ring. Under what (necessary / sufficient / necessary and sufficient) conditions is there a sheaf ${\cal O}_X$ such that $(...

**4**

votes

**0**answers

152 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$ ...

**3**

votes

**0**answers

101 views

### How does the machinery of left-exact comonads generalize from sheaves to stacks?

Suppose that we have two Grothendieck sites, their associated sheaves $\mathcal{E}=\rm{Sh}(\bf{C},J)$ and $\mathcal{F}=\rm{Sh}(\bf{D},K)$ and a geometric surjection $f:\mathcal{E}\to\mathcal{F}$. This ...

**6**

votes

**1**answer

331 views

### Needless axiom for Grothendieck topologies?

Hi,
The first axiom for a Grothendieck (pre)topology on a category $C$ says that for every object $X\in C$, the family consisting of just the identity $1_X : X\to X$ should be a covering family.
Why ...

**8**

votes

**1**answer

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

**9**

votes

**1**answer

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

**6**

votes

**2**answers

416 views

### Are subfunctors of left exact functors also left exact?

Consider the direct image functor $f_*: Sh(X) \rightarrow Sh(Y)$, let $X$ and $Y$ be topological spaces, let $f: X \rightarrow Y$ be a continuous map, let $G \in Sh(X)$ be a sheaf. I was reading this ...

**9**

votes

**4**answers

1k 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 ...

**0**

votes

**1**answer

167 views

### Stability of $T_{\mathbb{P}^2}$ and $\Omega_{\mathbb{P}^2}$?

How can one prove that the tangent bundle $T_{\mathbb{P}^2}$ and its dual $\Omega_{\mathbb{P}^2}$ are stable vector bundles with respect to $\mathcal{O}_{\mathbb{P}^2}(1)$? Similarly, is it true that $...

**1**

vote

**0**answers

136 views

### on geometric Satake and functions

Let $G(F)/G(O)$ the affine grassmanian with $F=k((t))$ where $k$ is a finite field.
For $\lambda$ a dominant cocharacter, we have by Cartan decomposition the schubert strata $\overline{Gr^{\lambda}}$....

**21**

votes

**0**answers

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

**3**

votes

**3**answers

205 views

### Constants sheaves on an open subset

Let $X$ be a topological space and $U\subset X$ an open subset. Let's work in the category of sheaves of abelian groups on $X$. Consider the constant sheaf on $U$, $\mathbb{Z}_U$, given by $\mathbb{Z}...

**7**

votes

**0**answers

273 views

### Colimits of quasi-coherent sheaves on a ringed space

Recall from the stacks project that a sheaf of modules $F$ on a ringed space $X$ is called quasi-coherent if there is an open covering $\{U_i\}$ such that each $F|_{U_i}$ has a presentation, i.e. is ...

**1**

vote

**1**answer

531 views

### Does the Čech cohomology always yield long exact sequences from short ones?

Does the Čech cohomology always give rise to a long exact sequences given a short exact sequence of sheaves?
Clearly that cannot occur for sheaves on a paracomact (perhaps also Hausdorff, I'm not ...

**3**

votes

**1**answer

387 views

### Restricting a Soft Sheaf to an Open is again Soft?

Hi everyone! Answered to my satisfaction in the comments - thanks nosr and Jacob Bell! :)
Let $X$ be Hausdorff, locally compact, paracompact. Consider $\mathcal{F}$ a soft sheaf on $X$: as there are ...

**3**

votes

**0**answers

246 views

### Definition of derived category of a stack

In their book, Bernstein an Lunts define the equivariant derived category in several ways. One can be expressed as follows:
Let $X$ be a say complex variety with an action by an algebraic group $G$.
...

**15**

votes

**6**answers

1k views

### Understanding Adjointness of Sheaves in Algebraic Geometry

Pushforward and pullback are very basic operations in algebraic geometry, as is the adjointness between them. I worked out a very careful of adjointness of sheaves (below) when I was working out of ...

**6**

votes

**1**answer

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

**0**

votes

**1**answer

292 views

### Minimal Destabilizing Quotient

For a pure $d$-dimensional sheaf $E$ on a projective algebraic variety over a field $k$, one has the Harder-Narasimhan filtration $$0\subset E_1\subset E_2\subset...\subset E_{l-1}\subset E_l:=E,$$ ...