Metrizability of the space of R-places of a real function field

DOI10.1007/S00209-009-0566-ZMaRDI QIDQ993371zbMATH OpenOpenAlexFDO

Authors Michał Machura, Katarzyna Osiak, Murray Marshall

Publication date 10 September 2010

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00209-009-0566-z

zbMATH Keywords

formally real fieldmetrizabilityreal placespace of real places

Mathematics Subject Classification ID

Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Real algebraic sets (14P05)

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.

Recommendations

• Metrizability of spaces of R-places of function fields of transcendence degree 1 over real closed fields
• The space of \(\mathbb{R}\)-places on a rational function field
• The structure of spaces of \(\mathbb{R}\)-places of rational function fields over real closed fields
• Topological spaces as spaces of \(\mathbb R\)-places
• The extensions of R-places and application

Cites work

• Embedding ordered fields in formal power series fields
• Extension of an order to a simple transcendental extension
• scientific article; zbMATH DE number 3112450 (Why is no real title available?)
• scientific article; zbMATH DE number 3815780 (Why is no real title available?)
• scientific article; zbMATH DE number 3712103 (Why is no real title available?)
• scientific article; zbMATH DE number 195158 (Why is no real title available?)
• scientific article; zbMATH DE number 786594 (Why is no real title available?)
• Metrizability of spaces of R-places of function fields of transcendence degree 1 over real closed fields
• On orderings in real surfaces
• Positive polynomials and sums of squares
• Spaces of orderings and abstract real spectra
• The extensions of R-places and application
• The topological space of orderings of a rational function field

Cited in

(8)

• The space of \(\mathbb{R}\)-places on a rational function field
• On the dimension of the space of \(\mathbb R\)-places of certain rational function fields
• The structure of spaces of \(\mathbb{R}\)-places of rational function fields over real closed fields
• Metrizability of spaces of R-places of function fields of transcendence degree 1 over real closed fields
• Places, cuts and orderings of function fields
• Every metrizable space can be embedded in a metrizable field
• Metric dimensions and tameness in expansions of the real field
• The extensions of R-places and application

This page was built for publication: Metrizability of the space of \(\mathbb{R}\)-places of a real function field

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q993371)