{"entities":{"Q736784":{"pageid":738633,"ns":120,"title":"Item:Q736784","lastrevid":63985584,"modified":"2026-04-11T16:52:52Z","type":"item","id":"Q736784","labels":{"en":{"language":"en","value":"On Artin approximation for formal CR mappings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609433"}},"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":"Q736784$C7E48FF1-D5DF-466C-9F38-8A521C4E7359","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ee7066d3d87f4fd79f2549d7ed52bc06eeac3b8","datavalue":{"value":{"text":"On Artin approximation for formal CR mappings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q736784$86DCA8E1-5348-4288-87BF-0F1D0E2B3076","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9785ebc9bdc42367d388d4a90d728c30c94fff0f","datavalue":{"value":"1359.32007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736784$D256CCCE-01BD-4E87-9083-DD2ECBB4487B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"074f7389e594305063664c4f584838e46acdf62e","datavalue":{"value":{"entity-type":"item","numeric-id":439121,"id":"Q439121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736784$803E6DE5-7991-4960-80A4-725F5AD03175","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736784$B17C998A-5415-4579-ACE7-C085233BC0A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19f8be58b1829936b94d36e09e6fb6fb923fb3ba","datavalue":{"value":{"time":"+2016-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q736784$B42EF48F-F762-48A2-B4C6-F0003EE9B50D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f8779f641275e3eae6045fbff0ba3f74820f5b83","datavalue":{"value":"Let \\(M\\) be a real-analytic CR submanifold of \\(\\mathbb{C}^N\\) and \\(S'\\) a real-analytic subset of \\(\\mathbb{C}^{N+N'}\\). A pair \\((M,S')\\) is said to have the \\textit{Artin approximation property} if for every \\(p\\in M\\) and every positive integer \\(\\ell\\) it follows that for each formal holomorphic map  \\[ H:(\\mathbb{C}^N,p)\\to\\mathbb{C}^N \\]  satisfying  \\[ \\mathrm{Graph}(H) \\cap (M\\times\\mathbb{C}^{N'})\\subset S' \\]  there exists the germ of a holomorphic map at \\(p\\)  \\[ h^{\\ell}:(\\mathbb{C}^N,p)\\to\\mathbb{C}^N \\]  satisfying  \\[ \\mathrm{Graph}(h^{\\ell}) \\cap (M\\times\\mathbb{C}^{N'})\\subset S' \\]  and agreeing with \\(H\\) up to order \\(\\ell\\).  A real-analytic subset  \\[ S'\\subset \\mathbb{C}_{Z}^N\\times \\mathbb{C}_{Z'}^{N'} \\]  is called partially algebraic if it is given locally by the vanishing of finitely many functions that are real polynomials in \\(Z'\\) with real-analytic coefficients in \\(Z\\).  Given a real-analytic CR submanifold \\(M\\subset \\mathbb{C}^N\\) with complex tangent bundle \\(T^cM\\subset TM\\), it is known that at every \\(p\\in M\\), there exists a unique germ of a real-analytic CR submanifold \\(\\mathcal{O}_p\\) through \\(p\\) called the CR orbit of \\(M\\) at \\(p\\), such that every point \\(q\\in\\mathcal{O}_p\\) can be reached from \\(p\\) by a piecewise differentiable curve in \\(M\\) whose tangent vectors are in \\(T^cM\\).  Sufficient conditions that \\((M,S')\\) have the Artin approximation property are given. The main result states that, given a connected real-analytic submanifold \\(M\\subset \\mathbb{C}^N\\) having the property, then all CR orbits of \\(M\\) are all of the same dimension and at most codimension one, then \\((M,S')\\) will have the Artin approximation property whenever \\(S'\\subset\\mathbb{C}^N\\times\\mathbb{C}^{N'}\\) is real-analytic and partially algebraic.  The proof involves reduction of the original system of analytic and CR equations to a system of real analytic equations that has a nested approximation property. That is, the reduced system of equations admits a formal solution in which some of its components depend on fewer variables. This is based on a result of \\textit{J. Denef} and \\textit{L. Lipschitz} [Math. Ann. 253, 1--28 (1980; Zbl 0426.13010)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q736784$213690D5-0144-4D13-A1A1-F825EB9B8E2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c02c264fefb76e094e94907bf91a475fc8d3767a","datavalue":{"value":"32C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736784$592F8B84-CFCC-4EE2-99B8-B5B565DE8346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e743546efdd1d2cb5959c60eef42dac7c7c016fb","datavalue":{"value":"32C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736784$9AB8653F-76BA-48FF-90F5-A9C49AA4DCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b600f74582cef6f99cdd1961b2674024f6fa433","datavalue":{"value":"32H02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736784$063CD72D-8686-4E4A-AE6B-A8C368FDC289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b438f789a0e2cce68acabd252fc29ea8adf73c5","datavalue":{"value":"32V05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736784$089D264E-6F7D-4600-B4E2-036D4B63B742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b767248f0cb2d4f250e133b3e14d984a001495b6","datavalue":{"value":"32V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736784$CDC7EB19-2152-4453-8B00-9EE370BE6747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d86666cacc38bd5e750805f34689338ea40bafce","datavalue":{"value":"32V40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736784$7C52AA1A-AEE1-415F-8213-D8DBE12FEEE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c6ada6d56aef72a0b184e6db9c3aae4a68a69e2","datavalue":{"value":"6609433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736784$EA2CED86-6745-42CC-B9DE-5C174080B11B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a145acd4deb757aa68f6f5cd1642954cd25c2ce","datavalue":{"value":"formal holomorphic map","type":"string"},"datatype":"string"},"type":"statement","id":"Q736784$FF1541A2-4590-4D54-AB21-FA0BED92D331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a09300c969bff9448e2c9503bb83126e0e58637","datavalue":{"value":"CR manifold","type":"string"},"datatype":"string"},"type":"statement","id":"Q736784$53C472EA-25F6-47B4-AF45-10356297C46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff9788c04bf79b13110224c19c7c8d209179682","datavalue":{"value":"Artin approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q736784$A5B80D0A-4847-4512-9E9A-1523E353A8E0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b98d80f4c460bda078605ecfb0ed89ce840d87f9","datavalue":{"value":{"entity-type":"item","numeric-id":248511,"id":"Q248511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736784$FB4AD858-0051-40FA-8525-AD6EE7C0AEFB","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":"Q736784$7D52922E-81CB-4BEF-A066-13B80C3B3619","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b28ae260c8954878b445a4e54fbba486b4b5e2c","datavalue":{"value":"https://doi.org/10.4310/mrl.2016.v23.n1.a11","type":"string"},"datatype":"url"},"type":"statement","id":"Q736784$983A49B6-4689-4E18-888F-6143FA60FD5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1d3e3d5cf10863084e3381c0890a9b8a23ddfee","datavalue":{"value":"W2406020758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736784$28752E64-F81A-4879-BFEF-5B2C479ECB6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82dc6cedba6d0f2ef3335ab7c3a23f874baf03e7","datavalue":{"value":"10.4310/MRL.2016.V23.N1.A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736784$C5FDAB9E-144D-431F-A65B-45EF76ED1796","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69171425d040c738148cc0f0b128ba70b0a15e70","datavalue":{"value":{"entity-type":"item","numeric-id":439122,"id":"Q439122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1844ca092784c9fd7f0b1308a52468fd6ae96654","datavalue":{"value":{"amount":"+0.8669228553771973","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":"Q736784$28569A55-6FE7-4E55-9E0F-55220B180055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"559d6d8df5cdace19df8cb01b1500214fdf0945c","datavalue":{"value":{"entity-type":"item","numeric-id":5189184,"id":"Q5189184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3491c52e2301a29aa68b2a8dcd7b66949f13a703","datavalue":{"value":{"amount":"+0.8502899408340454","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":"Q736784$34C88D28-1699-4071-8E6B-18546A6619A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4f1a83743b0cbbb4ee47953b25843616f01c181","datavalue":{"value":{"entity-type":"item","numeric-id":4779935,"id":"Q4779935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d57610ab609edeeefc908b183d38b218407e57","datavalue":{"value":{"amount":"+0.8327141404151917","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":"Q736784$6AB0809E-5522-4C48-ACC9-C855A9F2EC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f15789a69e28b5778b7a88a4c8433963afa372e","datavalue":{"value":{"entity-type":"item","numeric-id":1035204,"id":"Q1035204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42740335a5db8ae2d58bc60c49b76b0bd1a4e233","datavalue":{"value":{"amount":"+0.8287809491157532","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":"Q736784$1D8C57A1-502F-4F73-9B9B-6E4B2BBD0C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26717b0702f234887fbc5a823fbfbc0e436cd94e","datavalue":{"value":{"entity-type":"item","numeric-id":1860653,"id":"Q1860653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d264032580f971e6030ca0ba69634a5a49b9b3","datavalue":{"value":{"amount":"+0.8279395699501038","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":"Q736784$187F37C2-CEA6-4726-9585-6355127C40B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Artin approximation for formal CR mappings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Artin_approximation_for_formal_CR_mappings"}}}}}