All Questions
Tagged with sheaves or sheaf-theory
979 questions
1
vote
0
answers
508
views
Equivariant Sheaves, Local system
Let $(G,m)$ be a group scheme unipotent, and $L$ a local system of rank 1 on $G$ such that:
$m^*(L) \simeq L \boxtimes L $.
Then why is $L$ an equivariant sheaf on $G$ with the action the ...
- 335
1
vote
3
answers
845
views
Higher cohomology of sheaves on a projective space
Let $S\subset\mathbb{P}^n$ be a finite set of $s$ reduced points. Let $\mathcal{I}$ be the ideal sheaf of $S$ in $\mathbb{P}^n$. We consider the sheaf
$$\mathcal{F}_k:=\mathcal{O}_{\mathbb{P}^n}(kd)\...
user49214
2
votes
1
answer
593
views
Example for pullback of stable sheaf not stable
Suppose $C$ is a complete algebraic curve.
Define a coherent locally free sheaf $\mathcal{F}$ over $C$ to be stable if $\mu(\mathcal{E})<\mu(\mathcal{F})$ for any subsheaf $\mathcal{E}$, where $\...
user39380
1
vote
1
answer
705
views
Unique decomposition of locally free sheaf
Below let's work over coherent sheaves on a smooth projective algebraic curve.
We call a subsheaf $\mathcal{F'}$ of $\mathcal{F}$ saturated if it $\mathcal{F/F'}$ is locally free.
We call a locally ...
user39380
6
votes
2
answers
580
views
Associating a principal bundle to a torsor
In Introduction to the language of stacks and gerbes, Moerdijk defines a torsor to be a sheaf $\mathcal{S}$ on $X$ with a freely transitive left-action of a sheaf of groups $\mathcal{G}$, such that $...
- 2,227
8
votes
3
answers
643
views
Is there a name for a "rigid" sheaf?
Is there a name for the property of a sheaf $\mathcal F$ such that the restriction maps $\mathcal F(V) \to \mathcal F(U)$ are injective when $V$ is connected and $U$ is nonempty?
In other words, this ...
- 3,910
8
votes
0
answers
337
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?
- 8,723
2
votes
1
answer
572
views
what's the cohomological dimension of a Stein space?
I want to know the "cohomological dimension" of a Stein space.
I know that:
for $X$ differential manifold and for every sheaf $F$ of abelian
groups, I have $H_c^j(X,F)=H^j(X,F)=0$ for $j>...
- 21
24
votes
0
answers
918
views
The topologies for which a presheaf is a sheaf?
Given a set $S$, let $Top(S)$ denote the partially ordered set (poset) of topologies on $S$, ordered by fineness, so the discrete topology, $Disc(S)$, is maximal.
Suppose that $Q$ is a presheaf on $...
- 8,659
4
votes
1
answer
373
views
flat descent for perverse sheaves
Let $E \in D^{b}_{c}(X,\overline{\mathbb{Q}}_{l})$ where $X$ is a $k$ scheme of finite type for a field $k$.
Let $Y\rightarrow X$ a finite flat surjective morphism such that $f^{*}E$ is perverse and ...
- 3,472
1
vote
0
answers
91
views
Construction of a Hermitian metric on a locally free subsheaf which is not a subbundle
Assume $X$ is a smooth projective curve over $\mathbb{C}$ and let $\mathcal{E}$ be a locally free sheaf of rank 2 on $X$. We pick a closed point $x\in X$ and a surjection $f: \mathcal{E}\rightarrow k(...
- 251
5
votes
1
answer
351
views
Exercises around Diffeological Spaces or a Diffeologic Atlas Theory
Is there a Book or a bunch of exercises to get used to diffeological spaces from a practical point of view? It seems to me that papers on this topic are mostly concerned with their very good ...
- 2,074
0
votes
1
answer
374
views
Sheaffication using a $\lambda$-transfinite colimit
I asked this question on mathstack (long time ago), however I received no answers, so I'm trying it here. I don't know whether it's suitable for this site, anyway.
I was reading this article http://...
- 2,227
2
votes
0
answers
306
views
Cech cohomology.
Let us consider the scheme $X$ and the coherent sheaf $\cal F$ on it. We consider finitely many affine open covers $U_{\lambda}$ with $\lambda \in \Lambda$. When I calculate Cech cohomology with $U_{\...
- 181
0
votes
1
answer
788
views
Global to local for Ext groups and Sheaves
Let $X$ be a projective variety. The sheaf $\mathcal{E}xt^{1}(\Omega_{X},\mathcal{O}_{X})$ is supported on $Sing(X)$.
Now, there should be a theorem (perhaps by Schlessinger) that says that if $X$ ...
- 8,998
4
votes
2
answers
491
views
on the Zariski sheafification of Quillen's K-theory
Let $X$ be a smooth k-variety and denote by $K_n$ Quillen's K-theory sheaf, that is: the Zariski sheaf on $X$ associated to the presheaf $U \mapsto K_n(U)$.
The Bloch-Quillen formula says that $CH^n(...
- 43
5
votes
1
answer
1k
views
What is the connection between direct/inverse image of set maps and direct/inverse image functors of sheaves?
Given a function of sets $f:X\to Y$, one defines the direct image and inverse image maps:
$$
f_*:\mathcal{P}(X)\to\mathcal{P}(Y)
$$
$$
f^{-1}:\mathcal{P}(Y)\to\mathcal{P}(X)
$$
In the usual way.
...
- 2,027
4
votes
1
answer
263
views
Relating deformations of a scheme to deformations of its singular locus
Let $X$ be a normal scheme with quotient singularities and $Y\subset X$ its singular locus. The first order deformations of $X$ are parametrized by $\mathcal{E}xt^{1}(\Omega_{X},\mathcal{O}_{X})$. ...
- 8,998
0
votes
1
answer
351
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 ...
user39066
4
votes
0
answers
110
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....
- 41
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$...
- 7,609
1
vote
2
answers
3k
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{...
- 251
3
votes
0
answers
160
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 ...
- 1,595
3
votes
1
answer
378
views
Given an exact category, viewed as a site, do there exist non-additive sheaves?
Suppose given an exact category $\mathcal{C}$. The following question arises while proving the Gabriel-Quillen-Laumon embedding theorem following Laumon [1].
Laumon constructs an abelian category $\...
- 33
4
votes
1
answer
553
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,027
3
votes
1
answer
3k
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 ...
- 8,998
3
votes
0
answers
260
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_{...
- 7,527
2
votes
1
answer
293
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'$?
user19475
2
votes
1
answer
1k
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)\ ?$
- 21
4
votes
0
answers
261
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 ...
- 16.9k
1
vote
0
answers
178
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 ...
- 111
5
votes
1
answer
372
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 ...
- 53
3
votes
0
answers
152
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 ...
- 8,723
6
votes
2
answers
966
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}...
- 585
4
votes
3
answers
1k
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 ...
- 457
0
votes
0
answers
85
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 $\...
- 181
-1
votes
1
answer
259
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
1
vote
1
answer
143
views
Sheaves on the site of $\pi$-sets
Let $\pi$ be a group, and let $\mathcal{C}$ be the site whose underlying category is that of $\pi$-sets (with $\pi$-linear maps as morphisms). The covers are jointly surjective families of such $\pi$-...
- 10.7k
4
votes
1
answer
478
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 ...
- 2,554
4
votes
1
answer
893
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
1
answer
818
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 $...
- 31
13
votes
1
answer
894
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}$.
...
- 131
0
votes
0
answers
307
views
local systems, duals, cohomology
Let $U=\mathbb{P}^1-\{p_1, \ldots, p_n\}$ be a Zariski open subset of the projective line. Consider a rank $r$ local system of complex vector spaces $V$ on $U$ and assume that the monodromy ...
- 11
4
votes
1
answer
390
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 ...
- 3,184
10
votes
1
answer
777
views
Why is there no stack of $\ell$-adic sheaves on a curve?
One of the main players in the categorical geometric langlands correspondence is the moduli stack of rank n integrable connections on a complex curve. The reason for considering such objects is that ...
- 101
3
votes
1
answer
214
views
For which sites are all constant presheaves separated?
I'm intererested in open surjective geometric morphisms induced by fibrations of sites $S\to T$ a la Moerdijk, but as a warm-up, let's consider the case $S \to \ast$. In the case that $S$ is a poset $...
- 35.5k
0
votes
1
answer
307
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{...
- 3,396
4
votes
1
answer
515
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 ...
- 427
4
votes
1
answer
259
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$...
- 41
13
votes
1
answer
1k
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,...
- 4,920