{"id":"arxiv/2607.04720","url":"https://arxiv.org/abs/2607.04720","tags":["math.CV"],"score":0,"title":"A Lewy theorem for harmonic quasiregular mappings in three-space","domain":"math.CV","source":"arxiv","authors":["David Kalaj","Jian-Feng Zhu"],"reviews":0,"subject":"math.CV","summary":"Lewy's classical theorem asserts that a one-to-one planar harmonic mapping has nonvanishing Jacobian. We prove a three-dimensional bounded-distortion analogue: if \\[ f:Ω\\subset \\mathbb R^3\\to \\mathbb R^3 \\] is nonconstant, sense-preserving, quasiregular, and harmonic componentwise, then \\(J_f>0\\) throughout \\(Ω\\). Thus harmonic quasiconformal mappings between domains in three-space are local harmonic diffeomorphisms. The new point is the Lewy-type differential conclusion \\(J_f\\neq0\\), not merely topological local invertibility, which is already known for sufficiently smooth quasiregular…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-06","reactions":{}}