Canonical subgroups of generalized Drinfeld modules (Q2221697)

Let \(F\) be a global function field over a finite field \(\mathbb{F}_q\) of characteristic \(p\), fix a prime \(\infty\) and let \(A\) be the ring of functions regular outside \(\infty\). Fix a prime \(\nu\) of \(A\): consider \(A_\nu\) and \(F_\nu\) as the completions of \(A\) and \(F\) at \(\nu\), put \(\mathbb{C}_\nu\) for the completion of an algebraic closure of \(F_\nu\), and take a local subring \(R\) of \(\mathbb{C}_\nu\) containing \(A_\nu\). Let \(\varphi\) be a (generalized) Drinfeld module of rank \(r\) over \(R\): the paper provides conditions for the existence of canonical subgroups of \(\varphi[\nu]\) (the scheme of \(\nu\)-torsion points of \(\varphi\)) and studies their main properties with respect to canonical and anti-canonical isogenies. The author identifies a canonical subgroup \(C\) with the set of \(q^d\) points of maximal \(\nu\)-adic valuation, providing equivalent conditions for its existence and an explicit description of it as a subgroup scheme, thus generalizing recent results of \textit{S. Kondo} and \textit{Y. Sugiyama} [``An explicit form of the canonical submodule of a Drinfeld module'', Preprint, \url{arXiv:1803.01981}] and of \textit{S. Greve}[\(p\)-adic Drinfeld modular forms of higher rank. Münster: Westfälische Wilhelms-Universität (Master Thesis) (2019)]. The proofs rely on the study of vertices in the Newton polygon of \(\varphi_a(T)=0\) for an element \(a\in A\) of \(\nu\)-adic valuation 1: the author basically imposes conditions on the coefficients of \(\varphi_a\) to ensure that the first edge (i.e. the one with maximal slope) has the right lenght. The same approach (considering also a polynomial or \(\varphi_a(T)=t\) for some \(t\in C-\{0\}\)) is used to provide conditions for the existence of canonical subgroups for \(\varphi/C\) and \(\varphi/H\) for the canonical group \(C\) and its complement \(H\) (i.e. \(C(\mathbb{C}_\nu)\oplus H(\mathbb{C}_\nu)=\varphi[\nu](\mathbb{C}_\nu)\)). The paper ends by rapidly generalizing the above results to the existence of canonical subgroups for the scheme \(\varphi[\nu^n]\) for any \(n\geqslant 1\).