{"entities":{"Q1778120":{"pageid":1788862,"ns":120,"title":"Item:Q1778120","lastrevid":70870383,"modified":"2026-04-13T17:49:39Z","type":"item","id":"Q1778120","labels":{"en":{"language":"en","value":"A \\(C^\\infty\\)-regularity theorem for nondegenerate CR mappings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2176490"}},"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":"Q1778120$EE9AF140-A29F-42B1-932D-46E05E295064","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a8fafbfc77bed01d28e5c5328473441303f6bdc","datavalue":{"value":{"text":"A \\(C^\\infty\\)-regularity theorem for nondegenerate CR mappings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1778120$76288789-4B5E-4208-8ABA-F3F3FB49B29E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb042c0af7c64dc6c235607504849da7e8d8123a","datavalue":{"value":"1078.32022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778120$B64E4A01-8395-4A48-92F2-B4DAAC671E1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d865fd7f33299d949f87b96f31264f99131daf66","datavalue":{"value":{"entity-type":"item","numeric-id":372157,"id":"Q372157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778120$D25D928C-8A3D-4076-BA34-C73789440EE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"018a0053bd359d34d6fee8f280c31e982361eda4","datavalue":{"value":{"entity-type":"item","numeric-id":175158,"id":"Q175158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778120$193C649C-9342-41BA-99D7-942D59A5CC78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fd887b749fb78b3d1c93b0edf11f68e45f2ab02","datavalue":{"value":{"time":"+2005-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1778120$6663749F-D209-470E-B6C9-86FA0777B9B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0219bdbdc5399c065e2b805815cf602da4a4482e","datavalue":{"value":"https://arxiv.org/abs/math/0012010","type":"string"},"datatype":"url"},"type":"statement","id":"Q1778120$D344DC33-B77E-4AA6-AC9C-7093B02CFC29","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4d0dbf84f69b43b0b59190984826fe579c0bbb39","datavalue":{"value":"Let \\(M\\), \\(M'\\) be two smooth, generic real submanifolds of \\(\\mathbb C^N\\) and \\(\\mathbb C^{N'}\\), respectively, and let \\(H: M \\to M'\\) be a CR map of type \\({\\mathcal C}^m\\). The map \\(H\\) is called \\(k_0\\)-non-degenerate at a point \\(p_0 \\in M\\) if there exists a defining function \\(\\rho' = (\\rho_1', \\dots, \\rho_{d'}')\\) for \\(M'\\) near \\(H(p_0)\\) and a basis \\(L_1\\), \\dots, \\(L_n\\) of CR vector fields tangent to \\(M\\) near \\(p_0\\) with the following property: if for any \\(k \\leq m\\), we set  \\[ E_k(p_0) = \\text{span}_{\\mathbb C} \\biggl\\{L_1^{\\alpha_1} L_2^{\\alpha_2} \\dots L_n^{\\alpha_n}\\partial\\rho'_{j,Z'}(H(Z), \\overline{H(Z)}) \\Bigl| _{Z = p_0}\\: 0 \\leq \\sum_s \\alpha_s \\leq k, 1 \\leq j\\leq d'\\biggr\\}  \\]  then \\(E_{k_0-1}(p_0) \\neq E_{k_0}(p_0) = \\mathbb C^N\\) (in the above formula, \\(\\rho_{j,Z'}'\\) denotes the complex gradient of \\(\\rho_j'\\)).  In this paper, the author proves that if a CR map \\(H: M \\to M'\\) is of type \\({\\mathcal C}^{k_0}\\), it is \\(k_0\\)-non-degenerate at a point \\(p_0\\) and extends continuously to a holomorphic map in a wedge \\(W\\) with edge \\(M\\), then \\(H\\) is smooth in some neighborhood of \\(p_0\\). By Tumanov's theorem on holomorphic extendibility of CR functions on a wedge with a minimal CR manifold as edge, this result has the following corollary: if \\(M\\) is minimal, then every \\({\\mathcal C}^{k_0}\\)-CR-map \\(H: M\\to M'\\), which is \\(k_0\\)-non-degenerate at \\(p_0 \\in M\\), is smooth on a neighborhood of \\(p_0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1778120$E8F4E69A-AAEF-41F4-804A-B1040CE8C4FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33a118ca7f0df06a2107ab9423f12bba64b9c989","datavalue":{"value":"32V10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778120$DEE6AF1D-2C87-42DE-A6DF-A7C41F6B6A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b438f789a0e2cce68acabd252fc29ea8adf73c5","datavalue":{"value":"32V05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778120$186AC29C-8AE9-4823-B063-77BE25855C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b600f74582cef6f99cdd1961b2674024f6fa433","datavalue":{"value":"32H02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778120$984767E7-EF9B-419A-83EC-FA0FF76AB559","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"107e578b0fe0afb82f1aeeaadfcdfd001259dfe9","datavalue":{"value":"2176490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778120$38CE267D-5EF8-40AD-856D-CAA86875168E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54d2e0c779c64023449b2b406b4e90121e1d7fe3","datavalue":{"value":"nondegenerate CR mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1778120$13ADD713-CA66-435C-8739-F090B917D2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3d663c92cc86288e2df478c487898f3815f9ec0","datavalue":{"value":"regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1778120$75DAF70F-5719-462D-9ACC-74DA43E76669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e9becc82b801b68a6bc4afac2adb663878ca92","datavalue":{"value":"finitely non-degenerate submanifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1778120$E29F3ED5-9CBB-40D8-83AF-3B23E9400C59","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4eacfb3025f1a3eff42319ac2ed13fb37510f15d","datavalue":{"value":{"entity-type":"item","numeric-id":1373241,"id":"Q1373241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778120$EFDB12CB-001F-4665-8DB7-06673231FD7B","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":"Q1778120$B74D7D86-A184-4031-9C12-53AFCABBBABB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99fba13598bcbb3879ee2221bc0e6a2e6774e17e","datavalue":{"value":"W2037141878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778120$4B1F640D-14BA-40F8-8698-E33CDDF9EEE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69214a9739cb418262a53170517b207b6f72f976","datavalue":{"value":"10.1007/S00605-003-0053-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778120$51098350-C8B4-425B-898D-F96929ED78C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2761243a97fd89e5e4a372e1ac434d1326bb55e","datavalue":{"value":{"entity-type":"item","numeric-id":5214080,"id":"Q5214080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02cc237bbd6a7ce398119570e98f271304fecf31","datavalue":{"value":{"amount":"+0.8716320395469666","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":"Q1778120$FA326488-9093-4746-A56A-C0D480056F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abb2099458d15bc4166b375eafd9f690ee914414","datavalue":{"value":{"entity-type":"item","numeric-id":1669045,"id":"Q1669045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c61218805f9b4f1f542d6c0bf4e2268be78184c6","datavalue":{"value":{"amount":"+0.859486997127533","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":"Q1778120$C94E6BAA-005B-42AB-A8B3-845511E50862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41a7f044637826eacb95167672c134b088507f6","datavalue":{"value":{"entity-type":"item","numeric-id":1955696,"id":"Q1955696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb4e756b40f28279ae7ea9d860644d8e47c4f95","datavalue":{"value":{"amount":"+0.8521068096160889","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":"Q1778120$B753B141-D7E5-494D-97AD-6A4AD44390E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1736f272a3f4fbbc9b627b6472b91312f1abf088","datavalue":{"value":{"entity-type":"item","numeric-id":1100318,"id":"Q1100318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d877f68e1dd97453fa1603887a937c4c11dcfc6","datavalue":{"value":{"amount":"+0.8509229421615601","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":"Q1778120$8BE0E77D-973A-42AD-90A2-E4AA77332E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"905a13d9718a0d2cf66208c759fee646b069380b","datavalue":{"value":{"entity-type":"item","numeric-id":2662950,"id":"Q2662950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601a7f495fec527f50abeb6c25e8afefb4257fac","datavalue":{"value":{"amount":"+0.8425815105438232","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":"Q1778120$5858ED94-D145-46D2-89E4-60E8D2FB1A1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A \\(C^\\infty\\)-regularity theorem for nondegenerate CR mappings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_%5C(C%5E%5Cinfty%5C)-regularity_theorem_for_nondegenerate_CR_mappings"}}}}}