{"entities":{"Q1411089":{"pageid":1421829,"ns":120,"title":"Item:Q1411089","lastrevid":67382226,"modified":"2026-04-12T17:14:53Z","type":"item","id":"Q1411089","labels":{"en":{"language":"en","value":"Subelliptic harmonic maps from Carnot groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1993493"}},"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":"Q1411089$BDCB3D40-F5DF-4A49-9B10-0E175CAC1599","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fec055ea2fe3edd65c25a907383033bdd1e9671","datavalue":{"value":{"text":"Subelliptic harmonic maps from Carnot groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1411089$34EA31D5-32D8-460F-83F8-D5B1F7FE6DAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"675bb7e28ee83c2d8d83f34d5762675ef74f4e90","datavalue":{"value":"1030.35020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411089$8E8DBF6E-FC53-4448-B22E-F5020A74DB28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0eabf98928308348cc84f25114854fc8adfa3d56","datavalue":{"value":{"entity-type":"item","numeric-id":363334,"id":"Q363334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1411089$0F18F349-9B56-4BA5-BAC9-465F51AF8AA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"46453928bbd5594c0ad95e36a43c8eef43d612fe","datavalue":{"value":{"entity-type":"item","numeric-id":166239,"id":"Q166239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1411089$34F58758-77EF-4C8F-A6DB-EE8826AA4704","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac7e457c13a6fc575ac6a3f0a43b59f9a10be41e","datavalue":{"value":{"time":"+2003-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1411089$100269F1-9681-481B-910D-7F2C812D1B72","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac78e239f9af1286cf0e1f44eb9b8b79b1348e25","datavalue":{"value":"A simply connected Lie group \\(G\\) is called a Carnot group if there exists an \\(r\\geq 1\\) such that its Lie algebra \\(g\\) admits a vector space decomposition \\(g=V_1+V_2+\\cdots +V_r\\) and : (1) \\(g\\) is stratified, i.e., \\([V_1,V_j]=V_{j+1}\\) for \\(1\\leq j\\leq r-1;\\) (2) \\(g\\) is \\(r\\)-nilpotent, i.e., \\([V_j,V_r]=\\{0\\}\\) for \\(1\\leq j\\leq r.\\) The smallest \\(r\\geq 1\\) is called the step of \\(G\\). For a Carnot group \\(G\\) of step \\(r\\geq 2\\), the left invariant basis \\(X_1,X_2, \\cdots, X_m\\) for \\(V_1\\) is called the horizontal directions and the left invariant vector fields of \\(V_j\\) for \\(2\\leq j\\leq r\\) are called commutator directions in the sense that they are obtained as commutators of order \\(j\\) of linear combinations of \\( X_1,X_2, \\cdots, X_m\\).    If \\(f\\) is a function defined on a bounded domain of \\(\\Omega \\subset G,\\) then \\(Xf=(X_1f,\\cdots, X_mf)\\in \\mathbb{R}^m\\) denotes the horizontal gradient of \\(f\\). For \\(1\\leq p <\\infty,\\) let \\(S^{1,p}(\\Omega)\\) be the set of \\(L^p(\\Omega)\\) functions whose distributional horizontal gradient is \\(L^p(\\Omega)\\). For \\(L\\geq 1\\), define \\(S^{1,p}(\\Omega, \\mathbb{R}^L)=\\{f=(f_1,\\cdots,f_L): \\Omega \\to \\mathbb{R}^L \\mid f_i \\in S^{1,p}(\\Omega)\\) for \\(1\\leq i\\leq L\\}\\). For a compact Riemannian manifold \\(N\\) without boundary, which is isometrically embedded into \\(\\mathbb{R}^L\\) for some \\(L\\geq 1\\) via the Nash's embedding theorem, define  \\[ S^{1,2}(\\Omega, N)=\\{u\\in S^{1,2}(\\Omega, \\mathbb{R}^L): u(x) \\in N \\text{ for a.e. }x \\in \\Omega\\}. \\]  The horizontal Dirichlet energy functional \\(E: S^{1,2}(\\Omega, N) \\to \\mathbb{R}\\) is defined by  \\[  E(u)\\equiv \\int_\\Omega |Xu|^2(x)dx=\\int_\\Omega \\sum_{i=1}^m \\sum_{j=1}^L|X_iu^j|^2(x) dx. \\]  A \\(u\\in S^{1,2}(\\Omega, N)\\) is called a subelliptic harmonic map if it is a critical point of the horizontal Dirichlet energy functional \\(E\\) over \\(S^{1,2}(\\Omega,N).\\) For \\(1<p<\\infty\\), \\(0<q<\\infty\\) and an open subset \\(U\\subset G\\), the Morrey space \\(M^{p,q}(U)\\) is defined by  \\[  M^{p,q}(U)= \\biggl\\{f:U\\to R: ||f||^p_{M^{p,q}(u)}\\equiv \\sup_{B_r(x)\\subset U} r^{-q}\\int_{B_r(x)}|f|^p(y)dy<\\infty\\biggr\\}. \\]  Given a \\(u\\in S^{1,2}(\\Omega, N)\\) and \\(\\varepsilon >0\\), a point \\(x_0\\in \\Omega\\) is a \\(\\varepsilon\\)-regular point of \\(u\\) if there exists \\(r_0=r_0(x_0,\\varepsilon)>0\\) such that \\(Xu\\in M^{2,Q-2}(B_{r_0}(x_0))\\) and \\(\\|Xu\\|_{M^{2,Q-2}(B_{r_0}(x_0))}\\leq \\varepsilon,\\) where \\(Q=\\sum_{j=1}^rj\\dim(V_j)\\). Denote by \\(\\mathbb{R}^\\varepsilon_u\\subset \\Omega\\) as the set consisting of all \\(\\varepsilon\\)-regular points of \\(u\\), and \\(S^\\varepsilon _u=\\Omega-\\mathbb{R}^\\varepsilon_u.\\) It follows from the definition that for any \\(\\varepsilon>0\\) \\(\\mathbb{R}^\\varepsilon_u\\) is an open subset (possibly empty), and \\(\\mathbb{R}^{\\varepsilon_1}_u\\subset \\mathbb{R}^{\\varepsilon_2}_u\\) for \\(0<\\varepsilon_1<\\varepsilon_2\\) so that \\(\\mathbb{R}_u\\equiv \\bigcap_{\\varepsilon>0}\\mathbb{R}^\\varepsilon_u=\\text{ lim}_{\\varepsilon\\to 0}\\mathbb{R}^\\varepsilon_u\\) exists. The main theorem of the paper under review is then:    Theorem A. For a Carnot group \\(G\\) and a domain \\(\\Omega\\subset G\\), let \\(u\\in S^{1,2}(\\Omega,N)\\) be a subelliptic harmonic map. Then there exists an \\(\\varepsilon_0>0\\) such that any \\(\\varepsilon_0\\)-regular point is a smooth point for \\(u\\). In particular, \\(\\mathbb{R}_u=\\mathbb{R}^{\\varepsilon_0}_u\\) is open and \\(u\\in C^\\infty(\\mathbb{R}_u,N).\\)    As a consequence, any stationary subelliptic harmonic map is smooth away from a closed set with zero \\(H^{Q-2}\\) measure, which extends the regularity theory for the usual harmonic maps to the subelliptic setting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411089$EA195F8B-C60D-4288-B655-444F1AC44908","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e180ae94dfc318264eaf74d55e3295e9bf688942","datavalue":{"value":{"entity-type":"item","numeric-id":184933,"id":"Q184933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1411089$2B435434-3BA1-46BA-B766-6F344D55BE21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5362315616d91118cac6b779c87d007a8394669","datavalue":{"value":"35B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411089$3383C0C3-3CF7-45E8-911F-B196C89D5B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"41bfc38a4dfb526d4dc6c5379defde62e79451e1","datavalue":{"value":"58J42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411089$AF66D6D4-3262-4D4C-A359-D62CC446C5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0f55a55a897abe074346c1452a084352e2ff37b9","datavalue":{"value":"58E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411089$CA4A1C71-2693-471F-873A-FEFF5AC71DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c0abefd646609d9c72ef0c7c960df609622e3061","datavalue":{"value":"35H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411089$4D3616FD-B891-4DEF-9E46-7CDC8E234BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9971808ffb8cd9b222246a7e18bef7b89e076851","datavalue":{"value":"35A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411089$1901E985-DBCE-4C4C-B74E-62939B0B3D16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92a4fdb01bb2e7d9b7ded3f42abb19c6b018febc","datavalue":{"value":"1993493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411089$638A095A-245E-4178-9217-B42F8DDCB2EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3838d025992c91bbfec99147a3e58333ee09d851","datavalue":{"value":"partial regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411089$6F682B34-9F8D-4AD6-90C4-C67594A05B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed3a233655e71d47d50357eeacc6cc3b0d8bf102","datavalue":{"value":"singular set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411089$5CA4C124-71E0-48D7-AAD6-85D238E35010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29b19988cab042123cc2a6eb0d0a8c9e8adb25f3","datavalue":{"value":"horizontal Dirichlet energy functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411089$F87CD12B-3E56-4F04-81B9-5CFAB73BA477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"732692a57c6edb415d385f4c77c8b689ee936b24","datavalue":{"value":"Morrey space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411089$2A5D6F26-3CC1-46A3-ADA4-66A3FD7C022A","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":"Q1411089$40F8AF0D-AD82-4DC6-A2C7-FDB4DFB3C6A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"862539366a84525c258eb25e13b8f67a3830e5df","datavalue":{"value":"https://doi.org/10.1007/s00526-002-0184-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1411089$9BC660F9-5B61-433B-AEC1-84A5D0709240","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b04e9814448c0dcf16c4a2f5ea893a38be988969","datavalue":{"value":"W2067970666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411089$D9270821-A8CA-46D1-9E58-C871D485B018","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"213290bb6fb2714065691eb7bc45dd6578c83740","datavalue":{"value":"10.1007/S00526-002-0184-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411089$31A02147-BE5E-4969-B3E4-D2811EFEC470","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64931de92c7d663bf402ef23e65123bce01d25dc","datavalue":{"value":{"entity-type":"item","numeric-id":2256007,"id":"Q2256007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004f10cb1f744757099ced066653c92fcd6bfb01","datavalue":{"value":{"amount":"+0.8064515590667725","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":"Q1411089$ED902654-9FB8-41A8-A2A3-E5B0C1369B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84a8e24db1925e0c7a55f36962ae2e39bff14f6f","datavalue":{"value":{"entity-type":"item","numeric-id":1130259,"id":"Q1130259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63fa3284be9fd21dce9f85defab34c0caaf64120","datavalue":{"value":{"amount":"+0.7934747338294983","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":"Q1411089$A04072B8-8BAE-4D0D-9A60-8200AA2B7705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ff869bcb7401ad941d00f1a4992cd7c00564c5","datavalue":{"value":{"entity-type":"item","numeric-id":1404202,"id":"Q1404202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d85c543c5dab9d3483d55cf4bf38137e2ace3cb","datavalue":{"value":{"amount":"+0.7845348119735718","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":"Q1411089$538C8201-ED41-45A6-B135-8D654EA84A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e87a4a1b22168f3d96a8cbc6f0bf2eb28b699610","datavalue":{"value":{"entity-type":"item","numeric-id":2493453,"id":"Q2493453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09810180169633739d12b15dee90c00d09003d87","datavalue":{"value":{"amount":"+0.7789442539215088","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":"Q1411089$834D8688-0D01-4473-828C-CEC97D6477BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e47834f472ec45ea7b92b0e9cf40ed907f17664","datavalue":{"value":{"entity-type":"item","numeric-id":1962798,"id":"Q1962798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8521abd26136c130b25df89d63e5b19ecc2fa7b","datavalue":{"value":{"amount":"+0.7727245688438416","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":"Q1411089$0618CCC5-7934-4C41-AD98-8C4D7C18ADAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subelliptic harmonic maps from Carnot groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subelliptic_harmonic_maps_from_Carnot_groups"}}}}}