1: \begin{definition} 

2: Recall that if $Y \in \CycSp$, then 

3: $Y$ in particular defines a genuine $C_{p^n}$-spectrum for each

4: $n$.\footnote{This was the basis of classical definitions of cyclotomic

5: spectra. If one follows instead 

6: Definition~\ref{def:cycsp}, we refer to the proof of Theorem II.4.10 in \cite{nikolaus-scholze} for a definition of the fixed points and to the proof of Theorem II.6.3 in loc. cit.  for a construction of the genuine spectrum.

7:  } 

8:  As a result, one can form the fixed points $\TR^n(Y) = Y^{C_{p^n}}$. 

9: The spectrum $\TF(Y)$ can be defined as the homotopy limit $\TF(Y) = \lim_n

10: \TR^n (Y)$

11: where the transition maps are the natural maps $F \colon  \TR^{n+1}(Y) \to \TR^n(Y)$ (inclusions of fixed points).

12: Thus $\TF$ defines an exact, lax symmetric monoidal functor

13: \[ \TF \colon  \CycSp \to \Sp.   \]

14: For a scheme $X$, we will write $\TF(X) = \TF( \Perf(X))$. 

15: \end{definition}