Central orderings in fields of real meromorphic function germs
type: Item
instance of: scholarly article
title: Central orderings in fields of real meromorphic function germs
zbMATH Open document ID: 0538.14018
DOI: 10.1007/BF01185201
published in: Manuscripta Mathematica
publication date: 1984-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/154997
review text: The author relates the geometry of the maximum dimension locus of a real irreducible analytic germ \(X_ 0\subset {\mathbb{R}}^ n_ 0\) and the space of orders of the field of germs of meromorphic functions over \(X_ 0\), \({\mathcal O}(X_ 0)\). Results of the same nature are already known in the real algebraic case. A formal half branch is defined to be a germ of non-constant \(C^{\infty}\)-mapping from \(]0,\epsilon[\) to \(X_ 0,c\), such that, if \(\hat c\) is the jet of c, an analytic function f is such that \(f(\hat c)=0\) iff for \(\epsilon\) sufficiently small for all \(t\in]0,\epsilon [\): \(f(c(t))=0\) \((t\to(t,e^{-1/t}))\) is not a formal half branch of \({\mathbb{R}}^ 2_ 0\), for example). The dimension of a formal half-branch is the dimension of the smallest analytic germ containing the image of c. - An order \(\alpha\) of \({\mathcal O}(X_ 0)\) is centered at a formal half- branch of \(X_ 0\) if every germ of analytic function over \(X_ 0\) positive on the image of c is positive for \(\alpha\). This is a geometric illustration of the theory of specialization in the real spectrum of the ring of germs of analytic functions on \(X_ 0\). Let \(\Omega\) be the set of orders on \({\mathcal O}(X_ 0)\), \(\Omega^*\) (resp. \(\Omega_ e\), \(e=1,...,d=\dim X_ 0)\) be the set of orders centered at a formal half- branch (resp. of dimension e). The author shows that \(\Omega_ 1,...,\Omega_ d\), \(\Omega-\Omega^*\) are disjoint and dense in \(\Omega\). Then he establishes a bijection between the clopens of \(\Omega\) and the regularly closed semi-analytic germs of the maximum dimension locus \(X^*_ 0\) of \(X_ 0\), which gives, as in the real algebraic case, a solution to Hilbert 17th problem.
Mathematics Subject Classification ID: 14Pxx
Mathematics Subject Classification ID: 32C05
Mathematics Subject Classification ID: 32B10
Mathematics Subject Classification ID: 26E05
Mathematics Subject Classification ID: 12D15
zbMATH DE Number: 3855276
zbMATH Keywords: analytic germ
zbMATH Keywords: semi-analytic real spectrum
zbMATH Keywords: space of orders of the field of germs of meromorphic functions
zbMATH Keywords: formal half branch
zbMATH Keywords: maximum dimension locus
zbMATH Keywords: Hilbert 17th problem
author: Jesús M. Ruiz
reviewed by: Marie-Françoise Roy
MaRDI profile type: Publication
cites work: On orderings in real surfaces
cites work: Familles de courbes sur les germes d'espaces analytiques
cites work: La topologie du spectre réel
cites work: Second note on Artin's solution of Hilbert's 17th problem. Order spaces
cites work: Q4182814
cites work: Introduction to the theory of analytic spaces
cites work: Sur la divisibilité des fonctions de classe $C^r$ par les fonctions analytiques réelles
cites work: Solutions d'un système d'équations analytiques réelles et applications
OpenAlex ID: W2013135439
description: scientific article; zbMATH DE number 3855276