Classification of smooth factorial affine surfaces of Kodaira dimension zero with trivial units

We give a corrected statement of the theorem of Gurjar and Miyanishi, which classifies smooth affine surfaces of Kodaira dimension zero, whose coordinate ring is factorial and has trivial units. Denote the class of such surfaces by ${\mathcal{S}}_0$. An infinite series of surfaces in ${\mathcal{S}}_0$, not listed by Gurjar and Miyanishi, was recently obtained by Freudenburg, Kojima and Nagamine as affine modifications of the plane. We complete their list to a series containing arbitrarily high-dimensional families of pairwise non-isomorphic surfaces in ${\mathcal{S}}_0$. Moreover, we classify them up to a diffeomorphism, showing that each occurs as an interior of a 4-manifold whose boundary is an exceptional surgery on a 2-bridge knot. In particular, we show that ${\mathcal{S}}_0$ contains countably many pairwise non-homeomorphic surfaces.