\section{Introduction} \label{Sec-intro}
	In recent years, the quest for potential biomedical applications of ordinary and fractional viscoelastic models has attracted much attention, see {\it e.g.}\  \cite{Ata, IC-AG-FM-2017, Freed, AG-FM_MECC16, Mainardi-Gorenflo, Mainardi-12, Meral-2010, Peterson, Pioletti, Provenzano-2002}. In particular, a generalization of the viscoelastic model introduced by Giusti and Mainardi in \cite{AG-FM_MECC16} has lead to the Bessel models \cite{IC-AG-FM-2017}.

	First of all, it is worth recalling some generalities on linear viscoelasticity. As widely discussed in the literature (see {\it e.g.}\  \cite{Coleman, Fabrizio-Morro, Gurtin-Sternberg, Mainardi_BOOK10, Mainardi-Spada 2011}), a linear viscoelastic body is defined as a linear system in which the stress plays the role of excitation function for a certain material, while the strain act as the response function, or vice versa. The stress-strain relation, also known as constitutive relation, for a given material can then be expressed mathematically in two different forms, \blue{either as an integral equation or as a differential equation}.

	 First, we denote with $\mathcal{H} ^N$ the Heaviside class of functions ({\it i.e.}\  set of causal functions $f(t)$ such that $f \in C^N ([0, + \infty[)$, with $N \in \N$, and with $\sigma, \varepsilon \in \mathcal{H} ^N$ the uniaxial stress and strain functions for a certain system, respectively.

	Given these general assumptions, let us start from the \textbf{integral form}. Then, under the \blue{hypothesis} of sufficiently well behaved causal histories, the constitutive equations can be written in the following forms
	\begin{eqnarray} \label{eq-integral-form}
	\varepsilon (t) = J(0+) \, \sigma (t) + (\dot{J} \ast \sigma) (t) \, ,
	\qquad
	\sigma (t) = G(0+) \, \varepsilon (t) + (\dot{G} \ast \varepsilon) (t) \, ,
	\end{eqnarray}
	where the $\ast$ represents the convolution product. In this context we call $J (t)$ the \textit{creep compliance} and $G (t)$ the \textit{relaxation modulus}. These function are also often referred to as \textit{material functions of the system}. \blue{It is also worth remarking that both these functions are non-negative on $t \geq 0$, $J(t)$ is non-decreasing and $G(t)$ is non-increasing}.

	Let us now turn our attention to the \textbf{differential form} of the constitutive equation for a given linear system. Indeed, these kind of stress-strain relation are usually encountered while attempting a bottom-up description of a physical system. In fact, it is way easier to write down a differential equation describing the stress-strain relation for a material starting from the fundamental principles of classical mechanics. Moreover, this formalism admits the familiar description of linear viscoelastic systems in terms of \textit{networks of springs and dash-pots}.

	In the following we will use $D$ to designate the time derivative operator and we will use $P(D)$ and $Q(D)$ to denote two linear differential operators defined as
	\begin{eqnarray}
	P (D) = \sum _{k=0} ^N p_k \, D^k \, , \qquad
	Q (D) = \sum _{k=0} ^N q_k \, D^k \, ,
	\end{eqnarray}
where $p_k , q_k \in \R$, $\forall k \in \N \cup \{ 0 \}$. Clearly, the order of these operators does not exceed $N$.

	Then, the stress-strain relation for a given linear system takes the form
	\begin{eqnarray} \label{eq-differential-form}
	P (D) \, \sigma (t) = Q (D) \, \varepsilon (t) \, .
	\end{eqnarray}

	As shown in \cite{Gurtin-Sternberg}, if the initial conditions \blue{are such that}
	\begin{eqnarray} \label{initial-conditions-N}
	\sum _{r=k} ^N p_r \, \sigma ^{(r-k)} (0+) = \sum _{r=k} ^N q_r \, \varepsilon ^{(r-k)} (0+) \, , \qquad k=1, 2 \ldots, N \, ,
	\end{eqnarray}
	together with some regularity conditions on the relaxation function, then the two forms of the constitutive equation are equivalent.

	Moreover, if $\sigma (t), \varepsilon (t) = O \left( \exp \left( \alpha \, t \right) \right)$ as $t \to \infty$, for some $\alpha \in \R$, and if \blue{these functions} meet the conditions \eqref{initial-conditions-N}, then, in the Laplace domain, we have that
	\begin{eqnarray} \label{eq-laplace-form}
	P(s) \, \wt{\sigma} (s) = Q(s) \, \wt{\varepsilon} (s) \, , \qquad \forall s \in \C \,\, : \,\, \texttt{Re} (s) > \alpha \, ,
	\end{eqnarray}
	where we have used the notation $\mathcal{L} \{f(t) \, ; \, s \} := \wt{f} (s)$ with $\mathcal{L}$ denoting the Laplace transform operator.

	It is worth remarking that $P(s)$ and $Q(s)$ are just polynomials in $s$ whose order does not exceed $N$. Moreover, Eq.~\eqref{eq-laplace-form} states that, if both the stress and the strain meet the condition \eqref{initial-conditions-N}, then the contribution of the initial conditions, while passing from \eqref{eq-differential-form} to \eqref{eq-laplace-form} can be completely neglected.

	Now, everything works quite well as long as we work within the framework of a finite linear system, {\it i.e.}\  if $N < \infty$. If $N=\infty$ we have to deal with constitutive equation involving infinite order differential operators. Therefore, it is worth recalling some general information about this kind of operators.

	Let $\Phi (z) = \sum _{n = 0} ^{\infty} a_{n} \, z^{n}$ and let $f(t)$ be an entire function of $t$, then
	\begin{eqnarray} \label{IODO}
	\Phi \left( D \right) f(t) := \sum _{n = 0} ^{\infty} a_{n} \, D^n f(t) \, .
	\end{eqnarray}
	In the following $\Phi (D)$ will be referred to as differential operator and the series $ \sum _n a_{n} \, z^{n}$ will be referred to as the \textit{generating power series} of $\Phi (D)$. If the set $\{a_{n} \neq 0 \, | \, n \in \N _{0} \}$ is infinite, then $\Phi (D)$ is said to be a \textit{infinite order} differential operator. In particular, if the series in \eqref{IODO} is convergent $\forall t$, then the differential operator $\Phi (D)$ is said to be \textbf{applicable} to the (entire) function $f(t)$. For further details on these operators, we invite the interested reader to refer to the monograph by Sikkema \cite{Sikkema}.

	The aim of this paper is to understand what happens if we consider a linear viscoelastic model whose constitutive equation is given by an equation involving infinite order differential operators. Without loss of generality, we will focus our attention on the specific case of a model of the Bessel class \cite{IC-AG-FM-2016}. Nonetheless, the arguments presented in the following sections can be readily extended to any constitutive equation of order $N+\alpha$, with $\alpha \in \R$ and $N$ either finite (integer) or infinite.

\section{The stress-strain equation for a Bessel body} \label{Sec-const-eq}
	Let $\sigma, \varepsilon \in \mathcal{H} ^\infty$, and let us consider a stress-strain relation given by
	\begin{eqnarray} \label{Bessel-stress-strain-time}
	P_\nu (D_\ast) \, \sigma (t) = Q_\nu (D_\ast) \, \varepsilon (t) \, , \quad \nu > -1 \, ,
	\end{eqnarray}
	where $D_\ast$ denotes the Caputo's fractional derivative and $P_\nu$ and $Q_\nu$ are some infinite order fractional differential operators \blue{defined in terms of the functions}
	\begin{small}
		\begin{eqnarray}
	P_\nu (z) = I_\nu (\sqrt{z})  \, , \qquad
	Q_\nu (z) = I_{\nu+2} (\sqrt{z}) \, ,
	\end{eqnarray}
	where $I_\alpha (z)$ stands for the series representation of the modified Bessel function of the first kind of order $\alpha \in \R$.

	Now, if we assume that the initial data for Eq.~\eqref{Bessel-stress-strain-time} meet the condition
	\begin{eqnarray}
	\begin{split} \label{initial-condition}
	& \Theta ( \ceil{\nu / 2} - k) \sum _{n = 0} ^\infty p_n \, \sigma ^{(\ceil{\nu / 2} + n - k)} ( 0 +) \, + \\
	& \Theta (k - \ceil{\nu / 2} - 1) \sum _{n = k - \ceil{\nu / 2}} ^\infty p_n \, \sigma ^{(\ceil{\nu / 2} + n - k)} ( 0 +) = \\
	&=
	\Theta ( \ceil{\nu / 2} + 1 - k) \sum _{n = 0} ^\infty q_n \, \varepsilon ^{(\ceil{\nu / 2} + n + 1 - k)} ( 0 +) \, + \\
	& \Theta (k - \ceil{\nu / 2} - 2) \sum _{n = k - \ceil{\nu / 2} - 1} ^\infty q_n \, \varepsilon ^{(\ceil{\nu / 2} + n + 1 - k)} ( 0 +) \, ,
	\end{split}
	\end{eqnarray}
		\end{small}
	for all $k \in \N$, where
	\begin{eqnarray}
	p_k = \frac{1}{k! \, \Gamma \left( \nu + k + 1 \right) \, 4^{k + \frac{\nu}{2}}} \, , \qquad
	q_k = \frac{1}{k! \, \Gamma \left( \nu + k + 3 \right) \, 4^{k + 1 + \frac{\nu}{2}}} \, ,
	\end{eqnarray}
	$\Theta$ is the Heaviside generalized function and $\ceil{x}$ is the celling function of $x$,	then the corresponding constitutive equation, in the Laplace domain, reduces to
	\begin{eqnarray} \label{Bessel-stress-strain-laplace}
	I_\nu (\sqrt{s}) \, \wt{\sigma} (s) = I_{\nu + 2} (\sqrt{s}) \, \wt{\varepsilon} (s) \, .
	\end{eqnarray}
	Basically, the condition \eqref{initial-condition} guarantees that the contribution these initial data must not appear in the Laplace domain, namely they have to be vanishing or cancel in pair-balance. Moreover, this guarantees the mutual consistency of both the integral representation of the stress-strain relation and the differential form.

	Now, from Eq.~\eqref{Bessel-stress-strain-laplace} one can easily deduce the creep compliance for the model (in the Laplace domain), that turns out to be exactly the one that defines the Bessel models \cite{IC-AG-FM-2016}. Indeed, we have that
	\begin{eqnarray}
	s \wt{J} (s; \nu) = \frac{I_\nu (\sqrt{s})}{I_{\nu + 2} (\sqrt{s})} \, .
	\end{eqnarray}
The Bessel creep compliance, in the time domain, is a Bernstein function given by (see \cite{IC-AG-FM-2016, AG-FM-EPJP})
\begin{small}
\begin{equation}
\begin{split}
J(t; \, \nu) = &2 \left( \frac{\nu + 2}{\nu + 3} \right) + 4 (\nu + 1) (\nu + 2) t\\
&- 4 (\nu + 1) \sum _{n=1} ^{\infty} \frac{1}{j_{\nu + 2 , \, n} ^{2}} \exp \left( - j_{\nu + 2 , \, n} ^{2} \, t \right) \, ,
\end{split}
\end{equation}
\end{small}
where $j_{\nu + 2 , \, n}$ represents the $n$th positive real root of the Bessel functions  of the corresponding order. Moreover, it is worth remarking (see \cite{AG-FM-EPJP}) this function can be thought of as the generating function for an infinite network of \textit{ordinary} springs and dash-pots.

	Furthermore, this last remark is also supported by the following argument. If the stress and the strain histories meet the condition \eqref{initial-condition}, then we have that \eqref{Bessel-stress-strain-time} reduces to an \textit{ordinary} infinite order differential equation.
Indeed, we can always recast \eqref{Bessel-stress-strain-laplace} as
$$
\overline{P} _\nu (s) \, \wt{\sigma} (s)
	=
\overline{Q} _\nu (s) \,
\wt{\varepsilon} (s) \, ,
$$
where
	\blue{
	\begin{eqnarray}
	\overline{P} _\nu (s) =
	\left( \frac{4}{s} \right) ^{\frac{\nu}{2}} \, I _{\nu} (\sqrt{s})
	=
	\sum _{k = 0} ^\infty \frac{1}{k! \, \Gamma \left( \nu + k + 1 \right)} \, \left( \frac{s}{4} \right) ^{k}  \, , \label{op_P_nu_reg}
	\end{eqnarray}
	\begin{eqnarray}
	\overline{Q} _\nu (s) =
	\left( \frac{4}{s} \right) ^{\frac{\nu}{2}} \, I _{\nu + 2} (\sqrt{s})
	=
	\sum _{k = 0} ^\infty \frac{1}{k! \, \Gamma \left( \nu + k + 3 \right)} \, \left( \frac{s}{4} \right) ^{k + 1} \, . \label{op_Q_nu_reg}
	\end{eqnarray}
	}

	Then, inverting back to the time domain, we get the new constitutive equation
	\begin{eqnarray} \label{Bessel-stress-strain-time-regularized}
	\overline{P} _\nu (D) \, \sigma (t) = \overline{Q} _\nu (D) \, \varepsilon (t) \, , \quad \nu > -1 \, ,
	\end{eqnarray}
	where $D$ is, again, the \textit{ordinary} derivative with respect to time.

	\vskip 0.5 cm

	To prove all these results we just need to focus our attention on the behaviour of the initial conditions. In the following discussion we will generalize the arguments presented in \cite{Gurtin-Sternberg} concerning the treatment of initial conditions in linear viscoelasticity to the case of infinite order differential operators.

	First, let us assume $P_\nu (D_\ast) \, \sigma (t)$ and $Q_\nu (D_\ast) \, \varepsilon (t)$ to be convergent $\forall t \geq 0$. If this is the case, then we can introduce some \textit{cut-off operators} $P^{(N)} _\nu (D_\ast)$, $Q^{(N)} _\nu (D_\ast)$ defined as
	\begin{eqnarray}
	P^{(N)} _\nu (z) &\!\!=\!\!&
	\sum _{k = 0} ^N \frac{1}{k! \, \Gamma \left( \nu + k + 1 \right)} \, \left( \frac{z}{4} \right) ^{k + \frac{\nu}{2}} \, , \\ \label{cut_op_P}
	Q^{(N)} _\nu &\!\!=\!\!&
	\sum _{k = 0} ^N \frac{1}{k! \, \Gamma \left( \nu + k + 3 \right)} \, \left( \frac{z}{4} \right) ^{k + 1 + \frac{\nu}{2}} \, , \label{cut_op_Q_nu}
	\end{eqnarray}
for which we have that
$$
P_\nu (D_\ast) \, \sigma (t) = \lim _{N \to \infty} P^{(N)} _\nu (D_\ast) \, \sigma (t) \, , \qquad
Q_\nu (D_\ast) \, \varepsilon (t) = \lim _{N \to \infty} Q^{(N)} _\nu (D_\ast) \, \varepsilon (t) \, .
$$

	We can now perform our analysis on the cut-off operators, for which the background formalism is well established, and then extend the results taking the limit for $N \to \infty$.

	Given the previous assumptions, we have that $P^{(N)} _\nu (D_\ast) \, \sigma (t)$ and $Q^{(N)} _\nu (D_\ast) \, \varepsilon (t)$ are two sequences of functions that converge almost everywhere on $t \geq 0$. If we further assume that $\exists \alpha , \beta \in L _1 ([0, \infty[)$ such that
	$$
	\left| P^{(N)} _\nu (D_\ast) \, \sigma (t) \right| \leq \alpha (t) \, , \qquad
	\left| Q^{(N)} _\nu (D_\ast) \, \varepsilon (t) \right| \leq \beta (t) \, ,
	$$
for all $N \geq 1$ and almost everywhere on $t \geq 0$, then, taking profit of the dominated convergence theorem, we have that
\begin{eqnarray}
	\mathcal{L} \left\{ P_\nu (D_\ast) \, \sigma (t) \, ; \, s \right\}
	&\!\!=\!\!& \lim _{N \to \infty} \mathcal{L} \left\{ P^{(N)} _\nu (D_\ast) \, \sigma (t)  \, ; \, s \right\} \, , \\
	\mathcal{L} \left\{ Q_\nu (D_\ast) \, \varepsilon (t) \, ; \, s \right\}
	&\!\!=\!\!& \lim _{N \to \infty} \mathcal{L} \left\{ Q^{(N)} _\nu (D_\ast) \, \varepsilon (t)  \, ; \, s \right\} \, .
	\end{eqnarray}
	This remark then allows us to deal with finite order operators without losing the connection with the infinite order one.

	For sake of brevity, let us focus only on the strain part. The corresponding analysis for the stress part of the equation can be carried out in the same way.

First, let us compute the Laplace transform of $ Q^{(N)} _\nu (D_\ast) \, \varepsilon (t)$. Recalling the Laplace transform of the Caputo's fractional derivative
	\begin{eqnarray}
	\mathcal{L} \left\{ D_\ast ^\alpha \, f (t) \, ; \, s \right\} = s^\alpha \, \wt{f} (s) - \sum _{k=0} ^{\ceil{\alpha} - 1} f^{(k)} (0+) \, s^{\alpha - k - 1} \, , \quad \alpha \in \R^+ \, ,
	\end{eqnarray}
then one can easily infer that
	\begin{small}
	\begin{eqnarray}
	\mathcal{L} \left\{ Q^{(N)} _\nu (D_\ast) \, \varepsilon (t)  \, ; \, s \right\} = Q ^{(N)} _\nu (s) \, \wt{\varepsilon} (s) -
	\sum _{n = 0} ^N q_n \sum _{k = 0} ^{\ceil{\nu / 2} + n} \varepsilon ^{(k)} (0+) \, s^{(\nu / 2) + n - k} \, . \label{LT-Q}
	\end{eqnarray}
	\end{small}

Now, one can easily show that

	\begin{lem} \label{Lemma-3}
	Let $\alpha \in \R ^+$ then
	\begin{eqnarray} \label{eq-lemma3}
	\sum _{k=0} ^{\ceil{\alpha} - 1} f^{(k)} (0+) \, s^{\alpha - k - 1} =
	s^{\{\alpha\} - \delta _\alpha} \sum _{r = 1} ^{\ceil{\alpha}} f^{(\ceil{\alpha} - r)} (0+) \, s^{r - 1} \, ,
	\end{eqnarray}
	where $\{\alpha\}$ is the fractional part of $\alpha$ and $\delta _\alpha$ is such that
	\begin{eqnarray}
	\delta _\alpha =
	\left\{
	\begin{aligned}
	& 0, \,\,\, \alpha \in \Z \, ,\\
	& 1, \,\,\, \alpha \notin  \Z \, .
	\end{aligned}
	\right.
	\end{eqnarray}
	\end{lem}

\begin{rmk}
Notice that for $\alpha \in \R^+$ we have that $\alpha = \{ \alpha \} + \ceil{\alpha} - \delta _\alpha$.
\end{rmk}

\blue{
\begin{proof}
Starting from the RHS of \eqref{eq-lemma3}, taking profit of the previous remark, one just needs to extract the integer part of $\alpha$ form $s^\alpha$. Then, the LHS of \eqref{eq-lemma3} is obtained by changing the summation index from $k$ to $r=\ceil{\alpha}-k$. Indeed, taking profit of the last remark,
\begin{eqnarray}
\sum _{k=0} ^{\ceil{\alpha} - 1} f^{(k)} (0+) \, s^{\alpha - k - 1} = s^{\{\alpha\} - \delta _\alpha} \sum _{k=0} ^{\ceil{\alpha} - 1} f^{(k)} (0+) \, s^{\ceil{\alpha} - k - 1} \, ,
\end{eqnarray}
then, defining the index $r = \ceil{\alpha} - k$, we get that
\begin{eqnarray}
\sum _{k=0} ^{\ceil{\alpha} - 1} f^{(k)} (0+) \, s^{\ceil{\alpha} - k - 1} = \sum _{r = 1} ^{\ceil{\alpha}} f^{(\ceil{\alpha} - r)} (0+) \, s^{r - 1} \, ,
\end{eqnarray}
that concludes our proof.
\end{proof}
}

	Then, by means of the result in Lemma \ref{Lemma-3} we can rewrite Eq.~\eqref{LT-Q} as
	\begin{eqnarray}
	\begin{split}
	\mathcal{L} \left\{ Q^{(N)} _\nu (D_\ast) \, \varepsilon (t)  \, ; \, s \right\} &= Q ^{(N)} _\nu (s) \, \wt{\varepsilon} (s)  - \frac{s^{\{\nu / 2\} - \delta _{\nu / 2}}}{s} \times \\
	& \times \sum _{n = 0} ^N q_n \sum _{r = 1} ^{\ceil{\nu / 2} + n + 1} s^r \,  \varepsilon ^{(\ceil{\nu / 2} + n + 1 - r)} (0+)
	 \, . \label{LT-Q1}
	\end{split}
	\end{eqnarray}

	Following a similar argument as the one by Gurtin and Sternberg in \cite{Gurtin-Sternberg}, one can infer that
	\begin{lem} \label{Lemma-4}
	Let $a, M \in \N$ and let $q_n, \, b_n, \, s \in \R, \, \forall n \in \N _0$, then
	\begin{eqnarray} \label{eq-lemma-4}
	\begin{split}
	\sum _{n = 0} ^N q_n \sum _{r = 1} ^{M + n} s^r \,  b _{M + n - r} =
	\sum _{k = 1} ^{N + M} s^k \,
	\Big[ &\Theta ( M - k) \sum _{h = 0} ^N q_h \, b_{M + h - k}  + \\
	& \Theta (k - M - 1) \sum _{h = k - M} ^N q_h \, b_{M + h - k} \Big] \, ,
	\end{split}
	\end{eqnarray}
	for all $N \in \N$.
	\end{lem}

\blue{
\begin{proof}
	This can be proved by induction.

First, for $N = 1$ the LHS of Eq.~\eqref{eq-lemma-4} is given by
\begin{eqnarray}
\begin{split}
\sum _{n = 0} ^1 q_n \sum _{r = 1} ^{M + n} s^r \,  b _{M + n - r} &=
q_0 \sum _{r = 1} ^{M} s^r \,  b _{M - r} + q_1 \sum _{r = 1} ^{M + 1} s^r \,  b _{M + 1 - r} =\\
&= \sum _{r = 1} ^{M} s^r \left( q_0 \, b _{M - r} + q_1 \, b _{M + 1 - r} \right) + s^{M+1} \, q_1 \, b_0 \, .
\end{split}
\end{eqnarray}
Beside, the RHS of Eq.~\eqref{eq-lemma-4} is given by,
\begin{eqnarray}
\begin{split}
& \sum _{k = 1} ^{M + 1} s^k \,
	\Big[ \Theta ( M - k) \sum _{h = 0} ^1 q_h \, b_{M + h - k}  +
	 \Theta (k - M - 1) \sum _{h = k - M} ^1 q_h \, b_{M + h - k} \Big] =\\
	 &= \sum _{k = 1} ^{M + 1} s^k \, \Big[ \Theta ( M - k) \left(q_0 \, b_{M - k} + q_1 \, b_{M - k} \right) + \Theta (k - M - 1) \, q_1 \, b_0 \Big] =\\
	 &= \sum _{k = 1} ^{M} s^k \left( q_0 \, b _{M - k} + q_1 \, b _{M + 1 - k} \right) + s^{M+1} \, q_1 \, b_0 \, .
\end{split}
\end{eqnarray}
Thus, it is clear that for $N = 1$ both sides of are equal Eq.~\eqref{eq-lemma-4} and, therefore, Eq.~\eqref{eq-lemma-4} is verified for $N=1$.

	Now, let us suppose that Eq.~\eqref{eq-lemma-4} is true for $N = \mathcal{N}$, for $\mathcal{N} > 1$, then for $N = \mathcal{N} + 1$ we have that the LHS is given by
	\begin{eqnarray}
	\begin{small}
	\begin{split}
	\!\!\sum _{n = 0} ^{\mathcal{N} + 1}\!\! q_n \sum _{r = 1} ^{M + n} s^r \,  b _{M + n - r} &=
	\sum _{n = 0} ^{\mathcal{N}} q_n \!\! \sum _{r = 1} ^{M + n} \!\! s^r \,  b _{M + n - r} + q_{\mathcal{N} + 1}\!\! \sum _{r = 1} ^{M + \mathcal{N} + 1} \!\! s^r   b _{M + \mathcal{N} + 1 - r} = \\
	&= \sum _{k = 1} ^{\mathcal{N} + M} s^k \,
	\Big[ \Theta ( M - k) \sum _{h = 0} ^{\mathcal{N}} q_h \, b_{M + h - k}  +\\
	 &+ \Theta (k - M - 1) \sum _{h = k - M} ^{\mathcal{N}} q_h \, b_{M + h - k} \Big] + \\
	 &+ q_{\mathcal{N} + 1}\!\! \sum _{r = 1} ^{M + \mathcal{N} + 1} \!\! s^r   b _{M + \mathcal{N} + 1 - r} \, .
	\end{split}
	\end{small}
	\end{eqnarray}

	Beside, the RHS of Eq.~\eqref{eq-lemma-4} is given by,
\begin{small}
\begin{eqnarray}
\notag
&\!\! \!\!& \sum _{k = 1} ^{\mathcal{N} + 1 + M} s^k \,
	\Big[ \Theta ( M - k) \sum _{h = 0} ^{\mathcal{N} + 1} q_h \, b_{M + h - k}  +
 	\Theta (k - M - 1) \sum _{h = k - M} ^{\mathcal{N} + 1} q_h \, b_{M + h - k} \Big]  =\\ \notag
&\!\!=\!\!& \sum _{k = 1} ^{\mathcal{N} + M} s^k \,
	\Bigg[ \Theta ( M - k) \left( \sum _{h = 0} ^{\mathcal{N}} q_h \, b_{M + h - k} + q_{\mathcal{N} + 1} \, b_{M + \mathcal{N} + 1 - k} \right) +\\ \notag
	&\!\!+\!\!& \Theta (k - M - 1) \left( \sum _{h = k - M} ^{\mathcal{N}} q_h \, b_{M + h - k} + q_{\mathcal{N} + 1} \, b_{M + \mathcal{N} + 1 - k} \right) \Bigg] +\\ \notag
	&\!\!+\!\!& s^{M+\mathcal{N} + 1} \, q_{\mathcal{N} + 1} \, b_{0} =\\ \notag
	&\!\!=\!\!& \sum _{k = 1} ^{\mathcal{N} + M} s^k \,
	\Big[ \Theta ( M - k) \sum _{h = 0} ^\mathcal{N} q_h \, b_{M + h - k}  +
	 \Theta (k - M - 1) \sum _{h = k - M} ^\mathcal{N} q_h \, b_{M + h - k} \Big] + \\ \notag
	 &\!\!+\!\!& q_{\mathcal{N} + 1}\!\! \sum _{r = 1} ^{M + \mathcal{N} + 1} \!\! s^r   b _{M + \mathcal{N} + 1 - r} \, . \notag
\end{eqnarray}
\end{small}

	Thus, Eq.~\eqref{eq-lemma-4} holds for $N = \mathcal{N} + 1$ and the proof of the induction step is complete. In conclusion, we have that Eq.~\eqref{eq-lemma-4} holds $\forall N \in \N$.
\end{proof}
}

	We can now use the result in Lemma \ref{Lemma-4} to show that Eq.~\eqref{LT-Q1} can be rewritten as
	\begin{small}
	\begin{eqnarray} \label{LT-Q2}
	\begin{split}
	\mathcal{L} \Big\{ Q^{(N)} _\nu (D_\ast) \, &\varepsilon (t)  \, ; \, s \Big\} = Q ^{(N)} _\nu (s) \, \wt{\varepsilon} (s)  - \frac{s^{\{\nu / 2\} - \delta _{\nu / 2}}}{s} \times \\
	& \times \sum _{k = 1} ^{\ceil{\nu/2} + N + 1} s^k \,
	\Bigg[ \Theta ( \ceil{\nu / 2} + 1 - k) \sum _{n = 0} ^N q_n \, \varepsilon ^{(\ceil{\nu / 2} + n + 1 - k)} ( 0 +)  \\
	& + \Theta (k - \ceil{\nu / 2} - 2) \sum _{n = k - \ceil{\nu / 2} - 1} ^N q_n \, \varepsilon ^{(\ceil{\nu / 2} + n + 1 - k)} ( 0 +) \Bigg]
	 \end{split}
	\end{eqnarray}
	\end{small}
	\blue{The proof is quite straightforward, indeed we just need to apply the result in} Lemma \ref{Lemma-4} to the second term in Eq.~\eqref{LT-Q1}, noticing that $M = \ceil{\nu / 2} + 1$ and $b_n = \varepsilon ^{(n)} (0+)$.

	If we perform the same analysis for $P^{(N)} _\nu (D_\ast) \, \sigma (t)$ we get
	\begin{small}
		\begin{eqnarray} \label{LT-P2}
	\begin{split}
	\mathcal{L} \Big\{ P^{(N)} _\nu (D_\ast) \, &\sigma (t)  \, ; \, s \Big\} = P ^{(N)} _\nu (s) \, \wt{\sigma} (s)  - \frac{s^{\{\nu / 2\} - \delta _{\nu / 2}}}{s} \times \\
	& \times \sum _{k = 1} ^{\ceil{\nu/2} + N} s^k \,
	\Bigg[ \Theta ( \ceil{\nu / 2} - k) \sum _{n = 0} ^N p_n \, \sigma ^{(\ceil{\nu / 2} + n - k)} ( 0 +)  \\
	& + \Theta (k - \ceil{\nu / 2} - 1) \sum _{n = k - \ceil{\nu / 2}} ^N p_n \, \sigma ^{(\ceil{\nu / 2} + n - k)} ( 0 +) \Bigg] \, .
	 \end{split}
	\end{eqnarray}
		\end{small}

	Then, by taking the limit for $N \to \infty$ we get $\mathcal{L} \left\{ Q _\nu (D_\ast) \, \varepsilon (t)  \, ; \, s \right\}$ and $\mathcal{L} \left\{ P _\nu (D_\ast) \, \sigma (t)  \, ; \, s \right\}$, respectively.

	Hence, if we now assume that the initial data meet the condition in Eq.~\eqref{initial-condition}, then
	\begin{eqnarray}
	\mathcal{L} \left\{ Q _\nu (D_\ast) \, \varepsilon (t)  \, ; \, s \right\} = \mathcal{L} \left\{ P _\nu (D_\ast) \, \sigma (t)  \, ; \, s \right\}
	\end{eqnarray}
	reduces to \eqref{Bessel-stress-strain-laplace}. Then, all the subsequent results discussed in the first part of this section follow immediately from \eqref{initial-condition} and \eqref{Bessel-stress-strain-laplace}.

	\blue{
	\subsection{Bessel $\&$ Fractional Maxwell of order $1/2$} \label{sub-1}
	From the previous discussion we have that the constitutive equation for a Bessel model of order $\nu > -1$ can be expressed as in Eq.~\eqref{Bessel-stress-strain-time-regularized}, provided that we assume the validity of the condition in \eqref{initial-condition}.

	Now, following the discussion in \cite{IC-AG-FM-Conf}, it is interesting to see that, even if we are dealing with ordinary infinite order differential equation, as $t \to  0^+$ we have that the stress-strain relation reduces to
	\begin{eqnarray}
\left[ 1 + \frac{1}{2 (\nu + 1)} \,  D _{\ast} ^{1/2} \right] \ \sigma (t)
=
\frac{1}{2 (\nu + 1)} \, D _{\ast} ^{1/2} \varepsilon (t) \, ,
	\end{eqnarray}
which is actually Maxwell-like fractional model of order $1/2$ (see {\it e.g.}\  \cite{Mainardi_BOOK10, Mainardi-Spada 2011}).

	\subsection{Entire functions and applicability} \label{sub-2}
	Now, let us focus our attention on the regularized operators $\overline{P} _\nu$ and $\overline{Q} _\nu$ defined in terms of the power series \eqref{op_P_nu_reg} and \eqref{op_Q_nu_reg}, respectively. In particular, it is easy to prove the following statement
	\begin{thm} \label{th-1}
	Let $\overline{P} _\nu (z)$ and $\overline{Q} _\nu (z)$ be the functions defined as in \eqref{op_P_nu_reg} and \eqref{op_Q_nu_reg}. Then we can note that $\overline{P} _\nu (z)$ and $\overline{Q} _\nu (z)$ are entire functions of order $\rho = 1/2$ and type $\sigma = 1$.
	\end{thm}

\begin{proof}
Let us focus our attention on the function $\overline{P} _\nu (z)$, then the proof for $\overline{Q} _\nu (z)$ follows by the very same procedure.

 	First, given the definition of $\overline{P} _\nu (z)$, we can immediately infer that it is an entire function because it is defined in terms of a modified Bessel function.

 	Now, given an entire function represented by the power series $ \sum _{n=0} ^\infty a_n \, z^n$, then the order $\rho$ and the type $\sigma$ of such a function are given by (see \cite{Holland})
\begin{equation*}
\begin{split}
\rho ^{-1} &= \liminf _{n \to \infty} \frac{\log \left( 1 / |a_{n}| \right)}{n \log n}  \, ,\\
(e \, \rho \, \sigma )^{1/\rho } &= \limsup _{n\to \infty} n^{1/\rho } \, |a_{n}|^{1/n} \, .
\end{split}
\end{equation*}

	Thus, for $\overline{P} _\nu (z)$ we have that
	\begin{eqnarray}
	a_n = \frac{1}{n! \, \Gamma \left( \nu + n + 1 \right) \, 2^{2n}} \, ,
	\end{eqnarray}
	from which it follows that
	\begin{eqnarray}
	\log \left( 1 / |a_{n}| \right) = \log n! + \log \Gamma \left( \nu + n + 1 \right) + 2 \, n  \log 2 \, .
	\end{eqnarray}
	Recalling Stirling's approximation, {\it i.e.}\
	\begin{eqnarray}
	\log \Gamma (z) = z \log z - z + O (\log z) \, , \qquad |z| \to \infty \, , \,\,\, |\texttt{Arg}(z)| \leq \pi \, ,
	\end{eqnarray}
	then,
	\begin{eqnarray}
	\log \left( 1 / |a_{n}| \right) = 2 \, n \log n + O (n) \, , \qquad \mbox{as} \,\, n \to \infty \, .
	\end{eqnarray}
	Hence, for $\overline{P} _\nu (z)$ we can conclude that
	\begin{eqnarray}
	\frac{1}{\rho} = \liminf _{n \to \infty} \frac{\log \left( 1 / |a_{n}| \right)}{n \log n} = \liminf _{n \to \infty} 2 + o \left( \frac{1}{\log n} \right) = 2 \, .
	\end{eqnarray}
	Analogously, it is easy to see that
	$$ \limsup _{n\to \infty} n^{2} \, |a_{n}|^{1/n} = \frac{e^2}{4} \, , $$
	from which we can infer that
	$$ \sigma = 1 \, , $$
	result that concludes our proof.
\end{proof}

\begin{rmk}
We could have come to the same results in Theorem \ref{th-1}, alternatively, by recalling that the functions \eqref{op_P_nu_reg} and \eqref{op_Q_nu_reg} are basically a rescaled version of the modified Bessel functions. Now, the latter can be seen as particular realizations of the Mittag-Leffler functions, for which a complete discussion of the order and type has been carried out by Kiryakova in \cite{Kiryakova}.
\end{rmk}

	This result is particularly interesting for two distinct reasons.

	First, the case in which an infinite order differential operator is defined in terms of a generating power series corresponding to an entire function has been studied by several authors, see {\it e.g.}\  \cite{Cha-etal, Sikkema}. In particular, according to these papers, in this case it seems to be easier to prove the applicability of such operators to certain subsets of the space of entire functions. For example, in \cite{Cha-etal} Cha et al  have been able to provide a sufficient condition for two entire functions, $f(z)$ and $g(z)$, to be such that the combination $\sum _n f^{(n)} (0) \, D^n g(z) / n!$ represents an entire function. Moreover, they have also deduced the growth of the resulting function, induced by the types of both $f(z)$ and $g(z)$.

	Secondly, it is interesting to note that the (fractional) order of asymptotic constitutive equation \eqref{Bessel-stress-strain-time-regularized}, as $t \to 0^+$, matches exactly with the order of the entire functions defining the differential operators. Whether there is a formal connection between these two results is still unknown, but it is surely worth of further studies.

}

\section{Conclusions}
	After a brief review of the basic formalism of linear viscoelasticity, we have discussed some properties of viscoelastic models defined in terms of constitutive equations involving infinitely many derivatives. In particular, we have considered, as a working example, the recently developed Bessel models of linear viscoelasticiy.

	In Section \ref{Sec-const-eq}, we have been able to connect the constitutive equation for a Bessel model with the theory of \textit{ordinary} infinite order differential equations. We have also determined the form of the initial data that guarantees the mutual consistency of both the integral and the differential form of the stress-strain relation. This condition also allows for a constitutive equation, in the Laplace domain, that does not involve the explicit contribution of initial data.
	Finally, in Section \ref{sub-1} and \ref{sub-2} we have observed that, even thought the stress-strain relation for a Bessel body involves infinitely many \textit{ordinary} derivatives, the asymptotic behaviour as $t \to 0^+$ is effectively described by a fractional Maxwell model of order $1/2$. We have also pointed out that the order of the asymptotic (fractional) model is the same as the order of the entire functions that define the regularized operators \eqref{op_P_nu_reg} and \eqref{op_Q_nu_reg}.

\section*{Acknowledgements}
	The work of the author has been carried out in the framework of the activities of the National Group of Mathematical Physics (GNFM, INdAM).

 	I am particularly grateful to Prof. Francesco Mainardi for all of the support and mentorship he has shown me over the past eight years and to Prof. Roberto Casadio for helpful comments and discussions, and also for his patience and constant support. I would also like to extend my thanks to I. Colombaro, V. A. Diaz, Prof. M. Fabrizio, R. Garra, Prof. A. Kamenchtchik, \blue{Prof. V. Kiryakova, Prof. S. Rogosin} and Prof. T. Ruggeri for many helpful discussions.


\section{Introduction}
\label{section:introduction}

A homotopy limit problem asks for an equivalence between fixed points and homotopy fixed points for a group action \cite{Thomason}.
In some contexts,
the fixed points are easily described,
and one then obtains a description of the otherwise intractable homotopy fixed points.
Many distinguished results in algebraic topology take the form of a homotopy limit problem,
e.g.,
the Atiyah-Segal completion theorem linking equivariant $K$-theory to representation theory,
Segal's Burnside ring conjecture on stable cohomotopy,
Sullivan's conjecture on the homotopy type of real points of algebraic varieties,
and the Quillen-Lichtenbaum conjecture on Galois descent for algebraic $K$-theory under field extensions.

In this paper we give a surprising solution of the homotopy limit problem for $K$-theory in the stable motivic homotopy category.
This is achieved by analyzing the slice filtration for algebraic and hermitian $K$-theory \cite{R-O}, \cite{roendigs-spitzweck-oestvaer.slices-sphere}, \cite{voevodsky.open},
and completing with respect to the Hopf element $\eta$ in the Milnor-Witt $K$-theory ring \cite{Morel:ICM}.

To provide context for our approach,
recall that complex conjugation of vector bundles gives rise to the Adams operation $\Psi^{-1}$ and an action of the group $C_{2}$ of order two on the complex $K$-theory spectrum $\mathbf{KU}$.
Atiyah \cite{Atiyah} shows there is an isomorphism
\begin{equation}
\label{equation:KOhlp}
\mathbf{KO}
\overset{\simeq}{\longrightarrow}
\mathbf{KU}^{hC_{2}}
\end{equation}
between the real $K$-theory spectrum $\mathbf{KO}$ and the $C_{2}$-homotopy fixed points of $\mathbf{KU}$.
For the corresponding connective $K$-theory spectra,
the homotopy cofiber of
\begin{equation}
\label{equation:kohlp}
\mathbf{ko}
\longrightarrow
\mathbf{ku}^{hC_{2}}
\end{equation}
is an infinite sum $\bigvee_{i<0}\Sigma^{4i}\mathbf{H}\mathbb{Z}/2$ of suspensions of the mod-$2$ Eilenberg-MacLane spectrum.

We are interested in the analogues of \eqref{equation:KOhlp} and \eqref{equation:kohlp} for algebraic $K$-theory $\mathbf{KGL}$ with $C_{2}$-action given by the Adams operation $\Psi^{-1}$ and hermitian $K$-theory $\mathbf{KQ}$,
see for example \cite[\S3,4]{R-O}.
Throughout we work in the stable motivic homotopy category $\mathbf{SH}$ over a field $F$ of characteristic $\mathsf{char}(F)\neq 2$.
Our starting point is,
somewhat unexpectedly in view of \eqref{equation:kohlp},
the naturally induced map between fixed points and homotopy fixed points
\begin{equation}
\label{equation:kohlp2}
\gamma
\colon
\mathbf{kq}
\longrightarrow
\mathbf{kgl}^{hC_{2}}
\end{equation}
for the projections of $\mathbf{KGL}$ and $\mathbf{KQ}$ to the effective stable motivic homotopy category $\mathbf{SH}^{\mathsf{eff}}$.
The latter is the localizing subcategory of $\mathbf{SH}$ generated by suspension spectra of smooth schemes \cite{voevodsky.open}.
Let $\eta$ be the first motivic Hopf map induced by the natural map of algebraic varieties $\mathbf{A}^{2}\smallsetminus\{0\}\longrightarrow\mathbf{P}^{1}$.
Recall that $\eta$ defines a non-nilpotent element in the homotopy group $\pi_{1,1}\mathbf{1}$ of the motivic sphere spectrum.
We let $\pi_{\star}\mathbf{E}$ denote the bigraded coefficients of a generic motivic spectrum $\mathbf{E}$.
The stable cone of $\eta$ acquires a Bousfield localization functor $\mathbf{L}_{\eta}$ defined on all motivic spectra \cite[Appendix A]{Rondigs-Ostvar3}.
Let $\mathsf{vcd}_{2}(F)$ denote the mod-$2$ cohomological dimension of the absolute Galois group of $F(\sqrt{-1})$ \cite[Chapter 1,\S3]{serreGC}.
We solve the homotopy limit problem \eqref{equation:kohlp2} affirmatively by completing with respect to $\eta$.

\begin{theorem}
\label{theorem:kqetahomotopylimit}
Suppose $F$ is a field of $\mathsf{char}(F)\neq 2$ and virtual cohomological dimension $\mathsf{vcd}_{2}(F)<\infty$.
Then \eqref{equation:kohlp2} induces an isomorphism
\begin{equation}
\label{equation:kqhlpeta}
\mathbf{L}_{\eta}(\gamma)
\colon
{\mathbf{kq}^{\wedge}_{\eta}
\overset{\simeq}{\longrightarrow}
{\mathbf{kgl}^{hC_{2}}}}.
\end{equation}
\end{theorem}
We show that the homotopy fixed point spectrum $\mathbf{kgl}^{hC_{2}}$ in \eqref{equation:kqhlpeta} is $\eta$-complete.
The proof of Theorem \ref{theorem:kqetahomotopylimit} invokes the slice filtration
\begin{equation}
\label{equation:slicefiltration}
\cdots
\subset
\Sigma^{q+1}_{T}\mathbf{SH}^{\mathsf{eff}}
\subset
\Sigma^{q}_{T}\mathbf{SH}^{\mathsf{eff}}
\subset
\Sigma^{q-1}_{T}\mathbf{SH}^{\mathsf{eff}}
\subset
\cdots
\end{equation}
introduced by Voevodsky \cite[\S2]{voevodsky.open}.
Using \eqref{equation:slicefiltration} one associates to $\mathbf{E}$ an integrally graded family of slices $\mathsf{s}_{\ast}(\mathbf{E})$ and a trigraded slice spectral sequence
\begin{equation}
\label{equation:sssintro}
\pi_{\star}\mathsf{s}_{\ast}(\mathbf{E})\Longrightarrow\pi_{\star}\mathbf{E}.
\end{equation}
We show that \eqref{equation:sssintro} converges conditionally for the $\eta$-completion of $\mathbf{kq}$ and also for the homotopy fixed point spectrum $\mathbf{kgl}^{hC_{2}}$.
In contrast to the topological situation \eqref{equation:KOhlp},
$\pi_{\star}\mathbf{KQ}$ and $\pi_{\star}\mathbf{KGL}$ are unknown over general fields.
Nonetheless we obtain a proof of Theorem \ref{theorem:kqetahomotopylimit} by using the computations of $\mathsf{s}_{\ast}(\mathbf{KQ})$ and $\mathsf{s}_{\ast}(\mathbf{KGL}^{hC_{2}})$ accomplished in \cite{R-O}.

Next we turn to solving the homotopy limit problem
\begin{equation}
\label{equation:bigKQhlp}
\Upsilon
\colon
\mathbf{KQ}
\longrightarrow
\mathbf{KGL}^{hC_{2}}.
\end{equation}
Here $\mathbf{KGL}^{hC_{2}}$ is $\eta$-complete essentially due to motivic orientability of algebraic $K$-theory.
We proceed by comparing with the effective cocovers of $\mathbf{KQ}$ and $\mathbf{KGL}^{hC_{2}}$.
Remarkably,
the first motivic Hopf map $\eta$ turns $\Upsilon$ into an isomorphism without altering the target in \eqref{equation:bigKQhlp}.
\begin{theorem}
\label{theorem:KQetahomotopylimit}
Suppose $F$ is a field of $\mathsf{char}(F)\neq 2$ and virtual cohomological dimension $\mathsf{vcd}_{2}(F)<\infty$.
Then \eqref{equation:bigKQhlp} induces an isomorphism
\begin{equation}
\label{equation:effKQhlpeta}
\mathbf{L}_{\eta}(\Upsilon)
\colon
{\mathbf{KQ}^{\wedge}_{\eta}}
\overset{\simeq}{\longrightarrow}
{\mathbf{KGL}^{hC_{2}}}.
\end{equation}
\end{theorem}

Supplementing our main results we note that the $\eta$-arithmetic square
\begin{equation}
\label{equation:etaarithmetic}
\xymatrix{
\mathbf{KQ} \ar[r] \ar[d] & \mathbf{KW}  \ar[d] \\
{\mathbf{KQ}^{\wedge}_{\eta}} \ar[r] & {\mathbf{KQ}^{\wedge}_{\eta}}[\eta^{-1}]
}
\end{equation}
for $\mathbf{KQ}$ \cite[\S3.1]{roendigs-spitzweck-oestvaer.slices-sphere} coincides up to isomorphism with the Tate diagram \cite[(20)]{HKO}
\begin{equation}
\label{equation:tatearithmetic}
\xymatrix{
\mathbf{KQ} \ar[r] \ar[d] & \mathbf{KW} \ar[d] \\
\mathbf{KGL}^{hC_{2}} \ar[r] & {\mathbf{KGL}}^{tC_{2}}
}
\end{equation}
for the $C_{2}$-action on $\mathbf{KGL}$.
Here $\mathbf{KW}$ denotes the higher Witt-theory and ${\mathbf{KGL}}^{tC_{2}}$ denotes the Tate $K$-theory spectrum.
Moreover,
by representability,
\eqref{equation:effKQhlpeta} implies that for every $X\in\mathbf{Sm}_{F}$ --- smooth $F$-schemes of finite type --- there is a naturally induced isomorphism
\begin{equation*}
\mathbf{L}_{\eta}(\Upsilon)_{\star}
\colon
\pi_{\star}
{\mathbf{KQ}(X)^{\wedge}_{\eta}}
\overset{\cong}{\longrightarrow}
\pi_{\star}{\mathbf{KGL}(X)^{hC_{2}}}.
\end{equation*}

\begin{remark}
The earlier works \cite{BKSO} and \cite{HKO} identified the $2$-adic completion of the homotopy fixed points by showing an isomorphism
$\pi_{\star}\mathbf{KQ}/2\overset{\cong}{\longrightarrow}\pi_{\star}\mathbf{KGL}^{hC_{2}}/2$.
Explicit calculations are carried out over the complex numbers $\mathbb{C}$ in \cite{IS}.
However,
for the identification of ${\mathbf{KGL}^{hC_{2}}}$ in \eqref{equation:effKQhlpeta} it is paramount to work in $\mathbf{SH}$,
so that the $\eta$-completion of $\mathbf{KQ}$ makes sense.
The commonplace assumption $\mathsf{vcd}_{2}(F)<\infty$ is also used in \cite{BKSO}, \cite{HKO},
and in the context of the Quillen-Lichtenbaum conjecture for \'etale $K$-theory \cite[\S4]{MR2544389}.
\end{remark}

\section{The first motivic Hopf map $\eta$}
\label{section:tmhm}

We view $\mathbf{A}^{2}\smallsetminus\{0\}$ and $\mathbf{P}^{1}$ as motivic spaces pointed at $(1,1)$ and $[1:1]$,
respectively.
The canonical projection map $\mathbf{A}^{2}\smallsetminus\{0\}\longrightarrow\mathbf{P}^{1}$ induces the stable motivic Hopf map
$\eta\colon\mathbf{G}_{\mathfrak{m}}\longrightarrow\mathbf{1}$ for the motivic sphere spectrum $\mathbf{1}$.
Iteration of $\eta$ yields the cofiber sequence
\begin{equation}
\label{equation:modetapowers}
\mathbf{G}_{\mathfrak{m}}^{\wedge n}
\overset{\eta^{n}}{\longrightarrow}
\mathbf{1}
\longrightarrow
\mathbf{1}/\eta^{n}.
\end{equation}
The $\eta$-completion $\mathbf{E}^{\wedge}_{\eta}$ of a motivic spectrum $\mathbf{E}$ is defined as the homotopy limit $\underset{n\rightarrow\infty}{\mathrm{holim}}\;\mathbf{E}/\eta^{n}$
of the canonically induced diagram
\begin{equation}
\label{equation:modetapowerstower}
\dots
\longrightarrow
\mathbf{E}/\eta^{n+1}
\longrightarrow
\mathbf{E}/\eta^{n}
\longrightarrow
\dots
\longrightarrow
\mathbf{E}/\eta.
\end{equation}
By \eqref{equation:modetapowers} and \eqref{equation:modetapowerstower} there is a naturally induced map
\begin{equation}
\label{equation:etacompletionmap}
\mathbf{E}
\longrightarrow
\mathbf{E}^{\wedge}_{\eta}.
\end{equation}
We say that $\mathbf{E}$ is {\it $\eta$-complete} if the map in \eqref{equation:etacompletionmap} is an isomorphism.
The Bousfield localization $\mathbf{L}_{\eta}\mathbf{E}$ of $\mathbf{E}$ for the cone of $\eta$ coincides with $\mathbf{E}^{\wedge}_{\eta}$.
Recall that the algebraic cobordism spectrum $\mathbf{MGL}$ is the universal oriented motivic spectrum,
see \cite{NSOfieldsinstitute}, \cite{PPRhha}.
\begin{lemma}
\label{lemma:orientedetaequivalence}
Every module over an oriented motivic ring spectrum is $\eta$-complete.
\end{lemma}
\begin{proof}
The unit map for algebraic cobordism $\mathbf{1}\longrightarrow\mathbf{MGL}$ factors through the cone $\mathbf{1}/\eta$,
see \cite[Lemma 3.24]{roendigs-spitzweck-oestvaer.slices-sphere} for an explicit factorization,
which implies $\mathbf{MGL}\wedge\eta=0$.
The statement for modules follows readily.
\end{proof}

\section{The slice filtration}
\label{section:sf}
In this section we discuss results for the slice filtration \cite{voevodsky.open} which will be applied in the proofs of our main results in Section \ref{section:proofsofmainresults}.
Throughout we work over a base field $F$.

To \eqref{equation:slicefiltration} one associates distinguished triangles
\begin{equation}
\label{equation:slicedefinition}
\mathsf{f}_{q+1}(\mathbf{E})
\longrightarrow
\mathsf{f}_{q}(\mathbf{E})
\longrightarrow
\mathsf{s}_{q}(\mathbf{E}),
\end{equation}
for every motivic spectrum $\mathbf{E}$,
see \cite[Theorem 2.2]{voevodsky.open}.
Here the $q$th effective cover of $\mathbf{E}$ is the universal map $\mathsf{f}_{q}(\mathbf{E})\longrightarrow\mathbf{E}$ from $\Sigma^{q}_{T}\mathbf{SH}^{\mathsf{eff}}$ to $\mathbf{E}$.
The $q$th slice $\mathsf{s}_{q}(\mathbf{E})\in\Sigma^{q}_{T}\mathbf{SH}^{\mathsf{eff}}$ is uniquely determined up to isomorphism by \eqref{equation:slicedefinition}.
Every object of $\Sigma^{q+1}_{T}\mathbf{SH}^{\mathsf{eff}}$ maps trivially to $\mathsf{s}_{q}(\mathbf{E})$.
It is technically important for many constructions to have a ``strict model'' for the slice filtration,
e.g.,
by means of model categories as in \cite[\S3.1]{GRSO}, \cite[\S3.2]{Pelaez}.
We note that $\mathsf{f}_{q}\mathsf{s}_{q'}\simeq\mathsf{s}_{q'}\mathsf{f}_{q}$ follows from \cite[(2.2), \S6]{GRSO} for all $q,q'\in\mathbb{Z}$.

\begin{lemma}
\label{lemma:slicefiltrationcomplete}
The slice filtration is exhaustive in the sense that there is an isomorphism
\begin{equation}
\label{equation:exhaustive}
\underset{q\rightarrow-\infty}{\mathrm{hocolim}}\;\mathsf{f}_{q}(\mathbf{E})
\overset{\simeq}{\longrightarrow}
\mathbf{E}.
\end{equation}
\end{lemma}
\begin{proof}
Each generator $\Sigma^{s,t}X_{+}$ of $\mathbf{SH}$ is contained in $\Sigma^{q'}_{T}\mathbf{SH}^{\mathsf{eff}}$ for some $q'\in\mathbb{Z}$.
Here $s,t\in\mathbb{Z}$ and $X\in\mathbf{Sm}_{F}$,
see for example \cite[Theorem 9.1]{DD}.
Recall that $\mathsf{f}_{q'}$ preserves homotopy colimits \cite[Corollary 4.5]{Spitzweck}, \cite[Lemma 4.2]{voevodsky.open}.
By the universal property of the $q'$th effective cover it suffices to show there is an isomorphism
\begin{equation*}
\mathbf{SH}(\Sigma^{s,t}X_{+},\underset{q<q'}{\mathrm{hocolim}}\;\mathsf{f}_{q'}\mathsf{f}_{q}(\mathbf{E}))
\overset{\simeq}{\longrightarrow}
\mathbf{SH}(\Sigma^{s,t}X_{+},\mathsf{f}_{q'}(\mathbf{E})).
\end{equation*}
This follows since $\mathsf{f}_{q'}\mathsf{f}_{q}\simeq\mathsf{f}_{q'}$ for $q<q'$.
\end{proof}

\begin{lemma}
\label{lemma:slicesareetacomplete}
The slices of a motivic spectrum are $\eta$-complete.
\end{lemma}
\begin{proof}
Every slice $\mathsf{s}_{q}(\mathbf{E})$ is a module over the motivic ring spectrum $\mathsf{s}_{0}(\mathbf{1})$,
cf.~\cite[\S6 (iv),(v)]{GRSO} and \cite[Theorem 3.6.13(6)]{Pelaez}.
If $F$ is a perfect field,
then $\mathsf{s}_{0}(\mathbf{1})$ is the motivic cohomology spectrum $\mathbf{M}\mathbf{Z}$ by \cite[Theorem 10.5.1]{Levine:slices} and \cite[Theorem 6.6]{Voevodsky:zero-slice}.
This extends by base change;
every field is essentially smooth over a perfect field \cite[Lemma 2.9]{HKPAO},
and \cite[Lemma 2.7(1)]{HKPAO} verifies the hypothesis of \cite[Theorem 2.12]{pp:functoriality} for an essentially smooth map.
To conclude the proof we use Lemma \ref{lemma:orientedetaequivalence} and the canonical orientation on $\mathbf{M}\mathbf{Z}$ \cite[\S10]{NSOdm}.
\end{proof}

\begin{corollary}
\label{corollary:Ktheoryetacomplete}
Algebraic $K$-theory $\mathbf{KGL}$ and its effective cover $\mathbf{kgl}$ are $\eta$-complete.
\end{corollary}
\begin{proof}
This follows from Lemma \ref{lemma:orientedetaequivalence} by using the orientation map $\mathbf{MGL}\longrightarrow\mathbf{KGL}$,
see for example \cite[Example 2.4]{PPR} and \cite[Examples 2.1, 2.2]{SObott},
and the geometric fact that the algebraic cobordism spectrum is effective \cite[Corollary 3.2]{Spitzweck}, \cite[\S8]{voevodsky.open}.
\end{proof}
\begin{corollary}
\label{corollary:homotopyfixedpointsKtheoryetacomplete}
The homotopy fixed points spectra $\mathbf{KGL}^{hC_{2}}$ and $\mathbf{kgl}^{hC_{2}}$ are $\eta$-complete.
\end{corollary}
\begin{proof}
Let $\mathbf{E}$ be short for $\mathbf{KGL}$ or $\mathbf{kgl}$.
We use homotopy limits to model the homotopy fixed points $\mathbf{E}^{hC_{2}}$ for the $C_{2}$-action given by the Adams operation $\Psi^{-1}$ \cite[\S18]{Hirschhorn}, \cite[\S3,4]{R-O}.
Corollary \ref{corollary:Ktheoryetacomplete} implies there is an isomorphism
\begin{equation*}
\underset{C_{2}}{\mathrm{holim}}\;\mathbf{E}
\overset{\simeq}{\longrightarrow}
\underset{C_{2}}{\mathrm{holim}}\;
\underset{n\rightarrow\infty}{\mathrm{holim}}\;\mathbf{E}/\eta^{n}.
\end{equation*}
Thus the corollary follows by commuting homotopy limits over small categories,
i.e.,
\begin{equation*}
\underset{C_{2}}{\mathrm{holim}}\;
\underset{n\rightarrow\infty}{\mathrm{holim}}\;\mathbf{E}/\eta^{n}
\overset{\simeq}{\longrightarrow}
\underset{n\rightarrow\infty}{\mathrm{holim}}\;
\underset{C_{2}}{\mathrm{holim}}\;\mathbf{E}/\eta^{n}.
\end{equation*}
\end{proof}

The $q$th effective cocover $\mathsf{f}^{q-1}(\mathbf{E})$ of $\mathbf{E}$ is uniquely determined up to isomorphism by the distinguished triangle
\begin{equation}
\label{equation:effectivecocoverdefinition}
\mathsf{f}_{q}(\mathbf{E})
\longrightarrow
\mathbf{E}
\longrightarrow
\mathsf{f}^{q-1}(\mathbf{E}).
\end{equation}
Note that $\mathsf{f}^{q-1}(\mathbf{E})$ is a $(q-1)$-coeffective motivic spectrum,
i.e.,
it is an object of the right orthogonal subcategory of $\Sigma^{q}_{T}\mathbf{SH}^{\mathsf{eff}}$.
If $q\leq q'$ the isomorphism
\begin{equation}
\label{equation:effectiveiso}
\mathsf{s}_{q'}\mathsf{f}_{q}(\mathbf{E})\overset{\simeq}{\longrightarrow}\mathsf{s}_{q'}(\mathbf{E})
\end{equation}
implies $\mathsf{s}_{q'}\mathsf{f}^{q-1}(\mathbf{E})\simeq\ast$.
When $q=0$,
\eqref{equation:effectivecocoverdefinition} yields a distinguished triangle for the effective cover $\mathbf{e}\in\mathbf{SH}^{\mathsf{eff}}$ of $\mathbf{E}$,
i.e.,
\begin{equation}
\label{equation:effectivecoverdefinition}
\mathbf{e}
\longrightarrow
\mathbf{E}
\longrightarrow
\mathsf{f}^{-1}(\mathbf{E}).
\end{equation}
We note that all the nonnegative slices of the coeffective motivic spectrum $\mathsf{f}^{-1}(\mathbf{E})$ are trivial.

\begin{lemma}
\label{lemma:nonegativeslices}
If $\mathbf{E}$ has no nontrivial negative slices then $\mathbf{E}\in\mathbf{SH}^{\mathsf{eff}}$.
\end{lemma}
\begin{proof}
Using \eqref{equation:slicedefinition}, \eqref{equation:exhaustive} and \eqref{equation:effectivecoverdefinition} it follows that $\mathsf{f}^{-1}(\mathbf{E})\simeq\ast$.
\end{proof}

\begin{lemma}
\label{lemma:sliceiso}
Suppose $\mathbf{E}\rightarrow\mathbf{F}$ induces an isomorphism $\mathsf{s}_{q}\mathsf{f}^{q-1}(\mathbf{E})\overset{\simeq}{\rightarrow}\mathsf{s}_{q}\mathsf{f}^{q-1}(\mathbf{F})$ for all $q\in\mathbb{Z}$.
Then there is a naturally induced isomorphism $\mathsf{f}^{q-1}(\mathbf{E})\overset{\simeq}{\rightarrow}\mathsf{f}^{q-1}(\mathbf{F})$.
\end{lemma}
\begin{proof}
This follows by applying \eqref{equation:slicedefinition} and \eqref{equation:exhaustive} to the effective cocovers.
\end{proof}

\begin{lemma}
\label{lemma:negativedt}
For $n>0$ there is a distinguished triangle
\begin{equation}
\label{equation:negativedt}
\mathsf{f}_{-n+1}\mathsf{f}^{-1}(\mathbf{E})
\longrightarrow
\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E})
\longrightarrow
\mathsf{s}_{-n}(\mathbf{E}).
\end{equation}
It follows that $\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E})$ is a finite extension of the negative slices of $\mathbf{E}$.
\end{lemma}
\begin{proof}
This follows from the distinguished triangles:
\begin{equation}
\label{equation:3by3diagram}
\xymatrix{
\mathsf{f}_{-n+1}(\mathbf{e}) \ar[r] \ar[d] &
\mathsf{f}_{-n+1}(\mathbf{E}) \ar[r] \ar[d] &
\mathsf{f}_{-n+1}\mathsf{f}^{-1}(\mathbf{E}) \ar[d] \\
\mathsf{f}_{-n}(\mathbf{e}) \ar[r] \ar[d] &
\mathsf{f}_{-n}(\mathbf{E}) \ar[r] \ar[d] &
\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E}) \ar[d] \\
\mathsf{s}_{-n}(\mathbf{e}) \ar[r] &
\mathsf{s}_{-n}(\mathbf{E}) \ar[r] &
\mathsf{s}_{-n}\mathsf{f}^{-1}(\mathbf{E})
}
\end{equation}
In \eqref{equation:3by3diagram} the slice $\mathsf{s}_{-n}(\mathbf{e})\simeq\ast$ by the assumption $n>0$.
This implies \eqref{equation:negativedt}.
We note the effective cover $\mathsf{f}_{0}\mathsf{f}^{-1}(\mathbf{E})\simeq\ast$ since the map $\mathsf{f}_{0}(\mathbf{e})\longrightarrow\mathsf{f}_{0}(\mathbf{E})$ is an isomorphism.
It follows that $\mathsf{f}_{-1}\mathsf{f}^{-1}(\mathbf{E})$ is isomorphic to $\mathsf{s}_{-1}(\mathbf{E})$.
The conclusion follows from \eqref{equation:negativedt} by induction on $n$.
\end{proof}

\begin{remark}
For $n>0$,
$\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E})$ is $\eta$-complete by Lemmas \ref{lemma:slicesareetacomplete} and \ref{lemma:negativedt}.
\end{remark}

\begin{lemma}
\label{lemma:negativesliceisomorphism}
For $n\geq -q>0$ there are isomorphisms
\begin{equation}
\label{equation:negativesliceisomorphism}
\mathsf{s}_{q}(\mathbf{E})
\overset{\simeq}{\longrightarrow}
\mathsf{s}_{q}\mathsf{f}^{-1}(\mathbf{E})
\overset{\simeq}{\longleftarrow}
\mathsf{s}_{q}\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E}).
\end{equation}
\end{lemma}
\begin{proof}
Here we use that $\mathsf{s}_{q}(\mathbf{e})\simeq\ast$ for $q<0$.
The isomorphism for $\mathsf{f}_{-n}$ is a special case of \eqref{equation:effectiveiso}.
\end{proof}

For every $\mathbf{E}\in\mathbf{SH}$ the distinguished triangle \eqref{equation:effectivecocoverdefinition} yields a commutative diagram:
\begin{equation}
\label{equation:effectivediagram1}
\xymatrix{
\mathsf{f}_{q+1}(\mathbf{E}) \ar[r] \ar[d] &
\mathbf{E} \ar[r] \ar@{=}[d] &
\mathsf{f}^{q}(\mathbf{E}) \ar[d] \\
\mathsf{f}_{q}(\mathbf{E}) \ar[r] &
\mathbf{E} \ar[r] &
\mathsf{f}^{q-1}(\mathbf{E}) &
}
\end{equation}
The slice completion of $\mathbf{E}$ is defined as the homotopy limit
\begin{equation}
\label{equation:slicecompletion}
\mathsf{sc}(\mathbf{E})
\equiv
\underset{q\rightarrow\infty}{\mathrm{holim}}\;\mathsf{f}^{q-1}(\mathbf{E}).
\end{equation}
Using \eqref{equation:effectivediagram1} and \eqref{equation:slicecompletion} we conclude there is a distinguished triangle
\begin{equation}
\label{equation:slicecompletedefinition}
\underset{q\rightarrow\infty}{\mathrm{holim}}\;\mathsf{f}_{q}(\mathbf{E})
\longrightarrow
\mathbf{E}
\longrightarrow
\mathsf{sc}(\mathbf{E}).
\end{equation}
We say that $\mathbf{E}$ is {\it slice complete} if the homotopy limit $\underset{q\rightarrow\infty}{\mathrm{holim}}\;\mathsf{f}_{q}(\mathbf{E})$ in \eqref{equation:slicecompletedefinition} is contractible.

\begin{lemma}
\label{lemma:slicesareslicecomplete}
For every $\mathbf{E}\in\mathbf{SH}$, both $\mathsf{s}_{q}(\mathbf{E})$ and $\mathsf{f}^{q}(\mathbf{E})$ are slice complete for all $q\in\mathbb{Z}$.
\end{lemma}
\begin{proof}
If $q<q'$ there are distinguished triangles
\begin{equation}
\label{equation:qqslicedefinition}
\mathsf{f}_{q+1}\mathsf{f}_{q'}(\mathbf{E})
\overset{\simeq}{\longrightarrow}
\mathsf{f}_{q}\mathsf{f}_{q'}(\mathbf{E})
\longrightarrow
\mathsf{s}_{q}\mathsf{f}_{q'}(\mathbf{E}), \;
\mathsf{f}_{q'}\mathsf{f}_{q+1}(\mathbf{E})
\overset{\simeq}{\longrightarrow}
\mathsf{f}_{q'}(\mathbf{E})
\longrightarrow
\mathsf{f}_{q'}\mathsf{f}^{q}(\mathbf{E}).
\end{equation}
It follows that $\mathsf{f}_{q'}\mathsf{s}_{q}(\mathbf{E})\simeq\mathsf{s}_{q}\mathsf{f}_{q'}(\mathbf{E})\simeq\ast$ and $\mathsf{f}_{q'}\mathsf{f}^{q}(\mathbf{E})\simeq\ast$ for $q<q'$ by \eqref{equation:qqslicedefinition}.
\end{proof}

\begin{lemma}
\label{lemma:Ktheoryslicecomplete}
Algebraic $K$-theory $\mathbf{KGL}$ and its effective cover $\mathbf{kgl}$ are slice complete.
\end{lemma}
\begin{proof}
It suffices to consider $\mathbf{KGL}$.
The associated Nisnevich sheaf of homotopy groups $\underline{\pi}_{p,q}\mathbf{KGL}$ is trivial when $p<2q$.
Hence $\mathsf{f}_{q}(\mathbf{KGL})$ is $q$-connected by \cite[Lemma 3.17]{roendigs-spitzweck-oestvaer.slices-sphere},
i.e.,
for every triple $(s,t,d)$ of integers with $s-t+d<q$ and every $X\in\mathbf{Sm}_{F}$ of dimension $\leq d$,
the group $[\Sigma^{s,t}X_{+},\mathsf{f}_{q}(\mathbf{KGL})]$ is trivial.
We conclude by letting $q\rightarrow \infty$.
\end{proof}

From Lemma \ref{lemma:Ktheoryslicecomplete} we deduce isomorphisms
\begin{equation*}
\mathbf{KGL}^{hC_{2}}
\overset{\simeq}{\longrightarrow}
\mathsf{sc}(\mathbf{KGL})^{hC_{2}},
\mathbf{kgl}^{hC_{2}}
\overset{\simeq}{\longrightarrow}
\mathsf{sc}(\mathbf{kgl})^{hC_{2}}.
\end{equation*}
However,
it is unclear whether $\mathbf{KGL}^{hC_{2}}$ and $\mathbf{kgl}^{hC_{2}}$ are slice complete because homotopy fixed points need not commute with effective cocovers or equivalently with effective covers.
To emphasize this issue we construct an example in \S\ref{section:appendix},
see also Proposition \ref{proposition:hfpslices}.

For $n>0$ there is a naturally induced distinguished triangle
\begin{equation}
\label{equation:longeffectivecocoverdefinition}
\mathbf{e}
\longrightarrow
\mathsf{f}_{-n}(\mathbf{E})
\longrightarrow
\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E}).
\end{equation}
Lemma \ref{lemma:slicefiltrationcomplete}, \eqref{equation:effectivecoverdefinition}, and \eqref{equation:longeffectivecocoverdefinition} imply there is a naturally induced isomorphism
\begin{equation}
\label{equation:positivemap}
\underset{n>0}{\mathrm{hocolim}}\;\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E})
\overset{\simeq}{\longrightarrow}
\mathsf{f}^{-1}(\mathbf{E}).
\end{equation}

Next we make precise the vagary of identifying the homotopy fixed points $\mathsf{f}^{-1}(\mathbf{KGL})^{hC_{2}}$ with a homotopy colimit.
That is,
we identify a homotopy limit with a homotopy colimit.
Throughout we let $\mathbf{E}$ be a motivic spectrum equipped with a $G$-action for a finite group $G$.

\begin{lemma}
\label{lemma:hfphocolim}
There is a natural isomorphism
\begin{equation}
\label{equation:positivehfpmap}
\underset{n>0}{\mathrm{hocolim}}\;\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E})^{hG}
\overset{\simeq}{\longrightarrow}
\mathsf{f}^{-1}(\mathbf{E})^{hG}.
\end{equation}
\end{lemma}
\begin{proof}
For every generator $\Sigma^{s,t}X_{+}$ of $\mathbf{SH}$ there is a canonically induced map
\begin{equation}
\label{equation:positivehfpmapgenerator}
\mathbf{SH}(\Sigma^{s,t}X_{+},\underset{n>0}{\mathrm{hocolim}}\;\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E})^{hG})
\longrightarrow
\mathbf{SH}(\Sigma^{s,t}X_{+},\mathsf{f}^{-1}(\mathbf{E})^{hG}).
\end{equation}
If $t\geq 0$ the source and target of \eqref{equation:positivehfpmapgenerator} are trivial.
If $t<0$ we show \eqref{equation:positivehfpmapgenerator} is an isomorphism by using the distinguished triangle
\begin{equation}
\label{equation:longeffectivecocoverdefinitionhfp}
\mathsf{f}_{t}\mathsf{f}^{-1}(\mathbf{E})^{hG}
\longrightarrow
\mathsf{f}^{-1}(\mathbf{E})^{hG}
\longrightarrow
\mathsf{f}^{t-1}(\mathbf{E})^{hG},
\end{equation}
obtained by applying homotopy fixed points to \eqref{equation:effectivecocoverdefinition} for $\mathsf{f}^{-1}(\mathbf{E})$ and identifying $\mathsf{f}^{t-1}\mathsf{f}^{-1}(\mathbf{E})$ with $\mathsf{f}^{t-1}(\mathbf{E})$ by means of the distinguished triangles
\begin{equation*}
\mathsf{f}_{t}(\mathbf{e})
\overset{\simeq}{\longrightarrow}
\mathbf{e}
\longrightarrow
\mathsf{f}^{t-1}(\mathbf{e}),
\;
\mathsf{f}^{t-1}(\mathbf{e})
\longrightarrow
\mathsf{f}^{t-1}(\mathbf{E})
\overset{\simeq}{\longrightarrow}
\mathsf{f}^{t-1}\mathsf{f}^{-1}(\mathbf{E}).
\end{equation*}
Since $\mathsf{f}^{t-1}(\mathbf{E})^{hG}$ in \eqref{equation:longeffectivecocoverdefinitionhfp} is $(t-1)$-coeffective there is a canonically induced isomorphism
\begin{equation*}
\mathbf{SH}(\Sigma^{s,t}X_{+},\mathsf{f}_{t}\mathsf{f}^{-1}(\mathbf{E})^{hG})
\overset{\cong}{\longrightarrow}
\mathbf{SH}(\Sigma^{s,t}X_{+},\mathsf{f}^{-1}(\mathbf{E})^{hG}).
\end{equation*}
On the other hand there are canonical identifications
\begin{align*}
\mathbf{SH}(\Sigma^{s,t}X_{+},\underset{n>0}{\mathrm{hocolim}}\;\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E})^{hG})
& \cong \underset{n>0}{\mathrm{colim}}\;\mathbf{SH}(\Sigma^{s,t}X_{+},\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E})^{hG}) \\
& \cong \mathbf{SH}(\Sigma^{s,t}X_{+},\mathsf{f}_{t}\mathsf{f}^{-1}(\mathbf{E})^{hG}).
\end{align*}
\end{proof}

In the following we make the standing assumption that for all $q\in\mathbb{Z}$ there is a naturally induced isomorphism
\begin{equation}
\label{equation:hfpslicesmap}
\mathsf{s}_{q}(\mathbf{E}^{hG})
\overset{\simeq}{\longrightarrow}
\mathsf{s}_{q}(\mathbf{E})^{hG}.
\end{equation}
The map in \eqref{equation:hfpslicesmap} arises from the standard adjunction between motivic spectra and ``naive'' $G$-motivic spectra.
That is,
with the trivial $G$-action on the homotopy fixed points there is a naturally induced $G$-map $\mathsf{s}_{q}(\mathbf{E}^{hG})\rightarrow\mathsf{s}_{q}(\mathbf{E})$.
Its adjoint is the map in \eqref{equation:hfpslicesmap}.

\begin{corollary}
\label{corollary:longeffectivecovershfp}
Assuming \eqref{equation:hfpslicesmap} and $n>0$ there is a naturally induced isomorphism
\begin{equation}
\label{equation:longeffectivecovershfp}
\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E}^{hG})
\overset{\simeq}{\longrightarrow}
\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E})^{hG}.
\end{equation}
\end{corollary}
\begin{proof}
Follows from Lemma \ref{lemma:negativedt} under the stated assumptions.
\end{proof}

\begin{corollary}
\label{corollary:negativesliceshfp}
Assuming \eqref{equation:hfpslicesmap} and $n\geq -q>0$ there is a naturally induced isomorphism
\begin{equation}
\label{equation:positivehfpmapslices}
\mathsf{s}_{q}(\mathbf{E}^{hG})
\overset{\simeq}{\longrightarrow}
\mathsf{s}_{q}(\underset{n>0}{\mathrm{hocolim}}\;\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E})^{hG}).
\end{equation}
\end{corollary}
\begin{proof}
From the isomorphisms \eqref{equation:negativesliceisomorphism} in Lemma \ref{lemma:negativesliceisomorphism} we obtain
\begin{equation}
\label{equation:negativesliceisomorphismhfp}
\mathsf{s}_{q}(\mathbf{E}^{hG})
\overset{\simeq}{\longrightarrow}
\mathsf{s}_{q}\mathsf{f}^{-1}(\mathbf{E}^{hG})
\overset{\simeq}{\longleftarrow}
\mathsf{s}_{q}\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E}^{hG}).
\end{equation}
Recall that slices commute with homotopy colimits \cite[Corollary 4.5]{Spitzweck}, \cite[Lemma 4.2]{voevodsky.open}.
Thus the target in \eqref{equation:positivehfpmapslices} identifies with the homotopy colimit
\begin{equation}
\label{equation:slicecommutation}
\underset{n>0}{\mathrm{hocolim}}\;\mathsf{s}_{q}\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E})^{hG}.
\end{equation}
With the assumption $n\geq -q>0$ the $q$th slice $\mathsf{s}_{q}\mathsf{f}_{-n}\mathsf{f}^{-1}(\mathbf{E})^{hG}$ maps isomorphically to \eqref{equation:slicecommutation}.
It remains to apply the isomorphism \eqref{equation:longeffectivecovershfp} in Corollary \ref{corollary:longeffectivecovershfp} and \eqref{equation:negativesliceisomorphismhfp}.
\end{proof}

\begin{proposition}
\label{proposition:hfpslices}
Assuming \eqref{equation:hfpslicesmap} the slices of $\mathbf{e}$ commute with homotopy fixed points in the sense that there is a naturally induced isomorphism
\begin{equation}
\label{equation:hfpsliceseffectivemap}
\mathsf{s}_{q}(\mathbf{e}^{hG})
\overset{\simeq}{\longrightarrow}
\mathsf{s}_{q}(\mathbf{e})^{hG}
\end{equation}
for every $q\in\mathbb{Z}$.
Moreover,
$\mathbf{e}^{hG}$ is an effective motivic spectrum.
\end{proposition}
\begin{proof}
Applying homotopy fixed points to \eqref{equation:effectivecocoverdefinition} yields the distinguished triangle
\begin{equation}
\label{equation:effectivecocoverdefinitionhfp}
\mathbf{e}^{hG}
\longrightarrow
\mathbf{E}^{hG}
\longrightarrow
\mathsf{f}^{-1}(\mathbf{E})^{hG}.
\end{equation}
From \eqref{equation:effectivecocoverdefinitionhfp} we deduce the commutative diagram of distinguished triangles:
\begin{equation}
\label{equation:slicediagramhfp}
\xymatrix{
\mathsf{s}_{q}(\mathbf{e}^{hG}) \ar[r] \ar[d] &
\mathsf{s}_{q}(\mathbf{E}^{hG}) \ar[r] \ar[d] &
\mathsf{s}_{q}(\mathsf{f}^{-1}(\mathbf{E})^{hG}) \ar[d] \\
\mathsf{s}_{q}(\mathbf{e})^{hG} \ar[r] &
\mathsf{s}_{q}(\mathbf{E})^{hG} \ar[r] &
\mathsf{s}_{q}(\mathsf{f}^{-1}(\mathbf{E}))^{hG}
}
\end{equation}

When $q\geq 0$ it follows that $\mathsf{s}_{q}(\mathsf{f}^{-1}(\mathbf{E}))\simeq\mathsf{s}_{q}(\mathsf{f}^{-1}(\mathbf{E})^{hG})\simeq\ast$ since homotopy limits preserve coeffective motivic spectra.
Since the middle vertical map in \eqref{equation:slicediagramhfp} is an isomorphism,
see the assumption \eqref{equation:hfpslicesmap},
so is \eqref{equation:hfpsliceseffectivemap}.

When $q<0$,
\eqref{equation:positivehfpmap} and \eqref{equation:positivehfpmapslices} imply that $\mathsf{s}_{q}(\mathbf{E}^{hG})\longrightarrow\mathsf{s}_{q}(\mathsf{f}^{-1}(\mathbf{E})^{hG})$ is an isomorphism.
Lemma \ref{lemma:nonegativeslices} implies $\mathbf{e}^{hG}\in\mathbf{SH}^{\mathsf{eff}}$ and thus $\mathsf{s}_{q}(\mathbf{e}^{hG})\longrightarrow\mathsf{s}_{q}(\mathbf{e})^{hG}$ is an isomorphism.
\end{proof}

\begin{lemma}
\label{lemma:hfpcommute}
Assuming \eqref{equation:hfpslicesmap} there are naturally induced isomorphisms
\begin{equation}
\label{equation:hfpcommuteeffective}
\mathsf{f}^{q}(\mathbf{e}^{hG})
\overset{\simeq}{\longrightarrow}
\mathsf{f}^{q}(\mathbf{e})^{hG},
\;
\mathsf{f}_{q}(\mathbf{e}^{hG})
\overset{\simeq}{\longrightarrow}
\mathsf{f}_{q}(\mathbf{e})^{hG}.
\end{equation}
\end{lemma}
\begin{proof}
We show that all the nonnegative effective cocovers of $\mathbf{e}$ commute with homotopy fixed points.
With this in hand the assertion for the effective covers of $\mathbf{e}$ follows from \eqref{equation:effectivecocoverdefinition}.

We claim there is a commutative diagram:
\begin{equation}
\label{equation:degreezero}
\xymatrix{
\mathsf{s}_{0}(\mathbf{e}^{hG}) \ar[r]^-{\simeq} \ar[d]_-{\simeq} &
\mathsf{f}^{0}(\mathbf{e}^{hG}) \ar[d] \\
\mathsf{s}_{0}(\mathbf{e})^{hG} \ar[r]^-{\simeq} &
\mathsf{f}^{0}(\mathbf{e})^{hG}
}
\end{equation}
Proposition \ref{proposition:hfpslices} shows the left vertical map in \eqref{equation:degreezero} is an isomorphism and that $\mathbf{e}^{hG}$ is an effective motivic spectrum.
Hence $\mathsf{s}_{0}(\mathbf{e})\simeq\mathsf{f}^{0}(\mathbf{e})$ and $\mathsf{s}_{0}(\mathbf{e}^{hG})\simeq\mathsf{f}^{0}(\mathbf{e}^{hG})$ by comparing \eqref{equation:slicedefinition} and \eqref{equation:effectivecocoverdefinition}.
It follows that the natural map $\mathsf{f}^{0}(\mathbf{e}^{hG})\longrightarrow\mathsf{f}^{0}(\mathbf{e})^{hG}$ is also an isomorphism.

The cone of the left vertical map in (\ref{equation:effectivediagram1}) is the $q$th slice.
Hence there is a homotopy cofiber sequence $\mathsf{s}_{q}(\mathbf{e})\longrightarrow\mathsf{f}^{q}(\mathbf{e})\longrightarrow\mathsf{f}^{q-1}(\mathbf{e})$,
and likewise for $\mathbf{e}^{hG}$.
Proposition \ref{proposition:hfpslices} and induction on $q$ implies that $\mathsf{f}^{q}(\mathbf{e})$ commutes with homotopy fixed points.
\end{proof}

\begin{corollary}
\label{corollary:effectiveslicecomlete}
Assuming \eqref{equation:hfpslicesmap} there is a naturally induced isomorphism
\begin{equation}
\label{equation:hfpslicecomplete}
\mathsf{sc}(\mathbf{e}^{hG})
\overset{\simeq}{\longrightarrow}
\mathsf{sc}(\mathbf{e})^{hG}.
\end{equation}
If $\mathbf{e}$ is slice complete then so is $\mathbf{e}^{hG}$.
\end{corollary}
\begin{proof}
Lemma \ref{lemma:hfpcommute} and the fact that homotopy limits commute imply there are canonical isomorphisms
\begin{equation*}
\underset{q\rightarrow\infty}{\mathrm{holim}}\;\mathsf{f}^{q-1}(\underset{G}{\mathrm{holim}}\;\mathbf{e})
\simeq
\underset{q\rightarrow\infty}{\mathrm{holim}}\;\underset{G}{\mathrm{holim}}\;\mathsf{f}^{q-1}(\mathbf{e})
\simeq
\underset{q\rightarrow\infty}{\mathrm{holim}}\;\underset{G}{\mathrm{holim}}\;\mathsf{f}^{q-1}(\mathbf{e})
\simeq
\underset{G}{\mathrm{holim}}\;\underset{q\rightarrow\infty}{\mathrm{holim}}\;\mathsf{f}^{q-1}(\mathbf{e}).
\end{equation*}
For slice completeness of $\mathbf{e}^{hG}$ we use the factorization $\mathbf{e}^{hG}\longrightarrow\mathsf{sc}(\mathbf{e}^{hG})\longrightarrow\mathsf{sc}(\mathbf{e})^{hG}$.
\end{proof}

\begin{corollary}
\label{corollary:hfpeffectivecovers}
Assuming \eqref{equation:hfpslicesmap} there are naturally induced isomorphisms
\begin{equation}
\label{equation:hfpcommute}
\mathsf{f}^{q}(\mathbf{E}^{hG})
\overset{\simeq}{\longrightarrow}
\mathsf{f}^{q}(\mathbf{E})^{hG},
\;
\mathsf{f}_{q}(\mathbf{E}^{hG})
\overset{\simeq}{\longrightarrow}
\mathsf{f}_{q}(\mathbf{E})^{hG}.
\end{equation}
\end{corollary}
\begin{proof}
There is a naturally induced commutative diagram of distinguished triangles:
\begin{equation}
\label{equation:slicediagram}
\xymatrix{
\mathsf{f}_{0}(\mathbf{E}^{hG}) \ar[r] \ar[d] &
\mathbf{E}^{hG} \ar[r] \ar@{=}[d] &
\mathsf{f}^{-1}(\mathbf{E}^{hG}) \ar[d] \\
\mathsf{f}_{0}(\mathbf{E})^{hG} \ar[r] &
\mathbf{E}^{hG} \ar[r] &
\mathsf{f}^{-1}(\mathbf{E})^{hG}
}
\end{equation}
Proposition \ref{proposition:hfpslices} shows that $\mathsf{f}_{0}(\mathbf{E}^{hG})\longrightarrow\mathbf{e}^{hG}$ is a map between effective motivic spectra.
It follows that $\mathsf{f}^{-1}(\mathbf{E}^{hG})\longrightarrow\mathsf{f}^{-1}(\mathbf{E})^{hG}$ induces an isomorphism on all negative slices.
Since it is a map between coeffective spectra,
it is in fact an isomorphism according to Lemma \ref{lemma:sliceiso}.

The general cases follow by using induction on \eqref{equation:slicedefinition} and \eqref{equation:effectivecocoverdefinition}.
\end{proof}

We end this section by discussing $G$-fixed points in more detail.
Let $\mathcal{O}_{G}$ denote the orbit category of $G$ with objects $\{G/H\}$ and morphisms the $G$-maps $\mathrm{map}_{G}(G/H,G/K)\cong (G/K)^{H}$
\cite[\S1.8]{MR2456045}.
Let $\mathbf{MSS}$ be a highly structured model for the stable motivic homotopy category,
e.g., motivic functors \cite{MR2029171}, or motivic symmetric spectra \cite{jardine.symmetric}.
Let $\mathbf{MSS}^{\mathsf{eff}}$ be the Bousfield colocalization of $\mathbf{MSS}$ with respect to the set of objects $\Sigma^{p,0}\Sigma^{\infty}_{\mathbf{P}^{1}}X_{+}$,
where $X\in\mathbf{Sm}_{F}$ and $p\in\mathbb{Z}$ (it suffices to consider $p\leq 0$).
Its homotopy category is $\mathbf{SH}^{\mathsf{eff}}$.
As a model for naive $G$-motivic spectra we use the functor category $[\mathcal{O}_{G}^{\mathsf{op}},\mathbf{MSS}]$ with the projective model structure \cite[Theorem 11.6.1]{Hirschhorn}.
There is a naturally induced Quillen adjunction:
\begin{equation}
\label{equation:Gadjunction}
\xymatrix{
\mathsf{i}_{0}^{G}
\colon
[\mathcal{O}_{G}^{\mathsf{op}},\mathbf{MSS}^{\mathsf{eff}}]
\ar@<0.5ex>[r]
&
\ar@<0.5ex>[l]
[\mathcal{O}_{G}^{\mathsf{op}},\mathbf{MSS}]
\colon
\mathsf{r}_{0}^{G}
}
\end{equation}

Evaluating a naive $G$-motivic spectrum $\underline{\mathbf{E}}$ at the orbits corresponding to $G$ and the identity element yields the underlying motivic spectrum $\mathbf{E}$
and the $G$-fixed points $\mathbf{E}^{G}$,
respectively.
Let $\underline{\mathbf{e}}$ be the naive $G$-motivic spectrum $\mathsf{f}_{0}^{G}(\underline{\mathbf{E}})$,
where $\mathsf{f}_{0}^{G}=\mathbf{L}\mathsf{i}_{0}^{G}\circ\mathsf{r}_{0}^{G}$.
(Forgetting the $G$-action, $\underline{\mathbf{e}}$ coincides with $\mathbf{e}$.)
Since evaluating at the identity orbit commutes with \eqref{equation:Gadjunction},
we obtain an isomorphism
\begin{equation}
\label{equation:Gisos}
\mathsf{f}_{0}^{G}(\underline{\mathbf{E}})^{G}
\cong
\mathsf{f}_{0}(\underline{\mathbf{E}}^{G}).
\end{equation}
In particular,
$\mathbf{kgl}^{C_{2}}$ coincides with the effective hermitian $K$-theory spectrum $\mathbf{kq}$,
cf.~\eqref{equation:kohlp2}.

\section{The slice spectral sequence}
\label{section:sss}

The trigraded slice spectral sequence for $\mathbf{E}$ arising from \eqref{equation:slicefiltration} takes the form
\begin{equation}
\label{equation:splicespectralsequence2}
\pi_{\star}\mathsf{s}_{\ast}(\mathbf{E})
\Longrightarrow
\pi_{\star}\mathbf{E}.
\end{equation}
This is an upper half-plane spectral sequence with entering differentials \cite[\S7]{Boardman} because $\pi_{p,w}\mathsf{s}_{q}(\mathbf{E})=0$ for $q<w$,
cf.~\cite[\S7]{voevodsky.open}.
A standard argument shows that (\ref{equation:splicespectralsequence2}) converges conditionally to the motivic homotopy groups of $\mathsf{sc}(\mathbf{E})$ in the sense of \cite[Definition 5.10]{Boardman}.
For the following result we refer to \cite[Lemma 3.14]{roendigs-spitzweck-oestvaer.slices-sphere}.
\begin{lemma}
\label{lemma3}
Suppose $\mathbf{e}\in\mathbf{SH}^{\mathsf{eff}}$ and $\mathbf{e}/\eta$ is slice complete.
Then there is a naturally induced isomorphism between $\mathbf{e}^{\wedge}_{\eta}$ to $\mathsf{sc}(\mathbf{e})$.
\end{lemma}

\begin{proposition}
\label{proposition:ccsss}
Suppose $\mathbf{e}\in\mathbf{SH}^{\mathsf{eff}}$ and $\mathbf{e}/\eta$ is slice complete.
There is a conditionally convergent slice spectral sequence
\begin{equation}
\label{equation:splicespectralsequence3}
\pi_{\star}\mathsf{s}_{\ast}(\mathbf{e})
\Longrightarrow
\pi_{\star}\mathbf{e}^{\wedge}_{\eta}.
\end{equation}
\end{proposition}
\begin{proof}
This follows from Lemma \ref{lemma3} and \eqref{equation:splicespectralsequence2}.
\end{proof}

\section{Proofs of Theorems \ref{theorem:kqetahomotopylimit} and \ref{theorem:KQetahomotopylimit}}
\label{section:proofsofmainresults}

\begin{corollary}
\label{corollary:ccsssforkgl}
For effective hermitian $K$-theory there is a conditionally convergent slice spectral sequence
\begin{equation}
\label{equation:splicespectralsequencekq}
\pi_{\star}\mathsf{s}_{\ast}(\mathbf{kq})
\Longrightarrow
\pi_{\star}\mathbf{kq}^{\wedge}_{\eta}.
\end{equation}
\end{corollary}
\begin{proof}
The only issue is to identify the quotient of $\mathbf{kq}$ by $\eta$ with a slice complete spectrum.
By \cite[Theorem 3.4]{R-O} there is a homotopy cofiber sequence
\begin{equation}
\label{equation:etacofiberkqkgl}
\Sigma^{1,1}\mathbf{KQ}
\overset{\eta}{\longrightarrow}
\mathbf{KQ}
\longrightarrow
\mathbf{KGL}
\end{equation}
relating algebraic and hermitian $K$-theory via $\eta$.
Passing to effective covers in \eqref{equation:etacofiberkqkgl} identifies the cofiber of $\mathsf{f}_0(\eta\colon\Sigma^{1,1}\mathbf{KQ}\longrightarrow\mathbf{KQ})$ with $\mathbf{kgl}$.
Hence the cofiber of $\eta\colon\Sigma^{1,1}\mathbf{kq}\longrightarrow\mathbf{kq}$ is an extension of $\mathbf{kgl}$ by $\Sigma^{1,1}\mathsf{s}_{-1}(\mathbf{KQ})\simeq\mathsf{s}_{0}(\Sigma^{1,1}\mathbf{KQ})$,
cf.~\cite[Lemma 2.1]{R-O},
so it is slice complete by Lemmas \ref{lemma:slicesareslicecomplete} and \ref{lemma:Ktheoryslicecomplete}.
This verifies the assumptions in Proposition \ref{proposition:ccsss} for $\mathbf{kq}$.
\end{proof}

Assuming $\mathsf{vcd}_{2}(F)<\infty$, \eqref{equation:hfpslicesmap} holds for $\mathbf{KGL}$ by \cite[Proposition 4.24]{R-O}.
We summarize some useful consequences of the results in \S\ref{section:sf}.
\begin{proposition}
\label{proposition:summary}
The following holds when $\mathsf{vcd}_{2}(F)<\infty$.
\begin{itemize}
\item[(1)]
The homotopy fixed points spectrum of effective $K$-theory $\mathbf{kgl}^{hC_{2}}$ is slice complete.
There is a conditionally convergent slice spectral sequence
\begin{equation}
\label{equation:splicespectralsequencekgl}
\pi_{\star}\mathsf{s}_{\ast}(\mathbf{kgl}^{hC_{2}})
\Longrightarrow
\pi_{\star}\mathbf{kgl}^{hC_{2}}.
\end{equation}
\item[(2)]
There is a naturally induced isomorphism $\mathsf{f}_{q}(\mathbf{KGL}^{hC_{2}})\overset{\simeq}{\longrightarrow}\mathsf{f}_{q}(\mathbf{KGL})^{hC_{2}}$.
\end{itemize}
\end{proposition}
\begin{proof}
Here (1) follows from Lemma \ref{lemma:Ktheoryslicecomplete}, Corollary \ref{corollary:effectiveslicecomlete} and the discussion of \eqref{equation:splicespectralsequence2} in \S\ref{section:sss},
while (2) is a special case of Corollary \ref{corollary:hfpeffectivecovers}.
\end{proof}

\begin{proof}[Proof of Theorem \ref{theorem:kqetahomotopylimit}]
By \cite[Theorems 4.18, 4.25, 4.27, Lemma 4.26]{R-O} the natural map $\Upsilon\colon\mathbf{KQ}\longrightarrow\mathbf{KGL}^{hC_{2}}$ in (\ref{equation:bigKQhlp}) induces an isomorphism of slices
\begin{equation}
\label{equation:KGLsliceisomorphism}
\mathsf{s}_{q}(\Upsilon)
\colon
\mathsf{s}_{q}(\mathbf{KQ})
\overset{\simeq}{\longrightarrow}
\mathsf{s}_{q}(\mathbf{KGL}^{hC_{2}})
\simeq
\left\{
\begin{array}{ll}
\Sigma^{2q,q} \mathbf{M}\mathbf{Z} \vee \bigvee_{i<0} \Sigma^{2q+2i,q} \mathsf{M}\mathbb{Z}/2 & q\equiv 0 (2), \\
\bigvee_{i<0} \Sigma^{2q+2i+1,q} \mathsf{M}\mathbb{Z}/2 & q\equiv 1 (2).
\end{array}
\right.
\end{equation}
From \eqref{equation:KGLsliceisomorphism} we conclude the natural map $\mathbf{kq}\longrightarrow\mathsf{f}_{0}(\mathbf{KGL}^{hC_{2}})$ induces an isomorphism on slices.
By composing with $\mathsf{f}_{0}(\mathbf{KGL}^{hC_{2}})\overset{\simeq}{\longrightarrow}\mathbf{kgl}^{hC_{2}}$,
see Proposition \ref{proposition:summary}(2),
we conclude there is an isomorphism
\begin{equation}
\label{equation:kglsliceisomorphism}
\mathsf{s}_{q}(\gamma)
\colon
\mathsf{s}_{q}(\mathbf{kq})
\overset{\simeq}{\longrightarrow}
\mathsf{s}_{q}(\mathbf{kgl}^{hC_{2}}).
\end{equation}
Thus $\gamma\colon\mathbf{kq}\longrightarrow\mathbf{kgl}^{hC_{2}}$ in \eqref{equation:kohlp2} induces an isomorphism between the conditionally convergent upper half-plane slice spectral sequences
\eqref{equation:splicespectralsequencekq} and \eqref{equation:splicespectralsequencekgl}.
The induced map between the filtered target groups is thus an isomorphism \cite[Theorem 7.2]{Boardman}.
This finishes the proof by passing to Nisnevich sheaves of homotopy groups.
\end{proof}

\begin{proof}[Proof of Theorem \ref{theorem:KQetahomotopylimit}]
Using \eqref{equation:effectivecoverdefinition} we obtain the naturally induced commutative diagram of distinguished triangles:
\begin{equation}
\label{equation:diagram5}
\xymatrix{
\mathbf{kq}
\ar[r] \ar[d]_{\mathsf{f}_{0}(\Upsilon)} &
\mathbf{KQ}
\ar[r] \ar[d]_{\Upsilon} &
\mathsf{f}^{-1}(\mathbf{KQ})
\ar[d]_{\mathsf{f}^{-1}(\Upsilon)} \\
\mathsf{f}_{0}(\mathbf{KGL}^{hC_{2}})
\ar[r] &
\mathbf{KGL}^{hC_{2}}
\ar[r] &
\mathsf{f}^{-1}(\mathbf{KGL}^{hC_{2}})
}
\end{equation}
Lemma \ref{lemma:sliceiso} and \eqref{equation:KGLsliceisomorphism} imply that $\mathsf{f}^{-1}(\Upsilon)\colon \mathsf{f}^{-1}(\mathbf{KQ})\longrightarrow\mathsf{f}^{-1}(\mathbf{KGL}^{hC_{2}})$ is an isomorphism because it is a map
between coeffective spectra and it induces on isomorphism on slices.
By composing with the isomorphism $\mathsf{f}_{0}(\mathbf{KGL}^{hC_{2}})\overset{\simeq}{\longrightarrow}\mathbf{kgl}^{hC_{2}}$ of Proposition \ref{proposition:summary}(2) we obtain a commutative diagram
of distinguished triangles:
\begin{equation}
\label{equation:diagram6}
\xymatrix{
\mathbf{kq}
\ar[r] \ar[d]_{\gamma} &
\mathbf{KQ}
\ar[r] \ar[d]_{\Upsilon} &
\mathsf{f}^{-1}(\mathbf{KQ})
\ar[d]_{\mathsf{f}^{-1}(\Upsilon)}^{\simeq} \\
\mathbf{kgl}^{hC_{2}}
\ar[r] &
\mathbf{KGL}^{hC_{2}}
\ar[r] &
\mathsf{f}^{-1}(\mathbf{KGL}^{hC_{2}})
}
\end{equation}
This shows that $\mathbf{L}_{\eta}(\gamma)$ is an isomorphism if and only if $\mathbf{L}_{\eta}(\Upsilon)$ is an isomorphism.
It follows that Theorem \ref{theorem:kqetahomotopylimit} implies Theorem \ref{theorem:KQetahomotopylimit}.
\end{proof}

\begin{corollary}
\label{corollary:KWtateK}
If $\mathsf{vcd}_{2}(F)<\infty$ then the $\eta$-completion of the Tate $K$-theory spectrum ${\mathbf{KGL}}^{tC_{2}}$ is contractible.
\end{corollary}
\begin{proof}
Recall that ${\mathbf{KGL}}^{tC_{2}}$ is the cone of the norm map from the homotopy orbits $\mathbf{KGL}_{hC_{2}}$ to the homotopy fixed points $\mathbf{KGL}^{hC_{2}}$ in the Tate diagram \cite[(20)]{HKO}
\begin{equation*}
\xymatrix{
\mathbf{KGL}_{hC_{2}} \ar[r] \ar@{=}[d] & \mathbf{KQ} \ar[r] \ar[d]_{\Upsilon} & \mathbf{KW} \ar[d] \\
\mathbf{KGL}_{hC_{2}} \ar[r] & \mathbf{KGL}^{hC_{2}}  \ar[r] & {\mathbf{KGL}}^{tC_{2}}
}
\end{equation*}
for the $C_{2}$-action on $\mathbf{KGL}$.
Thus the assertion follows from Theorem \ref{theorem:KQetahomotopylimit} since the higher Witt-theory spectrum $\mathbf{KW}$ can be identified with $\mathbf{KQ}[\eta^{-1}]$,
see e.g., \cite[(7)]{R-O}.
\end{proof}

\section{Appendix}
\label{section:appendix}
By way of example we show that $\mathbf{SH}^{\mathsf{eff}}$ is not closed under homotopy fixed points.
In effect,
consider the homotopy fixed points for the trivial $C_{2}$-action on the effective motivic spectrum
\begin{equation}
\bigvee_{i\geq 0} \Sigma^{i,0}\mathbf{M}\mathbf{Z}/2\simeq
\prod_{i\geq 0} \Sigma^{i,0}\mathbf{M}\mathbf{Z}/2.
\end{equation}
Here the sum and product are isomorphic by \cite[Proposition A.5]{R-O}.
Since $C_{2}$-homotopy fixed points commute with products, \cite[Lemma 4.22]{R-O} yields a naturally induced isomorphism
\begin{equation}
\label{equation:MZhfpiso}
\Bigl(\prod_{i\geq 0} \Sigma^{i,0}\mathbf{M}\mathbf{Z}/2\Bigr)^{hC_{2}}
\overset{\simeq}{\longrightarrow}
\prod_{i\geq 0} \prod_{j\geq 0} \Sigma^{i-j,0}\mathbf{M}\mathbf{Z}/2.
\end{equation}
Assuming \eqref{equation:MZhfpiso} is an isomorphism in $\mathbf{SH}^{\mathsf{eff}}$,
the countably infinite product $\prod_{n\in \mathbb{N}}\mathbf{M}\mathbf{Z}/2$ --- corresponding to indices $i=j$ --- is effective.
However,
we show that $\prod_{n\in \mathbb{N}}\mathbf{M}\mathbf{Z}/2\not\in\mathbf{SH}^{\mathsf{eff}}$.

Recall from \cite[\S2]{Voevodsky:motivicss} the adjunction between $\mathbf{SH}$ and the stable motivic homotopy category of $S^{1}$-spectra $\mathbf{SH}_{s}$:
\begin{equation*}
\xymatrix{
\Sigma^{\infty}_{t} \colon \mathbf{SH}_{s} \ar@<0.5ex>[r] &
\mathbf{SH} \colon \Omega^{\infty}_{t}. \ar@<0.5ex>[l]
}
\end{equation*}
Now $\Omega^{\infty}_{t}\mathbf{M}\mathbf{Z}/2$ is the Eilenberg-MacLane $S^1$-spectrum $\mathbf{H}\mathbf{Z}/2$ associated with the constant presheaf $\mathbf{Z}/2$ by
\cite[Lemma 5.2]{Voevodsky:motivicss}.
It follows that $\Omega^{\infty}_{t}\prod_{n\in\mathbb{N}}\mathbf{M}\mathbf{Z}/2$ is the Eilenberg-MacLane $S^1$-spectrum $\mathbf{H}\mathbf{V}$ associated with the constant presheaf $\mathbf{V}$,
where $\mathbf{V}$ is a $\mathbf{Z}/2$-vector space of (uncountable) infinite dimension.
If $\prod_{n\in \mathbb{N}}\mathbf{M}\mathbf{Z}/2\in\mathbf{SH}^{\mathsf{eff}}$ we would obtain
\begin{equation}
\label{equation:1effectiveassumption}
\Omega^{\infty}_{t}\Sigma^{0,1}\prod\mathbf{M}\mathbf{Z}/2
\simeq
\prod\Omega^{\infty}_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2
\in\Sigma^{1}_{t}\mathbf{SH}_ {s}
\end{equation}
since $\Omega^{\infty}_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2\in\Sigma^{1}_{t}\mathbf{SH}_ {s}$ by \cite[Theorem 7.4.1]{Levine:slices} (as conjectured in \cite[Conjecture 4]{Voevodsky:motivicss}).
In~(\ref{equation:1effectiveassumption}) we use that $\Sigma^{0,1}$, being an equivalence, commutes with products.
In $\mathbf{SH}_{s}$ there is a canonically induced map
\begin{equation}
\label{equation:canmap}
\alpha
\colon
(\prod_{n\in \mathbb{N}} \Omega^{\infty}_{t}\mathbf{M}\mathbf{Z}/2)
\otimes_{\Omega^{\infty}_{t}\mathbf{M}\mathbf{Z}/2}
\Omega^{\infty}_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2
\longrightarrow
\prod_{n\in \mathbb{N}} \Omega^{\infty}_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2.
\end{equation}
The tensor product in \eqref{equation:canmap} is formed in the module category of the Eilenberg-MacLane $S^1$-spectrum $\Omega^{\infty}_{t}\mathbf{M}\mathbf{Z}/2$ \cite{MR3309296},
cf.~\cite{Rondigs-Ostvar1}, \cite{Rondigs-Ostvar2}, \cite[Lemma 5.2]{Voevodsky:motivicss}.
In particular,
the source of $\alpha$ in~(\ref{equation:canmap}) is $1$-effective,
because $\Omega^{\infty}_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2\in\Sigma^{1}_{t}\mathbf{SH}_ {s}$ by \cite[Theorem 7.4.1]{Levine:slices} and $\prod_{n\in \mathbb{N}} \Omega^{\infty}_{t}\mathbf{M}\mathbf{Z}/2$ is effective,
since it is the Eilenberg-MacLane spectrum associated with $\mathbf{V}$.
We will prove that $\mathbf{SH}_{s}(\Sigma^{n,0}X_{+}\wedge\mathbf{G}_{\mathfrak{m}},\alpha)$ is an isomorphism for every $X\in\mathbf{Sm}_{F}$ and $n\in\mathbb{Z}$;
here $\mathbf{G}_{\mathfrak{m}}$ denotes the multiplicative group scheme.
In effect,
choose an uncountable basis $\mathcal{B}$ of $\mathbf{V}$ and express $\mathbf{V}$ as the filtered colimit of finite dimensional sub-$\mathbf{Z}/2$-vector spaces
$\mathbf{V}^\prime \subset \mathbf{V}$ spanned by finite subsets $\mathcal{F}\subset \mathcal{B}$.
Since $\Sigma^{n,0}X_{+}\wedge \mathbf{G}_{\mathfrak{m}}$ is compact in $\mathbf{SH}_{s}$ there are isomorphisms
\begin{align*}
&
\mathbf{SH}_ {s}\Bigl(\Sigma^{n,0}X_{+}\wedge\mathbf{G}_{\mathfrak{m}},\bigl(\prod_{n\in \mathbb{N}} \Omega^{\infty}_{t}\mathbf{M}\mathbf{Z}/2\bigr)\otimes_{\Omega^{\infty}_{t}\mathbf{M}\mathbf{Z}/2}\Omega^{\infty}_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2\Bigr) \cong \\
&
\mathbf{SH}_ {s}\Bigl(\Sigma^{n,0}X_{+}\wedge\mathbf{G}_{\mathfrak{m}},(\mathrm{colim}_{\mathcal{F}\subset\mathcal{B}} \prod_{f\in \mathcal{F}}\Omega^{\infty}_{t}\mathbf{M}\mathbf{Z}/2)\otimes_{\Omega^{\infty}_{t}\mathbf{M}\mathbf{Z}/2}\Omega^{\infty}_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2\Bigr) \cong \\
&
\mathrm{colim}_{\mathcal{F}\subset\mathcal{B}} \;
\mathbf{SH}_ {s}\Bigl(\Sigma^{n,0}X_{+}\wedge\mathbf{G}_{\mathfrak{m}},(\prod_{f\in \mathcal{F}}\Omega^{\infty}_{t}\mathbf{M}\mathbf{Z}/2\otimes_{\Omega^{\infty}_{t}\mathbf{M}\mathbf{Z}/2}\Omega^{\infty}_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2)\Bigr) \cong \\
&
\mathrm{colim}_{\mathcal{F}\subset\mathcal{B}} \;
\mathbf{SH}_ {s}\Bigl(\Sigma^{n,0}X_{+}\wedge\mathbf{G}_{\mathfrak{m}},\Omega^{\infty}_{t}\mathbf{M}\mathbf{Z}/2 \otimes_{\Omega^{\infty}_{t}\mathbf{M}\mathbf{Z}/2}
\prod_{f\in \mathcal{F}}\Omega^{\infty}_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2\Bigr)   \cong \\
&
\mathrm{colim}_{\mathcal{F}\subset\mathcal{B}} \;
\mathbf{SH}_ {s}\Bigl(\Sigma^{n,0}X_{+}\wedge \mathbf{G}_{\mathfrak{m}},\prod_{f\in \mathcal{F}} \Omega^{\infty}_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2\Bigr) \cong \\
&
\mathrm{colim}_{\mathcal{F}\subset\mathcal{B}} \;
\mathbf{SH}_ {s}\Bigl(\Sigma^{n,0}X_{+},\Omega_{t}\bigl(\prod_{f\in \mathcal{F}} \Omega^{\infty}_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2\bigr)\Bigr) \cong \\
&
\mathrm{colim}_{\mathcal{F}\subset\mathcal{B}} \;
\mathbf{SH}_ {s}\Bigl(\Sigma^{n,0}X_{+},\prod_{f\in \mathcal{F}} \Omega^{\infty}_{t}\Omega_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2\Bigr) \cong \\
&
\mathrm{colim}_{\mathcal{F}\subset\mathcal{B}} \;
\mathbf{SH}_ {s}\Bigl(\Sigma^{n,0}X_{+},\prod_{f\in \mathcal{F}} \Omega^{\infty}_{t}\Sigma^{-1,0}\mathbf{M}\mathbf{Z}/2\Bigr) \cong \\
&
\mathbf{SH}_ {s}\Bigl(\Sigma^{n,0}X_{+},\mathrm{colim}_{\mathcal{F}\subset\mathcal{B}} \;
\prod_{f\in \mathcal{F}} \Omega^{\infty}_{t}\Sigma^{-1,0}\mathbf{M}\mathbf{Z}/2\Bigr) \cong \\
&
\mathbf{SH}_ {s}\Bigl((\Sigma^{n,0}X_{+},\prod_{n\in \mathbb{N}} \Omega^{\infty}_{t}\Sigma^{-1,0}\mathbf{M}\mathbf{Z}/2\Bigr ) \cong
\mathbf{SH}_ {s}\Bigl(\Sigma^{n,0}X_{+},\prod_{n\in \mathbb{N}} \Omega^{\infty}_{t}\Omega_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2\Bigr) \cong \\
&
\mathbf{SH}_ {s}\Bigl(\Sigma^{n,0}X_{+},\Omega_{t}\prod_{n\in \mathbb{N}} \Omega^{\infty}_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2\Bigr) \cong
\mathbf{SH}_ {s}\Bigl(\Sigma^{n,0}X_{+}\wedge \mathbf{G}_{\mathfrak{m}},\prod_{n\in \mathbb{N}} \Omega^{\infty}_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2\Bigr),
\end{align*}
which by canonicity coincides with the map induced by $\alpha$.
If the target in \eqref{equation:canmap} is $1$-effective,
as implied by \eqref{equation:1effectiveassumption},
it would follow that $\alpha$ is an isomorphism.
One checks that $\alpha$ is not an isomorphism by choosing a field $F$ such that $F^{\ast}\otimes \mathbb{Z}/2$ is an infinitely generated $\mathbb{Z}/2$-module,
e.g.,
$F=\mathbb{Q}$.
The map $\mathbf{SH}_{s}(\Sigma^{-1,0}\mathrm{Spec}(F)_+,\alpha)$ coincides with the canonical map
\begin{equation}
\Bigl(\prod \mathbb{Z}/2\Bigr) \otimes_{\mathbb{Z}/2}  (F^{\ast}\otimes \mathbb{Z}/2)
\longrightarrow
\prod F^{\ast}\otimes \mathbb{Z}/2,
\end{equation}
which is not surjective.
Hence $\prod_{n\in \mathbb{N}} \Omega^{\infty}_{t}\Sigma^{0,1}\mathbf{M}\mathbf{Z}/2$ cannot be $1$-effective.
As explained above it follows that $(\prod_{i\geq 0} \Sigma^{0,i}\mathbf{M}\mathbf{Z}/2)^{hC_{2}}$ is noneffective.

{\bf Acknowledgments.}
The authors gratefully acknowledge support from DFG GK 1916, DFG Priority Program 1786, and RCN Frontier Research Group Project no.~250399.

\begin{footnotesize}