On the Pythagoras numbers of real analytic set germs
نویسندگان
چکیده
We show that: (i) the Pythagoras number of a real analytic set germ is the supremum of the Pythagoras numbers of the curve germs it contains, and (ii) every real analytic curve germ is contained in a real analytic surface germ with the same Pythagoras number (or Pythagoras number 2 if the curve is Pythagorean). This gives new examples and counterexamples concerning sums of squares and positive semidefinite analytic function germs. 1 Preliminaries and statement of results The Pythagoras number of a ring A is the smallest integer p(A) = p ≥ 1 such that any sum of squares of A is a sum of p squares, and p(A) = +∞ if such an integer does not exist. This invariant appeals specialists from many different areas, and has a very interesting behaviour in geometric cases; we refer the reader to [BCR], [CDLR], [Sch1] and [Sch2]. Here we are interested in the important case of real analytic germs, which have been extensively studied in [CaRz], [Or], [Qz], [FeQz], [Rz], [FeRz], [Fe1], [Fe2], [Fe3]. Let X ⊂ Rn be a real analytic set germ and O(X) its ring of analytic function germs. Since O(Rn) is the ring R{x} of convergent power series in x = (x1, . . . , xn), we have O(X) = R{x}/J (X), where J (X) stands for the ideal of analytic function germs vanishing on X. We will discuss the Pythagoras number p[X] = p(A) of the ring A = O(X). Clearly, if we have another real analytic set germ Y ⊂ X, then J (Y ) ⊃ J (X) and the canonical surjection O(X) → O(Y ) gives immediately the inequality p[Y ] ≤ p[X]. This easy remark can be sharpened as follows: ∗Supported by Spanish GAAR BFM2002-04797 and European RAAG HPRN-CT-2001-00271
منابع مشابه
Analytic surface germs with minimal Pythagoras number
We determine all complete intersection surface germs whose Pythagoras number is 2, and find they are all embedded in R and have the property that every positive semidefinite analytic function germ is a sum of squares of analytic function germs. In addition, we discuss completely these properties for mixed surface germs in R. Finally, we find in higher embedding dimension three different familie...
متن کاملGERMS OF LOCAL AUTOMORPHISMS OF REAL-ANALYTIC CR STRUCTURES AND ANALYTIC DEPENDENCE ON k-JETS
The topic of the paper is the study of germs of local holomorphisms f between Cn and Cn ′ such that f(M) ⊂ M ′ and df(T cM) = T cM ′ for M ⊂ Cn and M ′ ⊂ Cn generic real-analytic CR submanifolds of arbitrary codimensions. It is proved that for M minimal and M ′ finitely nondegenerate, such germs depend analytically on their jets. As a corollary, an analytic structure on the set of all germs of ...
متن کاملO-minimal Analytic Separation of Sets in Dimension 2
We study the Hardy field associated with an o-minimal expansion of the real numbers. If the set of analytic germs is dense in the Hardy field, then we can definably analytic separate sets in R2, and we can definably analytic approximate definable continuous unary functions.
متن کاملON THE POSITIVE EXTENSION PROPERTY AND HILBERT’S 17th PROBLEM FOR REAL ANALYTIC SETS
In this work we study the Positive Extension (PE) property and Hilbert’s 17th Problem for real analytic germs and sets. A real analytic germ Xo of Ro has the PE property if every positive semidefinite analytic function germ on Xo has a positive semidefinite analytic extension to Ro ; analogously one states the PE property for a global real analytic set X in an open set Ω of R. These PE properti...
متن کاملBlow-analytic Equivalence of Two Variable Real Analytic Function Germs
Blow-analytic equivalence is a notion for real analytic function germs, introduced by Tzee-Char Kuo in order to develop the real analytic equisingularity theory. In this paper we give several complete characterisations of blow-analytic equivalence in the two dimensional case in terms of the minimal resolutions, the real tree model for the arrangement of Newton-Puiseux roots, and the cascade blo...
متن کامل