The tag has no usage guidance.

learn more… | top users | synonyms

2
votes
1answer
184 views

Do finite flat sheaves define families of $0$-cycles?

Let $X$ be a smooth projective $\mathbb C$-variety and let $X^{(n)}$ denote the symmetric product $X^n/S_n$, parametrizing effective $0$-cycles of degree $n$ on $X$. Question. Let $S$ be a ...
2
votes
0answers
107 views

Double dual of ample sheaf

Let $X$ be a projective manifold. Then we can define ample sheaves on $X$, and many results of ample vector bundles still hold in this more general case (See K. Kubota, Ample sheaves). Now I was ...
5
votes
1answer
125 views

Is locally freeness of a sheaf (of fixed rank) around a divisor detectable from a first order neighbourhood?

Assume you have a smooth projective variety $X$ over the complex numbers, a smooth prime divisor $D$ on it, and a torsion free coherent sheaf $E$ on $X$ of rank $r>0$. Let $E|_{2D}:=E\otimes_{\...
2
votes
1answer
89 views

Torsion free sheaves in flat families

Let $R$ be a dvr, $X$ a flat, projective, integral, normal $R$-scheme such every closed fiber is again integral, normal. Let $F$ be a torsion-free coherent sheaf on $X$, flat over $R$. Is it true that ...
2
votes
1answer
86 views

On a morphism between reflexive sheaves

Let $X$ be a normal, projective variety and $U$ be the regular locus of $X$. Let $\mathcal{F},\mathcal{G}$ be reflexive sheaves on $X$ and $f:\mathcal{F} \to \mathcal{G}$ be a morphism. Suppose that ...
0
votes
0answers
108 views

Reflexive sheaf and flatness

Let $f:X \to Y$ be a proper, flat morphism of noetherian schemes. Let $\mathcal{F}$ be a coherent sheaf on $X$ non-zero on every fibers of $f$. Is it true that $\mathcal{F}^{\vee \vee}$ is going to be ...
0
votes
1answer
208 views

Euler characteristic on flat families of quasi-projective schemes

Let $A$ be a noetherian integral domain (may be regular). Let $\pi:X \to \mathrm{Spec}(A)$ be a flat morphism. Suppose that each fiber of $\pi$ are quasi-projective. Let $\mathcal{F}$ be a coherent ...
2
votes
0answers
114 views

Open nature of $\mathcal{H}om$ functor/upper semi-continuity of $\operatorname{Ext}^i$

Let $k$ be an algebraically closed field, $T$ a $k$-scheme (can assume connected) and $X$ a projective variety over $k$. Let $\mathcal{F}$ be a coherent (pure) sheaf on $X \times_k T$ flat over $T$. ...
15
votes
0answers
291 views

Is there an approach to Gabber's theorem from the singular support of coherent sheaves?

David BZ told me that the old theory of singular support of $D$-modules fits into the new theory of singular support of coherent sheaves, via the derived loop space. I wonder how to reconcile that ...
7
votes
1answer
276 views

When is a general sheaf (on the projective plane) globally generated?

Let $v$ be a chern character on $\mathbb P^2$ so that the moduli of sheaves of chern character $v$ is non-empty of the expected dimension. When is it true that the general sheaf in moduli is globally ...
0
votes
0answers
101 views

Chern classes of a family and Chern classes of a member

Let $X$ be a smooth projective variety over an algebraically closed field $k$ and $\mathcal E$ a family on torsion free coherent sheaves on $X$ parametrized by a smooth curve (over $k$) i.e. a ...
1
vote
1answer
154 views

Base change for non-flat coherent sheaves and affine maps

Let $A$ be a finitely generated $k$-algebra, where $k$ is a field, let $I$ be an ideal in $A$, let $M$ be a finitely generated $A/I$-module, and let $M^{\prime}$ denote $M$ considered as an $A$-module....
6
votes
2answers
297 views

Global sections of coherent sheaves on determinantal hypersurfaces in $\mathbb{P}^n$

Let us consider the short exact sequence of coherent sheaves on $\mathbb{P}^n$ $$0 \to \mathcal{O}_{\mathbb P^n}(-1)^{r} \stackrel{N}{\longrightarrow} \mathcal{O}_{\mathbb P^n}^{r} \longrightarrow \...
3
votes
0answers
89 views

Are there Coherent Cosheaves?

Is there a well-defined notion of coherent cosheaves in a similar sense to coherent sheaves? If so, what properties do they hold?
0
votes
0answers
95 views

Sheaf of Sections of Cone

Fulton's intersection theory book at Chapter 4 makes the following claim: If $\mathcal{E}$ is a locally free sheaf (on $X$), and $E:=Spec(Sym(\mathcal{E}))$ a total space of some cone/bundle on $X$, ...
5
votes
2answers
308 views

Is the realtive dualizing sheaf Cohen-Macaulay?

Let $k$ be an algebraically closed field and let $X$ be a finite type $k$-scheme that is Cohen-Macaulay and equidimensional. Under these assumptions there is a relative dualizing sheaf $\omega_{X/k}$ ...
7
votes
2answers
1k views

Does module Hom commute with tensor product in the second variable?

Let $A$ be a commutative ring, and $L, M, N$ be $A$-modules. Then is it true that $$\text{Hom}_A (L, M)\otimes_A N \cong \text{Hom}_A (L, M\otimes_A N)$$ as $A$-modules? (Note that there is a ...
2
votes
1answer
180 views

Support of 0-dimensional sheaf and its dual

Let $X$ be a smooth projective variety of dimension $d$ over $\mathbb C$ and let $E$ be a zero-dimensional coherent sheaf on $X$. The dual sheaf $E^D=\mathscr Ext_X^d(E,\omega_X)$ is again zero-...
3
votes
1answer
195 views

Is a Laskerian ring coherent

A commutative ring $R$ with identity is said to be coherent if every f.g. ideal of $R$ is f.p. We know that any noetherian ring is coherent. A Laskerian ring is a ring in which every ideal has a ...
2
votes
2answers
301 views

H. Cartan's “Variétés analytiques complexes et cohomologie”?

Does anyone know where I might find an online version (for free or purchase, translated or in french) of this paper by Henri Cartan from 1953? I know it was published in Colloque sur les fonctions de ...
4
votes
0answers
142 views

Proper base change for non-quasicoherent sheaves

For a proper flat map $f: X \to Y$ (of reasonable schemes) and a closed embedding $i: Y' \to Y$, we know by EGA the base change quasi-isomorphism, where $f'$ and $i'$ are the pullbacks of $f$ and $i$: ...
2
votes
1answer
102 views

Dimension of Quot scheme of zero dimensional quotients of a locally free sheaf

Given a locally free sheaf $E$ of rank $r$ on a (smooth, projective, algebraic) surface, I want to know the dimension of the scheme parametrizing the zero-dimensional (meaning they have zero ...
5
votes
1answer
167 views

Is the Quot-scheme over non-singular curve reduced

Let $k$ be an algebraically closed field, $C$ a non-singular projective curve over $k$ of genus at least $2$ and $\mathcal{F}$ a locally free sheaf on $C$. Let $r,d$ be two integers satisfying $\...
23
votes
2answers
1k views

Lemma 1 from Beilinson's “Coherent Sheaves on $\mathbb{P}^n$ and Problems of Linear Algebra”, intuition?

Consider Lemma 1 from Beilinson's paper "Coherent Sheaves on $\mathbb{P}^n$ and Problems of Linear Algebra", as follows. Let $\mathcal{C}$ and $\mathcal{D}$ be triangulated categories, $F: \...
1
vote
0answers
143 views

On tangent space of relative quot schemes in positive characteristic

Let $k$ be an algebraically closed field of positive characteristic and $f:X \to S$ be a smooth, flat, projective morphism between noetherian $k$-schemes. Assume that $S$ is a non-singular quasi-...
3
votes
0answers
118 views

When does a “universal” quot scheme exist?

Suppose $M$ is a moduli space of semistable sheaves on a projective variety $X$. Let $v$ be some the discrete invariants. I would like to form a space $\mathcal Q(v) \rightarrow M$, where the fiber ...
3
votes
0answers
103 views

Direct limit of coherent sheaves and semi-stability

Let $R$ be a discrete valuation ring, $\{B_i\}_{i\in I}$ be an inductive system of $R$-algebras of finite type and $B$ the direct limit of the inductive system. Let $X$ be a regular, projective scheme,...
4
votes
0answers
154 views

object in D^bCoh(P^2) with prescribed RHom's

Let $\mathbb{C}P^2$ denote the projective plane. From reading the section of http://homepages.math.uic.edu/~coskun/gokova.pdf which surveys Gieseker stable sheaves, I have understood that there are ...
2
votes
1answer
308 views

Will a tilting sheaf over Z which is a generator over Q be a generator modulo every prime?

Assume you have a smooth quasi-projective scheme $X$ (you can actually assume $X$ is projective over an affine scheme of finite type) defined over $\mathbb Z$ (or if you prefer, a discrete valuation ...
6
votes
1answer
199 views

Do general sheaves on P^2 have cohomology governed by their Euler characteristic?

Suppose $\xi$ is chern character on $\mathbb P^2$. Then there is a moduli space $M(\xi)$ of semistable sheaves of chern character $\xi$. If $\xi$ has Euler characteristic 0, then apparently there is ...
1
vote
1answer
228 views

Strong form of Grothendieck's algebrization theorem

Let $R$ be a Henselian discrete valuation ring with algebraically closed residue field $k$ ($R$ is not necessarily complete), $X$ a regular surface over $\mathrm{Spec}(R)$ and a sequence of locally ...
15
votes
1answer
1k views

Do I know what “coherent sheaf” means if I know what it means on locally Noetherian schemes?

I've been trying to convince myself that "coherent sheaf" is a natural definition. One way I might be satisfied is the following: for modules over a Noetherian ring $A$, coherent and finitely ...
0
votes
1answer
168 views

Extending a section of a coherent sheaf and homomorphism

Let $X=\mathrm{Spec}(A)$ be an affine integral scheme of finite type over $\mathbb{C}$ and $\phi:\mathcal{F} \to \mathcal{G}$ be a surjective morphism of coherent sheaves on $X$. Let $f \in A$, $U:=D(...
4
votes
1answer
466 views

Algebraicity of the stack of coherent sheaves

I am trying to understand the proof of Theorem 4.6.2.1 in the book on algebraic stacks by Laumon and Moret-Bailly. The setting is this: $S$ is a Noetherian scheme, $f\colon X \rightarrow S$ is a ...
2
votes
1answer
252 views

Pull-back of reflexive sheaves

Let $X$ be a noetherian, projective scheme, $\mathcal{F}$ be a reflexive sheaf on $X$ pure of dimension $\dim(X)$ and $Y \subset X$ be a closed subscheme of $X$. Is it possible that the pull-back of $\...
0
votes
0answers
91 views

Singular projective variety where the Cartan homomorphism is not an isomorphism? [duplicate]

Please delete. The question linked is sufficient. --- OP
0
votes
0answers
126 views

Locally free sheaves and flat families of projective scheme

Let $f:X \to Y$ be a flat proper morphism of noetherian projective schemes and $\mathcal{F}$ is a coherent sheaf on $X$. Suppose for all $y \in Y$, $\mathcal{F} \otimes_{\mathcal{O}_Y} \mathcal{O}_y$ ...
3
votes
0answers
121 views

K-theory of coherent sheaves on complex manifolds: references and gamma-filtration?

For a complex manifold $X$ one has an exact category of locally free coherent sheaves; so it seems to be no problem to define certain $K$-theory (I do not know whether the $K$-groups given by the "...
0
votes
1answer
248 views

Hilbert polynomial for any invertible sheaf

Let $X$ be a projective scheme over algebraically closed field $k$, $L$ is invertible sheaf on $X$ and $\mathcal F \in \operatorname{Coh}(X)$ , we define Hilbert polynomial $P_{\mathcal F}(n)=\chi(\...
1
vote
0answers
108 views

Help understanding the proof of a theorem about Cohomology of vector Bundles

I am trying to understand a paper called Betti tables of graded modules and cohomology of vector bundles, but i am stuck in Proposition 6.8 which states: Let $\mathcal{E}$ be a vector bundle on $\...
5
votes
0answers
68 views

Obstruction to the existence of global resolution of coherent sheaf

It is well known that any coherent sheaf on a complex manifold (or more generally a complex space) admits locally a resolution with locally free sheaves. It is also well known that for non-algebraic ...
2
votes
0answers
250 views

$G$-equivariant coherent sheaves on Bott$-$Samelson resolutions

Let $G$ be a Lie group and $B$ a Borel subgroup. $G/B$ is the corresponding flag variety. Let $w$ be an element of the Weyl group $W$ with a reduced expression $w = s_1 \cdots s_n$. Let $X_w$ be ...
8
votes
2answers
528 views

modular forms, invertible sheaves, and quotients

I'm very confused about some contradicatory statements, and I hope someone can help me clarify this. Let $\Gamma$ be a congruence subgroup. It is well known that modular forms of weight $k$ for $\...
3
votes
0answers
287 views

Can Kuranishi families glue together to give a moduli space?

In his article "Moduli spaces of vector bundles on K3 surfaces and symplectic manifolds", Mukai constructs moduli of simple sheaves on a K3 surface through a theorem that asserts the existence of a ...
3
votes
1answer
150 views

A canonical algebra of type $(2,2,r)$ is derived equivalent to a path algebra of type $\tilde{D}_{r+2}$ (references)

According to several articles I could find, a canonical algebra of type $(2,2,r)$ is derived equivalent to a path algebra of type $\tilde{D}_{r+2}$, where $r \geq 2$. I don't know how to obtain this ...
2
votes
0answers
97 views

K-theory of ringed spaces (including henselian and formal schemes); excision and Mayer-Vietoris

Given a ringed topological space $S$ one can easily define its K and K'-theory as the K-theories of the categories of locally free sheaves and of the category of coherent sheaves on it, respectively. ...
2
votes
1answer
122 views

Iterated extensions of quotients of vector bundles

Let $X$ be a noetherian scheme. Consider the smallest class $\mathcal{S}$ of coherent sheaves on $X$ which has the following closure properties: Every locally free sheaf is in $\mathcal{S}$. If $A,B ...
2
votes
2answers
337 views

Some questions on vanishing of Ext sheaves

Let $X$ be a complex manifold of dimension $3$ and $\mathcal{E}$ be a coherent sheaf such that $\dim supp(\mathcal{E})=1$. In this situation, I would like to know why we have the Ext sheaf $\mathcal{...
2
votes
0answers
242 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_{\...
3
votes
1answer
234 views

Non-separatedness of moduli space of sheaves

The moduli space of sheaves over a smooth variety is in general not separated. That is, there exists a flat family of coherent sheaves over a punctured disk which extends to a flat family of coherent ...