Let $X$ a smooth projective scheme over a field $k$. And let $THH(X)$ denotes the topological Hochschild homology of $X$. Recall that the spectra $THH(X)$ admits an action of the of circle $S^{1}$. Let $C\_{p^n}$ the cycle subgroup of $S^{1}$ with $p^{n}$ elements. 


**Question 1** when the map from homotopy fixed points to fixed points  

$$ THH^{C\_{p}}(X)\rightarrow THH^{hC\_{p}}(X)$$ is an equivalence (after $p$-compeltion)?


**Question 2**
what is the interpretation in algebraic geometry of the the groups 
$$ \pi\_{i}THH(X)^{hS^{1}}$$
up to $p$-completion? 



homotopy fixed points and fixed points
The map (which actually goes from $THH^{C\_p}$ to $THH^{hC\_p}$) usually not an equivalence in the $p$-complete setting, at least if your input is genuinely a ring. You can detect the difference using a mapping cone; the mapping cone of this map is equivalent to the mapping cone of a map from $THH$ to the so-called Tate construction $THH^{tC\_p}$ on it. For a ring $R$, the former is usually concentrated in nonnegative degrees while the latter rarely is (using homological grading).


However, there are some useful cases where it is an equivalence in sufficiently high degrees. These include, for example, the cases of $\Bbb Z/p$ and $\Bbb Z\_p$, and there is a theorem of Tsalidis that (under some relatively mild extra assumptions) if this holds, then it also holds for the maps $THH^{C\_{p^k}} \to THH^{hC\_{p^k}}$. (This result played a critical role in Hesselholt-Madsen's calculation of the K-theory of local fields.)


If you were working rationally instead of in a $p$-complete setting, the homotopy groups of $THH^{hS^1}(R)$ correspond to "periodic" cyclic homology. In the $p$-complete setting instead, the homotopy groups of $THH^{hS^1}(R)$ are groups that are called $TF(R)$ in the literature. These are, at least in part, connected to an inverse limit of truncated portions of the de Rham-Witt complex under Frobenius maps. (My understanding of this is that, on the algebro-geometric side, there is some connection to Breuil-Kisin modules, but I understand nothing about these and only know this connection exists from watching a talk of Scholze's.)


