8
$\begingroup$

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).
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}$.
We conclude that any basis for the topology of $K$ must have cardinality at least $\kappa:=\max(\mathrm{Card}\,\Gamma, \mathrm{Card}\,k)$.

Question: does there exist a basis of open subets of $K$ with cardinality $\kappa$?

Remarks:
(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.
(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)?

$\endgroup$

1 Answer 1

3
$\begingroup$

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.

$\endgroup$
2
  • $\begingroup$ If the distance is less than 1, then a ball of radius 2 around one of them will contain all the others. In particular the balls will not be disjoint. What am I missing? $\endgroup$ Commented May 15, 2012 at 19:34
  • $\begingroup$ I'm talking about valuative radius, so bigger is smaller... e.g. $t^2$ is closer to $0$ than $t$ $\endgroup$
    – Moshe
    Commented May 15, 2012 at 19:43

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .