The \(p\)-adic monodromy group of abelian varieties over global function fields of characteristic \(p\) (Q2172751)

Let \(U\) be a geometrically connected smooth quasi-projective curve defined over the finite field \(\mathbb{F}_q\) of characteristic \(p\). For every perfect field \(k\) of characteristic \(p\) let \(\mathbb{W}(k)\) denote the ring of Witt vectors of \(k\) of infinite length. Let \(\mathbb{Z}_q\) and \(\mathbb{Q}_q\) denote \(\mathbb{W}(\mathbb{F}_q)\) and its the fraction field. For every abelian scheme \(A\) over \(U\) denote by \(D^{\dagger}(A)\) the overconvergent crystalline Dieudonné module (OCDM) of \(A\) over \(U\). It is a \(\mathbb{Q}_q\)-linear \(F\) -isocrystal equipped with the Frobenius \(p\)-power. The author proves an analogue of the Tate isogeny conjecture and the semi-simplicity conjecture for \(D^{\dagger}(A)\). As a corollary he deduces that monodromy groups of such OCDMs are reductive, and after a finite base change of coefficients their connected components are the same as the connected components of monodromy groups of Galois representations on the corresponding \(l\)-adic Tate modules, for \(l \neq p\). He proves such a result also for general compatible systems incorporating overconvergent \(F\)-isocrystals, conditional on a result of Abe.