Multivariable $(\varphi_q,\mathcal{O}_K^{\times})$-modules associated to $p$-adic representations of $\mathrm{Gal}(\overline{K}/K)$

TL;DR

This paper constructs a new class of multivariable $(_q, o_K^ imes)$-modules associated to $p$-adic Galois representations over unramified extensions, extending previous work and proving the functor's full faithfulness and exactness.

Contribution

It introduces a multivariable $(_q, o_K^ imes)$-module functor for $p$-adic Galois representations and proves its full faithfulness and exactness, generalizing recent related theories.

Findings

The functor $D_{A_{mv,E}}^{(0)}$ is fully faithful.

The functor $D_{A_{mv,E}}^{(0)}$ is exact.

Construction of multivariable modules for Galois representations.

Abstract

Let $K$ be an unramified extension of $\mathbb{Q}_p$, and $E$ a finite extension of $K$ with ring of integers $\mathcal{O}_E$. We associate to every finite type continuous $\mathcal{O}_E$-representation $\rho$ of $\mathrm{Gal}(\overline{K}/K)$ an \'etale $(\varphi_q,\mathcal{O}_K^{\times})$-module $D_{A_{\mathrm{mv},E}}^{(0)}(\rho)$ over $A_{\mathrm{mv},E}$, where $A_{\mathrm{mv},E}$ is the $p$-adic completion of a completed localization of the Iwasawa algebra $\mathcal{O}_E[\negthinspace[\mathcal{O}_K]\negthinspace]$. Furthermore, we prove that the functor $D_{A_{\mathrm{mv},E}}^{(0)}$ is fully faithful and exact. This functor is a $p$-adic analogue of $D_A^{(0)}$ in the recent work of Breuil, Herzig, Hu, Morra and Schraen.