1: \begin{abstract}

2: We describe the mod $p^r$ pro $K$-groups $\{K_n(A/I^s)/p^r\}_s$ of a regular local $\bb F_p$-algebra $A$ modulo powers of a suitable ideal $I$, in terms of logarithmic Hodge--Witt groups, by proving pro analogues of the theorems of Geisser--Levine and Bloch--Kato--Gabber. This is achieved by combining the pro Hochschild--Kostant--Rosenberg theorem in topological cyclic homology with the development of the theory of de Rham--Witt complexes and logarithmic Hodge--Witt sheaves on formal schemes in characteristic $p$.

3: 

4: Applications include the following: the infinitesimal part of the weak Lefschetz conjecture for Chow groups; a $p$-adic version of Kato--Saito's conjecture that their Zariski and Nisnevich higher dimensional class groups are isomorphic; continuity results in $K$-theory; and criteria, in terms of integral or torsion \'etale-motivic cycle classes, for algebraic cycles on formal schemes to admit infinitesimal deformations.

5: 

6: Moreover, in the case $n=1$, we compare the \'etale cohomology of $W_r\Omega^1_\text{\scriptsize{log}}$ and the fppf cohomology of $\bm\mu_{p^r}$ on a formal scheme, and thus present equivalent conditions for line bundles to deform in terms of their classes in either of these cohomologies.

7: \end{abstract}

8: