  For primes $p\geq 5 $, $K(KU_p)$ -- the algebraic $K$-theory spectrum of
$(KU)^{\wedge}_p$, Morava $K$-theory $K(1)$, and Smith-Toda complex $V(1)$,
Ausoni and Rognes conjectured (alongside related conjectures) that $L_{K(1)}S^0
\mspace{-1.5mu}\xrightarrow{\mspace{-2mu}\text{unit} \,
i}~\mspace{-7mu}(KU)^{\wedge}_p$ induces a map $K(L_{K(1)}S^0) \wedge
v_2^{-1}V(1) \to K(KU_p)^{h\mathbb{Z}^\times_p} \wedge v_2^{-1}V(1)$ that is an
equivalence. Since the definition of this map is not well understood, we
consider $K(L_{K(1)}S^0) \wedge v_2^{-1}V(1) \to (K(KU_p) \wedge
v_2^{-1}V(1))^{h\mathbb{Z}^\times_p}$, which is induced by $i$ and also should
be an equivalence. We show that for any closed $G < \mathbb{Z}^\times_p$,
$\pi_\ast((K(KU_p) \wedge v_2^{-1}V(1))^{hG})$ is a direct sum of two pieces
given by (co)invariants and a coinduced module, for
$K(KU_p)_\ast(V(1))[v_2^{-1}]$. When $G = \mathbb{Z}^\times_p$, the direct sum
is, conjecturally, $K(L_{K(1)}S^0)_\ast(V(1))[v_2^{-1}]$ and, by using
$K(L_p)_\ast(V(1))[v_2^{-1}]$, where $L_p =
((KU)^{\wedge}_p)^{h\mathbb{Z}/((p-1)\mathbb{Z})}$, the summands simplify. The
Ausoni-Rognes conjecture suggests that in \[(-)^{h\mathbb{Z}^\times_p} \wedge
v_2^{-1}V(1) \simeq (K(KU_p) \wedge v_2^{-1}V(1))^{h\mathbb{Z}^\times_p},\]
$K(KU_p)$ fills in the blank; we show that for any $G$, the blank can be filled
by $(K(KU_p))^\mathrm{dis}_\mathcal{O}$, a discrete
$\mathbb{Z}^\times_p$-spectrum built out of $K(KU_p)$.
