Smooth geometry of the noncommutative pillow, cones and lens spaces

This paper proposes a new notion of smoothness of algebras, termed differential smoothness, that combines the existence of a top form in a differential calculus over an algebra together with a strong version of the Poincare duality realized as an isomorphism between complexes of differential and integral forms. The quantum two- and three-spheres, disc, plane and the noncommutative torus are all smooth in this sense. Noncommutative coordinate algebras of deformations of several examples of classical orbifolds such as the pillow orbifold, singular cones and lens spaces are also differentially smooth. Although surprising this is not fully unexpected as these algebras are known to be homologically smooth. The study of Riemannian aspects of the noncommutative pillow and Moyal deformations of cones leads to spectral triples that satisfy the orientability condition that is known to be broken for classical orbifolds.