0
votes
1answer
54 views

Properties of Quasi-Coherent Modules

Let $X=\mathrm{Spec}\,A$ be an affine scheme and $M$ an $A$-module. Show that the following two conditions are equivalent: (a) $\tilde{M}$ is a locally free $\mathcal{O}_{X}$-module of finite type. ...
2
votes
1answer
63 views

Scheme-Theoretic Nakayama's Lemma

Let $X$ be a noetherian scheme and $\mathscr{F}$ a coherent $\mathscr{O}_{X}$-module. For a point $x \in X$, let $k(x)=\mathscr{O}_{X,x}/\mathfrak{m}_{x}$ be the residue field at $x$. (a) Suppose $x ...
1
vote
1answer
61 views

Open immersion from a proper scheme to a separated, irreducible scheme.

Fix a scheme $S$ and let $X$ and $Y$ be $S$-schemes. Assume that $X$ is proper over $S$ and $Y$ is separated over $S$. Let $f: X \rightarrow Y$ be an open immersion of $S$-schemes. If $Y$ is ...
7
votes
1answer
256 views

Basics of schemes and morphisms of schemes

I'm currently reading through Hartshorne, and have come across a few things that have left me wondering. (i) Somewhat pedantic, but also because I don't actually know the answer, (in Example 2.3.4) ...
12
votes
3answers
1k views

Learning schemes

Could someone suggest me how to learn some basic theory of schemes? I have two books from algebraic geometry, namely "Diophantine Geometry" from Hindry and Silverman and "Algebraic geometry and ...