Construct A_K^+ in the ramified case

Construct a ramified analog of the Wach-module base ring A_K^+ (which equals W(k)[[mu]] when K is absolutely unramified) for a general p-adic field K with ramification, suitable for defining Wach modules that classify crystalline Z_p-representations of G_K.

Background

Berger’s theory of Wach modules over A_K+ = W(k)[[mu]] gives a classification of crystalline representations when K is absolutely unramified. Extending this to ramified K would require an appropriate construction of A_K+ with analogous Frobenius and Gamma_K-structures.

The paper circumvents this difficulty by working over :=W(mathcal{O}{K}\flat) and introducing crystalline (phi,Gamma)-modules there, but explicitly notes that constructing A_K+ in the ramified case remains an obstacle.

References

The difficulty is the construction of $\mathbb{A}_K+$. There are some conditions which $\mathbb{A}_K+$ should satisfy, but the author does not know how to construct $\mathbb{A}_K+$ in the ramified case.

— On the $(\varphi,Γ)$-modules corresponding to crystalline representations (2405.19829 - Watanabe, 30 May 2024) in Introduction