If $M$ is a non-compact smooth manifold, then an analogue of Rellich's lemma states that the operator of multiplication by a compactly supported function $f:M\rightarrow\mathbb{C}$ is a compact operator between Sobolev spaces $H^l(M)\rightarrow H^k(M)$ for $l>k$.
Suppose we have such an $f$ together with another non-compact manifold $N$. Define $$\tilde{f}:M\times N\rightarrow\mathbb{C},\qquad\tilde{f}(m,n):=f(m).$$ Is multiplication by $\tilde{f}$ a compact operator $H^l(M\times N)\rightarrow H^k(M\times N)$ for $l>k$?