Let $M$ be a compact manifold. If we have a pseudodifferential operator $P$ of order $0$ on $M$, then $P$ is pseudolocal, i.e., every commutator $[f,P]$ with a continuous function $f \in C(M)$ is a compact operator.

Let $M$ be a compact manifold. Denoting the pseudodifferential operators of order $0$ on $M$ by $\Psi^0(M)$, and the pseudolocal operators by $D^\ast(M)$, do we have that the closure of $\Psi^0(M) \subset \mathfrak{B}(L^2(M))$ coincides with $D^\ast(M)$?

There was already the question What is the smallest $C^*$-algebra containing the "standard" pseudodifferential operators? asking about the closure of $\Psi^0(\mathbb{R})$. But this question seems to be harder to answer since in this case we certainly have $\overline{\Psi^0(\mathbb{R})} \subsetneqq D^\ast({\mathbb{R})}$.

Note that it is important here to work with pseudodifferential operators from Hörmanders class $S_{1,0}^0(M)$ and not with pseudodifferential operators with a homogeneous symbol (i.e., not with polyhomogeneous pseudodifferential operators), since it was shown by Melo that $\overline{\Psi^0_{phg}(M)} \subsetneqq \overline{\Psi^0(M)}$.

Let $M$ be a compact manifold. If we have a pseudodifferential operator $P$ of order $0$ on $M$, then $P$ is pseudolocal, i.e., every commutator $[f,P]$ with a continuous function $f \in C(M)$ is a compact operator.

Let $M$ be a compact manifold. Denoting the pseudodifferential operators of order $0$ on $M$ by $\Psi^0(M)$, and the pseudolocal operators by $D^\ast(M)$, do we have that the closure of $\Psi^0(M) \subset \mathfrak{B}(L^2(M))$ coincides with $D^\ast(M)$?

There was already the question What is the smallest $C^*$-algebra containing the "standard" pseudodifferential operators? asking about the closure of $\Psi^0(\mathbb{R})$. But this question seems to be harder to answer since in this case we certainly have $\overline{\Psi^0(\mathbb{R})} \subsetneqq D^\ast({\mathbb{R})}$.

Note that it is important here to work with pseudodifferential operators from Hörmanders class $S_{1,0}^0(M)$ and not with pseudodifferential operators with a homogeneous symbol (i.e., not with polyhomogeneous pseudodifferential operators), since it was shown by Melo that $\overline{\Psi^0_{phg}(M)} \subsetneqq \overline{\Psi^0(M)}$.