Metrizability of the space of \(\mathbb{R}\)-places of a real function field
type: Item
instance of: scholarly article
title: Metrizability of the space of \(\mathbb{R}\)-places of a real function field
zbMATH Open document ID: 1201.12001
author: Michał Machura
author: Katarzyna Osiak
author: Murray Marshall
published in: Mathematische Zeitschrift
publication date: 2010-09-10T00:00:00Z
review text: The topological space \(M_F\) of \(\mathbb R\)-places of the field \(F\) is a quotient space of the space \(X_F\) of all orderings of \(F.\) In general its structure can be very complicated. For \(F={\mathbb R}(X)\) the space \(M_F\) is the real projective line. However for \(n>1\) the structure of \(M_{{\mathbb R}(X_1,\dots,X_n)}\) is not known so far. The main theorem of the paper says that for any uncountable real closed field \(R\), the space of \(\mathbb R\)-real places of the rational function field \(R(X_1,X_2)\) is not metrizable. The authors also consider the more general question of when the space of \(\mathbb R\)-places of a finitely generated formally real field extension \(F\) of a real closed field \(R\) is metrizable. They prove that if \(R\) is uncountable and the transcendence degree of \(F\) over \(R\) is greater than 1, then \(M_F\) is not metrizable, whereas in the case of transcendence 1 and \(R\) being Archimedean the space \(M_F\) is metrizable if \(R\) is countable.
reviewed by: Andrzej Sładek
Mathematics Subject Classification ID: 12D15
Mathematics Subject Classification ID: 14P05
zbMATH DE Number: 5782759
zbMATH Keywords: formally real field
zbMATH Keywords: real place
zbMATH Keywords: space of real places
zbMATH Keywords: metrizability
MaRDI profile type: Publication
full work available at URL: s00209-009-0566-z
OpenAlex ID: W2151574560
cites work: On orderings in real surfaces
cites work: Q4843070
cites work: Q3903111
cites work: The topological space of orderings of a rational function field
cites work: Extension of an order to a simple transcendental extension
cites work: Q3226265
cites work: Q4693114
cites work: Embedding ordered fields in formal power series fields
cites work: Metrizability of Spaces of ℝ-places of Function Fields of Transcendence Degree 1 Over Real Closed Fields
cites work: Q3663392
cites work: Q5852630
cites work: Spaces of orderings and abstract real spectra
cites work: Q5452017
DOI: 10.1007/S00209-009-0566-Z
description: scientific article; zbMATH DE number 5782759