5
votes
2answers
122 views

Closed immersion definition

Hartshorne defines a closed immersion as a morphism $f:Y\longrightarrow X$ of schemes such that a) $f$ induces a homeomorphism of $sp(Y)$ onto a closed subset of $sp(X)$, and furthermore b) the ...
4
votes
2answers
185 views

What is the zero subscheme of a section

Let $X$ be a scheme, $\mathcal F$ a locally free sheaf of rank $r$ and $s \in \Gamma(X, \mathcal F)$ a global section of $\mathcal F$. Question: What is the zero subscheme of $s$? I can't believe ...
3
votes
3answers
812 views

Definition of degree of finite morphism plus context

Let $f: X \rightarrow Y$ be a finite morphism of schemes, defined here, http://en.wikipedia.org/wiki/Finite_morphism I always assumed that the degree of $f$ was the degree of the induced field ...
2
votes
1answer
131 views

The precise definition of a “sheaf of rings”

Let $X$ be a topological space. Let $Op(X)$ be the category of open sets. A sheaf of abelian groups is a (contravariant) functor $F:\mathcal{C} \to Ab$ satisfying the sheaf condition: the following ...
7
votes
1answer
707 views

Why does the definition of an open subscheme / open immersion of schemes allow for an “extra” isomorphism?

After taking an algebraic geometry course last year, I've been reviewing the material this year, and I remembered something that struck me as odd, but which I'd neglected to ask about at the time: ...