We examine which representations of the absolute Galois group of a field of finite characteristic with image over a finite field of the same characteristic may be constructed by the Galois group's action on the division points of an appropriate Drinfeld module.
To each Drinfeld module over a finitely generated field with generic characteristic, one can associate a Galois representation arising from the Galois action on its torsion points. Recent work of Pink and Rütsche has described the image of this representation up to commensurability. Their theorem is qualitative, and the objective of this paper is to complement this theory with a worked out example. In particular, we give examples of Drinfeld modules of rank 2 for which the Galois action on their torsion points is as large as possible. We will follow the approach that Serre used to give explici…
In this paper, let $ϕ$ be the Drinfeld module over $\mathbb{F}_{q}(T)$ of prime rank $r$ defined by $$ϕ_T=T+τ^{r-1}+T^{q-1}τ^r.$$ We prove that under certain condition on $\mathbb{F}_q$, the adelic Galois representation $$ρ_ϕ:{\rm{Gal}}(\mathbb{F}_q(T)^{\rm{sep}}/\mathbb{F}_q(T))\longrightarrow \varprojlim_{\mathfrak{a}}{\rm{Aut}}(ϕ[\mathfrak{a}])\cong {\rm{GL_r}}(\widehat{A})$$ is surjective.
Frobenius Traces for Rank-2 Drinfeld Modules, Higher-Dimensional Galois Representations, and a Strong Multiplicity One Theorem in Positive Characteristic
In this paper, we formulate the Drinfeld module analogue of a question raised by Lang and studied by Katz on the existence of rational points on abelian varieties over number fields. Given a maximal ideal $\fl$ of $\F_q[T]$, the question essentially asks whether, up to isogeny, a Drinfeld module $ϕ$ over $\F_q(T)$ contains a rational $\fl$-torsion point if the reduction of $ϕ$ at almost all primes of $\F_q[T]$ contains a rational $\fl$-torsion point. Similar to the case of abelian varieties, we show that the answer is positive if the rank of the Drinfeld module is $2$, but negative if the rank…
Suppose we are given a Drinfeld Module $ϕ$ over $\mathbb{F}_q(t)$ of rank $r$ and a prime ideal $\mathfrak{l}$ of $\mathbb{F}_q[T]$. In this paper, we prove that the reducibility of mod $\mathfrak{l}$ Galois representation $${\rm{Gal}}(\mathbb{F}_q(T)^{\rm{sep}}/\mathbb{F}_q(T))\rightarrow {\rm{Aut}}(ϕ[\mathfrak{l}])\cong {\rm{GL}}_r(\mathbb{F}_\mathfrak{l})$$ gives a bound on the degree of $\mathfrak{l}$ which depends only on the rank $r$ of Drinfeld module $ϕ$ and the minimal degree of place $\mathcal{P}$ where $ϕ$ has good reduction at $\mathcal{P}$. Then, we apply this reducibility bound t…
For any Drinfeld module of special characteristic p0 over a finitely generated field, we study the associated adelic Galois representation at all places different from p0 and \infty, and determine the image of the geometric Galois group up to commensurability.
Let $ϕ$ be a rank $r$ Drinfeld $\BF_q[T]$-module determined by $ϕ_T(X) = TX+g_1X^q+...+g_{r-1}X^{q^{r-1}}+X^{q^r}$, where $g_1,...,g_{r-1}$ are algebraically independent over $\BF_q(T)$. Let $N\in\BF_q[T]$ be a polynomial, and $k/\BF_q$ an algebraic extension. We show that the Galois group of $ϕ_N(X)$ over $k(T,g_1,...,g_{r-1})$ is isomorphic to $\GL_r(\BF_q[T]/N\BF_q[T])$, settling a conjecture of Abhyankar.
We derive asymptotically optimal upper bounds on the number of L-rational torsion points on a given elliptic curve or Drinfeld module defined over a finitely generated field K, as a function of the degree [L:K]. Our main tool is the adelic openness of the image of Galois representations attached to elliptic curves and Drinfeld modules, due to Serre and Pink-Ruetsche, respectively. Our approach is to prove a general result for certain Galois modules, which applies simultaneously to elliptic curves and to Drinfeld modules.
We prove that the groups PSL(r,q^d) can be realized F_q(T)-regularly as Galois groups over the purely transcendental field F_q(T)(t_1,...,t_{r-1}) if r is even and r/2 is coprime to q^d-1. The method is to use twisted moduli schemes of Drinfeld modules (a la Shih). If one has sufficient control over modular forms, it can be made into an algorithm to find explicit equations. We do this for PSL(2,q^2) using Drinfeld modular forms.
Drinfeld-modules and $A$-motives are the function field analogous of elliptic curves and abelian varieties. For the latter one can construct the $l$-adic Galois representation and can ask if its image is open. For Drinfeld-modules this question was answered by Pink and his coauthors. We clarify the rank one case for $A$-motives and show that the image of Galois is open if and only if the virtual dimension is prime to the characteristic of the ground field.
Geyer and Jarden proved several results for torsion points of elliptic curves defined over the fixed field by finitely many elements in the absolute Galois group of a finitely generated field over the prime field in its algebraic closure. As an analogue of these results, this paper studies torsion points of Drinfeld modules defined over the fixed field by finitely many elements in the absolute Galois group of a finitely generated function field in its algebraic closure. We prove some results which are similar to those of Geyer and Jarden.
In this paper, we study the surjectivity of adelic Galois representation associated to Drinfeld $\mathbb{F}_q[T]$-modules over $\mathbb{F}_q(T)$ of rank $2$ in the cases when $q$ is even or $q=3$.
We give an effective algorithm to determine the endomorphism ring of a Drinfeld module, both over its field of definition and over a separable or algebraic closure thereof. Using previous results we deduce an effective description of the image of the adelic Galois representation associated to the Drinfeld module, up to commensurability. We also give an effective algorithm to decide whether two Drinfeld modules are isogenous, again both over their field of definition and over a separable or algebraic closure thereof.
We fix data $(K/F, E)$ consisting of a Galois extension $K/F$ of characteristic $p$ global fields with arbitrary abelian Galois group $G$ and a Drinfeld module $E$ defined over a certain Dedekind subring of $F$. For this data, we define a $G$-equivariant $L$-function $Θ_{K/F}^E$ and prove an equivariant Tamagawa number formula for certain Euler-completed versions of its special value $Θ_{K/F}^E(0)$. This generalizes Taelman's class number formula for the value $ζ_F^E(0)$ of the Goss zeta function $ζ_F^E$ associated to the pair $(F, E)$. Taelman's result is obtained from our result by setting $…
In this short note we provide a few examples of non-isomorphic arithmetically equivalent global function fields. These examples are obtained via well-known technique of adjoining the torsion points of various Drinfeld Modules to realise the $Gl_n(\mathbb F_q)$ as a Galois group of extensions of global function fields. Furthermore we afford the code of the Magma scripts to verify the results and construct more examples in similar fashion.
We develop a theory of Tannakian Galois groups for t-motives and relate this to the theory of Frobenius semilinear difference equations. We show that the transcendence degree of the period matrix associated to a given t-motive is equal to the dimension of its Galois group. Using this result we prove that Carlitz logarithms of algebraic functions that are linearly independent over the rational function field are algebraically independent.
We generalize our work on Carlitz prime power torsion extension to torsion extensions of Drinfeld modules of arbitrary rank. As in the Carlitz case, we give a description of these extensions in terms of evaluations of Anderson generating functions and their hyperderivatives at roots of unity. We also give a direct proof that the image of the Galois representation attached to the $\mathfrak{p}$-adic Tate module lies in the $\mathfrak{p}$-adic points of the motivic Galois group. This is a generalization of the corresponding result of Chang and Papanikolas for the $t$-adic case.
Let $k$ be a field containing $\mathbb{F}_q$. Let $ψ$ be a rank $r$ Drinfeld $\mathbb{F}_q[t]$-module determined by $ψ_t(X) = tX+a_1X^q+\cdots+a_{r-1}X^{q^{r-1}}+X^{q^r}$, where $t,a_1,\ldots,a_{r-1}$ are algebraically independent over $k$. Let $n\in\mathbb{F}_q[T]$ be a monic polynomial. We show that the Galois group of $ψ_n(X)$ over $k(t,a_1,\ldots,a_{r-1})$ is isomorphic to $\mathrm{GL}_r(\mathbb{F}_q[t]/n\mathbb{F}_q[t])$, settling a conjecture of Abhyankar. Along the way we obtain an explicit construction of Drinfeld moduli schemes of level $tn$.
Let $k$ be a global function field with field of constants $\Fr$ and let $\infty$ be a fixed place of $k$. In his habilitation thesis \cite{boc2}, Gebhard Böckle attaches abelian Galois representations to characteristic $p$ valued cusp eigenforms and double cusp eigenforms \cite{go1} such that Hecke eigenvalues correspond to the image of Frobenius elements. In the case where $k=\Fr(T)$ and $\infty$ corresponds to the pole of $T$, it then becomes reasonable to ask whether rank 1 Drinfeld modules over $k$ are themselves ``modular'' in that their Galois representations arise from a cusp or double…
Let $F$ be a local non-Archimedean field with ring of integers $o$. Let $\bf X$ be a one-dimensional formal $o$-module of $F$-height $n$ over the algebraic closure of the residue field of $o$. By the work of Drinfeld, the universal deformation $X$ of $\bf X$ is a formal group over a power series ring $R_0$ in $n-1$ variables over the completion of the maximal unramified extension of $o$. For $h \in \{0,...,n-1\}$ let $U_h$ be the subscheme of $\Spec(R_0)$ where the connected part of the associated divisible module of $X$ has height $h$. Using the theory of Drinfeld level structures we show tha…
Let $p$ be a prime, let $K$ be a finite extension of $\mathbb{Q}_p$, and let $n$ be a positive integer. We construct equivalences of categories between continuous $p$-adic representations of the $n$-fold product of the absolute Galois group $G_K$ and $(φ, Γ)$-modules over one of several rings of $n$-variable power series. The case $n=1$ recovers the original construction of Fontaine and the subsequent refinement by Cherbonnier--Colmez; for general $n$, the case $K = \mathbb{Q}_p$ had been previously treated by the third author. To handle general $K$ uniformly, we use a form of Drinfeld's lemma…
We review the analog of Fontaine's theory of crystalline $p$-adic Galois representations and their classification by weakly admissible filtered isocrystals in the arithmetic of function fields over a finite field. There crystalline Galois representations are replaced by the Tate modules of so-called local shtukas. We prove that the Tate module functor is fully faithful. In addition to this étale realization of a local shtuka we discuss also the de Rham and the crystalline cohomology realizations and construct comparison isomorphisms between these realizations. We explain how local shtukas and …
Elaborating on ideas of Elkies, we show how recursive equations for towers of Drinfeld modular curves $(X_0(P^n))_{n\ge 0}$ for $P\in \mathbb F_q[T]$ can be read of directly from the modular polynomial $Φ_P(X,Y)$ and how this naturally leads to recursions of depth two. Although the modular polynomial $Φ_T(X,Y)$ is not known in general, using generators and relations given by Schweizer, we find unreduced recursive equations over $\mathbb F_q(T)$ for the tower $(X_0(T^n))_{n\ge 2}$ and of a small variation of it (its partial Galois closure). Reducing at various primes, one obtains towers over fi…
Let $\mathbb{F}_q[T]$ be the polynomial ring over a finite field $\mathbb{F}_q$. We study the endomorphism rings of Drinfeld $\mathbb{F}_q[T]$-modules of arbitrary rank over finite fields. We compare the endomorphism rings to their subrings generated by the Frobenius endomorphism and deduce from this a refinement of a reciprocity law for division fields of Drinfeld modules proved in our earlier paper. We then use these results to give an efficient algorithm for computing the endomorphism rings and discuss some interesting examples produced by our algorithm.
Our aim of this and subsequent papers is to enlighten (a part of, presumably) arithmetic structures of knots. This paper introduces a notion of profinite knots which extends topological knots and shows its various basic properties. Particularly an action of the absolute Galois group of the rational number field on profinite knots is rigorously established, which is attained by our extending the action of Drinfeld's Grothendieck-Teichmüller group on profinite braid groups into on profinite knots.
Pink has given a qualitative answer to the Mumford-Tate conjecture for Drinfeld modules in the 90s. He showed that the image of the v-adic Galois representation is v-adically open in the motivic Galois group for any prime v. In contrast to this result, we provide a family of uniformizable Anderson t-modules for which the Galois representations of their t-adic Tate-modules are "far from" having t-adically open image in their motivic Galois groups. Nevertheless, the image is still Zariski-dense in the motivic Galois group which is in accordance to the Mumford-Tate conjecture. For the proof, we e…
Recently, Gekeler proved that the group of invertible analytic functions modulo constant functions on Drinfeld's upper half space is isomorphic to the dual of an integral generalized Steinberg representation. In this note we show that the group of invertible functions is the dual of a universal extension of that Steinberg representation. As an application, we show that lifting obstructions of rigid analytic theta cocycles of Hilbert modular forms in the sense of Darmon--Vonk can be computed in terms of $\mathcal{L}$-invariants of the associated Galois representation. The same argument applies …
We extend the lifting methods of our previous paper to lift reducible odd representations $\barρ:\mathrm{Gal}(\overline{F}/F) \to G(k)$ of Galois groups of global fields $F$ valued in Chevalley groups $G(k)$. Lifting results, when combined with automorphy lifting results pioneered by Wiles in the number field case and the results on the global Langlands correspondence proved by Drinfeld and L. Lafforgue in the function field case, give the only known method to access modularity of mod $p$ Galois representations in both reducible and irreducible cases. In the reducible case this allows one to s…
We prove that the density of ramified primes in semisimple p-adic representations of Galois groups of number fields is 0. Ravi Ramakrishna has produced examples of such representations that are infinitely ramified.
We determine the Galois representations inside the $l$-adic cohomology of some unitary Shimura varieties at split places where they admit uniformization by finite products of Drinfeld upper half spaces. Our main results confirm Langlands-Kottwitz's description of the cohomology of Shimura varieties in new cases.
We introduce a method for producing congruences between Hecke eigenclasses, possibly torsion, in the coherent cohomology of automorphic vector bundles on certain good reduction Shimura varieties. The congruences are produced using some "generalized Hasse invariants" adapted to the Ekedahl-Oort stratification of the special fiber.
Let $ϕ$ be a non-isotrivial family of Drinfeld A-modules of rank r in generic characteristic with a suitable level structure over a connected smooth algebraic variety X. Suppose that the endomorphism ring of $ϕ$ is equal to A. Then we show that the closure of the analytic fundamental group of X in $SL_r(\mathbb{A}_F^f)$ is open, where $\mathbb{A}_F^f$ denotes the ring of finite adeles of the quotient field F of A. From this we deduce two further results: (1) If X is defined over a finitely generated field extension of F, the image of the arithmetic étale fundamental group of X on the adelic Ta…
Revised: just some typos, reorganized a bit the article. It will be published in the VIASM Annual meeting, Hanoi. We give a detailed account of Deligne's letter to Drinfeld dated June 18, 2011, in which he shows that there are finitely many irreducible lisse $\bar \Q_\ell$-sheaves with bounded ramification, up to isomorphism and up to twist, on a smooth variety defined over a finite field. The proof relies on Lafforgue's Langlands correspondence over curves. In addition, Deligne shows the existence of affine moduli of finite type over $\mathbb{Q}$. A corollary of Deligne's finiteness theorem i…
We generalize some results of Greither and Popescu to a geometric Galois cover $X\rightarrow Y$ which appears naturally for example in extensions generated by $\mathfrak{p}^n$-torsion points of a rank 1 normalized Drinfeld module (i.e. in subextensions of Carlitz-Hayes cyclotomic extensions of global fields of positive characteristic). We obtain a description of the Fitting ideal of class groups (or of their dual) via a formula involving Stickelberger elements and providing a link (similar to the one in \cite{ABBL}) with Goss $ζ$-function.
Let F be a global function field and let F^ab be its maximal abelian extension. Following an approach of D.Hayes, we shall construct a continuous homomorphism ρ: Gal(F^ab/F) \to C_F, where C_F is the idele class group of F. Using class field theory, we shall show that our ρis an isomorphism of topological groups whose inverse is the Artin map of F. As a consequence of the construction of ρ, we obtain an explicit description of F^ab. Fix a place \infty of F, and let A be the subring of F consisting of those elements which are regular away from \infty. We construct ρby combining the Galois actio…
We prove the semisimplicity conjecture for A-motives over finitely generated fields K. This conjecture states that the rational Tate modules V_p(M) of a semisimple A-motive M are semisimple as representations of the absolute Galois group of K. This theorem is in analogy with known results for abelian varieties and Drinfeld modules, and has been sketched previously by Akio Tamagawa. We deduce two consequences of the theorem for the algebraic monodromy groups G_p(M) associated to an A-motive M by Tannakian duality. The first requires no semisimplicity condition on M and states that G_p(M) may be…
Let k be a global field, $\bar{k}$ a separable closure of k, and $G_k$ the absolute Galois group $\Gal(\bar{k}/k)$ of $\bar{k}$ over k. For every g in $G_k$, let $\bar{k}^g$ be the fixed subfield of $\bar{k}$ under g. Let E/k be an elliptic curve over k. We show that for each g in $G_k$, the Mordell-Weil group $E(\bar{k}^g)$ has infinite rank in the following two cases. Firstly when k is a global function field of odd characteristic and E is parametrized by a Drinfeld modular curve, and secondly when k is a totally real number field and E/k is parametrized by a Shimura curve. In both cases our…
This is a report on associators which is based on my talk at the Mathematische Arbeitstagung in Bonn, June 2011. I first recall Drinfeld's definition of associators and explain my (and its related) results in arXiv:math/0702128 and arXiv:0808.0319. Then I explain recent developments on the four pro-unipotent algebraic groups related to associators; the motivic Galois group, the Grothendieck-Teichmuller group, the double shuffle group and the Kashiwara-Vergne group.
In 1997 Richard Pink has clarified the concept of Hodge structures over function fields in positive characteristic, which today are called Hodge-Pink structures. They form a neutral Tannakian category over the underlying function field. He has defined Hodge realization functors from the uniformizable abelian $t$-modules and $t$-motives of Greg Anderson to Hodge-Pink structures. This allows one to associate with each uniformizable $t$-motive a Hodge-Pink group, analogous to the Mumford-Tate group of a smooth projective variety over the complex numbers. It further enabled Pink to prove the analo…
Given an abelian variety J and an abelian subvariety A of J over a number field K, we study the visible elements of the Shafarevich-Tate group of A with respect to J over certain number field extension M of K. The notion of visible elements in Shafarevich-Tate group of an abelian variety was introduced by Mazur. In this article, we study the image of Visible elements of A with respect to J under the natural restriction map of the Galois cohomology of A over K to the Galois cohomology of A over M. In particular, for a fixed odd prime p, we investigate the conditions under which visible elements…
This communication is an introduction to the Langlands Program and to ($G$-) shtukas (over algebraic curves) over function fields. Modular curves and Drinfeld (elliptic) modules and shtukas are used in coding theory. From this point of view the communication is concerned with mathematical models and methods of coding theory. For a connected reductive group $ G $ over a global field $ K $, the Langlands correspondence relates automorphic forms on $ G $ and global Langlands parameters, i.e. conjugacy classes of homomorphisms from the Galois group $ {\mathcal Gal} ({\overline K} / K) $ to the dua…
If E is a non-isotrivial elliptic curve over a global function field F of odd characteristic we show that certain Mordell-Weil groups of E have 1-dimensional eigenspace relative to a fixed complex ring class character provided that the projection onto this eigenspace of a suitable Drinfeld-Heegner point is nonzero. This represents the analogue in the function field setting of a theorem for rational elliptic curves due to Bertolini and Darmon, and at the same time is a generalization of the main result proved by Brown in his monograph on Heegner modules. As in the number field case, our proof e…