When is a valued field second-countable? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T08:07:34Z http://mathoverflow.net/feeds/question/96999 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/96999/when-is-a-valued-field-second-countable When is a valued field second-countable? Laurent Moret-Bailly 2012-05-15T13:58:41Z 2012-05-15T17:37:10Z <p>Let $R$ be a valuation ring, with fraction field $K$ and residue field $k$. Denote by $\Gamma=K^{\times}/R^{\times}$ the valuation group (assumed nontrivial).<br> The valuation $v:K^{\times}\to\Gamma$ decomposes $K^{\times}$ as a disjoint union of nonempty open subsets, indexed by $\Gamma$. Each of these is homeomorphic to $R^{\times}$, which is in turn (using the reduction map to $k$) a disjoint union of nonempty open subsets, indexed by $k^{\times}$.<br> We conclude that any basis for the topology of $K$ must have cardinality at least <code>$\kappa:=\max(\mathrm{Card}\,\Gamma, \mathrm{Card}\,k)$</code>. </p> <p>Question: does there exist a basis of open subets of $K$ with cardinality $\kappa$? </p> <p>Remarks:<br> (1) It is true if $v$ is discrete, i.e. $\Gamma\cong\mathbb{Z}$. Proof: take a set $S\subset R$ of representatives of $k$, and a uniformizing parameter $\pi$. Let $X\subset K$ be the set of finite sums $\sum_i s_i\pi^{n_i}$ ($s_i\in S$, $n_i\in\mathbb{Z}$). Then the balls centered on $X$ form a basis.<br> (2) I am especially intereseted in the case $\kappa=\omega$. Explicitly: if $\Gamma$ and $k$ are countable, does it follow that $K$ is second-countable (or, equivalently, separable)? </p> http://mathoverflow.net/questions/96999/when-is-a-valued-field-second-countable/97029#97029 Answer by Moshe for When is a valued field second-countable? Moshe 2012-05-15T17:37:10Z 2012-05-15T17:37:10Z <p>I now think that the answer is no. Let $K$ be the field of Hahn series for the group $\mathbb{Q}$ over a countable field $k$, in the variable $t$ (so $\kappa=\omega$). For any sequence $a=(a_i)$ of elements of $k$, and any increasing sequence $\gamma=(\gamma_i)$ of rational numbers between $0$ and $1$, we have an element $x_{a,\gamma}=\sum_{i\in\omega}a_it^{\gamma_i}$ in $K$. The distance between different such elements is less than $1$ (in the valuative sense), so if we take an open ball of radius $2$ around each we get a disjoint union of uncountably many balls.</p>