Geometric Detection and Finiteness of Crystalline Local Systems
Abstract
We prove a geometric detection theorem for crystalline local systems on the generic fiber of a smooth proper scheme over the ring of integers of a p-adic field. The special-fiber crystalline realization detects geometric absolute irreducibility and, modulo constant rank-one twists, determines the restriction to the geometric fundamental group. The main ingredient is a determinant argument combining a finite-order rank-one reduction, period comparison, and the Plücker embedding. As an application, using Abe--Esnault's finiteness theorem and finiteness of stable lattices, we prove finiteness, up to arithmetic character twists, of geometrically absolutely irreducible crystalline local systems of fixed rank. Coefficients may lie in any fixed finite extension of ℚp, and no bound on the Hodge--Tate weights is imposed.
Related
- Geometric finiteness in paracomplex hyperbolic spaces
- On Local Finiteness of Modal K4 Algebras
- Quantum roots for Kac-Moody root systems and finiteness properties of the Kac-Moody affine Bruhat order
- Diameter Bounds and Finiteness of Graphs from Local Intersection Data
- σ-hereditarily closure-preserving ℐ-sn-networks, ℐ-sn-metrizability, and local HCP-finiteness
BibTeX
@misc{liu2026geometric,
title = {{Geometric Detection and Finiteness of Crystalline Local Systems}},
author = {Zhenmou Liu and Jinbang Yang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.26318},
eprint = {2609.26318},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.26318},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Geometric Detection and Finiteness of Crystalline Local Systems
AU - Zhenmou Liu
AU - Jinbang Yang
PY - 2026
DA - 2026/09/22
PB - arXiv
DO - 10.48550/arxiv.2609.26318
UR - https://arxiv.org/abs/2609.26318
AB - We prove a geometric detection theorem for crystalline local systems on the generic fiber of a smooth proper scheme over the ring of integers of a p-adic field. The special-fiber crystalline realization detects geometric absolute irreducibility and, modulo constant rank-one twists, determines the restriction to the geometric fundamental group. The main ingredient is a determinant argument combining a finite-order rank-one reduction, period comparison, and the Plücker embedding. As an application, using Abe--Esnault's finiteness theorem and finiteness of stable lattices, we prove finiteness, up to arithmetic character twists, of geometrically absolutely irreducible crystalline local systems of fixed rank. Coefficients may lie in any fixed finite extension of ℚ_p, and no bound on the Hodge--Tate weights is imposed.
ER -