Isomorphisms of algebras of smooth functions revisited

DOI10.1007/S00013-005-1268-3MaRDI QIDQ2569210zbMATH OpenOpenAlexFDO

Authors J. Grabowski

Publication date 18 October 2005

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0310295

zbMATH Keywords

algebra isomorphismBanach-Stone type theoremfinite-dimensional manifoldssmooth functions

Mathematics Subject Classification ID

Rings and algebras of continuous, differentiable or analytic functions (46E25) Algebraic properties of function spaces in general topology (54C40) Differentiable manifolds, foundations (58A05) Differentiable maps on manifolds (58C25)

Abstract: It is proved that isomorphisms between algebras of smooth functions on Hausdorff smooth manifolds are implemented by diffeomorphisms. It is not required that manifolds are second countable nor paracompact. This solves a problem stated by A. Wienstein. Some related results are discussed as well.

Review text

Let \(M_1,M_2\) be Hausdorff smooth finite-dimensional manifolds. Let \(C^{\infty}(M_i,F)\) denote the algebra of smooth functions over the real or complex scalar field \(F\). In this interesting paper, the author gives a proof of a Banach-Stone type theorem which describes an algebra isomorphism between these spaces as implemented by a pull back by a smooth diffeomorphism between the manifolds. It is not assumed that the manifolds are second countable or paracompact. The canonical approach is to identify ideals of co-dimension one (or, equivalently, multiplicative functionals) with points of the manifold. Unlike this approach, the author calls an ideal of co-dimension one `distinguished' if it has an element which is not in any other ideal of co-dimension one. With this notation, one of the main steps of the proof is to establish that \(p \rightarrow \{f : f(p) = 0\}\) is a homeomorphism when the set of distinguished ideals of co-dimension one is equipped with the Stone topology. It is also noted that \textit{J.~Mrčun [Proc. Am. Math. Soc. 133, No.~10, 3109--3113 (2005; Zbl 1077.58005)] also gave a proof of Theorem 1, using `characteristic sequences of functions' instead of characterizations of multiplicative functionals.}

Recommendations

• On isomorphisms of algebras of smooth functions
• scientific article; zbMATH DE number 2166145
• Relations between Banach Function Algebras and their Uniform Closures
• scientific article; zbMATH DE number 5173349
• Banach-Stone theorems for Banach manifolds
• Biseparating maps between smooth vector-valued functions on Banach manifolds
• Automorphisms of algebras of smooth functions and equivalent functions
• Isomorphisms of algebras of generalized functions
• scientific article; zbMATH DE number 4086353
• A Real Valued Homomorphism on Algebras of Differentiable Functions

Cited in

(15)

• Algebras of differentiable functions and algebras of Lipschitz functions
• On embedding of subcartesian differential space and application
• Linking Lie groupoid representations and representations of infinite-dimensional Lie groups
• Banach-Stone theorems for Banach manifolds
• Classification of order preserving isomorphisms between algebras of semiclassical operators
• Automorphisms of algebras of smooth functions and equivalent functions
• An algebraic approach to manifold-valued generalized functions
• Biseparating maps between smooth vector-valued functions on Banach manifolds
• Order isomorphisms between bases of topologies
• Geometric structures encoded in the Lie structure of an Atiyah algebroid
• On isomorphisms of algebras of smooth functions
• THE COVARIANT PICARD GROUPOID IN DIFFERENTIAL GEOMETRY
• Isomorphisms of algebras of generalized functions
• Some preserver problems on algebras of smooth functions
• Lie algebraic characterization of manifolds

This page was built for publication: Isomorphisms of algebras of smooth functions revisited

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