Trudinger-Moser type inequality in fractional Sobolev space with singularity on smooth submanifold

We prove a Trudinger-Moser type inequality in fractional Sobolev spaces with singularities on smooth compact sets of codimension $k$, where $1 < k < d$ and $sp = d$. The singular term is given by the inverse $d$-th power of the distance to the submanifold. The proof is based on a fractional Hardy in