$p$-adic monodromy and mod $p$ unlikely intersections, II

TL;DR

This paper explores the relationships between $p$-adic monodromy, Mumford--Tate, and unlikely intersection conjectures for abelian schemes in characteristic $p$, introducing new methods and proving several key equivalences and cases.

Contribution

It establishes the equivalence and implications among key conjectures in $p$-adic geometry, develops new representation and algebraization techniques, and introduces crystalline Hodge loci for proving cases of these conjectures.

Findings

Proved $ ext{MT}_p ext{ iff } ext{logAL}_p$

Established $ ext{logAL}_p$ for certain curves with unramified monodromy

Verified $ ext{MTT}_p$ for many abelian fourfolds of Mumford type

Abstract

We study ordinary abelian schemes in characteristic $p$ and their moduli spaces from the perspective of char $p$ Mumford--Tate, log Ax--Lindemann, and geometric Andr\'e--Oort conjectures (abbreviated as $\MTT_p$, $\mathrm{logAL}_p$ and geoAO$_p$). In this paper, we achieve multiple goals: (\textbf{A}) establish the implication $\mathrm{MT}_p\Leftrightarrow \mathrm{logAL}_p \Rightarrow \mathrm{geoAO_p}$, and show that they all follow from the Tate conjecture for abelian varieties. The equivalence $\mathrm{MT}_p\Leftrightarrow \mathrm{logAL}_p$ is exploited from both sides, which enables us to \noindent(\textbf{B}) develop a representation theory approach to $\mathrm{logAL}_p$ and $\mathrm{geoAO_p}$ by first establishing many cases of MT$_p$ via classical techniques, and (\textbf{C}) develop an algebraization approach to $\MTT_p$ that transcends the limitation of classical methods. In particular, we introduce ``crystalline Hodge loci'', a rigid analytic geometric object that encodes the essential information needed for proving $\mathrm{logAL}_p$, while being very approachable via (integral and relative) $p$-adic Hodge theory. This enables us to prove $\mathrm{logAL}_p$ for compact Tate-linear curves with unramified $p$-adic monodromy. As an application, we establish $\MTT_p$ for many abelian fourfolds of $p$-adic Mumford type.