All Questions

Let $\mathcal{E}$ be a coherent sheaf on an irreducible scheme $S$ ($S$ can be pretty nice, say noetherian of finite type), and let $\mathbf{P}(\mathcal{E}):=\mathrm{Proj}(\mathrm{Sym}(\mathcal{E}))$ ...

I am reading an article in which a proof is based on defining a subsheaf by only giving its global sections. The exact setting is that, one has a surjective finite morphism $f:Y\to X$ between ...

Normally I would think this kind of question doesn't belong on overflow, but I haven't been able to find an answer anywhere else, so perhaps it is not so trivial. Let $f: X \rightarrow Y$ be a ...

Let $X$ be an affine scheme. $U \subseteq X$ open. Then I want to show that $\mathcal{O}_X(U)$ is flat over $\mathcal{O}_X(X)$. But I want to prove it only by knowing the definition of structure sheaf ...

I'm trying to prove the following fact which I don't know if it is true since I am not able to find a counterexample: Let $X,S$ be two $K$-scheme of finite type with $K$ an algebraically closed field....