---
title: 'Analytic Prismatization: Concepts & Applications'
url: https://www.emergentmind.com/topics/analytic-prismatization
type: topic
---

# Analytic Prismatization: Concepts & Applications

Analytic prismatization is a family of constructions extending prismatic geometry from $p$-adic formal schemes to rigid, adic, perfectoid, condensed, or related non-archimedean settings. The term has no single universally accepted meaning: it may refer to a rigid-analytic $B_{\mathrm{dR}^+}$-prismatic site, an analytic realization of perfect-prismatic $F$-crystals as $Y$-bundles or shtukas, a formal or stack-theoretic construction whose generic fibres are analytic, or a rational moduli stack of degree-one divisors on thickened Fargues–Fontaine spaces. The common principle is to replace a geometric object by a site or moduli stack of structured thickenings equipped with a distinguished Cartier divisor, and to recover cohomological, Frobenius, Hodge–Tate, or étale information from the resulting structure sheaf and its descent data.

## 1. Prismatic origins and stack-theoretic formulation

Classical prismatic geometry begins with a prism $(A,I)$, where $A$ is a $\delta$-ring, $I$ is an invertible ideal defining a Cartier divisor, $A$ is derived $(p,I)$-complete, and $p\in I+\phi_A(I)A$. The associated Frobenius lift is
\[
\phi_A(x)=x^p+p\delta(x).
\]
A prism is perfect when Frobenius is an isomorphism, bounded when $A/I$ has bounded $p^\infty$-torsion, orientable when $I$ is principal, and crystalline when $I=(p)$. Perfect prisms are equivalent to perfectoid rings through
\[
R\longmapsto \bigl(A_{\inf}(R),\ker(\theta)\bigr),
\qquad
(A,I)\longmapsto A/I.
\]
General prisms can consequently be regarded as deperfections of perfectoid rings: they retain a Frobenius lift without requiring Frobenius to be invertible [1905.08229].

For a smooth $p$-adic formal scheme $X$ over $A/I$, the prismatic site $(X/A)_\triangle$ consists of bounded prisms $(B,IB)$ over $(A,I)$ together with maps
\[
\operatorname{Spf}(B/IB)\longrightarrow X.
\]
Its structure sheaves are
\[
\mathcal O_\triangle(B,IB)=B,
\qquad
\overline{\mathcal O}_\triangle(B,IB)=B/IB.
\]
The associated cohomology
\[
R\Gamma_\triangle(X/A)
=
R\Gamma\bigl((X/A)_\triangle,\mathcal O_\triangle\bigr)
\]
is a derived $(p,I)$-complete commutative algebra over $A$ with Frobenius. Its reduction modulo $I$ satisfies the Hodge–Tate comparison
\[
H^i(\overline{\Delta}_{X/A})
\simeq
\Omega^i_{X/(A/I)}\{-i\},
\]
and its crystalline, de Rham, étale, $q$-de Rham, and perfectoid specializations recover several established cohomology theories [1905.08229].

The stack-theoretic reformulation replaces the prismatic site by a Cartier–Witt stack. For a $p$-nilpotent ring $R$, a Cartier–Witt divisor is a generalized Cartier divisor
\[
I\longrightarrow W(R)
\]
on the Witt-vector ring. For a bounded $p$-adic formal scheme $X$, the Cartier–Witt stack $\mathrm{WCart}_X$ classifies such divisors together with a map from the corresponding quotient to $X$. This stack is the prismatization of $X$:
\[
X^\Delta\simeq \mathrm{WCart}_X.
\]
It carries a Frobenius endomorphism and is functorial in $X$. Every object of the prismatic site gives a map
\[
\operatorname{Spf}(A)\longrightarrow \mathrm{WCart}_X,
\]
so the stack is assembled from the affine prism charts of the site [2201.06124].

For suitable $p$-quasisyntomic or locally complete-intersection formal schemes, quasicoherent complexes on $\mathrm{WCart}_X$ recover prismatic crystals:
\[
\mathcal D_{qc}(\mathrm{WCart}_X)
\simeq
\widehat{\mathcal D}_{\mathrm{crys}}
\bigl(X_\Prism,\mathcal O_\Prism\bigr).
\]
Likewise,
\[
R\Gamma(\mathrm{WCart}_X,\mathcal O)
\simeq
R\Gamma_\Prism(X).
\]
The Hodge–Tate locus of $\mathrm{WCart}_X$ is a gerbe banded by a twisted tangent group, and Hodge–Tate crystals become Higgs-type objects under a splitting of that gerbe [2201.06124].

The prismatization of $\operatorname{Spf}\mathbf Z_p$ admits three related formal-stack versions:
\[
\Sigma=(\operatorname{Spf}\mathbf Z_p)^\Delta,\qquad
\Sigma'=(\operatorname{Spf}\mathbf Z_p)^{\Delta'},\qquad
\Sigma''=(\operatorname{Spf}\mathbf Z_p)^{\Delta''}.
\]
The first uses invertible Witt modules and primitive maps; the second allows admissible, possibly noninvertible, Witt-module extensions and is the filtered prismatization; the third glues two copies of $\Sigma$ inside $\Sigma'$ and is the syntomification. Their universal ring stacks encode crystals, Nygaard data, and Frobenius-compatible coefficient theories [2005.04746].

## 2. Formal, algebraic, and infinitesimal realizations

Before the recent use of “analytic prismatization,” several constructions supplied its formal and algebraic infrastructure. The integral prismatization over $\operatorname{Spec}\mathbf Z$ constructs an algebraic base stack $\Sigma_{\mathbf Z}$ whose fibers are
\[
\Sigma_{\mathbf Z}\times_{\operatorname{Spec}\mathbf Z}\operatorname{Spec}\mathbf Q
\simeq
\left(\widehat{\mathbf A}^1/\mathbf G_m\right)_{\mathbf Q},
\]
and
\[
\Sigma_{\mathbf Z}\times_{\operatorname{Spec}\mathbf Z}\operatorname{Spf}(\mathbf Z_p)
\simeq
\Sigma_p.
\]
Thus its rational fiber is a formal Cartier or filtered de Rham parameter space, whereas its $p$-adic fiber is the usual prism stack. For a scheme $X/\mathbf Z$, the algebraic prismatization $X^{\wedge_{\mathbf Z}}$ specializes to the filtered de Rham stack over $\mathbf Q$ and to the $p$-adic prismatization over $\mathbf Z_p$ [2301.12392].

The rational fiber is governed by the Rees construction. If $L\to R$ is a line bundle with section, the formal Cartier stack $\widehat{\mathbf A}^1/\mathbf G_m$ parametrizes filtered objects. Its universal ring stack is modeled by
\[
\mathbf G_a^{dR}
=
\operatorname{Cone}\bigl(\mathbf G_a(-1)\longrightarrow\mathbf G_a\bigr).
\]
For a smooth scheme $X/\mathbf Q$, the resulting de Rham prismatization has cohomology corresponding under Rees equivalence to the Hodge-filtered de Rham complex
\[
\operatorname{Fil}_H^\ast\Omega^\bullet_{X/\mathbf Q}.
\]
This construction is formal and algebraic rather than rigid-analytic [2301.12392].

A related filtered object is the Nygaard prismatization. For a perfect ring $k$ of characteristic $p$ and an animated $k$-algebra $R$, its base is
\[
k^{\mathrm{Nyg}}
\simeq
\operatorname{Spf}\bigl(W(k)\langle u,t\rangle/(ut-p)\bigr)/\mathbf G_m.
\]
The loci $u\neq 0$, $t\neq 0$, $u=0$, and $t=0$ recover ordinary prismatic, crystalline, Hodge-filtered de Rham, and conjugate-filtered Hodge–Tate theories. The principal theorem identifies the Nygaard-filtered prismatization with the relative spectrum of the Rees algebra of Nygaard-filtered prismatic cohomology:
\[
R^{\mathrm{Nyg}}
\simeq
\operatorname{Spf}_{k^{\mathrm{Nyg}}}
\left(
\operatorname{Rees}
\bigl(\operatorname{Fil}_{\mathrm{Nyg}}F^*_{R/k}\bigr)
\right).
\]
This result is called de Rham affineness: the stack-valued functor is represented, relative to its filtered base, by a functorially constructed cohomological algebra [2512.19348].

The $n$-truncated prismatizations
\[
X^\Delta_n=X^\Delta\times_{\mathrm{WCart}}\mathrm{WCart}_n
\]
are nilpotent neighborhoods of the Hodge–Tate locus. The stack $\mathrm{WCart}_n$ imposes the condition that the image of the $n$-fold tensor power of the Cartier divisor vanishes in the test ring. For $n\leq p$, it has a description as a truncated symmetric algebra over the Hodge–Tate locus. In the case $X=\operatorname{Spf}(\mathcal O_K)$, the truncations are related to Sen operators and to complexes of modules over slightly enlarged Breuil–Kisin rings. The genuine integral classification has the bound
\[
n\leq 1+\frac{p-1}{e},
\]
where $e$ is the ramification index; the unramified case gives $n\leq p$. The slightly shrunk construction obtained by adjoining $E/p$ works for arbitrary $n$ [2409.02051].

For cyclotomic bases, $q$-prism charts provide explicit local models. Let
\[
(A,d)=
\left(
W(k)[[q-1]],
[p]_{q^{p^\alpha}}
\right),
\]
with $q$ mapping to a suitable $p$-power root of unity. The resulting chart supports a twisted derivation
\[
\partial_A(f)
=
\frac{\gamma_A(f)-f}{q(q^{p^\alpha}-1)},
\qquad
\gamma_A(q)=q^{p^{\alpha+1}+1}.
\]
Pullbacks of quasicoherent complexes acquire operators satisfying a twisted Leibniz rule and become modules over an Ore extension
\[
A[\partial;\gamma_A,\partial_A].
\]
Relative geometric directions yield commuting $q$-Higgs operators and a $q$-de Rham complex. Quasicoherent complexes on the prismatization are classified by complete modules with locally nilpotent reductions of these operators [2504.07005].

## 3. Rigid-analytic $B_{\mathrm{dR}^+}$-prismatization

A direct rigid-analytic form of prismatization is obtained by replacing integral $\delta$-rings with $\xi$-adic thickenings over Fontaine’s de Rham period ring. Let $K$ be a complete algebraically closed $p$-adic field, let
\[
\theta:B_{\mathrm{dR}^+}\longrightarrow K
\]
be Fontaine’s canonical surjection, and choose
\[
\xi\in\ker(\theta).
\]
A $B_{\mathrm{dR}^+}$-prism over an affinoid rigid space $X=\operatorname{Spa}(R)$ is a diagram
\[
B\longrightarrow B/\xi\longleftarrow R
\]
such that $B$ is noetherian, $\xi$-torsionfree, $\xi$-adically complete, finite type modulo powers of $\xi$ over Tate algebras, and equipped with the indicated map to $R$. These objects have no $\delta$-structure or Frobenius lift; the role of the prismatic ideal is played by $(\xi)$.

The analytic prismatic site $X/B_{\mathrm{dR}^+\Delta}$ is the opposite category of such prisms with the indiscrete topology. Its structure sheaves are
\[
\mathcal O_\Delta(B)=B,
\qquad
\overline{\mathcal O}_\Delta(B)=B/\xi.
\]
The corresponding cohomology theories are
\[
R\Gamma_\Delta(X/B_{\mathrm{dR}^+},\mathcal O_\Delta)
\]
and
\[
R\Gamma_\Delta(X/B_{\mathrm{dR}^+},\overline{\mathcal O}_\Delta).
\]
The former is $B_{\mathrm{dR}^+}$-linear and the latter is $K$-linear.

For a surjection $B\twoheadrightarrow B'$ with kernel $I=(f_1,\dots,f_r)$, the analytic prismatic envelope is
\[
B\left[\frac I\xi\right]_{\mathrm{tf}^\wedge}
=
\left(
B[x_1,\dots,x_r]/(\xi x_i-f_i)
\right)^\wedge
\Big/
(\xi^\infty\text{-torsion}).
\]
The variables $x_i$ represent $f_i/\xi$. For an l.c.i. presentation
\[
R=P/(I,\xi),
\qquad
P=B_{\mathrm{dR}^+\langle T_1,\dots,T_n\rangle,
\]
the envelope
\[
D_\Delta=P\left[\frac I\xi\right]_{\mathrm{tf}^\wedge}
\]
provides a covering object whose Čech–Alexander complex computes analytic prismatic cohomology.

Coherent prismatic crystals on this site correspond to finite $D_\Delta$-modules with integrable, quasi-nilpotent logarithmic connections
\[
\nabla:
M\longrightarrow
M\otimes_{D_\Delta}
\Omega^1_{D_\Delta/B_{\mathrm{dR}^+}\left(1/\xi\right)}.
\]
The connection is logarithmic because it may have a pole along $\xi=0$; crystals arising from infinitesimal geometry have integral connections landing in the unlocalized differential module [2112.14746].

The relationship with derived de Rham theory is expressed by a Simpson-type transform. For a filtered $B_{\mathrm{dR}^+}$-complex $(M,\mathrm{Fil}^\bullet)$, set
\[
\Psi(M,\mathrm{Fil}^\bullet)
=
\left(
\operatorname*{colim}_{i\in\mathbf N}
\frac{\mathrm{Fil}^iM}{\xi^i}
\right)^\wedge.
\]
For an affinoid l.c.i. space,
\[
\Psi\bigl(R\Gamma_{\mathrm{inf}},\widetilde{\mathrm{Fil}}^\bullet\bigr)
\simeq
R\Gamma_\Delta.
\]
In the smooth case this yields the $\xi$-divided de Rham complex
\[
\widetilde R
\longrightarrow
\frac{\Omega^1_{\widetilde R/B_{\mathrm{dR}^+}}}{\xi}
\longrightarrow
\frac{\Omega^2_{\widetilde R/B_{\mathrm{dR}^+}}}{\xi^2}
\longrightarrow\cdots.
\]
The infinitesimal-to-prismatic map factors through
\[
R\Gamma_{\mathrm{inf}}
\longrightarrow
L\eta_\xi R\Gamma_\Delta
\longrightarrow
R\Gamma_\Delta.
\]
For smooth affinoids the first map is an equivalence onto $L\eta_\xi R\Gamma_\Delta$, while equality with the full prismatic complex is generally false globally.

The reduced theory has a Hodge–Tate filtration whose graded pieces are
\[
\operatorname{gr}_{\mathrm{HT}}^i
R\Gamma_\Delta(X/B_{\mathrm{dR}^+})
\simeq
R\Gamma\!\left(
X,L\!\wedge^i L_{X/K}^{\mathrm{an}}
\right)(-i)[-i].
\]
For smooth $X$, this becomes
\[
R\Gamma(X,\Omega^i_{X/K})(-i)[-i].
\]
For smooth rigid spaces, the theory agrees with pro-étale $B_{\mathrm{dR}^+}$-cohomology:
\[
R\Gamma_\Delta(X/B_{\mathrm{dR}^+})
\simeq
R\Gamma(X_{\mathrm{pro\acute et}},B_{\mathrm{dR}^+}).
\]
It therefore connects infinitesimal, Hodge–Tate, de Rham-period, and pro-étale cohomology [2112.14746].

## 4. Analytic prismatic $F$-crystals, local systems, and shtukas

A different analytic realization retains the analytic locus of a prism rather than replacing the prism by a $B_{\mathrm{dR}^+}$-thickening. For a prism $(A,I)$, define
\[
U_{A,I}
=
\operatorname{Spec}(A)\setminus V(p,I).
\]
An analytic prismatic crystal is a compatible system of vector bundles on these opens:
\[
\operatorname{Vect}^{\mathrm{an}}(X_\triangle)
=
\varprojlim_{(A,I)\in X_\triangle}
\operatorname{Vect}(U_{A,I}).
\]
An analytic prismatic $F$-crystal adds a Frobenius isomorphism after inverting $I$:
\[
\varphi^*E[1/I]\xrightarrow{\sim}E[1/I].
\]
The ordinary prismatic category embeds fully faithfully into the analytic category, but generally not essentially surjectively: an analytic object need not extend across $V(p,I)$ to a vector bundle on all of $\operatorname{Spec}(A)$ [2203.09490].

For a smooth $p$-adic formal scheme $\mathfrak X$ over $\mathcal O_K$, with rigid generic fiber $X=\mathfrak X_\eta$, étale realization gives
\[
T:
\operatorname{Vect}^{\mathrm{an},\varphi}(\mathfrak X_\triangle)
\longrightarrow
\operatorname{Loc}_{\mathbf Z_p}(X).
\]
The main comparison identifies the source with crystalline $\mathbf Z_p$-local systems:
\[
\operatorname{Vect}^{\mathrm{an},\varphi}(\mathfrak X_\triangle)
\simeq
\operatorname{Loc}_{\mathbf Z_p}^{\mathrm{crys}}(X).
\]
The realization is given locally by
\[
T(E)
=
E\otimes_{\mathcal O_\triangle}
\mathcal O_\triangle[1/I]^\wedge_p,
\]
and its inverse is described by Frobenius-fixed points. This equivalence holds for general crystalline coefficients and ramified base fields [2203.09490].

The distinction between analytic and ordinary prismatic objects is essential. A crystalline local system is prismatically good reduction when its analytic prismatic inverse image extends across the prismatic divisor to an ordinary prismatic $F$-crystal. For a point $\operatorname{Spf}(\mathcal O_K)$ every crystalline lattice has this property, whereas in positive relative dimension it can fail. Consequently,
\[
\operatorname{Vect}^{\varphi}(\mathfrak X_\triangle)
\simeq
\operatorname{Loc}_{\mathbf Z_p}^{\mathrm{str}}(X),
\]
where the right side is the full tensor subcategory of crystalline local systems with prismatically good reduction [2406.08259].

Perfect-prismatic $F$-crystals admit a more explicitly adic realization. Restricting to perfect prisms identifies them with finite projective crystals over integral perfectoid rings. Evaluating on perfectoid test objects and restricting from Witt-vector spaces to relative $Y$-spaces produces integral $Y$-bundles. For a complete topological ring $R^+$,
\[
\{\mathcal O^{\mathrm{perf}}\text{-bundles on }R^+\}
\simeq
\{\text{integral }Y\text{-bundles on }\operatorname{Spd}(R^+)\}.
\]
The equivalence is exact, tensor-compatible, and extends to affine flat group schemes. Adding Frobenius gives
\[
\{\text{perfect-prismatic }G\text{-crystals}\}
\simeq
\{\text{\(G\)-shtukas with fixed leg}\}.
\]
The analytic object is a family of vector bundles on
\[
[0,(B,B^+)]
=
\operatorname{Spa}(B,B^+)\dot\times\operatorname{Spa}(\mathbf Z_p),
\]
with a meromorphic Frobenius away from the untilt divisor [2307.01108].

The same framework has a Tannakian form. For a reductive group scheme $\mathcal G/\mathbf Z_p$, analytic and ordinary prismatic $F$-crystals with $\mathcal G$-structure are exact tensor functors
\[
\operatorname{Rep}_{\mathbf Z_p}(\mathcal G)
\longrightarrow
\operatorname{Vect}^{\varphi}(\mathfrak X_\triangle)
\]
or into the analytic variant. The resulting category of ordinary $\mathcal G$-objects is equivalent to $\mathcal G(\mathbf Z_p)$-local systems with prismatically good reduction:
\[
\mathcal G^\varphi(\mathfrak X_\triangle)
\simeq
\mathcal G^{\mathrm{str}_{\mathbf Z_p}(X)}.
\]
A compatible shtuka realization sends analytic prismatic $\mathcal G$-objects to $\mathcal G$-shtukas and agrees with the shtuka realization of the corresponding de Rham local system [2406.08259].

## 5. Rational analytic prismatization and Fargues–Fontaine geometry

A genuinely analytic rational construction is formulated using Gelfand rings and Gelfand stacks. These provide a category containing Banach $\mathbf Q_p$-algebras, Berkovich spaces, dagger-rigid spaces, derived Berkovich spaces, perfectoid objects, and nilperfectoid objects. A nilperfectoid ring is an overconvergent thickening whose dagger reduction is a perfectoid uniform completion.

For a perfectoid space $S$ in characteristic $p$, let $D_S$ be the relative Fargues–Fontaine disc and
\[
D_S^\times=D_S\setminus V(p)
\]
its punctured disc. A rational $\delta$-space is a Berkovich or Gelfand-space thickening $\mathcal X$ of $D_S^\times$ equipped with Frobenius and an identification on diamonds
\[
D_S^{\times,\diamond}\xrightarrow{\sim}\mathcal X^\diamond.
\]
A rational analytic prism is a rational $\delta$-space together with a degree-one Cartier divisor $D\subseteq\mathcal X$. Degree one means that the divisor corresponds, on the Fargues–Fontaine side, to an untilt.

For a Gelfand stack $X$, the analytic prismatic site consists of tuples
\[
(S,\mathcal X,D,\alpha),
\qquad
\alpha:D\longrightarrow X.
\]
Its moduli stack is
\[
X_{\operatorname{Div}^1}(S,\mathcal X,D)
=
\operatorname{Map}(D,X).
\]
The rational analytic prismatization is the realization
\[
X^\wedge
=
\bigl(X_{\operatorname{Div}^1}\bigr)_{\mathrm{real}}.
\]
Its points consist of degree-one divisors in analytic $\delta$-spaces together with maps from those divisors to $X$ [2610.27918].

Perfection is obtained by iterating Frobenius:
\[
X^{\widetilde{\operatorname{Div}^1}}
=
\varprojlim_\varphi X^\wedge.
\]
The quotient by Frobenius,
\[
X^{\operatorname{Div}^1}
=
X^{\widetilde{\operatorname{Div}^1}}/\varphi^{\mathbf Z},
\]
is the $p$-adic twistor stack. For a perfectoid base, the ordinary relative Fargues–Fontaine curve is
\[
FF_S=D_S^\times/\varphi^{\mathbf Z}.
\]
The analytic twistor stack retains overconvergent information that is invisible on the underlying diamond and maps naturally to a de Rham or Hyodo–Kato stack:
\[
FF_{X^\diamond}
\longrightarrow
X^{\operatorname{Div}^1}
\longrightarrow
X^{HK}.
\]

The Hodge–Tate locus is obtained by pulling back along the Hodge–Tate point:
\[
X^{HT}
=
X^\wedge\times_{\mathbf A^1/\mathbf G_m}B\mathbf G_m.
\]
For smooth analytic $X$, the map
\[
X^{HT}\longrightarrow X\times\mathbf Q_p^{HT}
\]
is controlled by the twisted overconvergent tangent bundle
\[
\mathbb T_{X/\mathbf Q_p}^{\dagger}\{1\}.
\]
This is an analytic analogue of the Hodge–Tate gerbe and of the geometric Sen or $p$-adic Simpson constructions.

For smooth partially proper rigid analytic varieties, the main comparison identifies perfect complexes on the perfect analytic prismatization modulo Frobenius with perfect complexes on the relative Fargues–Fontaine curve. The construction is rational and does not provide an integral $\mathbf Z_p$-theory. Its geometric input is the moduli of degree-one divisors on thickened Fargues–Fontaine discs, while its cohomological output recovers pro-étale $\mathbf Q_p$-cohomology [2610.27918].

## 6. Spectral, condensed, and Robba-theoretic extensions

Several constructions extend prismatization without producing a rigid-analytic stack directly. Frobenius-untwisted topological cyclic homology yields even-periodic formal spectral stacks whose classical truncations are the Bhatt–Lurie and Drinfeld prismatizations:
\[
(\pounds X)^\heartsuit\simeq X^\Delta,
\qquad
(\text{\textlira}X)^\heartsuit\simeq X^{\mathcal N},
\qquad
(\$X)^\heartsuit\simeq X^{\mathrm{Syn}}.
\]
The even-periodic homotopy sheaves recover Breuil–Kisin twists:
\[
\pi_{2i}(\mathcal O_{\pounds X})
\simeq
\mathcal O_{X^\Delta}\{i\}.
\]
The Quillen formal group of the spectral enhancement agrees with the Drinfeld formal group. These are spectral and formal constructions over adic $E_\infty$-rings, not analyticifications in the rigid or adic sense [2511.00756].

Another approach compares de Rham prismatization with de Rham Robba stackification. Over small $v$-stacks, the two constructions are asserted to have equivalent solid quasicoherent categories:
\[
\operatorname{SolidQuasiCoh}_{\operatorname{deRhamPrismatization}_S}
\simeq
\operatorname{SolidQuasiCoh}_{\operatorname{deRhamRobba}_S}.
\]
Over small arc-stacks, the comparison is fully faithful rather than an equivalence. The distinction is interpreted through perfectoid descent: passage to $v$-stacks perfectizes the local geometry, whereas arc-stacks retain imperfect analytic charts. The Robba spaces used in this comparison are pre–Fargues–Fontaine spaces; no Frobenius quotient is taken before the de Rham completion and stackification [2412.12055].

Analytic prismatic $F$-crystals also interact with crystalline local systems, shtukas, $B_{\mathrm{dR}^+}$-pairs, and Tannakian structures. Their analytic locus captures the region
\[
\operatorname{Spec}(A)\setminus V(p,I),
\]
while the omitted codimension-two locus records integral extension data. This accounts for the difference between analytic and ordinary prismatic crystals: analytic objects encode the étale region, Hodge–Tate boundary, and Frobenius comparison, whereas ordinary objects additionally extend over the full integral prism.

The various meanings of analytic prismatization can therefore be organized by the retained structure:

| Construction | Primary objects | Main output |
|---|---|---|
| $B_{\mathrm{dR}^+}$-prismatization | $\xi$-adic rigid thickenings | $\xi$-divided de Rham and pro-étale cohomology |
| Analytic prismatic $F$-crystals | Vector bundles on $U_{A,I}$ | Crystalline $\mathbf Z_p$-local systems |
| Perfect-prismatic analytification | Perfectoid evaluations and $Y$-bundles | Shtukas with fixed legs |
| Rational analytic prismatization | Degree-one divisors on analytic $\delta$-spaces | $p$-adic twistor stacks and Fargues–Fontaine comparisons |
| Spectral prismatization | Even-periodic formal spectral stacks | Spectral refinements of prismatic, Nygaard, and syntomic stacks |
| Robba comparison | Solid quasicoherent categories | De Rham Robba–prismatic equivalences |

No single construction subsumes all the others. Integral prismatic stacks retain $\delta$-structures, Cartier divisors, and Frobenius; $B_{\mathrm{dR}^+}$-prisms emphasize characteristic-zero infinitesimal geometry; perfect-prismatic constructions emphasize perfectoid descent and shtukas; and rational analytic prismatization emphasizes degree-one divisors and Frobenius quotients on Fargues–Fontaine-type spaces. Taken together, they form a hierarchy from formal algebraic prismatization to analytic period geometry.

Source: https://www.emergentmind.com/topics/analytic-prismatization