Table of Contents
Fetching ...

Hyodo-Kato theory with syntomic coefficients

Kazuki Yamada

TL;DR

The paper constructs a comprehensive p-adic framework for cohomology with coefficients in variations of mixed Hodge structures, blending Hyodo–Kato theory with log overconvergent $F$-isocrystals and syntomic coefficients. It develops Hyodo–Kato cohomology with coefficients, proves rigidity results via a tannakian approach to unipotent objects, and extends these constructions to mixed characteristic through $p$-adic Hodge and syntomic cohomologies, including a generalized Hyodo–Kato map. A Kim–Hain CDGA with monodromy and Frobenius structures underpins the coefficient theory, while base-change and independence results guarantee robustness under changes of log branches and uniformizers. Collectively, these results provide a solid foundation for explicit p-adic realizations of Hodge-type theories and for computations of p-adic regulators and special values in the semistable setting.

Abstract

The purpose of this article is to establish theories concerning $p$-adic analogues of Hodge cohomology and Deligne-Beilinson cohomology with coefficients in variations of mixed Hodge structures. We first study log overconvergent $F$-isocrystals as coefficients of Hyodo-Kato cohomology. In particular, we prove a rigidity property of Hain-Zucker type for mixed log overconvergent $F$-isocrystals. In the latter half of the article, we give a new definition of syntomic coefficients as coefficients of $p$-adic Hodge cohomology and syntomic cohomology, and prove some fundamental properties concerning base change and admissibility. In particular, we see that our framework of syntomic coefficients depends only on the choice of a branch of the $p$-adic logarithm, but not on the choice of a uniformizer of the base ring. The rigid analytic reconstruction of Hyodo-Kato map studied by Ertl and the author plays a key role throughout this article.

Hyodo-Kato theory with syntomic coefficients

TL;DR

The paper constructs a comprehensive p-adic framework for cohomology with coefficients in variations of mixed Hodge structures, blending Hyodo–Kato theory with log overconvergent -isocrystals and syntomic coefficients. It develops Hyodo–Kato cohomology with coefficients, proves rigidity results via a tannakian approach to unipotent objects, and extends these constructions to mixed characteristic through -adic Hodge and syntomic cohomologies, including a generalized Hyodo–Kato map. A Kim–Hain CDGA with monodromy and Frobenius structures underpins the coefficient theory, while base-change and independence results guarantee robustness under changes of log branches and uniformizers. Collectively, these results provide a solid foundation for explicit p-adic realizations of Hodge-type theories and for computations of p-adic regulators and special values in the semistable setting.

Abstract

The purpose of this article is to establish theories concerning -adic analogues of Hodge cohomology and Deligne-Beilinson cohomology with coefficients in variations of mixed Hodge structures. We first study log overconvergent -isocrystals as coefficients of Hyodo-Kato cohomology. In particular, we prove a rigidity property of Hain-Zucker type for mixed log overconvergent -isocrystals. In the latter half of the article, we give a new definition of syntomic coefficients as coefficients of -adic Hodge cohomology and syntomic cohomology, and prove some fundamental properties concerning base change and admissibility. In particular, we see that our framework of syntomic coefficients depends only on the choice of a branch of the -adic logarithm, but not on the choice of a uniformizer of the base ring. The rigid analytic reconstruction of Hyodo-Kato map studied by Ertl and the author plays a key role throughout this article.

Paper Structure

This paper contains 17 sections, 79 theorems, 335 equations.

Key Result

Theorem 1

Let $Y$ be a connected strictly semistable log scheme over $k^0$ and assume that there exists a $k$-rational point $y$ in the smooth locus of $Y$. Let $\pi_1^{\mathrm{unip}}(Y,y)$ be the tannakian fundamental group of unipotent log overconvergent isocrystals. Then there exists a canonical equivalenc between the category of mixed log overconvergent $F$-isocrystals and the category of finite-dimensi

Theorems & Definitions (213)

  • Theorem 1: Theorem \ref{['thm: mixed Mod']}
  • Theorem 2: Results in § \ref{['sec: HK map']}
  • Theorem 3: Results in § \ref{['sec: syn coh']}
  • Definition 1.1: MW
  • Definition 1.2: EY
  • Remark 1.3
  • Definition 1.4: EY
  • Definition 1.5: EY
  • Definition 1.7: EY
  • Remark 1.8
  • ...and 203 more