Equivariant aspects of de-completing cyclic homology

Derived de Rham cohomology turns out to be important in $p$-adic geometry, following Bhatt's discovery [Bha12] of conjugate filtration in char $p$, de-Hodge-completing results in [Bei12]. In [Kal18], Kaledin introduced an analogous de-completion of the periodic cyclic homology, called the polynomial