Homomorphism of quasianalytic local rings
HTML articles powered by AMS MathViewer
- by Abdelhafed Elkhadiri PDF
- Proc. Amer. Math. Soc. 138 (2010), 1433-1438 Request permission
Abstract:
Let $\mathcal {C}_n$ be a local quasi-analytic subring of the ring of germs of $C^\infty$ functions on $\mathbb {R}^n$, and let $\mathcal {C}=\{ \mathcal {C}_n , n\in \mathbb {N}\}$. We suppose that $\mathcal {C}$ is closed under composition. Consider a map $\varphi : (\mathbb {R}^n, 0)\rightarrow (\mathbb {R}^k, 0)$ vanishing at zero, where $\varphi$ is a $k$-tuple $(\varphi _1,\ldots ,\varphi _k)$ and $\varphi _1,\ldots ,\varphi _k$ are in $\mathcal {C}_n$. Then $\varphi$ defines uniquely a map $\phi : \mathcal {C}_k \rightarrow \mathcal {C}_n$ by composition, and $\phi$ induces a morphism $\hat {\phi }: \hat {\mathcal {C}_k }\rightarrow \hat {\mathcal {C}_n}$ between completions. We let $\phi _* : \frac {\hat {\mathcal {C}_k} }{\mathcal {C}_k }\rightarrow \frac {\hat {\mathcal {C}_n }}{\mathcal {C}_n }$ be the homomorphism of groups induced by $\phi$ and $\hat {\phi }$ in the obvious manner. In the analytic case, i.e. when each $\mathcal {C}_n$ is the ring of germs of real analytic functions, M. Eakin and A. Harris give a condition under which $\phi _*$ is injective. In this paper we prove that the same statement does not hold for a quasianalytic system unless this system is analytic.References
- S. S. Abhyankar and M. van der Put, Homomorphisms of analytic local rings, J. Reine Angew. Math. 242 (1970), 26–60. MR 260729
- Paul M. Eakin and Gary A. Harris, When $F(f)$ convergent implies $f$ is convergent, Math. Ann. 229 (1977), no. 3, 201–210. MR 444651, DOI 10.1007/BF01391465
- C. L. Childress, Weierstrass division in quasianalytic local rings, Canadian J. Math. 28 (1976), no. 5, 938–953. MR 417441, DOI 10.4153/CJM-1976-091-7
- Abdelhafed Elkhadiri and Hassan Sfouli, Weierstrass division theorem in quasianalytic local rings, Studia Math. 185 (2008), no. 1, 83–86. MR 2380000, DOI 10.4064/sm185-1-5
- Hikosaburo Komatsu, The implicit function theorem for ultradifferentiable mappings, Proc. Japan Acad. Ser. A Math. Sci. 55 (1979), no. 3, 69–72. MR 531445
- Lou van den Dries, Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, Cambridge, 1998. MR 1633348, DOI 10.1017/CBO9780511525919
- Chris Miller, Infinite differentiability in polynomially bounded o-minimal structures, Proc. Amer. Math. Soc. 123 (1995), no. 8, 2551–2555. MR 1257118, DOI 10.1090/S0002-9939-1995-1257118-1
- Walter Rudin, Real and complex analysis, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1966. MR 0210528
Additional Information
- Abdelhafed Elkhadiri
- Affiliation: Department of Mathematics, Faculty of Sciences, University Ibn Tofail, BP 133 Kénitra, Morocco
- Email: kabdelhafed@hotmail.com
- Received by editor(s): May 19, 2008
- Received by editor(s) in revised form: August 23, 2009, and August 25, 2009
- Published electronically: December 8, 2009
- Additional Notes: This work was partially supported by PARS MI 33
- Communicated by: Ted Chinburg
- © Copyright 2009
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 138 (2010), 1433-1438
- MSC (2010): Primary 26E10, 32B05; Secondary 58C10
- DOI: https://doi.org/10.1090/S0002-9939-09-10176-4
- MathSciNet review: 2578536