The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
328 views

Sheaf Hom and the functor Hom

Let $\varepsilon: 0\to A\to B \to C\to 0$ be an exact sequence of ${\cal O}_X$-modules with $X$ a quasi-compact space. $\varepsilon$ is called pure if the induced sequence $0\rightarrow ...
0
votes
0answers
200 views

restriction and pullback of representable etale sheaf along closed immersion

I find that the restriction and pullback of representable etale sheaf along closed immersion are very confusing. I think they are different in general, I hope some experts can confirm my ...
1
vote
1answer
194 views

quotient of ind scheme

Is I consider an ind scheme such as $G(k((t)))$ for a reductive connected group over $k=\bar{k}$ I have the conjugacy action of $G(k[[t]])$. In what category can I make the quotient ...
1
vote
1answer
321 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 ...
0
votes
0answers
115 views

morphisms in the construction of the moduli space of curves by mumford

Hi fellow mathematicians, I'm just studying mumfords proof of the existence of a coarse modulispace for curves of genus $g$in his great GIT book. On page 102 (in the proof of proposition 5.2) he ...
1
vote
0answers
68 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 ...
3
votes
0answers
300 views

Does this property of subgroups (or sheaves of ideals) already have a name?

I'm constructing an example of a group which has a particular property on its subgroups, and the property looks like something that might have been considered before. Fix a group $G$ and a pair of ...
7
votes
2answers
532 views

Interpreting $f^*f_*$

For a morphism of schemes $f: X\rightarrow Y$, one often considers the function $f^*f_*$ on sheaves. For example, this appears in adjunction for sheaves of $\mathcal{O}_X$-modules, the projection ...
8
votes
1answer
371 views

Injective objects in Mor(Ab)

Consider the abelian (Grothendieck) category $\mathcal{C} := \mathrm{Fun}(\{0<1\},\mathrm{Ab}) = \mathrm{Mor}(\mathrm{Ab})$. Objects are morphisms $(A \to B)$ of abelian groups, morphisms are ...
2
votes
0answers
352 views

large cardinal tree properties as properties of sheaves

As follows from this talk Large Properties for Small Cardinals, p.7,p.4 http://www2.dm.unito.it/paginepersonali/viale/SEMINARS-TORINO/Fontanella-Torino-19.1.2012.pdf, the definitions of weakly compact ...
4
votes
0answers
198 views

Mixed structures on Hom spaces induced by mixed sheaves

Let $D^b_m(X)$ (resp $D^b(X)$) denote the derived category of mixed Hodge modules (resp. constructible sheaves) on a complex variety $X$. Let $rat\colon D^b_m(X)\to D^b(X)$ be the `forgetful' ...
4
votes
0answers
346 views

About an argument in `Koszul duality patterns in representation theory' by Beilinson-Ginzburg-Soergel.

I am trying to understand Proposition 3.4.2 in `Koszul duality patterns in representation theory' by Beilinson-Ginzburg-Soergel [BGS]. A copy of the paper can be found at ...
2
votes
1answer
297 views

Showing morphism of sheaves is zero

I work in derived category $D^b(X)$ of constructible sheaves on a reasonable space $X$. Let $j\colon U\to X$ be an open inclusion and $i\colon Y\to X$ the closed complement. Let $M,N\in D^b(X)$ and ...
1
vote
1answer
255 views

Inclusion of logarithmic de-Rham complex into differentials

Let $X$ be a complex manifold and $D$ a normal crossing divisor. Let $U = X - D$ and $j: U \rightarrow X$ the natural map. Voisen observes that there is a natural inclusion $$\Omega^k_X(\log D) ...
2
votes
1answer
326 views

Tensor product of sheaves separated?

Let $(X, O_X)$ be an arbitrary scheme and $\mathcal{F}$ a presheaf of $O_X$-modules. The presheaf $\mathcal{F}$ is said to be separated if the natural map to it's sheafification $\mathcal{F}^+$ is an ...
5
votes
2answers
264 views

cohomology and $j_!$

I have a projective variety $X$ and an open immersion $j : U \to X$. Say I have a sheaf, locally free in my case of interest, $\mathcal{S}$ on $U$. Is there any reasonable relationship between ...
7
votes
3answers
543 views

Representable Presheaf

I have a very quick question. Is there an easy example of a representable presheaf on a site that is not a sheaf? This certainly can't happen on a small FPPF site so I would expect a counterexample to ...
2
votes
1answer
276 views

smooth manifold vs. exceptional inverse image

A well-known theorem in topology says that for a smooth manifold $M$ of dimension $n$ the map $f: M \rightarrow point$ satisfies $$f^! \mathbf R = \mathbf R[n]$$ Here $\mathbf R$ is the constant ...
9
votes
1answer
386 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 ...
3
votes
1answer
214 views

Coverage, itself considered as a presheaf

A coverage $J$ on a category $C$ assigns to an object $U$ of $C$ a set of covering families $J(U)$. The covering families are required to be stable under pullback, which amounts to requiring that for ...
6
votes
2answers
468 views

Can one characterize those sheaves which have Hausdorff etale spaces?

Given a sheaf of sets $F$ on a space $X,$ under the equivalence of categories between etale spaces over $X$ and sheaves over $X,$ $F$ is associated to a local homeomorphism $$E\left(F\right) \to X$$ ...
2
votes
1answer
380 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 ...
8
votes
0answers
340 views

Are there simple conditions on a category C which guaranty that Ind(C) is a Grothendieck topos?

The category of finite sets is not a Grothendieck topos, but its Ind category Ind(Finite-Sets) = Sets is a Grothendieck topos. Similarly, given a pro-finite group G, the Grothendieck topos of discrete ...
2
votes
0answers
137 views

Does mapping cylinder category have enough injectives?

Let $A, B$ be two abelian categories, and $\tau : A \to B$ a left exact functor. We define a category $C$ as follows: objects: triples $(M, N, \varphi)$ where $M\in A, N\in B$ and $\varphi: N\to ...
1
vote
0answers
196 views

why is the local field Q_l not an etale sheaf over a scheme X?

I would like to know the reason why the local field Q_l is not an etale sheaf over a scheme X while its ring of integers Z_l can be regarded as a constant etale sheaf?
1
vote
2answers
417 views

Sheafification of a presheaf through the etale space

I have some problems to show that the following contruction defines a sheafification: Let $\mathcal F$ be a presheaf on $X$, and let $Et(\mathcal F)$ be the etale space associated to $\mathcal F$, ...
7
votes
2answers
813 views

Explaining Mukai-Fourier transforms physically

A core concept in mathematics, engineering, and physics is the Fourier Transform (FT) and its many variants (Generalized Fourier Series, Green's Function, Pontryagin duality). The basic algorithm is ...
0
votes
1answer
340 views

left adjoint to restriction functor

We know that for an immersion $j:U \to X$ the restriction functor $j^*:{\cal O}_X-mod \to {\cal O}_u-mod$ has a left adjoint $j!$. I am looking for some condition to deduce that $j!$ takes its values ...
1
vote
1answer
329 views

Descent of Morphisms of Sheaves

While reading Brylinski I am trying to understand the descent of morphisms of sheaves. In trying to form a new definition of a presheaf $A$ over a space $X$, we associate to each surjective local ...
3
votes
1answer
134 views

Which limits are preserved by prolongation of presheaves?

Let $F:C \to D$ be a full and faithful functor between small categories. Then we get a triple of adjoint functors $F_! \dashv F^* \dashv F_*$, with $$F_!:Set^{C^{op}} \to Set^{D^{op}}.$$ Notice that ...
17
votes
3answers
1k views

What are the benefits of viewing a sheaf from the “espace étalé” persepctive?

I learned the definition of a sheaf from Hartshorne---that is, as a (co-)functor from the categor of open sets of a topological space (with morphisms given by inclusions) to, say, the category of ...
8
votes
3answers
1k views

Sheafification - Why does twice suffice?

Hi, I'm currently reading through "Sheaves in Geometry and logic" by Mclane-Moerdijk and this one issue has been bugging me for a long time, which I hope you could help me resolve. It is known that ...
0
votes
1answer
440 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 ...
1
vote
1answer
304 views

Is this Sequences of Complexes of Sheaves Exact?

So in another question of mine there is a sequence of complexes of sheaves which the author asserts is exact. Let $K^{\bullet} = \underline{\mathbb{C}}^* \ \underrightarrow{d\ log} \ ...
8
votes
2answers
618 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
1answer
557 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
2answers
428 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 ...
2
votes
1answer
214 views

How does torsion behave under the direct image functor?

Assume we have a finite morphism $f: X\rightarrow Y$ of smooth projective varieties of degree $d$ over $k=\mathbb{C}$. Then $f_{*}$ induces an equivalence between the categoy of coherent $O_X$-modules ...
1
vote
2answers
268 views

Cohomology of a cochain complex of acyclic sheaves

Ok, sort of as a follow up to my previous question, let's recall the de Rham-Weil theorem: Let $F$ be a sheaf on a topological space $X$ and let $\mathcal{L}^{\bullet}$ be an acyclic resolution of ...
6
votes
3answers
2k 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?
18
votes
5answers
781 views

Sheafification via hypercovers

The sheafification of a presheaf on a site is often constructed in a two-step process $X^{++}$, where $X^+$ consists of matching families in $X$, is always separated, and is a sheaf if $X$ is ...
7
votes
2answers
973 views

Is Sheafification Functor Exact?

I know that sheafification functor from the category of abelian presheaves on $C$ to the category of abelian sheaves on $C$. Here, $C$ is a category with Grothendieck pretopology. My question is: ...
1
vote
1answer
236 views

Do Categorical Quotients Preserve Covering Maps?

Before asking a question, please let me write down settings. SETTINGS: Let $C$ be a category with fiber products and $B$ be a closed subcategory of $C$ (i.e. $B$ contains any isomorphism of $C$, and ...
7
votes
2answers
445 views

Is $H^i(X,F)$ finitely generated over $\Gamma(O_X)$ if $F$ is coherent?

Suppose $\mathcal{X}$ is a smooth quasi-projective variety over $\mathbb{C}$ (I apologize if these hypotheses have little to do with the question at hand). Let $\mathcal{F}$ be a coherent sheaf on ...
60
votes
5answers
4k views

Is there a sheaf theoretical characterization of a differentiable manifold?

I'm going through the crisis of being unhappy with the textbook definition of a differentiable manifold. I'm wondering whether there is a sheaf-theoretic approach which will make me happier. In a ...
5
votes
0answers
311 views

Do 'change of coefficients' functors for sheaves commute with the four functors (formalism)?

For a morphism $f$ of varieties over a field of characteristic $\neq l$ I can consider the functors $Rf_*$, $f^\ast$, $f_!$, and $f^!$ both for the corresponding derived categories of 'all' ...
1
vote
0answers
145 views

Soft sheaves on indiscrete paracompact spaces

Let $X$ be some space, I have basically 2 questions: 1 - Are sheaves on paracompact but not Hausdorff spaces acyclic? I've been doing some reading and some authors say that soft sheaves on ...
11
votes
3answers
654 views

Necessity of hypercovers for sheaf condition for simplicial sheaves

I'm trying to understand where the definition of simplicial sheaf on a space/site comes from. For a presheaf $F$ of sets on a topological space $X$, the sheaf condition can be viewed as saying that ...
2
votes
0answers
481 views

What essential property justifies the name “derivative”?

Most, if not all, of the notions of derivative that I have so far seen have the property that they are locally defined -- meaning that the derivative of a map-type object at a point depends on the map ...
0
votes
1answer
217 views

Direct limit of sheaves over paracompact spaces

Let $\mathcal F_i, i\in I$, be a directed family of sheaves of abelian groups on a paracompact Hausdorff space $X$. Let $\mathcal F=\varinjlim F_i$ denote the direct limit sheaf. Is it true that ...