The tag has no wiki summary.

learn more… | top users | synonyms

6
votes
1answer
317 views

Reference request: Book of topology from “Topos” point of view

Question: Is there any book of topology in the modern language of topos theory? I refer to the (systematic, formalist) study of the category of sheaves on a site or the study of topology in a ...
0
votes
0answers
146 views

Hermitian metric on $f_*(\Omega_{X/X_{can}}^{n-k})$

Let $X$ be an n- dimensional algebraic manifold . Suppose that its canonical line bundle $K_X$ is semi-positive and $0<k=Kod(X)<n $ . Let $f: X\to X_{can}\subset \mathbb CP^N$ Here $X_{can}$ ...
0
votes
1answer
108 views

Open subset of the moduli space of stable sheaves on a noetherian scheme

This is my question: Given a projective noetherian scheme $X$, the structural sheaf $\mathcal{O}_X$ is a coherent sheaf, so every locally free sheaf is coherent. This means that the family of stable ...
1
vote
0answers
68 views

Are the pullback functors of adjoint functors also adjoint?

Given adjoint functors $F: A \to B$, $G: B \to A$, if you then take their pullback functors $F^* : Set^B \to Set^A$ and $G^* : Set^A \to Set^B$ given by pre-composition, are these two also adjoint ...
4
votes
0answers
146 views

Atlas of a manifold as a Sheaf

--Hopefully this question does not dublicate another-- In this question Tom Goodwillie pointed out, that the 'atlas part' of the definition of a smooth manifold can be redefined in terms of sheaves. ...
9
votes
1answer
364 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 ...
4
votes
1answer
159 views

Hypercovers of sheaves in classical and quasi-categories

I am interested in relating the definition of hypercovers in the $\infty$-topos of sheaves on an $\infty$-Grothendieck site to the classical definition of hypercovers of presheaves on a Grothendieck ...
0
votes
0answers
117 views

Cohomology group vs sheaf of cohomology group

Suppose $F$ is a coherent sheaf on a smooth (algebraic or complex) variety $X$. Then we can consider the cohomology groups $$H^p(X,F)$$ for all $i$. Now, let we consider the sheaf ...
0
votes
0answers
57 views

the push forward of the differential idea of sheaf

This is about the differential idea of a sheaf as a vector bundle $E$ (not necessarily locally trivial) on a real manifold $M$ with a zero curvature connection $\nabla$. The zeroth cohomology is then ...
2
votes
0answers
45 views

Sheaves, colimits and closure

I am considering the sheaf topos $\mathbf{Sh}(\mathfrak{X})$ on a topological space $\mathfrak{X}$. Limits in this category are constructed pointwise, as in presheaves. Colimits, however, are not ...
13
votes
4answers
818 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 ...
4
votes
1answer
144 views

About the construction of the Universal Enveloping Lie Algebroid

Let $X$ be a reasonable smooth scheme over some base $S$. The tangent sheaf $T_X$ is a Lie algebroid, locally free as a $\mathcal{O}_X$ module, and its Universal Enveloping Lie Algebroid ...
1
vote
1answer
173 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. ...
6
votes
1answer
324 views

What information is lost in $X \to \mathrm{Sh}(X)$?

Given a topological space or site $X$. Construct $\mathrm{Sh}(X)$ - the sheaves on $X$ with values in $\mathrm{Set}$. Is it known what information is lost in this procedure? Thanks, Adrian.
11
votes
0answers
1k views

Idea of presheaf cohomology vs. sheaf cohomology

Let $X$ be a topological space and $U$ an open cover of $X$. In this thread Angelo explained beautifully how presheaf cohomology (Cech cohomology) relates to sheaf cohomology: The zeroth Cech ...
26
votes
8answers
2k views

When are there enough projective sheaves on a space X?

This question is being asked on behalf of a colleague of mine. Let X be a topological space. It is well known that the abelian category of sheaves on X has enough injectives: that is, every sheaf ...
0
votes
0answers
59 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 ...
12
votes
1answer
277 views

References regarding a connection between recursion theory and sheaves

In Manin's A Course in Mathematical Logic for Mathematicians, he defines (p.201) a structure $(\mathcal{E},R)$ given an enumerable set $E \subset (\mathbb{Z}^+)^n$ by: $\mathcal{E}$ is the set of ...
2
votes
1answer
117 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 ...
2
votes
1answer
293 views

Sequences of groups, exact not just in étale but also in the Zariski topology

Let $A=k[[x,y]]$, with say $k=\mathbb{C}$ and $X = \operatorname{Spec}(A)$. Let $B$ denote a free $A$-algebra of rank $e^2$; actually, we have $B=A[u,v]$ with $u^e=x$, $v^e=y$ and $uv = \xi_e vu$, ...
4
votes
1answer
192 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})$. ...
52
votes
8answers
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 ...
6
votes
3answers
306 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 ...
1
vote
1answer
126 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 ...
4
votes
1answer
122 views

Associating a principal bundle to a torsor

in arXiv:math/0212266, 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 $X =\bigcup \{ U \in ...
2
votes
0answers
204 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 ...
18
votes
0answers
542 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 ...
7
votes
0answers
151 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?
1
vote
1answer
117 views

what's the cohomological dimension of a Stein space?

I want to know the "cohomological dimension" of a Stein manifold. 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 ...
3
votes
1answer
163 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 ...
9
votes
1answer
379 views

When do sheaves which are constant along the fibers come from the base?

Assume we are given a map $f: X \rightarrow Y$ between topological spaces which is open, surjective and has (pathwise) connected fibers. Consider categories $\text{Sh}(X)$, $\text{Sh}(Y)$ of sheaves ...
5
votes
1answer
765 views

Natural morphism appearing in Grothendieck spectral sequence

Assume we are in the setting of the Grothendieck spectral sequence (Weibel, 5.8): $G : A \to B, F : B \to C$ are left exact functors such that $G$ sends injective objects to $F$-acyclic objects. Now ...
1
vote
0answers
49 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 ...
4
votes
1answer
188 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 ...
0
votes
1answer
133 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 ...
1
vote
0answers
356 views

Fine and acyclic sheaves on locales

Hey all. Here's the thing, so I have a measure space. According to Johnstone's 'Topos theory' (page 213), let $(X,\Sigma,\mu)$ be a measure space, we can define a Grothendieck pretopology on it (and ...
6
votes
1answer
255 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 ...
8
votes
1answer
515 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 ...
0
votes
1answer
207 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$ ...
11
votes
2answers
2k views

Wikipedia's definition of 'locally free sheaf'

Let $R$ be a, say, noetherian ring and $M$ an $R$-module. The Wikipedia article on 'locally free sheaf' tells me that the following two statements are equivalent: The module $M$ is locally free ...
20
votes
3answers
1k views

Sheaf Description of G-Bundles

Now, among algebraic geometers, at least, it is well known that there is an equivalence between locally free O_X-modules of rank n and vector bundles of rank n. So, equivalently, principal ...
28
votes
4answers
4k views

Is there a good way to think of vanishing cycles and nearby cycles?

Once in a while I run into literature that invokes vanishing cycle machinery with a cryptic sentence like, "this follows from a standard vanishing cycle argument." Is there a good way to look at ...
3
votes
1answer
461 views

How to compute cohomology groups of a closed subscheme Z of projective space, defined by a homogeneous polynomial of degree d?

Let $Z = \mathrm{Proj}\,k[x_{0},x_{1},\ldots,x_{r}]/f$ be a closed subscheme of degree $d$, i.e., $f$ is a homogeneous polynomial of degree $d$, and ...
2
votes
1answer
326 views

On morphisms to projective space arising from a linear system

Context: This question arose as I was reading the proof of Application 6.1 in Mumford's Abelian Varieties. However, I have extracted all of the relevant information below so this question should ...
0
votes
1answer
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
0answers
46 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 ...
3
votes
1answer
246 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 ...
4
votes
1answer
268 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 ...
4
votes
1answer
232 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 ...
0
votes
2answers
237 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 ...