{"entities":{"Q372150":{"pageid":373917,"ns":120,"title":"Item:Q372150","lastrevid":61330506,"modified":"2026-04-10T22:40:15Z","type":"item","id":"Q372150","labels":{"en":{"language":"en","value":"Transversality of holomorphic mappings between real hypersurfaces in complex spaces of different dimensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6215465"}},"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":"Q372150$6EC68F97-E155-46B6-9420-C67EBAAC7060","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a4736c6f35e9284cbe10f714e9fc7aa849cc114","datavalue":{"value":{"text":"Transversality of holomorphic mappings between real hypersurfaces in complex spaces of different dimensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q372150$7DD2D1F8-015D-477D-B35D-A715F82F092C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71aae86436fbbde85aa0b3d0eeac97411bf1d6ab","datavalue":{"value":"1293.32043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372150$354C3668-54CA-4C1F-96D4-28516434D86B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"748492c064731480d8ee1bfded6d2754a19396d6","datavalue":{"value":{"entity-type":"item","numeric-id":372141,"id":"Q372141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372150$DF202194-FF24-46EA-917D-14A82435CB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b24c080be94963e10abf197bbb04514da0b3dbf","datavalue":{"value":{"entity-type":"item","numeric-id":372149,"id":"Q372149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372150$62F7925A-0DC6-46B5-994B-90652FE61681","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372150$E8904CF4-BCCE-439B-A56F-89BCE7F14F51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab5f079f94fc59c25b32048756ea341b6c5fa759","datavalue":{"value":{"time":"+2013-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q372150$A252722C-0B63-403F-B1EB-60E7E49E0566","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1afee9f78de3f71d85d78592238e3631c3282319","datavalue":{"value":"https://arxiv.org/abs/1106.4447","type":"string"},"datatype":"url"},"type":"statement","id":"Q372150$0B7C983B-FB48-42BF-A70F-4605C1CE2BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"946af17750d00d22a454f21a45987020379b0f6d","datavalue":{"value":"https://projecteuclid.org/euclid.ijm/1380287458","type":"string"},"datatype":"url"},"type":"statement","id":"Q372150$6DEF328F-43F8-43A3-9904-774970E3A1AC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"675650b1238b324b5b2fd9bada6f5b000f6d3473","datavalue":{"value":{"entity-type":"item","numeric-id":332168,"id":"Q332168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372150$AE056B40-9096-4716-A53B-198600464657","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d86666cacc38bd5e750805f34689338ea40bafce","datavalue":{"value":"32V40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372150$A330F410-BE7A-49A1-BFD0-5B46525EDCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b600f74582cef6f99cdd1961b2674024f6fa433","datavalue":{"value":"32H02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372150$164743B6-CA6D-4D4C-B672-3F76A346E55B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7c150c7f272f0ca9d82d52de4ec0ea8a67f94ba","datavalue":{"value":"6215465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372150$F13920BC-6651-4FFB-8321-61149F08895F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5530a095d07223b7842597d353fb91f350e40c","datavalue":{"value":"CR hypersurface","type":"string"},"datatype":"string"},"type":"statement","id":"Q372150$E0C2AC34-6E45-4B3A-8DF7-92455CC7B7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a3a9cd21af02dd921497bf37b86bf60e43856cd","datavalue":{"value":"holomorphic mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q372150$60ABDDBB-0564-40C8-B11A-1D43A593839C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d143a7d93ef67e3db1304c0dc66dc4eb208dba","datavalue":{"value":"CR transversality","type":"string"},"datatype":"string"},"type":"statement","id":"Q372150$CC0D5581-A51D-4A7C-8884-5D9EF051C625","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":"Q372150$54FD56F6-FAF0-496A-8CB1-C4D7E3D51EBA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e12df465ddcc20b00286ab6163515a480b84f3dd","datavalue":{"value":"Let \\(M\\subset {\\mathbb C}^{n+1}\\) and \\(M' \\subset {\\mathbb C}^{N+1}\\) be real hypersurfaces, and let \\(H: M\\to M' \\) be a holomorphic mapping, i.e., a holomorphic mapping defined on some open neighbourhood \\(U\\) of \\(M\\) in \\({\\mathbb C}^{n+1}\\) such that \\(H(M)\\subset M'\\). Such a map is said to be CR transversal to \\(M'\\) at a point \\(p\\in M\\) if NEWLINE\\[NEWLINET^{0,1}_{H(p)}M'+dH(T_p^{1,0}{\\mathbb C}^{n+1})=T_{H(p)}^{1,0}{\\mathbb C}^{N+1},NEWLINE\\]NEWLINE where \\(T^{0,1}M' = {\\mathbb C}TM'\\cap T^{0,1}{\\mathbb C}^{N+1}\\) denotes the CR bundle on \\(M'\\) and \\(T^{1,0}M' \\) its complex conjugate. In the case of real hypersurfaces, CR transversality coincides with ordinary transversality, requiring \\(T_{H(p)}M'+dH(T_p{\\mathbb C}^{n+1})=T_{H(p)}{\\mathbb C}^{N+1}.\\)NEWLINENEWLINEIn the strictly pseudoconvex case, transversality follows from the classical Hopf Lemma. In the equidimensional case \\(N=n\\), transversality at \\(p\\) was proved for maps of full generic rank under the assumption that \\(M\\) is of finite type at \\(p\\) by \\textit{P. Ebenfelt} and \\textit{D. N. Son} [Proc. Am. Math. Soc. 140, No. 5, 1729--1738 (2012; Zbl 1244.32011)] (see also [\\textit{M. S. Baouendi} et al., Commun. Anal. Geom. 15, No. 3, 589--611 (2007; Zbl 1144.32005)] for transversality results outside a proper, real-analytic subvariety of \\(M\\)). NEWLINENEWLINENEWLINENEWLINE In this paper the case of higher codimension \\(N>n\\) is considered and conditions are given on the rank of the Levi form of \\(M'\\), the CR dimensions \\(n\\) and \\(N\\) and on the map \\(H\\) that guarantee transversality of holomorphic mappings at all points. For \\(1\\leq s\\leq n+1 \\), let \\(W^s_H=\\{z\\in U : \\text{rk}\\,H_z<s\\}\\), where \\(H_z\\) stands for the Jacobian matrix of \\(H\\) at \\(z\\). NEWLINENEWLINENEWLINENEWLINE Theorem. Let \\(M\\subset {\\mathbb C}^{n+1}\\) and \\(M' \\subset {\\mathbb C}^{N+1}\\) be smooth real hypersurfaces through \\(p\\) and \\(p'\\), and \\(H: ({\\mathbb C}^{n+1},p) \\to ({\\mathbb C}^{N+1},p')\\) a germ at \\(p\\) of holomorphic mappings such that \\(H(M)\\subset M'\\). Denote by \\(r\\) the rank of the Levi form of \\(M'\\) at \\(p'\\). If \\(~2N-r\\leq 2n-2~\\) and the germ at \\(p\\) of the analytic variety \\(W_H^{n+1}\\) has codimension at least 2, then \\(H\\) is transversal to \\( M'\\) at \\(p\\).NEWLINENEWLINEThe same conclusion is obtained under the assumptions that \\( 2N-r\\leq 2n-3\\), the hypersurface \\(M\\) is of finite type at \\(p\\) and \\(H\\) is a finite map at \\(p\\), or that \\( 2N-r\\leq 2n+s-3\\), for some \\(1\\leq s\\leq n+1\\), the hypersurface \\(M\\) is of finite type at \\(p\\), the map \\(H\\) has generic rank \\(n+1\\) and the germ at \\(p\\) of the analytic variety \\(W_H^{s }\\) has codimension at least 2.","type":"string"},"datatype":"string"},"type":"statement","id":"Q372150$6476A5D2-3D21-4164-8BAB-D5FA09AF638F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65383654c9db3de2662c13baedb6273bbd3506c","datavalue":{"value":{"entity-type":"item","numeric-id":2479705,"id":"Q2479705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e8f031044d69ae30553c6ef57508c530e4353d","datavalue":{"value":{"amount":"+0.9190858602523804","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":"Q372150$D860E0FE-C313-4F2B-BA77-BF761837BE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93304aedd3ff79ddacd64267ff8a0d3f7ac342f","datavalue":{"value":{"entity-type":"item","numeric-id":914901,"id":"Q914901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0289f730e823a7764bd1abc31cd18e94b0b6382","datavalue":{"value":{"amount":"+0.8690693378448486","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":"Q372150$E4160C60-473B-4C60-93F2-931F21157411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c48dfb4b1a4d8c7793539169c26223d476e2600","datavalue":{"value":{"entity-type":"item","numeric-id":3409175,"id":"Q3409175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a59e7208a464f25d0aa644d6d4a0a923df0d120","datavalue":{"value":{"amount":"+0.8307820558547974","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":"Q372150$1C89D4E9-5C2B-4020-94CB-085874AD973E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81657d0b22aebf97ab21668f76eb8ea0a111d406","datavalue":{"value":{"entity-type":"item","numeric-id":5390225,"id":"Q5390225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e93a351ded4a641424954fb154d0627b0862914","datavalue":{"value":{"amount":"+0.8270992040634155","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":"Q372150$2A9726A9-2E6F-4871-991A-528C75B1A5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c74a863bc06fba2b908fd92516912f33f5912da","datavalue":{"value":{"entity-type":"item","numeric-id":863423,"id":"Q863423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d76f62466353b3c9d1926e33456e1fdf7f34da","datavalue":{"value":{"amount":"+0.8249274492263794","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":"Q372150$5AF889BD-B819-40A2-87ED-E9958E2CD938","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transversality of holomorphic mappings between real hypersurfaces in complex spaces of different dimensions","badges":[]}}}}}