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

DOI10.4171/RMI/1186zbMATH Open1471.46021arXiv1808.06658OpenAlexW3016524232MaRDI QIDQ1998689FDOQ1998689

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

Publication date: 7 March 2021

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

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.

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

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

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)

Cites Work

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

Cited In (5)

• Title not available (Why is that?)
• 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
• An extension of Whitney's theorem to infinite strong triangulations
• The norm of linear extension operators for \(C^{m-1,1}(\mathbb{R}^n)\)

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)