Shelukhin's Hofer distance and a symplectic cohomology barcode for contactomorphisms

This paper constructs a persistence module of Floer cohomology groups associated to a contactomorphism of the ideal boundary of a Liouville manifold. The barcode (or, bottleneck) distance between the persistence modules is bounded from above by Shelukhin's Hofer distance. Moreover, the barcode is supported (i.e., has spectrum) on the lengths of translated points of the contactomorphism. We use this structure to prove various existence results for translated points and to construct spectral invariants for contactomorphisms which are monotone with respect to positive paths and continuous with respect to Shelukhin's Hofer distance. While this paper was nearing completion, the author was made aware of similar upcoming work by Djordjević, Uljarević, Zhang.