  In this work we establish trace Hardy and trace Hardy-Sobolev-Maz'ya
inequalities with best Hardy constants, for domains satisfying suitable
geometric assumptions such as mean convexity or convexity. We then use them to
produce fractional Hardy-Sobolev-Maz'ya inequalities with best Hardy constants
for various fractional Laplacians. In the case where the domain is the half
space our results cover the full range of the exponent $s \in (0,1)$ of the
fractional Laplacians. We answer in particular an open problem raised by Frank
and Seiringer \cite{FS}.
