{"entities":{"Q855260":{"pageid":857108,"ns":120,"title":"Item:Q855260","lastrevid":49991218,"modified":"2026-01-12T12:29:09Z","type":"item","id":"Q855260","labels":{"en":{"language":"en","value":"Whitney's extension problem for \\(C^m\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5081756"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855260$572A5338-7ED9-4C83-BD25-7B1820BCE8C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e63b52cabd2c467256fbc6890bc35d43d4d75c5","datavalue":{"value":{"text":"Whitney's extension problem for \\(C^m\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q855260$FDB7AA1B-A998-473B-8124-1FC3E37166BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65bf9d7cd1c0c64af09440033156740a36820a2c","datavalue":{"value":"1109.58016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855260$D35EE8DB-007A-4904-B6DD-9D2725AFF9F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855260$60729819-9C6C-4F82-B87A-9882E0DDE926","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27b4e4a51bf604d70e174840a6623a8922651fb0","datavalue":{"value":{"time":"+2007-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q855260$30E94FD4-C72F-4398-AEC5-A41B7E4478AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bbeaf6fb3a314306f598f5a08385b1e5c7fb298f","datavalue":{"value":"This important and impressive paper provides an answer to the following old problem of Whitney: being given a real-valued function \\( \\varphi \\) defined on a compact subset \\( E \\) of \\( {\\mathbb R}^n \\), how can we tell whether there exists \\( F\\in C^m({\\mathbb R}^n)\\) such that \\( F_{| E}=\\varphi \\)? In the particular case \\(m=1 \\), this problem was solved by \\textit{G. Glaeser} [J. Anal. Math. 6, 1--124 (1958; Zbl 0091.28103)] using a geometrical object called the ``iterated paratangent space''. A decisive breakthrough in the general case was made by \\textit{E. Bierstone, P. D. Milman}, and \\textit{F. Paw\u0142ucki} in [Invent. Math. 151, No.~2, 329--352 (2003; Zbl 1031.58002)]. They constructed a ``paratangent bundle'', which is an analogue of Glaeser's iterated paratangent space relevant to \\( C^m({\\mathbb R}^m) \\), and they conjectured a solution of Whitney's problem based on their construction.   In the present paper, the paratangent bundle is replaced by a natural variant whose definition goes along the following scheme: with each point \\( y\\in E \\) is associated a ``holding space for \\( \\varphi \\)'', that is, an affine subspace \\( H(y) \\) of the vector space \\( \\mathcal P \\) of real \\( m^{ th} \\) degree polynomials on \\( {\\mathbb R}^n \\), such that, for all \\( F \\in C^m({\\mathbb R}^n) \\) satisfying \\( F_{| E}=\\varphi \\), the \\( m\\)-jet of \\( F \\) at \\( y \\) belongs to \\( H(y) \\) (here, we make the convention that the empty set is allowed as an affine subspace of \\( \\mathcal P \\)). Starting with the trivial choice \\( H(y)=H_0(y)=\\{P\\in {\\mathcal P} : P(y)=\\varphi(y)\\} \\), the author produces a sequence \\( H_0(y)\\supseteq H_1(y)\\supseteq \\cdots\\supseteq H_{l-1}(y)\\supseteq H_l(y)\\supseteq \\cdots \\) of holding spaces for \\( \\varphi \\) by iterating an explicit construction that he calls a ``Glaeser refinement''. Following a crucial argument of Glaeser and Bierstone-Milman-Paw\u0142ucki, he shows that the process stabilizes at stage \\( l=2\\dim{\\mathcal P}+1 \\). The corresponding \\( H_l(y) \\) is called the ``stable holding space for \\( \\varphi \\)'' and denoted by \\( H_*(y) \\). In principle, \\( H_*(y) \\) is computable from the data \\( \\varphi \\) and \\( E \\). The answer to Whitney's problem then can be stated as follows: \\( \\varphi\\) extends to a \\(C^m \\) function on \\({\\mathbb R}^n \\) if and only if \\( H_*(y) \\) is nonempty for all \\( y\\in E \\). In this case, given \\( y_0 \\) in \\( E \\) and \\( P_0\\in {\\mathcal P} \\), we have \\( P_0\\in H_*(y_0) \\) if and only if there exists \\( F\\in C^m({\\mathbb R}^n) \\) with \\( F_{| E}=\\varphi \\) whose \\( m \\)-jet at \\( y_0 \\) coincides with \\( P_0 \\).   The paper includes several other results, among which the heart of the matter is a technical statement about the control of the \\( C^m \\) norm of functions interpolating \\( m \\)-jets on \\( E \\) in terms of bounds on finite subsets of \\( E \\) of suitable cardinality \\( k^\\sharp \\) depending only on \\( m \\) and \\( n \\). The proofs are quite difficult; techniques of modern real analysis and convexity arguments are combined into an intricate induction process.","type":"string"},"datatype":"string"},"type":"statement","id":"Q855260$A49D1514-FDA4-40F0-873A-AFB7AA102A56","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"600910b2753324a2ba1e61e5c5799569d4a16c42","datavalue":{"value":{"entity-type":"item","numeric-id":289499,"id":"Q289499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855260$576701AF-1917-45EA-80EC-B58CCB999D9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5a99b694950dbf951f8cf84bd00328a8aa0fcf","datavalue":{"value":"58C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855260$6C774835-0003-4E4C-8C25-C955F09E59CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a64afc22d8be5dfafe8e57e385c302503075b4ea","datavalue":{"value":"26B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855260$CC9073DA-4D41-4D7B-A2F7-0B9377449995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"053eea42d84c63fc473300158a3f62b65ac91f68","datavalue":{"value":"26B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855260$A92238AC-A93D-4916-97AE-F4B0C40CB4CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffb1b0fcb7c8792fd4191b2ab4520b29327ba7d8","datavalue":{"value":"5081756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855260$B3CDA1D1-02AB-4E8F-9650-337FB6C7D75D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9842caede3633afe196699cb556b906f9ea485b4","datavalue":{"value":"extension problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q855260$679FC0B2-9530-40EB-B52C-289ECC52678D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edefa0386da206a424afb9b07b1c554983cb513b","datavalue":{"value":"differentiable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q855260$E29FA9C9-CE87-43E8-8F59-B42C4F049B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dc3b88fe1c77c8a0bbb7e8c7290e7627f10c560","datavalue":{"value":"Whitney jets","type":"string"},"datatype":"string"},"type":"statement","id":"Q855260$2DFE4DAC-4211-4CA3-813C-8F181435CABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f46b5e8372983ffd57d89db46e54f5dcfccd9698","datavalue":{"value":"paratangent spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q855260$824CDAA5-DB82-40E4-841C-DC78ADA65A1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"121e5f7d0994874c36647ddea06b507c453289c1","datavalue":{"value":{"entity-type":"item","numeric-id":495895,"id":"Q495895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855260$DEB300DA-7B16-4C69-AC1D-FB4C9562CB33","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855260$E0381DF7-0C54-464E-A304-6A887C6DB349","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6eecfc30d865e859f96d50472d720bafd097bae3","datavalue":{"value":"https://doi.org/10.4007/annals.2006.164.313","type":"string"},"datatype":"url"},"type":"statement","id":"Q855260$0DD1E6E1-504D-4F41-9FF3-6E8E9B90D0B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2086c791817a535acea2f15cb267ba0f1f36f61","datavalue":{"value":"W2157206294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855260$C6C394BA-6A53-4471-898A-B402BF9F675D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13cffde029db9b12bc0da506b99ede2afa97a2a6","datavalue":{"value":"10.4007/ANNALS.2006.164.313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855260$7F484EE0-80EF-4E06-BF6B-BE8A2B40B278","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70a6912f0480ef3e1e58e8c69e6ac1b03f590da","datavalue":{"value":{"entity-type":"item","numeric-id":855261,"id":"Q855261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c7990ab9577f94de0704579830a2b8f3ef066b1","datavalue":{"value":{"amount":"+0.8732853531837463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q855260$C0CCF805-7AC9-4739-B90B-50A89870AB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8533a8d73b7388b65be4234bf34fdd41702e039","datavalue":{"value":{"entity-type":"item","numeric-id":3623559,"id":"Q3623559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723580302ec61dd2296f1defa8c4dbb256c7fa15","datavalue":{"value":{"amount":"+0.8547892570495605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q855260$3FA7C6A4-9694-4B95-BCC7-67D16F76B988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8412a11a41e931a284362cb14417c272f69a507","datavalue":{"value":{"entity-type":"item","numeric-id":1774080,"id":"Q1774080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc5619bba6c53644fd8350425f2d4840786b792","datavalue":{"value":{"amount":"+0.8379113674163818","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q855260$0352DB20-804B-4622-B8D0-94A55B4C1833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b4dd7c10fe63f6862204db075c48047dfc2338","datavalue":{"value":{"entity-type":"item","numeric-id":2468416,"id":"Q2468416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c504ce0e9d7e2d7ed7e5095567449b7e04867f","datavalue":{"value":{"amount":"+0.8335790634155273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q855260$EBD1B016-B2FA-4166-B654-557DDDF01358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11af5db651de7f9d1febbf70df73f59455935e5e","datavalue":{"value":{"entity-type":"item","numeric-id":1401471,"id":"Q1401471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9942a0d64fcaf4482c55e5506563bca314622d8","datavalue":{"value":{"amount":"+0.82557213306427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q855260$67EC8C4E-3EEE-4EEE-8DB5-8FF1B35D187F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:855260","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:855260"}}}}}