Sobolev mappings and moduli inequalities on Carnot groups

We study the mappings that satisfy moduli inequalities on Carnot groups. We prove that the homeomorphisms satisfying the moduli inequalities ($Q$-homeomor\-phisms) with a locally integrable function $Q$ are Sobolev mappings. On this base in the frameworks of the weak inverse mapping theorem, we prove that, on the Carnot groups $\mathbb G,$ the mappings inverse to Sobolev homeomorphisms of finite distortion of the class $W^1_{\nu,\loc}(\Omega;\Omega')$ belong to the Sobolev class $W^1_{1,\loc}(\Omega';\Omega)$.

A concept of inner prederivative for set-valued mappings and its applications

We introduce a class of positively homogeneous set-valued mappings, called inner prederivatives, serving as first order approximants to set-valued mappings. We prove an inverse mapping theorem involving such prederivatives and study their stability with respect to variational perturbations. Then, taking advantage of their properties we establish necessary optimality conditions for the existence of several kind of minimizers in set-valued optimization. As an application of these last results, we consider the problem of finding optimal allocations in welfare economics. Finally, to emphasize the interest of our approach, we compare the notion of inner prederivative to the related concepts of set-valued differentiation commonly used in the literature.

AN INVERSE MAPPING THEOREM FOR BLOW-NASH MAPS ON SINGULAR SPACES

A semialgebraic map $f:X\rightarrow Y$ between two real algebraic sets is called blow-Nash if it can be made Nash (i.e., semialgebraic and real analytic) by composing with finitely many blowings-up with nonsingular centers.We prove that if a blow-Nash self-homeomorphism $f:X\rightarrow X$ satisfies a lower bound of the Jacobian determinant condition then $f^{-1}$ is also blow-Nash and satisfies the same condition.The proof relies on motivic integration arguments and on the virtual Poincaré polynomial of McCrory–Parusiński and Fichou. In particular, we need to generalize Denef–Loeser change of variables key lemma to maps that are generically one-to-one and not merely birational.