$C^*$-algebras and direct integral decomposition for Lie supergroups

For every finite dimensional Lie supergroup $(G,\mathfrak g)$, we define a $C^*$-algebra $\mathcal A:=\mathcal A(G,\mathfrak g)$, and show that there exists a canonical bijective correspondence between unitary representations of $(G,\mathfrak g)$ and nondegenerate $*$-representations of $\mathcal A$. The proof of existence of such a correspondence relies on a subtle characterization of smoothing operators of unitary representations. For a broad class of Lie supergroups, which includes nilpotent as well as classical simple ones, we prove that the associated $C^*$-algebra is CCR. In particular, we obtain the uniqueness of direct integral decomposition for unitary representations of these Lie supergroups.