---
title: Rational Analytic Syntomification in p-adic Cohomology
url: https://www.emergentmind.com/topics/rational-analytic-syntomification
type: topic
---

# Rational Analytic Syntomification in p-adic Cohomology

Rational analytic syntomification is a \(p\)-adic geometric construction in which a rigid-analytic or formal object is replaced by a stack \(X^{\mathrm{Syn}}\) whose quasicoherent or perfect complexes encode syntomic, de Rham, Hodge–Tate, Hyodo–Kato, and étale data in a single framework. For a partially proper rigid-analytic variety \(X\) over \(\mathbb{Q}_p\), the rational analytic syntomification \(X^{\mathrm{Syn}}\) is built from the rational analytic prismatisation \(X^\Prism\) and its Nygaard-filtered refinement \(X^N\), and rational analytic syntomic cohomology is defined by
\[
R\Gamma_{\mathrm{Syn}}(X,\mathbb{Q}_p(i)) := R\Gamma(X^{\mathrm{Syn}}, \mathcal{O}\{i\}).
\]
For a smooth \(p\)-adic formal scheme \(\mathrm{X}/\mathrm{Spf}\,\mathcal{O}_K\), a closely related syntomic stack \(\mathrm{X}^{\mathrm{Syn}}\) is defined as a pushout of the Nygaard-filtered prismatization along de Rham and Hodge–Tate comparison maps [2604.15193], [2510.16961].

## 1. Definition and terminological scope

Two explicit constructions underlie the current meaning of syntomification. In the formal \(p\)-adic setting, the syntomic stack \(\mathrm{X}^{\mathrm{Syn}}\) is defined as the pushout of \(\mathrm{X}^{\Nyg}\) along two copies of \(\mathrm{X}^{\pris}\), via the maps \(j_{\mathrm{dR}}\) and \(j_{\mathrm{HT}}\); equivalently,
\[
\D(\mathrm{X}^{\mathrm{Syn}})=\mathrm{eq}\Bigl(\D(\mathrm{X}^{\Nyg}) \rightrightarrows \D(\mathrm{X}^{\pris})\Bigr).
\]
In the rigid-analytic setting, the rational analytic syntomification is defined as the coequalizer
\[
X^{\mathrm{Syn}}:=\mathrm{coeq}\bigl(X^\Prism \rightrightarrows X^N\bigr),
\]
where the two arrows are the embeddings \(j_{\mathrm{dR}},j_{\mathrm{HT}}:X^\Prism\to X^N\) [2510.16961], [2604.15193].

| Setting | Basic construction | Structural role |
|---|---|---|
| Smooth \(p\)-adic formal scheme \(\mathrm{X}\) | Pushout defining \(\mathrm{X}^{\mathrm{Syn}}\) from \(\mathrm{X}^{\pris}\) and \(\mathrm{X}^{\Nyg}\) | Geometrizes syntomic cohomology and \(F\)-gauges |
| Partially proper rigid-analytic \(X/\mathbb{Q}_p\) | Coequalizer \(X^{\mathrm{Syn}}=\mathrm{coeq}(X^\Prism \rightrightarrows X^N)\) | Produces rational analytic syntomic cohomology |

In the rigid-analytic theory, “rational” refers to working after inverting \(p\), with coefficients in \(\mathbb{Q}_p\), and “analytic” refers to rigid-analytic, Berkovich, and Gelfand-stack geometry. In the formal theory, syntomification is the stack-theoretic operation that adds syntomic structure to prismatic and Nygaard-filtered data, so that derived global sections recover syntomic complexes [2604.15193], [2510.16961].

## 2. Prismatisation, Nygaardification, and the gluing mechanism

The rigid-analytic construction begins from the rational analytic prismatisation \(X^\Prism\). For a totally disconnected nilperfectoid Gelfand ring \(A\), one has a derived Berkovich space \(Y_A\) with Frobenius
\[
\phi:Y_A\to Y_A,
\]
a map \(\iota:\GSpec A\to Y_A\), and a radius map
\[
\kappa:Y_A\to (0,\infty).
\]
A degree-\(1\) Cartier divisor \(D\subset Y_A\) determines the prismatisation of the base, and \(X^\Prism\) is obtained by taking morphisms \(D\to X\). The de Rham stack satisfies
\[
(X^\Prism)^{\mathrm{dR}} \cong Y_{X^\diamond}^{\mathrm{dR}},
\]
and \(X^\Prism\) inherits both a radius map \(\kappa:X^\Prism\to (0,\infty)\) and a Frobenius \(\phi:X^\Prism\to X^\Prism\) with \(\kappa\circ\phi=p\cdot \kappa\) [2604.15193].

Nygaardification introduces filtered structure. The base \(\mathbb{Q}_p^N\) is defined by a pullback involving \(\mathbb{Q}_p^\Prism\), the overconvergent closed unit disk, and its de Rham stack. For \(X\), the Nygaardification \(X^N\) is defined using a \(\dagger\)-nilpotent thickening \(D^+\) of the degree-\(1\) divisor \(D\), and
\[
X^N(\GSpec A\to \mathbb{Q}_p^N):=\{\text{maps }D^+\to X\}.
\]
There is a natural projection
\[
\pi:X^N\to X^\Prism
\]
and two distinguished embeddings of \(X^\Prism\) into \(X^N\).

The first embedding is the de Rham copy:
\[
j_{\mathrm{dR}}:X^\Prism\hookrightarrow X^N,
\]
arising from the locus \(|t|=1\), where \(D^+=D\). The second embedding is the Hodge–Tate copy:
\[
j_{\mathrm{HT}}:X^\Prism\hookrightarrow X^N,
\]
arising from the locus \(|u|=1\), and it satisfies
\[
\pi\circ j_{\mathrm{HT}}=\phi:X^\Prism\to X^\Prism.
\]
Away from the de Rham and Hodge–Tate loci, the Nygaardification is explicitly a cylinder:
\[
X^N_{\{|ut|\neq 0\}} \cong (X^\Prism\setminus X^{\mathrm{dR}})\times [0,1].
\]
This identifies \(j_{\mathrm{dR}}\) with the endpoint \(\{0\}\) and \(j_{\mathrm{HT}}\) with the Frobenius-twisted endpoint \(\{1\}\). The syntomification \(X^{\mathrm{Syn}}\) is then the stack obtained by identifying these two copies of \(X^\Prism\) inside \(X^N\) [2604.15193].

The formal-stack construction exhibits the same pattern in a different language. There, \(\mathrm{X}^{\mathrm{Syn}}\) is the pushout of \(\mathrm{X}^{\Nyg}\) along two maps from \(\mathrm{X}^{\pris}\), and the resulting exact triangle
\[
\R\Gamma(\mathrm{X}^{\mathrm{Syn}},\mathcal{E})
\to
\R\Gamma(\mathrm{X}^{\Nyg},j_{\Nyg}^*\mathcal{E})
\xrightarrow{\,j_{\mathrm{HT}}^*-j_{\mathrm{dR}}^*\,}
\R\Gamma(\mathrm{X}^{\Nyg},j^*\mathcal{E})
\]
recovers syntomic complexes such as \(\R\Gamma_{\mathrm{Syn}}(\mathrm{X},\mathbf{Z}_p(i))\) [2510.16961].

## 3. Cohomology, duality, and Chern classes

The basic coefficient object on \(X^{\mathrm{Syn}}\) is the Breuil–Kisin twist \(\mathcal{O}\{1\}\). On \(X^N\) it refines the pullback of the corresponding line bundle from \(X^\Prism\), and its pullbacks along \(j_{\mathrm{dR}}\) and \(j_{\mathrm{HT}}\) agree, so \(\mathcal{O}\{1\}\) descends to \(X^{\mathrm{Syn}}\). This yields rational analytic syntomic cohomology in weight \(i\):
\[
R\Gamma_{\mathrm{Syn}}(X,\mathbb{Q}_p(i)):=R\Gamma(X^{\mathrm{Syn}},\mathcal{O}\{i\}).
\]
More generally, for \(E\in \mathrm{Perf}(X^{\mathrm{Syn}})\),
\[
R\Gamma_{\mathrm{Syn}}(X,E):=R\Gamma(X^{\mathrm{Syn}},E)
\]
defines syntomic cohomology with coefficients in perfect analytic \(F\)-gauges [2604.15193].

A central structural theorem is the fiber-square description
\[
\mathrm{Perf}(X^{\mathrm{Syn}})
\simeq
\mathrm{Perf}(X^{\mathrm{HK}})
\times_{\mathrm{Perf}(X^{\mathrm{dR}})}
\mathrm{Perf}(X^{\mathrm{dR},+}),
\]
valid for \(X\) a Berkovich smooth derived Berkovich space over \(\mathbb{Q}_p\). For the unit object \(\mathcal{O}\{i\}\), this recovers the usual syntomic comparison pattern between Hyodo–Kato and filtered de Rham realizations. A second fiber-square description relates syntomic, divisor, and Hodge–Tate stacks:
\[
\mathrm{Perf}(X^{\mathrm{Syn}})
\simeq
\mathrm{Perf}(X^{\mathrm{Div}^1})
\times_{\mathrm{Perf}(X^{\mathrm{HT},\dagger})}
\mathrm{Perf}(X^{\mathrm{HT},\dagger,+}).
\]
This underlies the truncated comparison
\[
\tau^{\leq i}R\Gamma_{\mathrm{Syn}}(X,\mathbb{Q}_p(i))
\cong
\tau^{\leq i}R\Gamma_{\mathrm{pro\acute et}}(X,\mathbb{Q}_p(i))
\]
for the unit coefficient and, more generally, for vector bundle analytic \(F\)-gauges with Hodge–Tate weights \(\leq -i\) [2604.15193].

Rational analytic syntomic cohomology satisfies Poincaré duality. For the structural map
\[
f:\mathbb{Q}_p^{\mathrm{Syn}}\to \GSpec \mathbb{Q}_p,
\]
the dualizing complex is
\[
f^!\mathbb{Q}_p \cong \mathcal{O}\{1\}[3].
\]
If \(f:X\to Y\) is smooth proper of pure relative dimension \(d\), then
\[
(f^{\mathrm{Syn}})^!\mathcal{O}_{Y^{\mathrm{Syn}}}
\cong
\mathcal{O}_{X^{\mathrm{Syn}}}\{d\}[2d],
\]
and for \(X\) smooth proper of dimension \(d\),
\[
R\Gamma_{\mathrm{Syn}}(X,\mathbb{Q}_p(r))^\vee
\cong
R\Gamma_{\mathrm{Syn},c}(X,\mathbb{Q}_p(d+1-r))[2d+3].
\]
The shift \(3\) at the base is attributed to the extra topological dimension of the Nygaard interval direction [2604.15193].

The theory also carries a strong first Chern class formalism:
\[
c_1^{\mathrm{Syn}}:
R\Gamma(X_{\mathrm{Berk},\acute et},\mathbb{G}_m)[1]
\longrightarrow
R\Gamma(X^{\mathrm{Syn}},\mathcal{O}\{1\}[2]),
\]
compatible with functoriality, additivity, pullback, and tensor product. The projective bundle formula is realized by the isomorphism built from powers of \(c_1^{\mathrm{Syn}}\) for \(f:\mathbb{P}^d_X\to X\) [2604.15193].

## 4. Vector bundles, de Rham coefficients, and the Fargues–Fontaine curve

The coefficient theory of syntomification is controlled by the relative Fargues–Fontaine curve. If \(X\) is smooth partially proper over \(\mathbb{Q}_p\), then
\[
\Vect(X^{\mathrm{Syn}})
\simeq
\Vect^{\mathrm{dR}}(FF_{X^\diamond}),
\]
where the right-hand side is the full subcategory of vector bundles on the relative Fargues–Fontaine curve \(FF_{X^\diamond}\) that are de Rham. Under this equivalence, de Rham \(\mathbb{Q}_p\)-local systems on the pro-étale site embed fully faithfully into \(\Vect(X^{\mathrm{Syn}})\) [2604.15193].

This description specializes cleanly at a point. For \(X=\GSpec \mathbb{Q}_p\),
\[
\Vect(\mathbb{Q}_p^{\mathrm{Syn}})
\simeq
\Vect^{\mathrm{dR}}(FF_{\mathrm{Spd}\,\mathbb{Q}_p}),
\]
the category of \(\mathrm{Gal}_{\mathbb{Q}_p}\)-equivariant de Rham vector bundles on the Fargues–Fontaine curve. For de Rham representations \(V,W\),
\[
\RHom_{\mathbb{Q}_p^{\mathrm{Syn}}}(V,W)
\cong
\RHom_{\mathrm{Rep}^{\mathrm{dR}}(\mathrm{Gal}_{\mathbb{Q}_p})}(V,W),
\]
and in particular
\[
H^1(\mathbb{Q}_p^{\mathrm{Syn}},V)\cong H^1_g(\mathrm{Gal}_{\mathbb{Q}_p},V).
\]
Thus vector bundles on \(X^{\mathrm{Syn}}\) are not auxiliary coefficients but a geometric model for classical de Rham \(p\)-adic Hodge-theoretic objects [2604.15193].

The same perspective explains the role of the Hyodo–Kato stack
\[
X^{\mathrm{HK}}:=(FF_{X^\diamond})^{\mathrm{dR}}.
\]
An object of \(\mathrm{Perf}(X^{\mathrm{Syn}})\) is simultaneously a Hyodo–Kato object on \(FF_{X^\diamond}\), a filtered de Rham object on \(X^{\mathrm{dR},+}\), and a compatible object on \(X^{\mathrm{dR}}\). This places syntomification at the intersection of Frobenius, monodromy, filtration, and de Rham comparison data [2604.15193].

## 5. Formal-scheme syntomification, crystalline local systems, and rationalization

For a smooth \(p\)-adic formal scheme \(\mathrm{X}/\mathrm{Spf}\,\mathcal{O}_K\), syntomification is formulated in the language of \(F\)-gauges. The heart \(\Coh(\mathrm{X}^{\mathrm{Syn}})\) contains a reflexive subcategory \(\mathsf{Refl}(\mathrm{X}^{\mathrm{Syn}})\), defined by the condition that the natural map
\[
\mathcal{E}\to \mathcal{E}^{\vee\vee}
\]
is an isomorphism. The étale realization functor is symmetric monoidal, respects duals, and induces an equivalence
\[
\mathsf{T}_{\acute et}:
\mathsf{Refl}(\mathrm{X}^{\mathrm{Syn}})
\xrightarrow{\sim}
\Loc_{\mathbf{Z}_p}^{\mathrm{cris}}(\mathrm{X}_\eta),
\]
where \(\mathrm{X}_\eta\) is the rigid generic fiber and the target is the category of pro-étale crystalline \(\widehat{\mathbf{Z}_p}\)-local systems. More generally, if \(\mathcal{E}\in \Perf(\mathrm{X}^{\mathrm{Syn}})\), then every
\[
H^i(\mathsf{T}_{\acute et}(\mathcal{E}))[1/p]
\]
is a crystalline \(\mathbf{Q}_p\)-local system on \(\mathrm{X}_\eta\) [2510.16961].

Rationalization removes integral syntomic torsion. The kernel of
\[
\mathsf{T}_{\acute et}:\Coh(\mathrm{X}^{\mathrm{Syn}})\to \Loc_{\mathbf{Z}_p}(\mathrm{X}_\eta)
\]
consists precisely of coherent \(F\)-gauges killed by a power of \((p,v_{1,\mathrm{X}})\). After inverting \(p\), one obtains
\[
\Coh(\mathrm{X}^{\mathrm{Syn}})[1/p]
\xrightarrow{\sim}
\Loc_{\mathbf{Q}_p}^{\mathrm{cris}}(\mathrm{X}_\eta),
\]
and the essential image of
\[
\Perf(\mathrm{X}^{\mathrm{Syn}})[1/p]
\to
\D^{(b)}_{\mathrm{lisse}}(\mathrm{X}_\eta,\mathbf{Z}_p)[1/p]
\]
is the full subcategory whose cohomology sheaves are crystalline \(\mathbf{Q}_p\)-local systems. When \(\mathrm{X}\) is smooth proper, there is a \(t\)-exact symmetric monoidal equivalence
\[
\Perf(\mathrm{X}^{\mathrm{Syn}})[1/p]
\xrightarrow{\sim}
\Perf^{\mathrm{adm}}_{\mathrm{fIsoc}^\varphi}(\mathrm{X}),
\]
where the target consists of perfect complexes whose cohomology sheaves are admissible filtered \(F\)-isocrystals [2510.16961].

These results identify syntomification as a rational bridge between integral \(F\)-gauge geometry and analytic crystalline local systems. The role of rationalization is explicit: it passes from lattices and syntomic torsion to isogeny categories and admissible filtered \(F\)-isocrystals [2510.16961].

## 6. Broader rational–analytic motifs and adjacent frameworks

Two adjacent literatures isolate structural themes that illuminate the phrase “rational analytic syntomification,” even though they are not themselves \(p\)-adic syntomic theories.

For relative semi-abelian schemes over an affine complex curve \(B\), the study of analytic and rational sections develops a direct comparison between algebraic and analytic height formalisms. The same differential \(2\)-form \(\omega\) gives the Néron–Tate height of a rational section,
\[
h(s)=\int_{\overline B}s^*\omega,
\]
and an analytic growth functional for a holomorphic section,
\[
\hat T_s(r)=\int_1^r \frac{ds}{s}\int_{B(s)} s^*\omega.
\]
The theory proves, among other statements, that if \(\hat T_s(r)=O(\log r)\), then \(s\) must be rational, and that transcendental holomorphic sections have Zariski closures with positive-dimensional stabilizer; for strictly transcendental sections, after finite base change, the closure is a translate of an abelian subscheme by a rational section [2005.06349].

For discrete analytic functions on the lattice \(\mathcal{A}_+=\mathbb{Z}_+ + i\mathbb{Z}\), rationality is redefined because pointwise multiplication does not preserve discrete analyticity. The relevant product is the convolution product \(\circledast\), rational discrete analytic functions are realized by
\[
f(z)=D+C(I-zA)^{-\circledast}\circledast (zB),
\]
and discrete analytic Schur multipliers admit co-isometric realizations on de Branges–Rovnyak spaces. Rationality is equivalent to several finite-dimensional conditions, including the existence of a polynomial \(p\) such that \(p\circledast f\) is polynomial and the finite-dimensionality of
\[
\operatorname{span}\{f,\delta_x f,\delta_x^2 f,\dots\}
\]
[2111.04229].

These frameworks suggest a recurrent structural pattern. Analytic data are encoded by auxiliary geometric or operator-theoretic objects—cohomological stacks, kernels, or colligations—and rationality is detected by finite-dimensionality, bounded growth, or compatibility with a distinguished product. A plausible implication is that syntomification, in the narrow \(p\)-adic sense of \(X^{\mathrm{Syn}}\), belongs to a wider class of constructions in which one replaces a naive analytic object by a more structured carrier that simultaneously records analytic, algebraic, and realization-theoretic information [2005.06349], [2111.04229].

Within the \(p\)-adic setting, that carrier is the syntomic stack itself. Its defining gluing identifies de Rham and Hodge–Tate incarnations of prismatised geometry; its line bundles produce rational analytic syntomic cohomology; its vector bundles recover de Rham bundles on the Fargues–Fontaine curve; and its rationalized perfect complexes recover crystalline local systems and admissible filtered \(F\)-isocrystals [2604.15193], [2510.16961].

Source: https://www.emergentmind.com/topics/rational-analytic-syntomification