Coleman Isomorphisms in Syntomic Cohomology and $\mathrm{THH}$
This paper proves a generalisation of Coleman's isomorphism (between norm compatible cyclotomic units and a group of invertible power series) to various cohomology theories evaluated on proper regular $p$-adic formal schemes, for future applications to Iwasawa theory. This generalisation is an immediate consequence of a description, as a cyclotomic synthetic spectrum, of the limit over transfer maps as one goes up the cyclotomic tower of motivically filtered $\mathrm{THH}$. This crucially uses a calculation of $\mathrm{THH}(\mathbb{Z}_p[\zeta_{p^n}])$ due to Devalapurkar--Raksit as well as a calculation of the free loop transfer due to Schlichtkrull. Along the way, we construct transfer maps for various cohomology theories along finite locally free regular maps, using some elements of $\mathbb{P}^1$-stable motivic homotopy theory.