Abstract:J McClure's Dyer-Lashof operation in $p$-adic $K$-theory defines, in particular, a prismatic structure on the complex representation ring of the circle group. Work of Ando, Rezk, Stapleton, and others generalizes this to define a canonical lift of Frobenius for structured Lubin-Tate spectra. We suggest that recent work of K Ito and S Marks on $L$-typical prisms may extend this to local neighborhoods of the topological prime points $K(n)$ of the category of spectra.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the exploration and application of δ -algebras and prism structures in homotopy theory. Specifically, the author J. Morava explored the prism structure defined by Dyer - Lashof operations in p -adic K - theory in the paper and extended it to the context of Lubin - Tate spectra. The paper further proposed that the research of K. Ito and S. Marks on oL - typical (or L - adic) prisms may extend this theory, making it applicable to the oL - adic spectrum K(oL).
### Main problems and goals of the paper
1. **Prism structure of Dyer - Lashof operations**:
- The author first reviewed the Dyer - Lashof operations defined by J. McClure in p -adic K - theory, which defined a prism structure in the complex representation ring.
- This structure was further generalized in the work of Ando, Rezk, Stapleton, etc., who defined the canonical lift of Frobenius for Lubin - Tate spectra.
2. **Frobenius lift of Lubin - Tate spectra**:
- The author discussed how to extend the above theory to the oL - adic spectrum K(oL) through the work of K. Ito and S. Marks, thus providing a canonical Frobenius lift for these spectra.
- Specifically, the paper explored how to construct a δL - structure on the oL - adic spectrum K(oL), which involves Witt vectors, Frobenius lifts and related algebraic geometry concepts.
3. **Existence of δL - structure**:
- The author proposed a conjecture that the mapping from oL to K(oL) may be the result of a more natural construction, which may be related to the action of Gal(L/Qp).
- The verification of this conjecture will help to understand the value of K(oL) in the Adams/Artin/Atiyah/Quillen/Iwasawa algebra and may be associated with Fontaine's period ring Ainf(oL∞) and its Frobenius lift.
### Mathematical background and technical details
- **Lubin - Tate formal group law**:
\[
X +_\pi Y \in o_L[[X, T]], \quad o_L \ni a \mapsto [a]_\pi(T) \in \text{End}_{o_L}(LT(\pi))
\]
- Formal group law after modulo - π reduction:
\[
X +_\pi Y \in k_L[[X, T]], \quad o_L \ni a \mapsto [a]_\pi(T) \in \text{End}_{k_L}(lt(\pi))
\]
- **Witt vectors and Frobenius lifts**:
- Ring structure of Witt vectors of length 2:
\[
0 \to A \xrightarrow{\pi a \mapsto (a, 0)} W(A) = A \times A \xrightarrow{a_1 \mapsto a} A \to 0
\]
- Addition and multiplication of Witt vectors:
\[
a +_W b = (a_0 + b_0, a_1 + b_1 + \pi^{-1} \langle a_0, b_0 \rangle_q)
\]
\[
a \times_W b = (a_0 b_0, \pi a_1 b_1 + (a_1, b_1) T \cdot (a_0^q, b_0^q))
\]
- **δL - structure**:
- Ring homomorphism defined by Lubin - Tate formal group law:
\[
T \mapsto \phi_q(T) = [\pi]_L(T) = T^q + \pi \delta_L(T) : o_