Continuity of States on Non-Unital Differential Algebras in Loop Quantum Cosmology

In a recent paper Engle et al. (Commun Math Phys 354:231–246, 2017) showed that there is a unique state on the reduced holonomy–flux ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$*$$\end{document}-algebra of homogeneous isotropic loop quantum cosmology, that is invariant under residual diffeomorphims. This result has been claimed to be true both for the Ashtekar–Bojowald–Lewandowski framework and for that introduced by the present author. Unfortunately, the uniqueness proof relies on an incorrect argument which spoils the second case. In our short note, we are going to patch this issue, this way keeping the nice uniqueness result in both cases. Moreover, we will even extend the underlying operator algebraic statements as this might help later for studying higher-dimensional models.