2025/11/30 by Ruofan Jiang, Jiang, Ruofan
Mathematics · Computer Science · #Algebraic Geometry and Number Theory #Advanced Mathematical Identities #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.2512.00687
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é--Oort conjectures (abbreviated as \MTTp, logALp and geoAOp). In this paper, we achieve multiple goals: (A) establish the implication MTp⇔ logALp ⇒ geoAOp, and show that they all follow from the Tate conjecture for abelian varieties. The equivalence MTp⇔ logALp is exploited from both sides, which enables us to \noindent(B) develop a representation theory approach to logALp and geoAOp by first establishing many cases of MTp via classical techniques, and (C) develop an algebraization approach to \MTTp 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 logALp, while being very approachable via (integral and relative) p-adic Hodge theory. This enables us to prove logALp for compact Tate-linear curves with unramified p-adic monodromy. As an application, we establish \MTTp for many abelian fourfolds of p-adic Mumford type.