Nygaard Filtration in p-adic Cohomology

• Nygaard filtration is an integral Frobenius-divisibility mechanism on p-adic cohomological complexes, unifying classical de Rham–Witt and prismatic theories.
• It appears in diverse forms—including filtered subcomplexes, Rees constructions, and stack-theoretic models—that reflect various indexing conventions and normalizations.
• The filtration facilitates direct comparisons with Hodge, conjugate, and Sen structures while underpinning arithmetic, motivic, and display-theoretic applications.

Nygaard filtration is a filtration attached to $p$-adic cohomological objects in which Frobenius divisibility is encoded integrally. In the classical de Rham–Witt setting it is a filtered subcomplex on which a divided Frobenius $\varphi/p^n$ is defined, while in modern prismatic theory it appears as a filtration on absolute or relative prismatic cohomology, often on a Frobenius-twisted object, and can be packaged by Rees constructions and stacks. The recent literature uses several conventions—decreasing versus increasing indexing, filtrations on $\Delta$ or on $F^*\Delta$, and, in some positive-characteristic treatments, only the first Nygaard piece—so the term denotes a closely related family of Frobenius-divisibility structures rather than a single universal formula (Hauck, 6 May 2025, Sahai, 22 Dec 2025, Grammatica, 11 Jul 2025).

1. Classical formulations and Frobenius divisibility

In the de Rham–Witt complex of a smooth $X/F_p$, one classical form of the Nygaard filtration is the filtered subcomplex

$$\mathrm N^{\geq n}W\Omega_X = p^{n-1}VW\mathcal O_X \to p^{n-2}VW\Omega_X^1 \to \cdots \to VW\Omega_X^{n-1} \to W\Omega_X^n \to \cdots,$$

where $V$ is the Verschiebung. The defining feature is that Frobenius on this subcomplex is divisible by $p^n$, so one obtains a divided Frobenius

$$\varphi_n:=\varphi/p^n:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X.$$

This is used to define the syntomic complex

$$Z_p(n)(X):=\mathrm{fib}\bigl(\varphi_n-1:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X\bigr),$$

and the associated graded description

$\varphi/p^n$0

identifies the Nygaard filtration as the mechanism relating Frobenius-divisible Witt complexes to truncated de Rham data (Hyslop, 2024).

A different but closely related positive-characteristic formulation isolates only the first Nygaard piece of crystalline cohomology. For a smooth $\varphi/p^n$1-scheme $\varphi/p^n$2 over a perfect field $\varphi/p^n$3 of characteristic $\varphi/p^n$4, one defines

$\varphi/p^n$5

where $\varphi/p^n$6 is the kernel of the reduction map $\varphi/p^n$7 on the big fppf crystalline site. This fits into the exact triangle

$\varphi/p^n$8

and, for elementary quasiregular semiperfect algebras $\varphi/p^n$9, admits the explicit characterization

$\Delta$0

Here the Nygaard condition is precisely the condition needed to define $\Delta$1, and hence the operator $\Delta$2, on an integral subobject of crystalline cohomology (Grammatica, 11 Jul 2025).

These formulations share the same structural content: a Nygaard piece is the part of an integral cohomological object on which Frobenius is divisible by the appropriate power of $\Delta$3 or of the prism ideal. This suggests that Nygaard filtration is best viewed as an integral Frobenius-divisibility device before it is viewed as a comparison filtration.

2. Prismatic and stack-theoretic formulations

In absolute prismatic cohomology, the Nygaard filtration is a filtered object

$\Delta$4

attached to a bounded $\Delta$5-adic formal scheme $\Delta$6 that is $\Delta$7-quasisyntomic and qcqs. A stack-theoretic model is the Nygaard-filtered prismatisation

$\Delta$8

together with the Rees map

$\Delta$9

The pushforward along $F^*\Delta$0 computes the Nygaard filtration: $F^*\Delta$1 In this language, $F^*\Delta$2 computes prismatic cohomology, $F^*\Delta$3 computes Nygaard-filtered prismatic cohomology, and $F^*\Delta$4 computes Hodge-filtered de Rham cohomology. The stacky comparison theorem is expressed by a commutative square

$F^*\Delta$5

which is an almost pushout up to $F^*\Delta$6-isogeny; for $F^*\Delta$7, the induced square on cohomology after inverting $F^*\Delta$8 is a pullback, and it is integral when the Hodge–Tate weights of $F^*\Delta$9 are all at least $X/F_p$0 (Hauck, 6 May 2025).

This stacky formalism also enlarges the coefficient theory. The natural coefficient category for Nygaard-filtered prismatic cohomology is

$X/F_p$1

whose objects are called gauges. For a gauge $X/F_p$2,

$X/F_p$3

The comparison with Hodge-filtered de Rham cohomology then extends from the structure sheaf to arbitrary perfect gauges on smooth proper $X/F_p$4-adic formal schemes, with the same weight-dependent integral range (Hauck, 6 May 2025).

A geometric refinement appears in positive characteristic. For a perfect ring $X/F_p$5 of characteristic $X/F_p$6, the parameter stack is

$X/F_p$7

and the Rees algebra of Nygaard filtered prismatic cohomology is

$X/F_p$8

The Nygaard filtered prismatization $X/F_p$9 is then identified with the relative spectrum of this Rees algebra over $$\mathrm N^{\geq n}W\Omega_X = p^{n-1}VW\mathcal O_X \to p^{n-2}VW\Omega_X^1 \to \cdots \to VW\Omega_X^{n-1} \to W\Omega_X^n \to \cdots,$$0: $$\mathrm N^{\geq n}W\Omega_X = p^{n-1}VW\mathcal O_X \to p^{n-2}VW\Omega_X^1 \to \cdots \to VW\Omega_X^{n-1} \to W\Omega_X^n \to \cdots,$$1 Its specializations recover Frobenius-twisted prismatic cohomology, prismatic cohomology, Hodge-filtered derived de Rham cohomology, conjugate-filtered Hodge–Tate cohomology, Hodge–Tate cohomology, and Hodge cohomology (Sahai, 22 Dec 2025).

3. Higher, logarithmic, and relative variants

One higher analogue is the $$\mathrm N^{\geq n}W\Omega_X = p^{n-1}VW\mathcal O_X \to p^{n-2}VW\Omega_X^1 \to \cdots \to VW\Omega_X^{n-1} \to W\Omega_X^n \to \cdots,$$2-Nygaard filtration on absolute prismatic cohomology. For an animated ring $$\mathrm N^{\geq n}W\Omega_X = p^{n-1}VW\mathcal O_X \to p^{n-2}VW\Omega_X^1 \to \cdots \to VW\Omega_X^{n-1} \to W\Omega_X^n \to \cdots,$$3, the $$\mathrm N^{\geq n}W\Omega_X = p^{n-1}VW\mathcal O_X \to p^{n-2}VW\Omega_X^1 \to \cdots \to VW\Omega_X^{n-1} \to W\Omega_X^n \to \cdots,$$4-th Nygaard piece is defined by iterating the pullback of the inclusion and divided Frobenius maps: $$\mathrm N^{\geq n}W\Omega_X = p^{n-1}VW\mathcal O_X \to p^{n-2}VW\Omega_X^1 \to \cdots \to VW\Omega_X^{n-1} \to W\Omega_X^n \to \cdots,$$5 This literal “gluing $$\mathrm N^{\geq n}W\Omega_X = p^{n-1}VW\mathcal O_X \to p^{n-2}VW\Omega_X^1 \to \cdots \to VW\Omega_X^{n-1} \to W\Omega_X^n \to \cdots,$$6 copies of the usual Nygaard filtration” produces canonical maps

$$\mathrm N^{\geq n}W\Omega_X = p^{n-1}VW\mathcal O_X \to p^{n-2}VW\Omega_X^1 \to \cdots \to VW\Omega_X^{n-1} \to W\Omega_X^n \to \cdots,$$7

and recovers the usual Nygaard filtration at $$\mathrm N^{\geq n}W\Omega_X = p^{n-1}VW\mathcal O_X \to p^{n-2}VW\Omega_X^1 \to \cdots \to VW\Omega_X^{n-1} \to W\Omega_X^n \to \cdots,$$8. For quasiregular-semiperfectoid $$\mathrm N^{\geq n}W\Omega_X = p^{n-1}VW\mathcal O_X \to p^{n-2}VW\Omega_X^1 \to \cdots \to VW\Omega_X^{n-1} \to W\Omega_X^n \to \cdots,$$9,

$V$0

while for a perfectoid ring $V$1,

$V$2

Moreover,

$V$3

so truncated Witt vectors occur as the $V$4-th graded pieces of the $V$5-Nygaard filtration (Andriopoulos, 2024).

In logarithmic prismatic cohomology, the appropriate object is the Frobenius-twisted derived logarithmic prismatic complex

$V$6

The derived Nygaard filtration is a decreasing multiplicative filtration by $V$7-complete objects on this Frobenius twist, characterized locally by the divisibility condition

$V$8

and globally by left Kan extension from free pre-log rings. Its graded pieces are identified with the conjugate filtration on the Hodge–Tate specialization: $V$9 Under Cartier type hypotheses, Frobenius factors through $p^n$0, and one has

$p^n$1

which yields the logarithmic de Rham comparison after reducing modulo $p^n$2 (Koshikawa et al., 2023).

A relative display-theoretic variant occurs over a PD-thickening $p^n$3. There the relative Nygaard complex $p^n$4 modifies the de Rham–Witt Nygaard complex by adjoining terms involving the logarithmic Teichmüller ideal, and the relative Frobenius-divisibility is encoded by replacing multiplication by $p^n$5 with the map $p^n$6. The hypercohomology of these relative Nygaard complexes gives the filtered pieces of a relative display over the relative Witt frame (Gregory et al., 2017).

4. Comparison with Hodge, conjugate, Hodge–Tate, and Sen structures

A central theme of the modern theory is that Nygaard filtration is the integral object whose associated graded or special fibers recover Hodge-theoretic structures. In the stacky prismatic formulation, the Hodge-filtered de Rham map

$p^n$7

is an almost isomorphism over the locus $p^n$8 up to $p^n$9-isogeny. For $$\varphi_n:=\varphi/p^n:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X.$$0,

$$\varphi_n:=\varphi/p^n:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X.$$1

and this is integral when the Hodge–Tate weights are all at least $$\varphi_n:=\varphi/p^n:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X.$$2. The key operator is

$$\varphi_n:=\varphi/p^n:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X.$$3

which acts by multiplication by $$\varphi_n:=\varphi/p^n:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X.$$4 on $$\varphi_n:=\varphi/p^n:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X.$$5. This is what yields the $$\varphi_n:=\varphi/p^n:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X.$$6-isogeny comparison between Nygaard truncations and Hodge truncations. The same framework identifies the special fiber $$\varphi_n:=\varphi/p^n:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X.$$7 with conjugate-filtered diffracted Hodge data together with the Sen operator (Hauck, 6 May 2025).

An integral representation-theoretic version appears in the theory of Breuil–Kisin modules. For an effective isogeny $$\varphi_n:=\varphi/p^n:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X.$$8, the decreasing Nygaard filtration is

$$\varphi_n:=\varphi/p^n:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X.$$9

It induces the Hodge filtration on

$$Z_p(n)(X):=\mathrm{fib}\bigl(\varphi_n-1:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X\bigr),$$0

through

$$Z_p(n)(X):=\mathrm{fib}\bigl(\varphi_n-1:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X\bigr),$$1

and the conjugate filtration on

$$Z_p(n)(X):=\mathrm{fib}\bigl(\varphi_n-1:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X\bigr),$$2

through the map

$$Z_p(n)(X):=\mathrm{fib}\bigl(\varphi_n-1:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X\bigr),$$3

The resulting graded pieces satisfy

$$Z_p(n)(X):=\mathrm{fib}\bigl(\varphi_n-1:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X\bigr),$$4

In the same setting, filtered integral Sen theory shows that, for the amplified Sen operator $$Z_p(n)(X):=\mathrm{fib}\bigl(\varphi_n-1:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X\bigr),$$5,

$$Z_p(n)(X):=\mathrm{fib}\bigl(\varphi_n-1:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X\bigr),$$6

and $$Z_p(n)(X):=\mathrm{fib}\bigl(\varphi_n-1:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X\bigr),$$7 acts on the $$Z_p(n)(X):=\mathrm{fib}\bigl(\varphi_n-1:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X\bigr),$$8-th conjugate graded piece by multiplication by $$Z_p(n)(X):=\mathrm{fib}\bigl(\varphi_n-1:\mathrm N^{\geq n}W\Omega_X\to W\Omega_X\bigr),$$9 (Gao et al., 2024).

These comparison statements show that Nygaard filtration is not merely parallel to Hodge or conjugate filtrations. It is the filtered source from which both can be recovered, either through associated graded constructions, through special fibers of Rees objects, or through explicit quotient and image filtrations.

5. Arithmetic, homotopical, and geometric applications

The $\varphi/p^n$00-Nygaard filtration provides the prismatic interpretation of topological restriction homology. For a quasisyntomic ring $\varphi/p^n$01, the motivic filtrations on $\varphi/p^n$02 and $\varphi/p^n$03 have even graded pieces

$\varphi/p^n$04

For perfectoid $\varphi/p^n$05,

$\varphi/p^n$06

and

$\varphi/p^n$07

This makes the $\varphi/p^n$08-Nygaard filtration the organizing structure for the motivic theory of $\varphi/p^n$09, just as the ordinary Nygaard filtration organizes the motivic theory of $\varphi/p^n$10 and $\varphi/p^n$11 (Andriopoulos, 2024).

In the arithmetic of schemes over finite fields, a Nygaard-style proof of Milne’s formula expresses the $\varphi/p^n$12-adic absolute value of the special value $\varphi/p^n$13 through the syntomic complex and the Nygaard quotient: $\varphi/p^n$14 Here the quotient $\varphi/p^n$15 is identified with the correction-factor object, and its finite Nygaard filtration reduces the computation to truncated de Rham complexes (Hyslop, 2024).

In positive characteristic, the first Nygaard piece on crystalline cohomology yields the exact triangle

$\varphi/p^n$16

which recovers Illusie’s comparison with the slope $\varphi/p^n$17 part after inverting $\varphi/p^n$18. The same Frobenius-divisibility formalism, combined with perfection or quasisyntomic-style descent, is used to revisit infinitesimal and fppf comparison statements and to compute explicit examples such as ordinary abelian varieties and products of supersingular elliptic curves (Grammatica, 11 Jul 2025).

In the theory of displays, Frobenius-divisibility induced by the Nygaard filtration on the relative de Rham–Witt complex equips crystalline cohomology with a higher display structure. For $\varphi/p^n$19,

$\varphi/p^n$20

provides the filtered pieces of a display on $\varphi/p^n$21, and the relative Nygaard complexes over a PD-thickening $\varphi/p^n$22 similarly produce a relative display over the relative Witt frame (Gregory et al., 2017).

6. Conventions, special cases, and current perspective

The literature recorded here uses the expression “Nygaard filtration” in several adjacent senses. It may denote a decreasing filtration on absolute prismatic cohomology $\varphi/p^n$23, a filtration on a Frobenius-twisted prismatic object $\varphi/p^n$24, the first Nygaard piece $\varphi/p^n$25 on crystalline cohomology, or the $\varphi/p^n$26-indexed family $\varphi/p^n$27. This multiplicity is not merely terminological: it reflects different ambient categories and different normalizations of Frobenius and of the relevant ideal (Sahai, 22 Dec 2025, Grammatica, 11 Jul 2025, Andriopoulos, 2024).

At the same time, a large set of special cases serves as a consistency check. In the perfectoid case, the $\varphi/p^n$28-Nygaard filtration becomes the $\varphi/p^n$29-adic filtration on $\varphi/p^n$30. In quasiregular semiperfect or quasiregular semiperfectoid settings, the filtration admits direct formulas in terms of the divisibility of $\varphi/p^n$31. In smooth logarithmic situations of Cartier type, the derived Nygaard filtration identifies with $\varphi/p^n$32. In the stacky positive-characteristic setting, Nygaard filtered prismatization is de Rham affine and is literally reconstructed as the relative spectrum of a Rees algebra over $\varphi/p^n$33 (Andriopoulos, 2024, Koshikawa et al., 2023, Sahai, 22 Dec 2025).

A common misconception is that Nygaard filtration is only a technical auxiliary filtration used to prove comparison theorems. The cited work shows a broader picture. Nygaard filtrations define coefficient categories such as gauges, recover Hodge and conjugate filtrations through associated graded constructions, control Sen operators, organize motivic filtrations on $\varphi/p^n$34, produce syntomic exact triangles, and, in geometric formulations, are themselves represented by stacks or relative spectra. This suggests that Nygaard filtration occupies a central structural position among prismatic, de Rham, Hodge–Tate, crystalline, and de Rham–Witt theories (Hauck, 6 May 2025, Sahai, 22 Dec 2025).