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 ...
9
votes
1answer
729 views

Affine scheme on spec(A) of a ring A as the sheafification of a pre-sheave on spec(A)?

It is obvious that there is a parallel between the definition of structure sheaf of $\operatorname{Spec}(A)$ versus the sheafification of a pre-sheaf. The definition of the sheaf $\mathscr F^+$ ...
3
votes
1answer
443 views

Vector space structure on the tangent bundle of a scheme and relation to the tangent sheaf

First a word of warning: I am not a trained algebraic geometer, so it is possible (likely) that these questions are inappropriate for MO, if so: my apologies. Said this: As far as I understand the ...
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 ...
22
votes
6answers
3k views

What is the inverse image sheaf necessary for in algebraic geometry?

Given a continuous map $f \colon X \to Y$ of topological spaces, and a sheaf $\mathcal{F}$ on $Y$, the inverse image sheaf $f^{-1}\mathcal{F}$ on $X$ is the sheafification of the presheaf $$U \mapsto ...
1
vote
1answer
759 views

Ringed and locally ringed spaces

A pair $(X,O_X)$ is a ringed space if $X$ is a topological space and $O_X$ is a sheaf of rings. If every stalk $O_{X,x}$ is a local ring, then we say that $(X,O_X)$ is a locally ringed space. In the ...
5
votes
5answers
2k views

When is the push-forward of the structure sheaf locally free

Let $f:X\longrightarrow Y$ be a morphism of noetherian schemes. Under what conditions is $f_\ast \mathcal{O}_X$ a locally free $\mathcal{O}_Y$-module? Example 1. Suppose that $f$ is affine. Then ...
1
vote
2answers
815 views

Closed subschemes and pulling back the structure sheaf via the inclusion map

I would just like a clarification related to closed subschemes. If $(X,{\cal O}_X)$ is a locally ringed space and $A\subset X$ is any subset with the subspace topology then $i^{-1}{\cal O}_X$ will be ...
11
votes
1answer
733 views

Functorial characterization of open subschemes?

Given a morphism of schemes f: U → X, can one determine when f is an isomorphism of U onto an open subscheme of X in terms of some induced functors between the categories of quasicoherent modules ...