3
votes
1answer
142 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
votes
0answers
214 views

Van den Bergh Duality, Serre Daulity and Poincaré duality [closed]

All three duality theorems: Van den Bergh Duality, Serre Duality and Poincaré duality seem to be very similar, is there an explicit relationship between the three? For example can van den Bergh ...
-1
votes
0answers
70 views

Requirements on holomorphic embedding in terms of the associated line bundle

Consider a holomorphic embedding $f$ of a genus $g$ Riemann surface $\Sigma_g$ into a generic quintic $Q \subset \mathbb{CP}^4$ This is the same as giving the (very ample) line bundle over the curve ...
1
vote
1answer
190 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$ ...
6
votes
0answers
149 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})$. ...
0
votes
1answer
177 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
1answer
237 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 ...
0
votes
2answers
213 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 ...
3
votes
0answers
68 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
184 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
218 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
73 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} ...
1
vote
0answers
90 views

Relation between sheaf of limit and limit of sheaf [closed]

If ${M_i}$ is a inverse limit of $A$ modules, are there examples illustrating differences between associated sheaf of module ${inv.lim M_i}$ and $inv.lim \mathcal{M_i}$ ? And the same question for ...
1
vote
1answer
110 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'$?
2
votes
1answer
357 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)\ ?$
0
votes
0answers
118 views

usual tensor product of chain complexes of sheaves and flatness

Let $Sh(\mathcal{O}$ be the category of sheaves of ${\mathcal{O}}_X$-modules over a scheme $X$. Also let $Ch(R)$ be the category of chain complexes of (left) $R$-modules. We know that in both of ...
0
votes
0answers
74 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
161 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}$ ...
4
votes
1answer
226 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 ...
2
votes
0answers
168 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 ...
4
votes
1answer
261 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 ...
1
vote
1answer
148 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
132 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 ...
7
votes
1answer
231 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 ...
0
votes
0answers
119 views

What can be said about this morphism of sheaves

Let $X$ be topological space and $\cal F$ be a sheaf of modules over a sheaf of rings $\mathcal{O}$. One can consider an skyscraper functor $S(x,-): {\cal O}_{X,x}-{\rm Mod} \longrightarrow Sh(T)$ ...
3
votes
1answer
218 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
129 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$ ...
5
votes
1answer
371 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 ...
7
votes
4answers
749 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
166 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
100 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 ...
13
votes
6answers
799 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 ...
0
votes
1answer
232 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,$$ ...
2
votes
1answer
315 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 ...
1
vote
1answer
269 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
138 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 ...
0
votes
0answers
113 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
64 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
468 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 ...
1
vote
1answer
224 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
254 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
235 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
465 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 ...
3
votes
1answer
178 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 ...
2
votes
0answers
132 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 ...
7
votes
2answers
759 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
286 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 ...
15
votes
3answers
711 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 ...
7
votes
2answers
427 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 ...