The equalities of interleaving distances and cohomology interleavings of spaces over BS¹

The cohomology interleaving distance (CohID) is defined and considered in the category of persistent differential graded modules over a field. As a consequence, we show that, in the category, the distance coincides with the homotopy commutative interleaving distance , the homotopy interleaving distance originally due to Blumberg and Lesnick, and the interleaving distance in the homotopy category in the sense of Lanari and Scoccola. Moreover, we apply the CohID to spaces over the classifying space BS¹ B S 1 of the circle group via the singular cochain functor. Then, upper and lower bounds of the CohID are investigated with the cup-lengths of spaces over BS¹ B S 1 . As a computational example, we explicitly determine the CohID for complex projective spaces by utilizing the bottleneck distance of barcodes associated with the cohomology of the spaces.