\documentclass[11pt]{article}
\usepackage{amsmath,amssymb,amsthm}
\usepackage{hyperref}
\hypersetup{colorlinks=true,urlcolor=blue,citecolor=blue,linkcolor=blue}
\usepackage{courier}
\usepackage{tikz}
\usetikzlibrary{calc,matrix,arrows,decorations.markings}
\usepackage{array}
\usepackage{color}
\usepackage{enumerate}
\usepackage{nicefrac}
\usepackage{listings}
\lstset{
	basicstyle=\small\ttfamily,
	keywordstyle=\color{blue},
	language=python,
	xleftmargin=16pt,
}

\textwidth=5.8in
\textheight=9in
\topmargin=-0.5in
\headheight=0in
\headsep=.5in
\hoffset  -.4in
\pagestyle{empty}

% growing list of useful macros, use these where appropriate and add to this list as needed
\newcommand{\kbar}{\bar{k}}
\newcommand{\Fp}{\mathbb{F}_p}
\newcommand{\Fpbar}{\overline{\mathbb{F}}_p}
\newcommand{\Fq}{\mathbb{F}_q}
\newcommand{\Fqbar}{\overline{\mathbb{F}}_q}
\newcommand{\Fqm}{\mathbb{F}_{q^m}}
\newcommand{\Fqn}{\mathbb{F}_{q^n}}
\newcommand{\F}{\mathbb{F}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\Qbar}{\overline{\Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Zhat}{\widehat\Z}
\newcommand{\Zbar}{\overline\Z}
\newcommand{\Kbar}{\overline K}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\Aut}{{\rm Aut}}
\newcommand{\Gal}{{\rm Gal}}
\newcommand{\GL}{{\rm GL}}
\newcommand{\PGL}{{\rm PGL}}
\newcommand{\dy}{\,dy}
\newcommand{\dx}{\,dx}
\newcommand{\tr}{\operatorname{tr}}
\newcommand{\kron}[2]{\bigl(\frac{#1}{#2}\bigr)}
\newcommand{\lcm}{\operatorname{lcm}}
\newcommand{\ceil}[1]{\lceil{#1}\frac{1}eil}
\newcommand{\Exp}{{\rm E}}
\renewcommand{\O}{\mathcal{O}}
\newcommand{\OK}{\O_K}
\newcommand{\T}{{\rm T}}
\newcommand{\N}{{\rm N}}
\newcommand{\re}{\operatorname{re}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\ord}{{\rm ord}}
\newcommand{\cl}{{\rm cl}}
\newcommand{\disc}{{\rm disc}}
\newcommand{\p}{\mathfrak{p}}
\newcommand{\q}{\mathfrak{q}}
\newcommand{\m}{{\mathfrak m}}
\renewcommand{\c}{{\mathfrak c}}
\renewcommand{\a}{{\mathfrak a}}
\newcommand{\Frob}{{\rm Frob}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\tor}{{\rm tors}}
\newcommand{\I}{\mathcal{I}}

\newtheorem*{theorem}{Theorem}

\begin{document}
\setlength{\unitlength}{1in}
\begin{center}
\large
\textbf{18.785 Number Theory\hspace{228pt}Fall~2019}\\\vspace{4pt}
\textbf{Problem Set \#5\hspace{220pt}Due: 10/16/2019}
\normalsize
\begin{picture}(5.8,.1) 
\put(0,0) {\line(1,0){5.8}}
\end{picture}
\end{center}

\subsection*{Description}

These problems are related to material covered in Lectures 9--11.
Your solutions are to be written up in latex and submitted as a pdf-file named \texttt{SurnamePset5.pdf} (replace \texttt{Surname} with your surname) via e-mail to \texttt{drew@math.mit.edu} by \textbf{noon} on the date due.
Collaboration is permitted/encouraged, but you must identify your collaborators, and any references consulted other than the lecture notes.
If there are none, write \textbf{Sources consulted:\ none} at the top of your problem set.
The first person to spot each typo/error in the problem set or lecture notes will receive 1-5 points of extra credit.
\medskip

\medskip

\noindent
\textbf{Instructions:} First do the warm up problems, then solve any combination of problems 1-5 that sum to 96 points and write up your answers in latex.  Finally, complete the survey problem 6 (worth 4 points).

\subsection*{Problem 0.}
These are warm up problems that do not need to be turned in.
\begin{enumerate}
\setlength\itemsep{0pt}
\item[(a)] Prove (1) all local fields have the same cardinality, (2) all global fields have the same cardinality, (3) completing a field with cardinality at least $\#\R$ does not change its cardinality, (4)~taking the algebraic closure of an infinite field does not change its cardinality.
\item[(b)] Prove that an open subgroup of a topological group is always closed, but a closed subgroup need not be open
(give an explicit example).
\item[(c)] Prove that $\Q_7(\sqrt[3]{2})\simeq\Q_7(\zeta_{342})$, where $\zeta_{342}$ is a primitive $342$nd root of unity.
\item[(d)] Prove that there are exactly two non-isomorphic cubic extensions of $\Q_2$.
\end{enumerate}


\subsection*{Problem 1. Complete algebraically closed fields (64 points)}
The field of complex numbers has the virtue of being both complete and algebraically closed.
One might ask whether there are any nonarchimedean fields with this property.
We proved in lecture that every finite extension of $\Q_p$ is a local field, and in particular, complete.
In this problem you will prove that the algebraic closure $\Qbar_p$ of $\Q_p$ is not complete, but the completion $\C_p$ of $\Qbar_p$ is both complete and algebraically closed.

\begin{enumerate}
\item[\textbf{(a)}] Prove that if $K$ is a complete perfect field with nonarchimedean absolute value $|\ |$ and algebraic closure $\overline{K}$ then there is a unique absolute value on $\overline{K}$ that restricts to $|\ |$ (so we may unambiguously view $\overline{K}$ as a field with absolute value $|\ |$).  You may assume that (all variants of) Hensel's lemma hold for any complete field with a nonarchimedean absolute value (the valuation ring need not be discrete).

\item[\textbf{(b)}] Let $\Zbar_p:=\{x\in \Qbar_p:|x|_p\le 1\}$ be the valuation ring of $\Qbar_p$, with maximal ideal $\m:=\{x\in\Qbar_p:|x|_p < 1\}$.
Prove that $\Zbar_p/\m$ is an infinite algebraic extension of $\Fp$, and that it is algebraically closed (hence we may denote it $\Fpbar$).
\item[\textbf{(c)}] Prove that the image of $|\ |_p\colon \Qbar_p^\times\to \R_{> 0}$ is the set $p^\Q$ of fractional powers of $p$.  Conclude that $\Zbar_p$ is not a DVR.
\item[\textbf{(d)}] Prove that $\Zbar_p$ is not compact and $\Qbar_p$ is not locally compact (unlike $\Z_p$ and $\Q_p$).
\end{enumerate}

Recall that a \emph{Baire space} is a topological space in which every countable intersection of open dense sets is dense.  The Baire Category Theorem states that every complete metric space (and also every locally compact Hausdorff space) is a Baire space.

\begin{enumerate}
\item[\textbf{(e)}] Let $X_n:=\{x\in \Qbar_p:[\Q_p(x):\Q_p] \le n\}$.  Show that $X_n$ is a closed set whose interior is empty.  Conclude that $\Qbar_p$ is not a Baire space and therefore not complete.

\item[\textbf{(f)}] Prove the following form of \textsc{Krasner's Lemma}: Let $K$ be a complete perfect field with nontrivial nonarchimedean absolute value $|\ |$ and algebraic closure $\overline{K}$, let $\alpha\in\overline{K}$, and let
\[
\epsilon:=\min\left\{|\alpha-\sigma(\alpha)|:\sigma\in \Gal(\Kbar/K), \sigma(\alpha)\ne \alpha\right\}.
\]
Then $K(\alpha)\subseteq K(\beta)$ for all $\beta\in B_{<\epsilon}(\alpha)$.
\item[\textbf{(g)}] Prove the following form of \textsc{Continuity of Roots}: Let $K$ be a complete perfect field with nontrivial nonarchimedean absolute value $|\ |$ and algebraic closure $\overline{K}$, and let $\alpha\in \overline{K}$ have minimal polynomial $f(x)=\sum_{i=0}^n f_ix^i\in K[x]$.
Prove that for every $\epsilon > 0$ there is a $\delta > 0$ such that if $g(x)=\sum_{i=0}^n g_ix^i\in K[x]$ is a monic polynomial with $\sum_i |g_i-f_i|<\delta$ then $g(x)$ has a root $\beta$ for which $|\alpha-\beta|<\epsilon$.

\item[\textbf{(h)}] Prove that if $K$ is a complete perfect field with a nontrivial nonarchimedean absolute value then the completion of its algebraic closure is algebraically closed (so in particular, $\C_p$ is algebraically closed).
\end{enumerate}

\noindent
\textbf{Remark}: The simplifying assumption that $K$ is perfect is not necessary; one can prove alternative versions of (f) and (g) that do not assume $K$ is perfect but still imply (h).


\subsection*{Problem 2. Finite extensions of local fields (64 points)}
If $K$ is an archimedean local field, then either $K=\R$, in which case $K$ has exactly one nontrivial finite extension (up to isomorphism), or $K=\C$, in which case $K$ has no nontrivial finite extensions.
So let us assume that $K$ is a nonarchimedean local field; then $K$ is a finite extension of $\Q_p$ or a finite extension of $\Fp((t))$.
For a positive integer~$n$, we wish to determine the number of degree-$n$ extensions of $K$ (which we count only up to isomorphism).
Let~$A$ be the valuation ring of $K$, and let $E_n$ be the set of Eisenstein polynomials $f\in A[x]$ of degree~$n$.
\medskip

\noindent
First consider the case where $K$ is a finite extension of $\Q_p$:

\begin{enumerate}
\item[\textbf{(a)}] Show that there is a natural topology on $E_n$ induced by the topology on $A$ and that $E_n$ is compact in this topology.
\item[\textbf{(b)}] Prove that for any finite extension $L/K$, the set
\[
\left\{f\in E_n:K[x]/(f(x))\simeq L\right\}
\]
is open in the topology on $E_n$.
\item[\textbf{(c)}] Prove that $K$ has only finitely many totally ramified extensions of degree $n$.
\item[\textbf{(d)}] Prove that $K$ has only finitely many extensions of degree $n$.
\item[\textbf{(e)}] Derive a formula for the number of degree-$q$ extensions of $\Q_p$ (up to isomorphism), where $p$ and $q$ are distinct primes.
\end{enumerate}

\noindent
Now consider the case where $K$ is a finite extension of $\Fp((t))$:
\begin{enumerate}
\item[\textbf{(f)}] Show that $K$ has infinitely many non-isomorphic extensions of degree $n$, for some~$n$ (hint: consider extensions $K[x]/(f(x))$ with $f(x)=x^p-x-\alpha$ for some $\alpha \in K$).
\item[\textbf{(g)}] Why does your proof above for finite extensions of $\Q_p$ not apply here?  Pinpoint exactly where the proof breaks down when $\Q_p$ is replaced by $\Fp((t))$.
\end{enumerate}

\subsection*{Problem 3. Completions of $\Fq(t)$ (32 points)}
Recall from Problem 2 of Problem Set 1 that the absolute values $|\ |_\pi$ on $\Fq(t)$ all arise from discrete valuations, all but one of which corresponds to a prime ideal of $\Fq[t]$ that we can uniquely identify by a monic irreducible polynomial $\pi$; let us use $\pi=\infty$ to denote the other discrete valuation $v_\infty(f):= -\deg(f)$, which one can view as the order of vanishing at infinity.
Let $\Fq(t)_\pi$ denote the completion of $\Fq(t)$ with respect to the absolute value $|\ |_\pi$, where $q$ is any prime power.

\begin{enumerate}
\item[\textbf{(a)}] Prove that $\Fq(t)_\pi$ is isomorphic to $\F_\pi((T))$, where $\F_\pi$ denotes the residue field of $\Fq(t)$ with respect to $|\ |_\pi$ and $T\in \Fq(t)$ is a uniformizer.
For each discrete valuation~$\pi$ give an explicit description of the field $\F_\pi$ and the uniformizer $T$ and determine the discrete valuations $\pi$ for which $\F_\pi=\Fq$.

\item[\textbf{(b)}] Let $\pi_1$ and $\pi_2$ be two discrete valuations for which $\F_{\pi_1}\simeq \F_{\pi_2}\simeq \Fq$ and consider the completions $\Fq(t)_{\pi_1}$ and $\Fq(t)_{\pi_2}$.  Are they isomorphic (1) as fields, (2) as $\Fq(t)$-algebras, (3) as topological fields?

\item[\textbf{(c)}] Now consider the analogous question for completions of $\Q$: for distinct primes $p$ and $q$, are $\Q_p$ and $\Q_q$ isomorphic as (1) fields, (2) $\Q$-algebras, (3)topological fields?

\item[\textbf{(d)}] Determine the structure of the abelian group $\Fp(t)_\pi^\times/\Fp(t)_\pi^{\times n}$, where $p$ and $n$ are primes and $\pi$ is a discrete valuation on $\Fp(t)$ (your answer will depend on $p,\pi,n$).  (Problem 5 of Problem Set 4 asked the analogous question for completions of $\Q$).
\end{enumerate}


\subsection*{Problem 4. The absolute Galois group of $\Fq$ (32 points)}

Let $\Fq$ be a finite field with $q$ elements, let $\Fqbar$ be a fixed algebraic closure of $\Fq$, and for every positive integer $n$ let us fix the finite field
\[
\F_{q^n} := \{ x\in\Fqbar: x^{q^n} = x\}
\]
with $q^n$ elements.
For any set $S$ (finite or infinite), we use $\#S$ to denote its cardinality (isomorphism class in the category of sets), and if $L/K$ is any field extension, $[L:K]$ denotes the the cardinality of any $K$-basis for $L$ (i.e. $\dim_K L$).
Recall that cardinals are ordered by monomorphisms of representative sets (so $\#S\le \#T$ if and only if an injection $f\colon S\to T$ exists), and for any set $S$ we have the strict inequality $2^{\#S}>\#S$ (here $2^{\#S}$ denotes the cardinality of the set of all subsets of $S$).
We also note the standard cardinals $\beth_0:=\aleph_0:=\#\Z$, $\beth_1:=2^{\beth_0}=\#\R$, and $\beth_{n+1}:=2^{\beth_n}$.

\begin{enumerate}
\item[\textbf{(a)}] Prove that $\Fqbar = \bigcup_{n\ge 1} \Fqn$ and compute the cardinals $\#\Fqbar$ and $[\Fqbar:\Fq]$.
\end{enumerate}

Let $\NN$ denote the set of positive integers partially ordered by divisibility.
Consider the inverse system of groups
\[
\bigl(\Gal(\Fqn/\Fq)\bigr)_{n\in\NN},
\]
where for $m|n$ the homomorphism $\Gal(\Fqn/\Fq)\to\Gal(\Fqm/\Fq)$ is induced by restriction (the image of $\sigma \in \Gal(\Fqn/\Fq)$ is obtained by restricting its domain to $\Fqm$).

\begin{enumerate}
\item[\textbf{(b)}] Prove that we have isomorphisms of abelian groups
\[
\Gal(\Fqbar/\Fq)\simeq \varprojlim_{\  n\in \NN} \Gal(\Fqn/\Fq) \simeq \varprojlim_{\ n\in \NN} \Z/n\Z.
\]
and that if we view $\widehat \Z:=\varprojlim \Z/n\Z$ as an inverse limit of rings we have a ring isomorphism
\[
\Zhat \simeq \prod_p \Z_p.
\]
\item[\textbf{(c)}] Compute the cardinality of $\Gal(\Fqbar/\Fq)$.  Conclude that $\#\Gal(\Fqbar/\Fq)\ne [\Fqbar:\Fq]$.

\item[\textbf{(d)}] Compute the cardinality of the set of subgroups of $\Gal(\Fqbar/\Fq)$ and the cardinality of the set of subfields $k\subseteq \Fqbar$ that contain $\Fq$.
Conclude that the Galois correspondence does not hold for $\Gal(\Fqbar/\Fq)$; in particular, many different subgroups of $\Gal(\Fqbar/\Fq)$ have the same fixed field $k$ (ridiculously many, in fact).
\end{enumerate}

In later lectures we will see that the Galois correspondence does hold if we regard $\Gal(\Fqbar/\Fq)$ as a topological group and restrict our attention to closed subgroups.

\subsection*{Problem 5. Uniqueness of norms (32 points)}

Let $K$ be a field with absolute value $|\ |$ and let $V$ be a $K$-vector space.
The absolute value $|\ |$ induces a topology on $K$ via the metric $d(x,y):= |x-y|$, and every norm $\|\ \|$ on $V$ induces a topology on $V$ via the metric $d(v,w):= \|v-w\|$.

The goal of this problem is to prove that if $K$ is complete and $V$ has finite dimension then the topology on $V$ is uniquely determined by the topology on $K$.
One can find standard proofs for $K=\R$ and $K=\C$ in most analysis textbooks, and the same proof works for any locally compact field.  But the standard approach does not work in general because it relies on the assumption that closed balls are compact (as we proved in Lecture~9, this is equivalent to local compactness).
Here we follow the approach of Cassels \cite{cassels}, which works for any complete field and any finite-dimensional vector space.

\begin{enumerate}
\item[\textbf{(a)}] Give an example of a complete field that is not locally compact, and give an example of an infinite-dimensional vector space over a complete field with norms that induce different topologies.
\end{enumerate}

Two norms $\|\ \|_1$ and $\|\ \|_2$ on $V$ are said to be \emph{equivalent} if there exists a constant $c\in \R$ such that $\|v\|_1\le c\|v\|_2$ and $\|v\|_2\le c\|v\|_1$ for all $v\in V$.

\begin{enumerate}
\item[\textbf{(b)}] Show that equivalent norms induce the same topology.
\end{enumerate}

Let us now fix a complete field $K$ and a vector space $V$ with basis $(v_1,\ldots,v_n)$, and for $v=x_1v_1+\cdots x_n v_n\in V$ define the sup-norm $\|v\|_\infty:=\max_i|x_i|$.

\begin{enumerate}
\item[\textbf{(c)}] Show that the topology induced by the sup-norm does not depend on the choice of basis and that $V$ is complete in this topology.
\item[\textbf{(d)}] Let $c:= n\max_i\|v_i\|$.  Prove that if $\|\ \|$ is a norm on $V$ then $\|v\|\le c\|v\|_\infty$ for $v\in V$.
\item[\textbf{(e)}] Prove that if $\|\ \|$ is a norm on $V$ then there is a constant $C\in \R$ such that $\|v\|_\infty\le C\|v\|$ for $v\in V$ (hint: use induction on $n$).
Conclude that every norm on~$V$ is equivalent to the sup-norm and thus induces the same topology.
\end{enumerate}

\subsection*{Problem 6. Survey (4 points)}
Complete the following survey by rating each problem you attempted on a scale of 1 to~10 according to how interesting you found it (1 = ``mind-numbing," 10 = ``mind-blowing"), and how difficult you found it (1 = ``trivial," 10 = ``brutal").  Also estimate the amount of time you spent on each problem to the nearest half hour.

\begin{center}
\begin{tabular}{l|r|r|r|}
& Interest & Difficulty & Time Spent\\\hline
Problem 1 & & & \\\hline
Problem 2 & & & \\\hline
Problem 3 & & & \\\hline
Problem 4 & & & \\\hline
Problem 5 & & & \\\hline
\end{tabular}
\end{center}
\noindent
Please rate each of the following lectures that you attended, according to the quality of the material (1=``useless", 10=``fascinating"), the quality of the presentation (1=``epic fail", 10=``perfection"), the pace (1=``way too slow", 10=``way too fast", 5=``just right") and the novelty of the material to you (1=``old hat", 10=``all new").

\begin{center}
\begin{tabular}{l|l|r|r|r|r|r}
Date & Lecture Topic & Material & Presentation & Pace & Novelty\\\hline
10/7 & Extensions of complete DVRs & & & & \\\hline 
10/9$  $ & Totally ramified extensions & & & & \\\hline 
\end{tabular}
\end{center}

\noindent
Please feel free to record any additional comments you have on the problem sets and the lectures, in particular, ways in which they might be improved.

\begin{thebibliography}{99}
\bibitem{cassels}
J.W.S. Cassels, \href{https://www.cambridge.org/core/books/local-fields/79C418837315D72263C9834DB78B9825}{\textit{Local Fields}}, Cambridge University Press, 1986.
\bibitem{koblitz}
N. Koblitz, \href{http://link.springer.com.book/10.1007/978-1-4612-1112-9}{\textit{$p$-adic numbers, $p$-adic analysis, and zeta function}}, Springer, 1984.
\end{thebibliography}

\end{document}