\documentclass[10pt]{amsart}
\usepackage{epic,eepic,latexsym}

\newcommand{\point}{\vspace{3mm}\par\refstepcounter{subsection}{\bf \thesubsection.} }
\newcommand{\tpoint}[1]{\vspace{3mm}\par\refstepcounter{subsection}{\bf \thesubsection.} 
  {\em #1. ---} }
\newcommand{\epoint}[1]{\vspace{3mm}\par\refstepcounter{subsection}{\bf \thesubsection.} 
  {\em #1.} }
\newcommand{\bpoint}[1]{\vspace{3mm}\par\refstepcounter{subsection}{\bf \thesubsection.} 
  {\bf #1.} }
% End template 

%\newlength{\baseunit}               % the basic unit length
%\setlength{\baseunit}{0.05ex}

\newcommand{\bpf}{\noindent {\em Proof.  }}
\newcommand{\epf}{\qed \vspace{+10pt}}

% I haven't really used this.
\newcommand{\theorem}{\noindent {\bf \addtocounter{subsection}{1} \arabic{section}.\arabic{subsection}  Theorem.} }

% I tend not to use these, and instead use tpoint above.
\newtheorem{tm}{Theorem}[subsection]
\newtheorem{pr}[tm]{Proposition}
\newtheorem{lm}[tm]{Lemma}
\newtheorem{co}[tm]{Corollary}
\newtheorem{df}[tm]{Definition}

\newcommand{\kbar}{\overline{k}}
\newcommand{\kb}{\overline{k}}
\newcommand{\zed}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\A}{\mathbb{A}}
\newcommand{\real}{\mathbb{R}}
\newcommand{\com}{\mathbb{C}}
\newcommand{\eff}{\mathbb{F}}
\newcommand{\ka}{\kappa}
\newcommand{\proj}{\mathbb P}
\newcommand{\oh}{{\mathcal{O}}}
\newcommand{\cL}{{\mathcal{L}}}
\newcommand{\fm}{{\mathfrak{m}}}
\newcommand{\fp}{{\mathfrak{p}}}
\newcommand{\ch}{\operatorname{char}}
\newcommand{\al}{\alpha}
\newcommand{\om}{\omega}
\newcommand{\be}{\beta}
\newcommand{\ga}{\gamma}
\newcommand{\De}{\Delta}
\newcommand{\si}{\sigma}
\newcommand{\la}{\lambda}
\newcommand{\res}{\operatorname{res}}
\newcommand{\Pic}{\operatorname{Pic}}
\newcommand{\Spec}{\operatorname{Spec}}
\newcommand{\Bl}{\operatorname{Bl}}
\newcommand{\Sym}{\operatorname{Sym}}
\newcommand{\Aut}{\operatorname{Aut}}
\newcommand{\grass}{\mathbb{G}}
\newcommand{\x}{\underline{t}}
\newcommand{\R}{\kbar[x_1, \dots, x_n]}

\newcommand{\cited}{}
\newcommand{\photocopy}{}
\newcommand{\remind}[1]{{\bf(#1)}}
% \newcommand{\remind}[1]{{}}

\begin{document}
\pagestyle{plain}
\title{Intro to Algebraic Geometry, Problem Set 5}
\date{October 14, 1999.}
\maketitle

{\parskip=12pt % closing bracket is just before the bibliography 

Due Thursday October 21 in class (no lates).
Hand in seven of the following questions.
You're strongly encouraged to collaborate
(although write up solutions separately), and you're also
strongly encouraged to ask me questions (if you're stuck, or if the
question is vaguely worded, or if you want to try out an argument).
If you skip any of the non-scheme ones, ask someone else how to do them.


{\bf A miscellaneous question.}
\begin{enumerate}
\item  Suppose $X$ is an affine variety,
so $X \times X$ is affine as well.  
Let $\Delta: X \rightarrow X \times X$ be the diagonal morphism.
Explicitly describe the ring map $A(X \times X) \rightarrow A(X)$.
\end{enumerate}

{\bf Topology.}
\begin{enumerate}
\item[2.] Prove that an affine variety (considred as a closed subset of 
  $\A^n$) is irreducible if and only if  
 its projective closure is irreducible.
\item[3.] A topological space $X$ is {\em Hausdorff} if for every two points $x$ and $y$, there
are non-intersecting open sets $U$ and $V$ containing $x$ and $y$
respectively.  Prove $X$ is Hausdorff if and only if the diagonal
subset of $X \times X$, i.e.  $\{ (x,x) \in X \times X \}$, is a
closed subset.  (Recall that $X \times X$ has a base of open sets of
the form $U \times V$ where $U$ and $V$ are open; this is the
definition of the product topology.)  This criterion for
``Hausdorffness'' will parallel a criterion for a prevariety to be
separated.
\item[4.] Show that the product topology on $\A^1 \times \A^1$ is not the same as the (Zariski) topology on $\A^2$.  
\end{enumerate}


{\bf Projective prevarieties.}
Assume that the characteristic is not 2 in the following two problems. 
\begin{enumerate}
\item[5.] Show that the projective subprevarieties $X$ and $Y$ of $\proj^3$ given by $wx-yz=0$ and $w^2+x^2+y^2=z^2$ respectively are
isomorphic.  Describe both one-parameter families of lines in $Y$.
\item[6.] (a) Show all projective prevarieties in $\proj^2$ defined by a polynomial of degree 2 are isomorphic.
(More precisely, suppose $p(x_0, x_1, x_2)$ is a degree 2 polynomial whose zero-locus $V$ in $\proj^2$ 
is a projective (pre)variety.  Show that $V$ is isomorphic to $\proj^1$.)
You can use the classification of quadratic forms (over an
algebraically closed field), see e.g. Lang's Algebra Ch. XIV: given
any quadratic form $p(x_0, x_1, x_2)$, there is a change of basis such
that $p = \sum_{1 \leq i \leq j} y_i^2$ for some $j \in \{ 0, 1, 2
\}$.  
\item[] (b)  Give two degree 2 polynomials in 4 variables that define projective prevarieties in $\proj^3$ 
that are {\em not} isomorphic.  (Neither may be
the square of a linear form.)  You don't have to prove that they are not isomorphic.
\item[7.] Consider the morphism $\proj^1 \rightarrow \proj^n$ given by $$[u;v] \mapsto [u^n; u^{n-1} v; \dots; v^n] = [x_0; \dots; x_n]$$
(where $n$ is a postive integer).  Let $V$ be the image. 
\item[] (a)
Let $I$ be the homogeneous ideal of the graded ring $R=\kb[x_0, \dots, x_n]$ generated by the $2 \times 2$ minors of the matrix
$$
\left[
\begin{array}{cccc}
x_0 & x_1 & \dots & x_{n-1} \\
x_1 & x_2 & \dots & x_n  
\end{array}
\right]
$$
Show that $V$ is a projective prevariety, with homogeneous coordinate ring $R/I$.

\item[](b) Show that the map from $\proj^1$ onto its image is an isomorphism.
(The image is called a {\em rational normal curve}.  The case $n=2$ is a {\em smooth conic}. The case $n=3$, which
we've seen before,  is a
{\em twisted cubic}.)
\end{enumerate}


{\bf Playing around with schemes.}
\begin{enumerate}
\item[8.] (a) If $\fp$ is the point of $\Spec \kb [x,y]$ corresponding to the prime ideal $(y-3x^2)$,  show that $\{ \fp \}$ is not a closed
subset in the Zariski topology, i.e. $\fp$ is not a {\em closed point}.

\item[] (b) Suppose $\fp$ is a prime ideal of some ring $R$.  Then the ring morphism $R \rightarrow R_\fp$ corresponds to a map of schemes
$\pi: \Spec R_\fp \rightarrow \Spec R$.  Show that $\pi$ is injective.
Thus the points of $R_\fp$ form a subset of the points of $R$; which
prime ideals of $R$ do they correspond to?  (Feel free to quote
results from commutative algebra if you want.)

\item[] (c) Describe the points of $\Spec \real[x]$ (and compare to the points of $\com$ and $\real$).

\item[9.] The ring morphism $\zed \rightarrow \zed[i]$ corresponds to a map of schemes
$f: \Spec \zed[i] \rightarrow \Spec \zed$.  Suppose $(p)$ is a prime
ideal of $\zed$ (warning: $p$ could be 0).  Find the points of
$f^{-1}(p)$ in $\Spec \zed[i]$.  Compare the degree of the residue
field extensions with the number of points of $f^{-1}(p)$; one prime
(not 0) will be a special case.
\end{enumerate}

} % end of parskip; it started just before the introduction
\end{document}

