{"id":"arxiv/2609.31212","url":"https://arxiv.org/abs/2609.31212","tags":["math.CV"],"score":0,"title":"An all-dimensional Lewy theorem for pluriharmonic mappings via Milnor monodromy","domain":"math.CV","source":"arxiv","authors":["Deguang Zhong","Zhi-Gang Wang"],"reviews":0,"subject":"math.CV","summary":"Hengartner asked whether a pluriharmonic mapping between equidimensional complex Euclidean domains is locally one-to-one precisely at the points where its real Jacobian is nonzero. Naser had earlier claimed the conclusion in complex dimension two, and a recent theorem of Kalaj supplies a complete proof in that dimension. We prove the result in every complex dimension. The main ingredient is a singularity-theoretic characterization which is of independent interest: if $q\\colon(\\C^n,0)\\to(\\C,0)$ is a nonconstant holomorphic germ, then $dq(0)\\ne0$ if and only if one (equivalently, every) phase…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-25","reactions":{}}