Questions tagged [coherent-sheaves]
The coherent-sheaves tag has no usage guidance.
257
questions
6
votes
0
answers
137
views
Resolution property in rigid analytic geometry
I am not a rigid analytic geometrer, so I apologise if the question is trivial, but I can't find an answer anywhere myself. I'm trying to understand in what ways (rigid) analytic geometry compares to ...
3
votes
0
answers
116
views
Trace map on Ext group
Let $R$ be a (possibly non-commutative) unital ring and $M$ be a perfect left $R$-module. Then, we have the trace map
$$
\operatorname{Tr}\colon \mathrm{Hom}_R(M,M)\to R/[R,R]\,.
$$
According to the ...
7
votes
1
answer
580
views
+100
Converses to Cartan's Theorem B
Here is a phrasing of some Cartan Theorem B statements:
Consider the following conditions:
$X$ is a {Stein manifold, affine scheme, coherent analytic subvariety of $\mathbb{R}^n$, contractible ...
7
votes
1
answer
408
views
Smooth analogue of Cartan's Theorem B
Cartan's Theorem B can be stated as follows:
Let $X$ be a space let $\mathcal{F}$ be a sheaf on $X$.
Consider the following three conditions:
$X$ is "simple";
$\mathcal{F}$ is "nice&...
5
votes
1
answer
232
views
On the bounded derived category of sheaves with coherent cohomology
Let $(X,\mathcal{O}_X)$ be a locally ringed space such that $\mathcal{O}_X$ is locally notherian, and let $\operatorname{Coh}(\mathcal{O}_X)$ be the category of coherent $\mathcal{O}_X$-modules. The ...
5
votes
0
answers
152
views
Description of pull-back of coherent sheaves under a smooth morphism of Artin stacks
I am new to these formalisms, so pardon me if the question is basic. Let $\mathscr{X}$ be an Artin stack (you can take it to be Deligne-Mumford stack if it helps). By a coherent sheaf on $\mathscr{X}$ ...
1
vote
0
answers
35
views
(Quasi)-coherence of the weight $\theta$-sheaf
In this paper, the author defined the weight $\theta$-sheaf as follows: Let $A^{k}_{X}$ be the sheaf germs of real smooth $k$ forms on the smooth manifold $X$, we perform a complexification on this ...
1
vote
0
answers
67
views
Trace map for universal bundle of Grassmannian
Let $G := G(k,V)$ denote the Grassmannian of $k$-linear subspaces in a $\mathbb{C}$-vector space $V$ of dimension $n$. Let $S$ denote the tautological bundle over $G$. There is a canonical map on ...
1
vote
0
answers
104
views
Monomorphism/Isomorphism of $C_4$-tangent cones for complex varieties
Suppose that $(M,\mathcal{O}_M)$ is a reduced complex analytic space (or complex algebraic variety if you prefer). The tangent linear fiber space $TM$ associated to $M$ is defined as the analytic ...
4
votes
1
answer
616
views
Coherent sheaves, Serre’s theorem and ext groups
Let $X$ be a smooth projective variety over an algebraically closed field $k$ (if necessary we assume that $\operatorname{ch}(k)=0$).
Let $O_X(1)$ be a very ample invertible sheaf on $X$.
Then, the ...
2
votes
1
answer
233
views
Compatibility of Beck Chevalley condition: sheaves
Given a (not necessarily Cartesian) square of spaces
$$\require{AMScd}\begin{CD}
X @>g>> \overline{X} \\
@VVfV @VV\overline{f}V \\
Y @>\overline{g}>> \overline{Y}
\end{CD}$$
does the ...
2
votes
1
answer
229
views
Is any "relative support" for (complexes of) quasi-coherent sheaves known?
Let $f:X\to S$ be a morphism of Noetherian schemes; in the case I am interested in $S=\operatorname{Spec}R$ is affine and $f$ is proper. For a complex $C$ a complex of quasi-coherent sheaves on $X$ I ...
2
votes
0
answers
293
views
The definition of the determinant of a coherent sheaf
Let $ X $ be a smooth (projective) variety and $ \mathcal{F} $ a torsion-free coherent sheaf of rank $ r $ on $ X $. The determinant $ \det \mathcal{F} $ can be defined by
(1) $ \det \mathcal F := ( \...
6
votes
0
answers
282
views
Is there a sheaf of categories $\text{QCoh}_X(1)$ analogous to $\mathcal{O}_X(1)$?
Given a scheme $X$ and sum of divisors $D$, you can take the line bundle
$$\mathcal{O}_X(D)\ =\ \{\text{functions }f\text{ with [conditions on zeroes/poles]}\}\ \subseteq\ j_*\mathcal{O}_\eta\ =\ \...
2
votes
0
answers
49
views
Pullback of coherent sheaves on Stein manifolds
Let $i:X\to Y$ be a closed embedding of Stein spaces, $G$ be a coherent $O_Y$-module. Set $I=\ker(i^*:O(Y)\to O(X))$. Then $I$ is an ideal of the ring $O(Y)$. Is that true that $\Gamma(X,i^*G)=G(Y)/...