The tag has no usage guidance.

learn more… | top users | synonyms

0
votes
1answer
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
0answers
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
1answer
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
2answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
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
3answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
2answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
4answers
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
1answer
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
0answers
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
0answers
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
3answers
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
0answers
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
1answer
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
1answer
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
0answers
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
6answers
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
1answer
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
1answer
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,$$ ...