2019/07/23 by Genrich Belitskii, Belitskii, Genrich, Dmitry Kerner +1
Mathematics · #Advanced Topics in Algebra #Commutative Algebra (math.AC) #Commutative Algebra and Its Applications #FOS: Mathematics #Rings, Modules, and Algebras
paper · pdf · doi:10.48550/arxiv.1907.10053
openalex publication_date 2019/07/23 · openalex created_date 2020/07/02 · openalex updated_date 2026/07/28
The classical lemma of Borel reads: any power series with real coefficients is the Taylor series of a smooth function. Algebraically this means the surjectivity of the completion map at a point, C^∞(ℝn) \twoheadrightarrow ℝ[[\underlinex]]. Similarly, Whitney extension theorem implies the surjectivity of the completion at closed subsets of ℝn. For various applications one needs the surjectivity of completion for general C^∞-rings and general filtrations. We establish the necessary and sufficient conditions for this surjectivity. Moreover, we prove: any element of the completion admits a C^∞-representative that is real-analytic outside of the locus of completion, has any prescribed vanishing rate "at infinity", and the prescribed positivity behaviour at the finite part. Alternatively, one can impose on the smooth representative a set of (compatible) linear conditions.