2
$\begingroup$

All valuations of $\mathbb{Q}$ are associated to either a p-adic field or the field of real numbers. Now, the classification of fields gives that every local field in characteristic $0$ is a finite extension of these.

Is there another notion for a topology on $\mathbb{Q}$ than coming from a valuation, which allows more general completions? Preferably, their additive groups should have Haar measures, but are not necessarily locally compact?

  • 0
    If you want to look at completions, you should look at metrics on $\mathbb Q$. For example, you can take the discrete topology, and the completion is $\mathbb Q$.2011-06-24
  • 0
    Presumably, you want the topology to respect the algebra, that is, you want the field operations to be continuous, right?2011-06-24
  • 0
    In most generality, I guess you can ask if there are any metrics on $\mathbb{Q}$ which are compatible with the algebraic operations (as Gerry mentioned) and have a completion which is neither $\mathbb{Q},\mathbb{R}$ or $\mathbb{Q}_p$ for $p$ prime.2011-06-24
  • 0
    I was hoping for some definitions which allow more structure at infinity, since I heard somebody saying that Arakelov geometry provides things like this.2011-06-24

1 Answers 1

6

You can take the "finite adele" topology, which comes from pulling back the dense diagonal copy of $\mathbb{Q}$ in the ring $\prod_p \mathbb{Z}_p + \mathbb{Q}$ of finite adeles. You can also call it the "Furstenburg topology" if you want to annoy BCnrd.

There is an analogous construction using any subset of the primes, and indeed, you may leave out any nonempty subset of finite or infinite places from the adeles to get a completion of a non-discrete topology on $\mathbb{Q}$. All such additive groups are locally compact, and admit Haar measures.

  • 1
    don't tell B, but...+1.2011-06-24
  • 2
    Good example +1; But It might be worth mentioning though that under this topology, $\mathbb{Q},$ is a topological ring but not a topological field.2011-06-25