Rational analytic prismatization

We develop a general theory of analytic prismatization with ${\mathbb{Q}}_p$-coefficients in rigid analytic geometry over ${\mathbb{Q}}_p$. We prove an equivalence of perfect complexes on the perfect analytic prismatization modulo Frobenius with perfect complexes on the relative Fargues–Fontaine curve for any smooth partially proper rigid analytic variety. In particular, we explain how this equivalence conceptualizes the decompletion techniques by passing to locally analytic vectors which appear in (geometric) Sen theory