Parametrization of local biholomorphisms of real analytic hypersurfaces

Let $M$ be a real analytic hypersurface in \bC^N which is finitely nondegenerate, a notion that can be viewed as a generalization of Levi nondegenerate, at $p_0\in M$. We show that if $M'$ is another such hypersurface and $p'_0\in M'$, then the set of germs at $p_0$ of biholomorphisms $H$ with $H(M)\subset M'$ and $H(p_0)=p'_0$, equipped with its natural topology, can be naturally embedded as a real analytic submanifold in the complex jet group of \bC^N of the appropriate order. We also show that this submanifold is defined by equations that can be explicitly computed from defining equations of $M$ and $M'$. Thus, $(M,p_0)$ and $(M',p'_0)$ are biholomorphically equivalent if and only if this (infinite) set of equations in the complex jet group has a solution. Another result obtained in this paper is that any invertible formal map $H$ that transforms $(M,p_0)$ to $(M',p'_0)$ is convergent. As a consequence, $(M,p_0)$ and $(M',p'_0)$ are biholomorphically equivalent if and only if they are formally equivalent

Positive-measure self-similar sets without interior

We recall the problem posed by Peres and Solomyak in Problems on self-similar and self-affine sets; an update. Progr. Prob. 46 (2000), 95–106: can one find examples of self-similar sets with positive Lebesgue measure, but with no interior? The method in Properties of measures supported on fat Sierpinski carpets, this issue, leads to families of examples of such sets

Infinite games and sigma-porosity

We show a new game characterizing various types of σ-porosity for Souslin sets in terms of winning strategies. We use the game to prove and reprove some new and older inscribing theorems for σ-ideals of σ-porous type in locally compact metric spaces