Tagged Questions

The tag has no usage guidance.

108 views
+200

How to complete Vakil's proof that the composition of projective morphisms are projective when the target is quasicompact?

For this question, a morphism $\pi : X \rightarrow Y$ is projective iff there exists a finite type quasicoherent sheaf $\mathcal{E}$ on $Y$ such that $X$ is isomorphic (as a $Y-$scheme) to a closed ...
35 views

The $\mathrm{Proj}$-construction and inverse limits

I have a couple of questions about existence of certain inverse limits in the category of schemes (I am also happy about links to relevant literature... in the stacksproject I only found the affine ...
20 views

Existence of scheme quotient

I have a morphism of schemes $X\to S$ which is very nice: flat, proper, finitely presented. I also have a finite group $G$ acting (faithfully, but not necessarily freely) on $X/S$. 1) I am quite ...
27 views

Sheafifying direct sum of twists

Let be $X\subseteq \mathbf{P}^r$ a smooth projective variety and let be $\mathscr E$ an invertible sheaf over $X$. Let $$M=\bigoplus_{n\geq 0} H^0(\mathscr E(n))$$ as a module over the polynomial ...
41 views

Well-definedness of homogeneous coordinate ring of projective scheme [closed]

Let $I,J \subset S=k[x_0,...,x_n]$ be homogeneous ideals. How can I show that $\operatorname{Proj}S/\bar{I}=\operatorname{Proj}S/\bar{J}$ iff $\bar{I}=\bar{J}$? (Here $\operatorname{Proj}R$ is the ...
129 views

45 views

Normal projective varieties and its coordinate ring

Let $k[X_0,...,X_n]$ be a polynomial ring over an algebraically closed field of characteristic zero and $I$ an ideal of $k[X_0,...,X_n]$ generated by homogenous polynomials. Denote by $X$ the ...
79 views

Linear Systems And invertible Sheaf

Hello Fellow Mathematicians/Algebraic Geometer , This is question has two parts one which is more conceptual and the other more straight forward: i) Let $X$ be a non-singular protective variety ...
99 views

Exercise in R.Vakil 18.4.L: Ample line bundles and finite morphism

Here's the question: R.Vakil, Exercise 18.4.L: Suppose $\mathcal{L}$ is a base-point free invertible sheaf on a proper variety $X$, and hence induces some morphism $\phi: X\rightarrow\mathbb{P}^n$....
123 views

85 views

How to see $\Gamma(\mathscr{O}_S,\operatorname{Proj} S)$ as a ring?

Let $S$ be a finitely generated graded $A$-algebra. For each homogeneous $f\in S_+$, we have a scheme structure $D(f)\cong \operatorname{Spec} S_{(f)}$ where $S_{(f)}$ denotes the zeroth piece of the ...
122 views

Rational maps from noetherian $k$-scheme to projective $k$-scheme extend over regular codimension 1 sets

I am trying to solve and am currently stuck on Vakil's problem 16.5.B which is asked as follows: Suppose $X$ is a Noetherian $k$-scheme and $Z$ is a irreducible codimesion $1$ subvariety whose ...
148 views

Understanding Hartshorne's proof that every projective morphism is proper.

In chapter $II$ of Hartshorne, theorem $4.9$ shows that every projective morphism is proper, using the valuative criterion for properness. I understand how the required morphism is constructed, but I ...
214 views

55 views

$(-1)$-curves and base change along a field automorphism.

Suppose that $E\subseteq S$ is a $(-1)$-curve inside a non-singular complex projective surface. By a $(-1)$-curve $E$, I mean that $E\cong\mathbb P^1_\mathbb C$ and $E^2=-1$. Now consider a field ...
In Hartshorne's book Algebraic Geometry in Chapter III Section 12 we have the following situation: $f\colon X\to Y$ is a projective morphism of schemes, $Y$ is the affine spectrume of a ring $A$ , ...