Regularity of the Inverse of a Planar Sobolev Homeomorphism

Let be a domain. Suppose that f ∈ W^1,1_loc(Ω,R²) is a homeomorphism such that Df(x) vanishes almost everywhere in the zero set of J_f. We show that f^-1 ∈ W^1,1_loc(f(Ω),R²) and that Df⁻¹(y) vanishes almost everywhere in the zero set of Sharp conditions to quarantee that f⁻¹ ∈ W^1,q(f(Ω),R²) for some 1<q≤2 are also given.