The overconvergence of multivariable $(\varphi_q,\mathcal{O}_K^{\times})$-modules at the perfectoid level

TL;DR

This paper investigates the overconvergence properties of multivariable $(\

Contribution

It introduces the concept of overconvergence for multivariable $(\varphi_q,\mathcal{O}_K^{\times})$-modules and proves their overconvergence at the perfectoid level using geometric methods.

Findings

Established overconvergence at the perfectoid level.

Connected overconvergence to the geometry of the Fargues-Fontaine curve.

Provided foundational properties of multivariable modules.

Abstract

Let $K$ be a finite unramified extension of $\mathbb{Q}_p$, and $E$ a finite extension of $K$ with ring of integers $\mathcal{O}_E$. We define the overconvergence of multivariable $(\varphi_q,\mathcal{O}_K^{\times})$-modules over $A_{\mathrm{mv},E}$ and explore some basic properties. We prove the overconvergence at the perfectoid level using the geometry of relative Fargues-Fontaine curve.