A coordinate-free proof of the finiteness principle for Whitney's extension problem

DOI10.4171/RMI/1186MaRDI QIDQ1998689zbMATH OpenOpenAlexFDO

Authors Jacob Carruth, Abraham Frei-Pearson, Arie Israel, B. Klartag

Publication date 7 March 2021

Published in Revista Matemática Iberoamericana (Search for Journal in Brave)

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

zbMATH Keywords

interpolationWhitney's extension problem

Mathematics Subject Classification ID

Continuous and differentiable maps in nonlinear functional analysis (46T20) Banach spaces of continuous, differentiable or analytic functions (46E15) Differentiable maps on manifolds (58C25)

Abstract: We present a coordinate-free version of Fefferman's solution of Whitney's extension problem in the space $C^{m-1,1}(mathbb{R}^n)$. While the original argument relies on an elaborate induction on collections of partial derivatives, our proof uses the language of ideals and translation-invariant subspaces in the ring of polynomials. We emphasize the role of compactness in the proof, first in the familiar sense of topological compactness, but also in the sense of finiteness theorems arising in logic and semialgebraic geometry.

Recommendations

• A sharp form of Whitney's extension theorem
• The Whitney extension theorem for C^1, horizontal curves in the Heisenberg group
• Extending Whitney's extension theorem: nonlinear function spaces
• Smooth selection for infinite sets
• Whitney's extension theorem and the finiteness principle for curves in the Heisenberg group

Cites work

• scientific article; zbMATH DE number 3960171 (Why is no real title available?)
• scientific article; zbMATH DE number 3962475 (Why is no real title available?)
• scientific article; zbMATH DE number 703974 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 4117225 (Why is no real title available?)
• A sharp form of Whitney's extension theorem
• An example related to Whitney extension with almost minimal \(C^m\) norm
• Analytic Extensions of Differentiable Functions Defined in Closed Sets
• Differentiable functions defined in closed sets. A problem of Whitney
• Fitting a \(C^m\)-smooth function to data. II
• Higher-order tangents and Fefferman's paper on Whitney's extension problem
• Lipschitz selections of set-valued mappings and Helly's theorem
• The Whitney extension problem and Lipschitz selections of set-valued mappings in jet-spaces
• The Whitney problem of existence of a linear extension operator
• Traces of functions of Zygmund class
• Whitney's extension problem for \(C^m\)
• Whitney's extension problem for multivariate \(C^{1,\omega}\)-functions
• \(C^m\) extension by linear operators
• \({\mathcal C}^m\)-norms on finite sets and \({\mathcal C}^m\) extension
• Étude de quelques algèbres tayloriennes

Cited in

(5)

• The norm of linear extension operators for \(C^{m-1,1}(\mathbb{R}^n)\)
• Whitney's extension theorem and the finiteness principle for curves in the Heisenberg group
• The Brenner-Hochster-Kollár and Whitney problems for vector-valued functions and jets
• scientific article; zbMATH DE number 3857755 (Why is no real title available?)
• An extension of Whitney's theorem to infinite strong triangulations

This page was built for publication: A coordinate-free proof of the finiteness principle for Whitney's extension problem

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