The pp-adic monodromy group of abelian varieties over global function fields of characteristic pp

We prove an analogue of the Tate isogeny conjecture and the semi-simplicity conjecture for overconvergent crystalline Dieudonn\'e modules of abelian varieties defined over global function fields of characteristic $p$. As a corollary we deduce that monodromy groups of such overconvergent crystalline Dieudonn\'e modules 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$ different from $p$. We also show such a result for general compatible systems incorporating overconvergent $F$-isocrystals, conditional on a result of Abe.Comment: 56 pages, comments welcome

Local Shtukas and Divisible Local Anderson Modules

We develop the analog of crystalline Dieudonn\'e theory for p-divisible groups in the arithmetic of function fields. In our theory p-divisible groups are replaced by divisible local Anderson modules, and Dieudonn\'e modules are replaced by local shtukas. We show that the categories of divisible local Anderson modules and of effective local shtukas are anti-equivalent over arbitrary base schemes. We also clarify their relation with formal Lie groups and with global objects like Drinfeld modules, Anderson's abelian t-modules and t-motives, and Drinfeld shtukas. Moreover, we discuss the existence of a Verschiebung map and apply it to deformations of local shtukas and divisible local Anderson modules. As a tool we use Faltings's and Abrashkin's theory of strict modules, which we review to some extent.Comment: 45 pages, v4: Final version. Appears in Canadian Journal of Mathematics. The present arXiv version contains a few more details and proofs; see page 1 botto

Extensions of simple modules over Leavitt path algebras

Let $E$ be a directed graph, $K$ any field, and let $L_K(E)$ denote the Leavitt path algebra of $E$ with coefficients in $K$. For each rational infinite path $c^\infty$ of $E$ we explicitly construct a projective resolution of the corresponding Chen simple left $L_K(E)$-module $V_{[c^\infty]}$. Further, when $E$ is row-finite, for each irrational infinite path $p$ of $E$ we explicitly construct a projective resolution of the corresponding Chen simple left $L_K(E)$-module $V_{[p]}$. For Chen simple modules $S,T$ we describe ${\rm Ext}_{L_K(E)}^1(S,T)$ by presenting an explicit $K$-basis. For any graph $E$ containing at least one cycle, this description guarantees the existence of indecomposable left $L_K(E)$-modules of any prescribed finite length.Comment: updated: dedication to Alberto Facchini on the occasion of his 60th Birthday added in front matte

Dieudonn\'e modules and pp-divisible groups associated with Morava KK-theory of Eilenberg-Mac Lane spaces

We study the structure of the formal groups associated to the Morava $K$-theories of integral Eilenberg-Mac Lane spaces. The main result is that every formal group in the collection $\{K(n)^*K({\mathbb Z}, q), q=2,3,...\}$ for a fixed $n$ enters in it together with its Serre dual, an analogue of a principal polarization on an abelian variety. We also identify the isogeny class of each of these formal groups over an algebraically closed field. These results are obtained with the help of the Dieudonn\'e correspondence between bicommutative Hopf algebras and Dieudonn\'e modules. We extend P. Goerss's results on the bilinear products of such Hopf algebras and corresponding Dieudonn\'e modules.Comment: 23 page