Kato's Ramification Filtration

• Kato's ramification filtration is a graded structure on Galois and étale cohomology in positive characteristic, defined via explicit de Rham–Witt complexes.
• It utilizes filtered subcomplexes indexed by divisor multiplicities to capture refined ramification phenomena and to establish duality theorems.
• Its functoriality and compatibility with operations like Frobenius and Verschiebung enable applications in p-adic class field theory, Lefschetz results, and advanced arithmetic geometry.

Kato's ramification filtration is a structure on the Galois and étale cohomology of local and global fields of positive characteristic, providing a graded and filtration-theoretic perspective for the study of ramification phenomena and their dualities in $p$-adic cohomology. This filtration has deep ties to the theory of de Rham–Witt complexes, duality theorems for arithmetic schemes, and the structure of Brauer and Picard groups, especially when additional modulus conditions are imposed.

1. Definition and Construction of the Filtration

Kato’s ramification filtration is defined for Henselian discrete valuation fields $K$ of characteristic $p > 0$, and more generally for the étale cohomology $H^q(U, \mathbb{Z}/p^m(q-1))$, where $U$ is the complement of a simple normal crossing divisor in an $F$-finite regular scheme $X$. For the local case, the filtration $\{\rm fil}_n H^q(K, \mathbb{Q}_p/\mathbb{Z}_p(q-1))\}_{n \ge 0}$ consists of subgroups defined via vanishing of cup products with Kato’s symbol, capturing the growth of ramification.

The approach advanced in (Majumder, 1 Jan 2025) and (Krishna et al., 17 Jan 2026) uses an explicit cohomological model via the filtered de Rham–Witt complex. For a regular $F$-finite scheme $X$ over $\mathbb{F}_p$ with $E = \sum E_i$ a simple normal crossing divisor, and $D = \sum n_i E_i$ an effective divisor supported on $E$, the filtration is encoded in subcomplexes $\mathrm{fil}^D W_m\Omega_X^q$ or $\Fil^D W_m\Omega^q_U$ of the de Rham–Witt sheaves on the étale site: $$\mathrm{fil}^D W_m\Omega_X^q = W_m\mathcal{O}_X(-D) \cdot W_m\Omega_X^q(\log E) + d\bigl[ W_m\mathcal{O}_X(-D) \cdot W_m\Omega_X^{q-1}(\log E) \bigr].$$ This construction uses the multiplicity data $n_i$ of each component $E_i$ in $D$ and provides an explicit description in terms of local equations and Verschiebung-Teichmüller monomials.

2. Local and Global Cohomological Interpretation

At the local level, if $X = \mathrm{Spec}\,A$ where $A$ is a regular local $F_p$-algebra with uniformizers $x_i$, the associated filtration is realized as: $$\mathrm{fil}^D W_m\Omega_A^q = \bigoplus_{n \in \mathbb{Z}^r,\, n_i \ge -n_i} F_{m, q}(n),$$ manifesting as a direct sum over explicit subgroups indexed by multi-indices.

Cohomologically, for every $m \ge 1$ and $q \ge 0$, the filtration realizes Kato's ramification filtration through the isomorphism

$$H^2_{\mathrm{Spec}\,A}\left( W_mF^n \right) \cong \mathrm{fil}^n H^{q+1} (K, \mathbb{Z}/p^m(q-1)),$$

where $K$ is the fraction field of $A$, and $W_mF^n$ denotes the two-term "Witt–log" complex incorporating the higher Cartier operator $C$.

At the global level, for $U = X \setminus E$, the filtration is defined as

$$\mathrm{fil}^n H^{q+1}(U, \mathbb{Z}/p^m(q-1)) := \ker\left[ H^{q+1}(U, \mathbb{Z}/p^m(q-1)) \to \bigoplus_{x \in E^{(0)}} \mathrm{fil}^n H^{q+1}(K_x, \mathbb{Z}/p^m(q-1)) \right].$$

Subsequently, the global cohomology of the filtered Witt–log complex provides a cohomological model for the filtration: $$H^i(X, W_mF^n) \cong \mathrm{fil}^n H^i(U, \mathbb{Z}/p^m(q-1)),\quad 0 \leq i \leq 2.$$ These identifications connect ramification subgroups with subspaces of Witt vector cohomology filtered by modulus.

3. Structure and Functorial Properties

The filtered de Rham–Witt subcomplexes are stable under the basic operations:

• $d$ (differential): $d(\mathrm{fil}^D)\subseteq \mathrm{fil}^D$,
• $F$ (Frobenius): $F(\mathrm{fil}^D_{m+1})\subseteq \mathrm{fil}^D_m$,
• $V$ (Verschiebung): $V(\mathrm{fil}^D_m)\subseteq \mathrm{fil}^D_{m+1}$,
• $R$ (restriction): $R(\mathrm{fil}^D_{m+1}) = \mathrm{fil}^{[D/p]}_m$, where $[D/p]$ denotes the divisor with each multiplicity $\left\lfloor n_i/p \right\rfloor$.

Functoriality extends to maps of simple normal crossing pairs $f: (X',E')\to(X,E)$ with compatible divisors: $f^*D \leq D'$, so the filtration is compatible with pullbacks of divisors. Locally, these filtrations specialize to the Brylinski filtration on Witt vectors and their generalizations.

The graded pieces are concretely described: $\mathrm{gr}^n W_m\Omega^q_U = \Fil^n/\Fil^{n+1} \cong \left(\pi^{-n} W_m\Omega^q_X\right) /\left(\pi^{-n+1} W_m\Omega^q_X + d(\pi^{-n} W_m\Omega^{q-1}_X)\right),$ providing a decomposition that is tractable in computations of ramification and conductor-type invariants.

4. Duality and Lefschetz Theorems

The structure of Kato's ramification filtration has significant implications for cohomological duality. Over finite fields, the construction yields perfect pairings: $$H^i(X, W_mF^n) \times H^{N+1-i}(X, W_m\Omega^{N-q}_X|D_{n+1},\text{log}) \to \mathbb{Z}/p^m,$$ which recovers forms of wild ramification duality and refines Jannsen–Saito–Zhao duality by incorporating ramification data via the modulus (Majumder, 1 Jan 2025, Krishna et al., 17 Jan 2026).

For curves over local fields, these dualities recover class field theory results and provide, via profinite completions, isomorphisms and dualities relevant to $p$-adic class field theory for open curves with modulus.

Lefschetz-type theorems assert that, under ampleness and transversality conditions, the filtrations behave well with respect to restriction to sufficiently ample hyperplane sections, giving isomorphisms and injections for cohomology, Picard, and Brauer groups with modulus. For example, for $X\subset \mathbb{P}^N$ of dimension $N$ and $Y$ a suitable hyperplane, restriction

$$H^i(X, W_m\Omega^q_X(\log E)) \to H^i(Y, W_m\Omega^q_Y(\log E'))$$

and its variants for the filtered and log-modulus complexes are isomorphisms for $i+q\le N-2$ and injective for $i+q=N-1$, leading to invariance of Brauer groups (with modulus) under hyperplane section (Majumder, 1 Jan 2025, Krishna et al., 17 Jan 2026).

5. Comparison with Other Filtration Structures

The construction of Kato's ramification filtration on de Rham–Witt complexes is distinct from the Nygaard filtration, which is prominent in integral $p$-adic Hodge theory and the theory of displays and strongly divisible lattices (Gregory et al., 2017). While the Nygaard filtration is defined via Frobenius divisibility and is crucial for the structure of crystals and the study of crystalline cohomology, Kato's ramification filtration utilizes the filtration by divisors or exponent vectors, introducing a "modulus filtration" which interacts nontrivially with ramified covers and ramification-theoretic invariants.

In the local case, Kato’s filtration specializes to the filtration of Brylinski on Witt vectors over discrete valuation rings. For $q=1$, this recovers the results of Kato and Kerz–Saito, and for $q=0$ it yields generalizations of the refined Artin conductor.

6. Applications and Concrete Examples

The cohomological description of Kato’s ramification filtration supports a range of arithmetic and geometric applications:

• Refined duality theorems: Explicit refinement of Ekedahl’s duality to the modulus and wildly ramified settings; generalization of duality results to cohomology groups with modulus (e.g., for $H^q(U, \mathbb{Z}/p^m(q-1))$) (Majumder, 1 Jan 2025, Krishna et al., 17 Jan 2026).
• Class field theory: Recovery and extension of $p$-adic class field theory for open curves and higher-dimensional varieties with modulus, relating ramification filtrations with abelianized fundamental groups and Brauer groups.
• Lefschetz theorems: Grothendieck–Lefschetz-type results for Picard, Brauer, and ramified Brauer groups, including explicit invariance of $p$-primary Brauer groups under ample hyperplane sections.

Two important special cases:

• For $X$ a smooth projective curve over a finite or local field, the filtration recovers ramified and unramified class field theories in $p$-power torsion.
• For $Y$ any smooth complete intersection of dimension $\geq 3$ in $\mathbb{P}^N$, Kodaira-type vanishing ensures the amplitude conditions required for Lefschetz theorems, yielding invariance of Brauer groups under further intersections.

7. Broader Context and Ongoing Research Directions

Recent advancements (Majumder, 1 Jan 2025, Krishna et al., 17 Jan 2026) have tightly linked Kato’s ramification filtration with explicit Witt complex filtrations, broadening duality frameworks and facilitating generalizations to higher-dimensional arithmetic schemes and their moduli.

The cohomological and structural connections to the de Rham–Witt complex reinforce the role of ramification filtrations in the $p$-adic theory of algebraic cycles, motivic cohomology, and the arithmetic of schemes with modulus conditions.

A plausible implication is that further interaction of Kato-type filtrations with $p$-adic Hodge-theoretic structures—such as displays and relative Nygaard filtrations—is anticipated, especially concerning $p$-adic period maps and deformation theory, as explored in the context of higher displays and strongly divisible lattices (Gregory et al., 2017). The “modulus” viewpoint is expected to influence future research in ramification theory and its connections to derived and motivic aspects of arithmetic geometry.

---

Key References:

• "On Kato's ramification filtration" (Majumder, 1 Jan 2025)
• "Kato's Ramification filtration via de Rham-Witt complex and applications" (Krishna et al., 17 Jan 2026)
• "Higher displays arising from filtered de Rham-Witt complexes" (Gregory et al., 2017)