\documentclass[11pt,twoside]{article}
\usepackage{amsmath,amssymb,amsthm,bm}
\usepackage{oxmathex}

\usepackage{graphicx}

\newcommand{\topictitle}[1]{\title{#1}\def\t@pic{#1}\setcounter{equation}{0}}
\newcommand{\topiccode}[1]{\topic{#1}{\t@pic}}
\renewcommand{\author}[1]{\def\auth@r{#1}}
\renewcommand{\date}[1]{\time{\auth@r\quad{#1}}}
\newcommand{\ve}[1]{\boldsymbol{\mathrm{#1}}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\F}{\mathbb{F}}
\newcommand{\diff}{\mathrm{d}}
\renewcommand{\d}[1]{\,\mathrm{d}{#1}}
\newcommand{\ee}{\mathrm{e}}
\newcommand{\ii}{\mathrm{i}}
\newcommand{\pdhfrac}[2]{\mathchoice{\frac{#1}{#2}}{#1/#2}{#1/#2}{#1/#2}}
\newcommand{\dd}[2]{\pdhfrac{\mathrm{d}#1}{\mathrm{d}#2}}
\newcommand{\sdd}[2]{\pdhfrac{\mathrm{d}^2#1}{\mathrm{d}#2^2}}
\newcommand{\pd}[2]{\pdhfrac{{\partial}#1}{{\partial}#2}}
\newcommand{\spd}[2]{\pdhfrac{\partial^2#1}{{\partial}#2^2}}
\newcommand{\mpd}[3]{\pdhfrac{\partial^2#1}{{\partial}#2{\partial}#3}}
\renewcommand{\geq}{\geqslant}
\renewcommand{\leq}{\leqslant}
\renewcommand{\theequation}{\topicmark\arabic{equation}}
\def\o{\underline{\bf o}}

\begin{document}
% Uncomment the next line.
\exam{Section C}

% Uncomment the next line.
\topictitle{Elliptic Curves}% Put your topic title here

% Uncomment the next line.
\author{Victor Flynn}% Put your name here
% Uncomment the next line.
\date{23/2/2009}% Put date of submission of this draft here

%\message{Please be sure to mark each draft submitted with the correct
%  date.}

\maketitle

% Uncomment the next line.
\topiccode{C9.1b}% Put your topic code here

\begin{question}{1}
\begin{aitem}
\itm
Let ${\mathcal C}$ be a non-singular cubic curve, defined
over a field~$K$, with a $K$-rational point~{\bf o}. Describe
the standard law for adding two points on~${\mathcal C}$, and 
prove that it is associative.
%\hfill {\bf [10~marks]}

\itm
For which primes~$p$ do there exist
$x,y\in \Z_p$ such that $y^2 = x^3 - x - 1$?
[You may find it helpful first to compute $h(-2),h(0),h(3)$
for $h(x) = x^3 - x - 1$.]
%\hfill {\bf [6~marks]}

\itm
Find a proper factor of $N=221$
%[that is, $d | N$ and $1 < d < N$]
by applying the Elliptic Curve Method,
using the curve $Y^2 = X^3 + 5 X - 5$ and~$3P$, where~$P=(1,1)$.
%\hfill {\bf [6~marks]}

\itm
Find a sequence $x_n\in\Q_p$ such that $\sum_{n=1}^\infty x_n$
is convergent in~$\Q_p$ but $\sum_{n=1}^\infty |x_n|_p$ 
is not convergent in~$\R$.
%\hfill {\bf [3~marks]} 

\end{aitem}
\end{question}

\begin{question}{2}
\begin{aitem}
\itm
Let~$R$ be any ring (commutative, with~1), and let~$F,G$ be
formal groups over~$R$.
\begin{ritem}
\itm
Show that there exists a unique
normalised invariant differential for~$F$, which is given by
$\omega = F_X(0, T)^{-1}\hbox{d} T \in R[[T]] \hbox{d} T$,
and that every invariant differential for~$F$ is of the form $a\omega$
for some $a\in R$.
%\hfill {\bf [7~marks]}

\itm
Let~$f$ be a homomorphism over~$R$ from~$F$
to~$G$. Let~$\omega_F, \omega_G$ be
the normalised invariant differentials on~$F,G$, respectively.
Show that $\omega_G \circ f = f'(0)\ \omega_F$.
Deduce that, for any prime~$p$, there
exist $f,g\in R[[T]]$
such that $[p](T) = p f(T) + g(T^p)$ [where~$[p]$ represents
the multiplication-by-$p$ map on~$F$].
%\hfill {\bf [7~marks]}
\end{ritem}

\itm
Find the torsion group over~$\Q$ for the elliptic curve $Y^2 = X^3 - 9$.
%\hfill {\bf [5~marks]}

\itm
Let $n\in\Z$ be not divisible by~$15$, let~$n$ and~$-n$ 
both be nonsquare, and let ${\mathcal E}, {\mathcal F}$
be the elliptic curves ${\mathcal E} : Y^2 = X^3 + nX$ and 
${\mathcal F} : Y^2 = X^3 - nX$. Show that at least one of
${\mathcal E}(\Q)$ or ${\mathcal F}(\Q)$ has torsion group
given by $\{ {\bf o}, (0,0) \}$. 
%\hfill {\bf [6~marks]}

\end{aitem}
\end{question}

\begin{question}{3}
\begin{aitem}
\itm
Find the rank of the elliptic curve $Y^2 = X(X^2 + 5X - 5)$.
%\hfill {\bf [13 marks]}

\itm
Let~$p$ be prime. Show that the elliptic curve $Y^2 = X^3 + pX$
has rank at most~$2$.
%\hfill {\bf [6~marks]}

\itm
Let $\alpha\in\Z$, $\alpha\not= 0,-4$, and let ${\mathcal C}$ be
the elliptic curve $Y^2 = X^3 + \alpha X^2 - \alpha X$.
Show that $(1,1) \in 2{\mathcal C}(\Q) \iff 
\alpha \hbox{ or } \alpha+4 \hbox{ is the square of an integer.}$
[You may find it helpful first to construct a curve~${\mathcal D}$
with $2$-isogenies $\phi : {\mathcal C} \rightarrow {\mathcal D}$,
$\hat\phi : {\mathcal D} \rightarrow {\mathcal C}$,
and find the preimages of~$(1,1)$ under~$\hat\phi$.]
%\hfill {\bf [6~marks]}
\end{aitem}
\end{question}

\tidy
\end{document}
