53cdd1e86fc946fb.tex
1: \begin{abstract}
2:   We continue the investigation of dp-finite fields from \cite{prdf}.
3:   We show that the ``heavy sets'' of \cite{prdf} are exactly the sets
4:   of full dp-rank.  As a consequence, full dp-rank is a definable property
5:   in definable families of sets.  If $I$ is the group of
6:   infinitesimals, we show that $1 + I$ is the group of multiplicative
7:   infinitesimals.  From this, we deduce that the canonical topology is
8:   a field topology.  Lastly, we consider the (unlikely) conjecture
9:   that the canonical topology is a V-topology.  Assuming this
10:   conjecture, we deduce the expected classification of dp-finite
11:   fields \cite{halevi-hasson-jahnke}.
12: \end{abstract}
13: