Arxiv:1907.05144V3 [Math.NT] 5 Feb 2021 Edaaouso Litccre N Bla Aite.In Varieties

Home , Tate module

arXiv:1907.05144v3 [math.NT] 5 Feb 2021 edaaouso litccre n bla aite.In varieties. abelian and curves elliptic of analogues field rusatce oi.Aogohr,teei h associated the is there subgroup algebraic others, an Among is which group) it. Mumford-Tate to attached groups C H ugopo im( of subgroup edo hrceitczr,a qiaetfruaini w is formulation equivalent an zero, characteristic of field ti elkonta h mg of image the that well-known is It sntrlyioopi to isomorphic naturally is Gal( see aik-es.A h ufr-aegroup Mumford-Tate the As Zariski-dense. even is G utemr,terational the Furthermore, . A 1 .Introduction 1. ie naeinvariety abelian an Given Date representation Galois References The group Galois Motivic 6. module The Carlitz the of 5. Prolongations representations Galois of 4. Density 3. Notation 2. h aeqetosaiefrDifl oue n Anderson and modules Drinfeld for arise questions same The ( A cmati the in (compact F ( sep C 4 : emn h oii aosgopa ela h aosrepres Galois the as t well For as conjecture. group Mumford-Tate Galois motivic the Zariski-de the to still termine accordance is in image is the which Nevertheless, groups. Galois rvd aiyo nfrial Anderson uniformizable of family a provide ftheir of p edmdlsi h 0.H hwdta h mg fthe of image the that showed He 90s. the in modules feld Abstract. ) aial pni h oii aosgopfrayprime any for group Galois motivic the in open -adically th /F , NESNTMDLSWT HNTAI GALOIS T-ADIC THIN WITH T-MODULES ANDERSON Q e,2021. Feb, i h cino h oso ons ..oehsagophom group a has one i.e. points, torsion the on action the via ) eoe h iglrhmlg of homology singular the denotes ) t ai aemdlsae“a rm having from” “far are Tate-modules -adic ̺ ℓ hc sas n( an also is which ) ikhsgvnaqaiaiease oteMmodTt conj Mumford-Tate the to answer qualitative a given has Pink ℓ ai oooy.TeMmodTt ojcueak whether asks conjecture Mumford-Tate The topology). -adic V A ̺ ⊗ ℓ ℓ Q Gal( : fdimension of REPRESENTATIONS ai aemodule Tate -adic NRA MAURISCHAT ANDREAS Q ̺ ℓ ℓ 1. n are nato fteaslt aosgroup Galois absolute the of action an carries and , ℓ sacmatsbru fthe of subgroup compact a is F aial)oe ugopof subgroup open -adically) Introduction sep Contents /F t 1 mdlsfrwihteGli representations Galois the which for -modules ) d −→ A vranme field number a over ( C t GL ihrsett oeembedding some to respect with ) aial pniaei hi motivic their in image open -adically V G ℓ A ( 2 G A d s ntemtvcGli group Galois motivic the in nse ( sawy eutv ru vra over group reductive a always is ehrteei n( an is there hether A p = ) Q p ncnrs oti eut we result, this to contrast In . ai aosrpeetto is representation Galois -adic fGL( of ℓ nainfrthese for entation ) [ Pin97 . epof eepiil de- explicitly we proof, he ←− lim og ru as called (also group Hodge V t n ,Pn hwdta the that showed Pink ], G mdls–tefunction the – -modules ℓ ) A ai points -adic A = ∼ [ ( F cuefrDrin- for ecture ℓ Q n GL hr r several are there , +1 ℓ ). t 2 ] ℓ -modules. omorphism d, aial)open -adically) Q ⊗ Z where ℓ G h image the Q A ℓ ( Q of V F ℓ of ) A := 12 → 3 1 9 8 7 6 , 2 ANDREAS MAURISCHAT

Mumford-Tate conjecture is true for Drinfeld modules by showing the p-adic openness of the image of the Galois representation. For p = t, this statement has been used by Chang and Papanikolas (see [CP12, §3.5]) to determine the motivic Galois group of Drinfeld modules using the explicit connection via Anderson generating functions between elements in the Tate module and the rigid analytic trivialization. In the function field setting, however, reductive groups can have non-open compact p- adic subgroups1. Even more, there exist Anderson t-modules whose Mumford-Tate groups are not reductive. For a general treatment of compact subgroups of linear algebraic groups, we refer to Pink’s article [Pin98]. The content of our article is to show that indeed the image of the Galois representation might be not p-adically open and can even have a “thin image” (see Def. 3.1 for the definition). We restrict to the case p = t, but are confident that also the images for other p can be thin. For the proof, we will use the explicit connection between the t-adic Tate module and the rigid analytic trivialization of the motive given in [Mau18a] which is a generalization of the corresponding one in [CP12] mentioned above. A similar approach for other primes p needs more theoretical background. This is in the scope of a future project. We will show the theorem on thin images by examining an explicit family of t-modules where this happens. The family that we consider are the prolongations ρkC of the Carlitz module C which were introduced in [Mau18b]. The main results are the computations of the motivic Galois group and the t-adic Galois representation for these t-modules from which the result on the thin image (Corollary 6.5) and the Zariski-density of the image (Corollary 6.4) are deduced. The main theorems are (for notation see Section 2)

Theorem 5.1. The motivic Galois group ΓρkC of the t-module ρkC is given by

a0 a1 ak ·. · · . 0 a .. . Γ (R)=  0  a R×, a , . . . , a R ρkC . . . 0 1 k  . .. .. ∈ ∈   . a1     0 0 a0  · · ·   for all F (t)-algebras R.   q   Theorem 6.3. The Galois representation on the t-adic Tate module of ρkC is given by sep × ̺t : Gal(K /K) Fq[[t]] GLk+1(Fq[[t]]), −→→ −→ (1) (k) a ∂t (a) ∂t (a) ·. · · . 0 a .. .  γ a := aγ ρ[k](a)= . 7−→ 7−→ . . . (1) . .. .. ∂ (a)  t  0 0 a   · · ·  Here the ﬁrst map is the usual Galois representation on thet-adic Tate module of the Carlitz module, and ∂(j)(a) is the j-th hyperderivative of a F [[t]]. t ∈ q Remark 1.1. We expect that one can generalize the result on the thin image to prolongations of any abelian uniformizable t-modules, but we will not pursue it in this paper. Remark 1.2. Recently, M. Frantzen [Fra21] discovered other examples of t-modules for which the Galois image is not t-adically open in the motivic Galois group. These examples

1I thank Urs Hartl for pointing that out to me. THINT-ADICGALOISREPRESENTATIONS 3 have rank 1 and dimension d divisible by the characteristic p, i.e. they are t-modules which ⊗d become isomorphic over C∞ to the tensor powers C of the Carlitz module (see Thm. 5.2 ibid.). We compute the density for these Galois representations in Theorem 6.6.

2. Notation

2.1. Rings and operators. Let K = Fq(θ) be the rational function field over the finite field Fq with q elements and characteristic p. Its completion with respect to the absolute value determined by θ = q is the Laurent series ring K := F ((1/θ)), and we let C = K | | ∞ q ∞ ∞ be the completion of the algebraic closure K∞ of K∞. We also fix an embedding of the algebraic closure K of K into K∞. d On C∞ and all its subfields, we have the q-power Frobenius endomorphism τ : C∞ q → C∞,x x which will be extended t-linearly to the polynomial ring C∞[t] (still denoted by τ).7→ The inverse of the automorphism τ will be denoted by σ. n k We consider the skew-polynomial ring K τ = k=0 xkτ n 0,xk K of Fq-linear polynomial maps with multiplication rule τ {x }= xq{ τ induced from| ≥ composition∈ } of maps, as well as the skew-polynomial ring K σ = · n x·Pσk n 0,x K with multiplication { } { k=0 k | ≥ k ∈ } rule σ x = x1/q σ. For later use, we already mention that K σ is the opposite ring to · · P { } k K τ via the anti-isomorphism n x τ k n σkx = n (x )1/q σk. { } k=0 k 7→ k=0 k k=0 k · We denote by C∞ t the Tate algebra over C∞. This is the Gauss completion of C∞[t], h i P∞ n P P i.e. the algebra of power series n=0 xnt C∞[[t]] such that limn→∞ xn = 0. Its field of fractions will be denoted by L. The automorphisms∈ τ and σ will be extended| | continuously to C t (and further to L), i.e.P ∞h i ∞ ∞ ∞ ∞ n q n n 1/q n τ xnt = xnt and σ xnt = (xn) t . n=0 ! n=0 n=0 ! n=0 X X X X On the Laurent series ring C∞((t)) (in which all the rings above embed) we consider the (n) hyperdifferential operators with respect to t, i.e. the sequence of C∞-linear maps (∂t )n≥0 given by ∞ ∞ (n) i i i−n ∂t xit = xit . ! n iX=i0 iX=i0 i 2 where n Fp Fq is the binomial coefficient modulo p. The main properties of the hyperdifferential∈ ⊂ operators are the generalized Leibniz rule n (1) ∂(n)(f g)= ∂(i)(f) ∂(n−i)(g) t · t · t Xi=0 for all n 0, and all f, g C ((t)), as well as the iteration rule ≥ ∈ ∞ n + m (2) ∂(n) ∂(m) = ∂(n+m) t ◦ t n t for all n,m 0. If f is a power≥ series f(t) C [[t]], one has the familiar Taylor series identity ∈ ∞ (i) i (3) f(t)= (∂t (f))(0)t , Xi≥0 2 ∂(n) 1 d n The operator t is the positive characteristic analogue of n! dt . 4 ANDREAS MAURISCHAT

(i) (i) where (∂t (f))(0) is the value of the hyperderivative ∂t (f) at 0. It is obvious that the hyperdifferential operators commute with the twistings τ and σ. For more background on hyperdifferential operators see for example [Mat89, §27] (called iterative higher derivations there). From the hyperdifferential operators, one gets a family (in k 0) of maps ρ : C ((t)) ≥ [k] ∞ → Mat (C ((t))) sending f C ((t)) to (k+1)×(k+1) ∞ ∈ ∞ (1) (k) f ∂t (f) ∂t (f) ·. · · .  .. .  (4) ρ (f) := 0 f . . [k] . . .  . .. .. ∂(1)(f)  t  0 0 f   · · ·    A crucial point is that these maps are even homomorphisms of C∞-algebras (see [MP19, §2.2] or [Mau18b, §2.1]). 2.2. t-modules, t-motives and dual t-motives. For t-modules, t-motives and dual t- motives, we will use the notation as in [Mau18b] and [BP]. A t-module (E, Φ) over K (or shortly, E) consists of an algebraic group E over K with d Fq-action which is isomorphic to Ga for some d> 0 (also called Fq-module scheme), and an Fq-algebra homomorphism

Φ : F [t] End F (E) = Mat (K τ ),t Φ , q → grp, q ∼ d×d { } 7→ t with the additional property that Φt θ idE induces a nilpotent endomorphism on Lie(E). To a t-module (E, Φ) one associates− a t·-motive. This is the left K[t] τ -module M(E) := { } Homgrp,Fq (E, Ga) with t-action given by composition with Φt Endgrp,Fq (E) and left-K τ - ∈ G M{ } action given by composition with elements in K τ ∼= Endgrp,Fq ( a). The t-motive (E) and the t-module E are called abelian, if the t-motive{ } M(E) is finitely generated as K[t]- module in which case it is even free as K[t]-module.3 Similarly, the dual t-motive associated to a t-module (E, Φ) is the left K[t] σ -module { } M(E) := Homgrp,Fq (Ga,K, EK ) with t-action given by composition with Φt Endgrp,Fq (E) ∈ op and left-K σ -action given by right composition with elements in K τ ∼= K σ . The dual t-motive{ }M(E) and the t-module E are called t-finite if M(E) is{ finitely} generated{ } as K[t]-module in which case it is even free as K[t]-module. tr For an abelian t-motive M(E), let m = (m1,...,mr) be a K[t]-basis (written as a column vector). Then a rigid analytic trivialization (if it exists) is a matrix Υ ∈ GLr(C∞ t ) such that τ(Υm)=Υm. h i tr Similarly, for a t-finite dual t-motive M(E), let e = (e1,...,er) be a K[t]-basis. Then a rigid analytic trivialization (if it exists) is a matrix Ψ GLr(C∞ t ) such that σ(Ψ−1e)=Ψ−1e. ∈ h i The t-modules that we consider in this paper are both abelian and t-finite. Furthermore, their t-motives resp. dual t-motives are both rigid analytically trivial which is equivalent to the t-module being uniformizable.

Example 2.1. The Carlitz module (C, φ) over K is the additive group scheme Ga,K over K with Fq[t]-action φ : F [t] End F (G ) = K τ q → grp, q a,K ∼ { } 3Be aware that in other sources abelianess is often part of the definition of a t-motive, e.g. in Anderson’s original definition in [And86]. The last statement on the freeness is also proven ibid. THINT-ADICGALOISREPRESENTATIONS 5 given by φt = θ + τ. Its corresponding t-motive M(C) is given as M(C)= K[t]e with τ-action determined by −1 τ(e) = (t θ)e, and its rigid analytic trivialization is Υ = ω where ω C∞ t is the Anderson-Thakur− function ∈ h i ∞ −1 − t ω(t)= q √1 θ 1 − · − θqi Yi=0 for a fixed choice of (q 1)-st root q−√1 θ of θ (see [AT90, Proof of Lemma 2.5.4]). − − − The dual t-motive M(C) is given as M(C)= K[t]e with σ-action determined by σ(e)= (t θ)e, and its rigid analytic trivialization is Ψ = (t θ)−1ω−1. − − In both cases, we chose e = idGa as basis vector. The t-modules that we are mainly dealing with in this paper are the prolongations of the Carlitz module as defined in [Mau18b, Sect. 6] which we recall in Section 4.

2.3. The Tate module. The t-adic Tate module of a t-module (E, Φ) is the Fq[[t]]-module n+1 n+1 T (E) := lim E[t ], where E[t ]= e E(C ) Φ n+1 (e) = 0 t { ∈ ∞ | t } ←−n n+1 sep denote the t -torsion points of E. The torsion points even lie in E(K ) (as Φtn+1 is a ﬁnite morphism), and the Tate module Tt(E) is equipped with a continuous action of the sep absolute Galois group Gal(K /K). After a choice of Fq[[t]]-basis of Tt(E), this leads to a sep continuous representation ̺t : Gal(K /K) GLr(Fq[[t]]) where r = rkFq[[t]](Tt(E)) is the rank of the Tate module. → In [Mau18a], we proved an explicit isomorphism between the Tate module Tt(E) and the τ M M τ-invariants HomK[t]( (E), C∞[[t]]) of the C∞[[t]]-dual of the t-motive (E). In this article, however, we only need the description of the Tate module coming from this isomorphism in the case where M(E) is abelian and rigid analytically trivial. We explain this description in the following. Let E(C∞)[[t]] be the formal power series in t with coeﬃcients in the C∞-points of E, and the Fq[[t]]-action by formal multiplication using the Fq-action on the Fq-module scheme E, i.e.

i n m cit ent = ci en t   ·   · ! Xi≥0 nX≥0 mX≥0 i+Xn=m for c ti F [[t]] and e tn E(C)[[t]]. Then T (E) is isomorphic as F [[t]]-module i≥0 i ∈ q n≥0 n ∈ ∞ t q to the F [[t]]-subspace P q P

Hˆ := e tn E(C )[[t]] Φ (e )tn = e tn+1 E  n ∈ ∞ t n n  n≥0 n≥0 n≥0 X X X  n+1 n by sending a compatible system (en)n≥0 of t -torsion points to the series ent (see   n≥0 [Mau18a, Prop. 3.2]). P Furthermore, assume that M(E) is abelian and rigid analytically trivial. Let m1,...,mr M(E) be a K[t]-basis of M(E), and κ ,...,κ M(E) a K τ -basis of M(E). Hence,∈ 1 d ∈ { } κ1,...,κd induce a choice of coordinate system, i.e. an isomorphism of Fq-module schemes

κ1(e) κ : E Gd, e . . → a 7→ . κd(e) ! 6 ANDREAS MAURISCHAT

Let S Mat (K[t]) be such that ∈ d×r κ1 m1 . = S . ,  .  ·  .  κ m  d  r which exists, since m ,...,m is a K[t]-basis.  { 1 r} Further, let Υ GLr(C∞ t ) GLr(C∞[[t]]) be a rigid analytic trivialization for M(E) with respect to the∈ basis mh,...,mi ⊆ . Then we have the following. { 1 r} Proposition 2.2 (cf. [Mau18a, Prop. 5.3]). With the previous notation, an Fq[[t]]-basis of ˆ d −1 HE E(C∞)[[t]] ∼= (C∞[[t]]) is given by the columns of S Υ with respect to the coordinate system⊆ κ. ·

3. Density of Galois representations In this section, we introduce the notion of density of Galois representations, and define when we consider the image to be thin. Let p ⊳ Fq[t] be a prime ideal, and Ap be the p-adic completion of A := Fq[t]. Let Fp := Fq[t]/p be its residue field, and dp := [Fp : Fq] the residue degree. sep Throughout this section, let ̺ : Gal(K /K) GL (Ap) be a continuous p-adic Galois → r representation, and Γ(Ap) := im(̺) be the Zariski-closure of im(̺) in GLr(Ap). sep N Definition 3.1. For N 1, let ̺ : Gal(K /K) GL (Ap) GL (Ap/(p )) be the ≥ N → r → r composition of ̺ with the reduction modulo pN , and let D(N) be the order of the image im(̺N ) (which obviously is a finite group). Further, let dim(Γ) be the dimension of Γ as a linear algebraic group. We define the density δ(̺) of ̺ (in Γ) as log (D(N)) δ(̺) := lim sup q . N dp dim(Γ) N→∞ · · We say that the Galois representation ̺ has a thin image if δ(̺) < 1. In the following proposition, we show that this naming makes sense. Proposition 3.2. (1) The density δ(̺) is bounded by 1. (2) If the image im(̺) is p-adically open in Γ(Ap), then δ(̺) = 1. In particular, a thin image is never open. n Proof. For n 1, let G := ker Γ(Ap) Γ(Ap/p ) be the kernel of the reduction map. ≥ n → Then by [Pin98, Prop. 6.3(a)], G /G = Lie(Γ) pn/pn+1 is an F -vector space of n n+1 ∼ Ap p dimension dim Lie(Γ) = dim(Γ). Hence, for arbitrary⊗ N>n we have Ap (N−n)·dp·dim(Γ) #(Gn/GN )= q as well as (N−1)·dp·dim(Γ) #(Γ(Ap)/G ) = (#Γ(Fp)) q N · Therefore, we obtain log (D(N)) δ(̺) = limsup q N dp dim(Γ) N→∞ · · log (#Γ(Fp)) + (N 1) dp dim(Γ) lim sup q − · · = 1 ≤ N dp dim(Γ) N→∞ · · THINT-ADICGALOISREPRESENTATIONS 7

If im(̺) is open in Γ, then there is some n N such that im(̺) Gn, and we obtain for all N>n: ∈ ⊃ D(N) #(G /G )= q(N−n)·dp·dim(Γ). ≥ n N Therefore, log (D(N)) (N n) δ(̺) = limsup q lim − = 1. N dp dim(Γ) ≥ N→∞ N N→∞ · · 4. Prolongations of the Carlitz module In this section, we recall the prolongations of the Carlitz module as deﬁned in [Mau18b, Sect. 6], as well as the explicit descriptions. Those we will need for computing the motivic Galois group and the t-adic Galois representation of their Tate module, and proving that the image of the representation is thin.

For k 1, the k-th prolongation of the Carlitz module (C, φ), denoted by (ρkC, ρkφ), ≥ k+1 is the algebraic group Ga with t-action given by θ 1 0 0 − · · · .. .. . 0 θ . . .  . . . . 1 (ρkφ)t = ...... + k+1 τ, . 0  · . . .  . .. ..  . 1  −  0 0 θ   ··· ···  where 1k+1 is the identity matrix in GLk+1(K). Compared to the presentation in [Mau18b], we use the reversed basis here. Let m ,...,m be the corresponding coordinate functions which not only form a K τ - { 0 k} { } basis, but also a K[t]-basis of the associated t-motive M(ρkC). The τ-action is given by t θ 1 0 0 m − . ·. · · . m m 0 0 t θ .. .. . 0 0 m1  −  m1 m1   . . . .     τ . = ...... 0 . = ρ[k](t θ) . . .   · . − · .  . . .     . .. ..      mk  . 1  mk mk            0 0 t θ      ··· ··· −  As it is common, we use a column vector with entries in the motive here, as e.g. Papanikolas [Pap08] does. This is diﬀerent to the notation in [Mau18b], but compared to that article, we also chose the reversed basis. In total, we “accidentally” obtain the same matrix as given there. A rigid analytic trivialization for M(ρkC) with respect to this basis is given by

(1) (k) −1 ω ∂t (ω) ∂t (ω) ·. · · . −1 0 ω .. .  Υ= ρ[k](ω )= Mat(k+1)×(k+1)(C∞ t ), . . . (1) ∈ h i  . .. .. ∂ (ω)  t  0 0 ω   · · ·    (j) where ω(t) C∞ t is the Anderson-Thakur function (comp. Example 2.1), and ∂t (ω) is the j-th hyperderivative∈ h i of ω as deﬁned in Section 2.1. 8 ANDREAS MAURISCHAT

Let’s now consider the subspace Hˆ ρ C(C )[[t]] deﬁned in Section 2.3. Since the ρkC ⊂ k ∞ given K[t]-basis m0,...,mk is also a K τ -basis, the base change matrix S in Proposi- { } { } ˆ tion 2.2 is the identity matrix, and a basis for HρkC is therefore given by the columns of the matrix (1) (k) ω ∂t (ω) ∂t (ω) ·. · · .  .. .  Υ−1 = ρ (ω)= 0 ω . . [k] . . .  . .. .. ∂(1)(ω)  t  0 0 ω   · · ·    5. The Motivic Galois group −1 M As in the previous section, let Υ = ρ[k](ω) be the rigid analytic trivialization of (ρkC). By [Mau18b, Prop. 6.2], the matrix Ψ := ρ (t θ)−1Υ is a rigid analytic trivialization of [k] − the dual t-motive M(ρkC) associated to ρkC.

In the description of its motivic Galois group ΓρkC , we follow [Pap08, §4.2]: Let L := (Ψ 1) GL (L L), and R := (1 Ψ ) GL (L L), as well ij ⊗ ij ∈ k+1 ⊗K(t) ⊗ ij ij ∈ k+1 ⊗K(t) as Ψ˜ := L−1R. Explicitly,

−1 (1) −1 (1) −1 (k) −1 (k) −1 ω ω ∂t (ω) ω + ω ∂t ω ∂t (ω) ω + . . . + ω ∂t ω ⊗ ⊗ ⊗ ·. · · ⊗ . ⊗  −1 .. .  Ψ=˜ 0 ω ω . , . ⊗. .  . .. .. ∂(1)(ω) ω−1 + ω ∂(1) ω−1   t t   0 0 ⊗ ω ω−1⊗   · · · ⊗   −1  as the terms coming from ρ[k](t θ) cancel out. Further, let − F (t)[X, det(X)−1] := F (t)[X ,...,X , X ,...,X , d]/(d det(X) 1) q q 0,0 0,k 1,0 k,k · − be the coordinate ring of GLk+1 over Fq(t), i.e. the localization of the polynomial ring in (k + 1)2 variables, and µ : F (t)[X, det(X)−1] L L, X Ψ˜ q → ⊗K(t) ij 7→ ij be the homomorphism sending the matrix of indeterminates X to the matrix Ψ˜ entry-wise.

Then, ΓρkC is the Zariski-closed subgroup (deﬁned over Fq(t)) given by the kernel of µ, i.e. by the algebraic relations over K(t) satisﬁed by the entries of Ψ.˜ By [Mau18b, Thm. 7.2]), ω is hypertranscendental, i.e. ω and all its hyperderivatives (j) ∂t (ω) are algebraically independent over K(t). Hence, there are only the obvious relations of certain entries being equal, and we get the following description of the motivic Galois group.

Theorem 5.1. The motivic Galois group ΓρkC of the t-module ρkC is given by

a0 a1 ak ·. · · . 0 a .. . Γ (R)=  0  a R×, a , . . . , a R ρkC . . . 0 1 k  . .. .. ∈ ∈   . a1     0 0 a0  · · ·   for all F -algebras .   q(t) R   THINT-ADICGALOISREPRESENTATIONS 9

6. The Galois representation

As mentioned in Section 2.3, the isomorphism between the Tate module Tt(E) and HÊ is i+1 i given by turning a compatible system (ei)i≥0 of t -torsion points into the series i≥0 eit , and vice versa. The action of the Galois group Gal(Ksep/K) on the Tate module is thereforeP the usual Galois action on the coefficients of the series. n+1 Proposition 6.1. The extension of K generated by the torsion points ρkC[t ] is generated by the set i + j (∂(i+j)(ω))(0) i = 0,...,n; j = 0,...,k . j t (1) (k) ω ∂t (ω) ∂t (ω) ·. · · .  .. .  Proof. By Section 4, the columns of ρ (ω)= 0 ω . provide a basis [k] . . .  . .. .. ∂(1)(ω)  t  0 0 ω   · · ·  ˆ 0 n (1)  (k) for HρkC , and hence the coefficients of t ,...,t in the series ω, ∂t (ω) ,...,∂t (ω) generate n+1 the extension K(ρkC[t ])/K. As explained in Sect. 2.1, any series g(t) C∞ t can be written as ∈ h i (i) i g(t)= (∂t (g))(0)t Xi≥0 (see Equation (3)), and therefore for all j 0, ≥ i + j ∂(j)(ω)= (∂(i) ∂(j)(ω) )(0)ti = (∂(i+j)(ω))(0)ti, t t t j t Xi≥0 Xi≥0 where we used the iteration rule (2). n+1 Corollary 6.2. The extension of K generated by the t -torsion points of ρkC equals the extension generated by the tm+1-torsion points of the Carlitz module for some n m n+k. ≤ ≤ n+1 Proof. By the previous proposition, the extension K(ρkC[t ])/K is generated by the set i + j (∂(i+j)(ω))(0) i = 0,...,n; j = 0,...,k . j t m+1 As the Carlitz t -torsion extension is generated by (∂(l)(ω))(0) l = 0,...,m , 4 { t | } it remains to prove that there is some m with n m n + k such that ≤ ≤ (1) for l m, there is j 0,...,k such that l F×, ≤ ∈ { } j ∈ q (2) for n + k l>m, l = 0 F for all j 0,...,k . ≥ j ∈ q ∈ { } l l−1 l−1 l As = + for all j 1, l 0, we readily see that if = 0 Fq for some l j j−1 j ≥ ≥ j 6 ∈ and j, then l−1 =0 or l−1 = 0, and hence there is some maximal m for which a j with j−1 6 j 6 m = 0 F exists. By the possible ranges for i and j, we obtain that m indeed satisfies j 6 ∈ q n m n + k. ≤ ≤ 4This is the case k = 0. But it is already clear from the original definition of the Anderson-Thakur function as the generating series for the t-power torsion taking into account the Taylor series identity (3). 10 ANDREAS MAURISCHAT

We recall from [Ros02, Prop. 12.7] that the Galois group of the Carlitz tm+1-torsion m+1 × extension is isomorphic to Fq[t]/(t ) . As described in [MP19, Cor. 3.2], the Galois F m+1 × m+1 action of a q[t]/(t ) on the t -torsion with respect to these generators can be given explicitly∈ by (m) (1) (m) (m) (m) ∂t (ω) a ∂t (a) ∂t (a) ∂t (ω) ∂t (aω) (m−1) ·. · · . (m−1) (m−1) ∂ (ω)  .. .  ∂ (ω) ∂ (aω) a  t  = 0 a .  t  =  t  , . . . . ∗ ...... (1) · . .   . . . ∂t (a)       ω     ω   aω   t=0 0 0 a   t=0  t=0    · · · t=0     where the index t = 0 means evaluation of all entries at t = 0. The induced Galois action on the t-adic Tate module of C or respectively on Hˆ = F [[t]] ω is then given as C q · Gal(Ksep/K) F [[t]]×, γ a := a −→→ q 7→ γ such that γ(ω)= a ω C [[t]] where the action of γ on ω is coefficient-wise. γ · ∈ ∞ Theorem 6.3. The Galois representation on the t-adic Tate module of ρkC is given by sep × ̺t : Gal(K /K) Fq[[t]] GLk+1(Fq[[t]]), −→→ −→ (1) (k) a ∂t (a) ∂t (a) ·. · · . 0 a .. .  γ a := aγ ρ[k](a)= . 7−→ 7−→ . . . (1) . .. .. ∂ (a)  t  0 0 a   · · ·  Here the first map is the one given above.   ∞ n+1 Proof. By Corollary 6.2, the t-power torsion extensions K(ρkC[t ]) := n≥0 K(ρkC[t ]) and K(C[t∞]) := K(C[tn+1]) of K coincide. Hence, the representation factors through n≥0 S F [[t]]×. q S × (l) (l) (l) Let a = aγ Fq[[t]] . As given above, its action on ∂t (ω) (0) is a ∂t (ω) (0) = ∂t (aω) (0). ∈ (j) ∗ Hence the coefficient-wise action on ∂t (ω) is given as i + j i + j a ∂(j)(ω)= a ∂(i+j)(ω) (0) ti = ∂(i+j)(aω) (0)ti = ∂(j)(aω) . ∗ t ∗ j t j t t Xi≥0 Xi≥0 Therefore, we obtain (1) (k) (1) (k) ω ∂t (ω) ∂t (ω) aω ∂t (aω) ∂t (aω) ·. · · . ·. · · ...... γ 0 ω .  =  0 aω .  ......  . .. .. ∂(1)(ω)  . .. .. ∂(1)(aω)  t   t  0 0 ω   0 0 aω   · · ·   · · ·      = ρ (aω)= ρ (a) ρ (ω) [k] [k] · [k] (1) (k) ω ∂t (ω) ∂t (ω) ·. · · . 0 ω .. .  = ρ[k](a) , · . . . (1)  . .. .. ∂ (ω)  t  0 0 ω   · · ·    THIN T-ADIC GALOIS REPRESENTATIONS 11 proving the claim.

Corollary 6.4. The image of ̺t is Zariski-dense in ΓρkC (Fq((t))). Proof. We have to show that the ideal I = P F ((t))[X ,...,X ] a F [[t]]× : P (a, ∂(1)(a) ,...,∂(k)(a)) = 0 { ∈ q 0 k |∀ ∈ q t t } is the zero ideal. Assume, for the contrary that 0 = P I, and let i k be the lowest index such that Xi occurs in P , i.e. P F ((t))[X ,...,X6 ].∈ We show that≤ the coeﬃcients of P as a polynomial ∈ q i k in Xi over Fq((t))[Xi+1,...,Xk] are also contained in I. Inductively, this shows that there is some non-zero Fq((t))-coeﬃcient of P which lies in I, a contradiction. Choose s N such that qs > k. As for any d 1 and 0

(i) (i) i (i+1) (i+1) i (k) (k) i = P ∂t (a)+ ∂t t b , ∂t (a)+ ∂t t b ,...,∂t (a)+ ∂t t b (i) i (i+1) i (k) i = P ∂t a + t b , ∂t a + t b ,...,∂t a + t b = 0

This means that the polynomial Qa(Y ) has inﬁnitely many zeros, and therefore has to be identically to zero. Hence, for all a F [[t]]×, ∈ q 0= Q (X ∂(i)(a)) = P (X , ∂(i+1)(a) ,...,∂(k)(a)) a i − t i t t which implies that the coeﬃcients of P with respect to the variable Xi also lie in I.

Corollary 6.5. The image of the t-adic Galois representation ̺t is thin with density δ(̺t)= 1 F k+1 . In particular, it is not t-adically open in ΓρkC ( q((t))). sep Proof. By Theorem 6.3 and Corollary 6.2, the image of ̺t,N : Gal(K /K) GLk+1(Fq[[t]]) N N+m × → → GLk+1(Fq[[t]]/(t )) is in bijection to Fq[[t]]/t for some 0 m k (which might de- pend on N). Hence for the order D(N) of the image, we have ≤ ≤ (q 1) qN−1 D(N) = (q 1) qN+m−1 (q 1) qN+k−1 − · ≤ − · ≤ − ·

By Corollary 6.4 and Theorem 5.1, we have dim(im(̺t)) = dim(ΓρkC )= k + 1, and hence log (D(N)) 1 δ(̺ ) = limsup q = . t N dim(Γ ) k + 1 N→∞ · ρkC 12 ANDREAS MAURISCHAT

We end this section by the computation of the density for the Carlitz tensor powers E = C⊗d. By M. Frantzen [Fra21, Thm. 5.2], these have a non-open image if d is divisible by the characteristic p of Fq. e ′ ′ ⊗d Theorem 6.6. Let d = p d for p = char(Fq), d N prime to p, and e 0. Let E = C · ∈ sep ≥ be the d-th tensor power of the Carlitz module, and ̺E : Gal(K /K) GL1(Fq[[t]]) the associated t-adic Galois representation. → 1 The density δ(̺E) equals pe . Proof. As we explained earlier, the Galois action on the t-adic Tate module of the Carlitz module C or respectively on Hˆ = F [[t]] ω is given by a surjection C q · Gal(Ksep/K) F [[t]]×, γ a := a −→→ q 7→ γ such that γ(ω)= a ω C [[t]] where the action of γ on ω is coefficient-wise. As the tensor γ · ∈ ∞ power E = C⊗d is by definition the t-module corresponding to the usual d-th tensor power of the t-motive over K[t], one has Hˆ = F [[t]] ωd, and the t-adic Galois representation for E q · E is determined by the coefficient-wise action on ωd, i.e. it is the composition with the d-power map: ′ e ̺ : Gal(Ksep/K) F [[t]]× F [[t]]×, γ a := a ad = (ad )p . E −→→ q → q 7→ γ 7→ ′ As p = char(Fq) and d is prime to p, the image of the d-power map is e S = f F [[tp ]]× f(0) is a d′-power in F×. { ∈ q | q } As in the definition of the density, let D(N) be the size of the image of the composition of N ̺E with reduction modulo t , then − ⌊ N 1 ⌋ D(N)= w q pe , · ′ × where w denotes the number of d -powers in Fq . Hence, N−1 log (D(N)) logq w + e 1 δ(̺ ) = limsup q = limsup ⌊ p ⌋ = . E N 1 dim(GL ) N pe N→∞ · · 1 N→∞ References

[And86] Greg W. Anderson. t-motives. Duke Math. J., 53(2):457–502, 1986. [AT90] Greg W. Anderson and Dinesh S. Thakur. Tensor powers of the Carlitz module and zeta values. Ann. of Math. (2), 132(1):159–191, 1990. [BP] W. Dale Brownawell and Matthew A. Papanikolas. A rapid introduction to Drinfeld modules, t-modules, and t-motives. to appear in t-Motives: Hodge Structures, Transcendence, and Other Motivic Aspects. [CP12] Chieh-Yu Chang and Matthew A. Papanikolas. Algebraic independence of periods and logarithms of Drinfeld modules. J. Amer. Math. Soc., 25(1):123–150, 2012. With an appendix by Brian Conrad. [Fra21] Maike Frantzen. Non-openness of v-adic Galois representation for A-motives. Int. J. Number Th., 17:33–53, 2021. [Mat89] Hideyuki Matsumura. Commutative ring theory, volume 8 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, second edition, 1989. Translated from the Japanese by M. Reid. [Mau18a] Andreas Maurischat. Periods of t-modules as special values. Journal of Number Theory, 2018. DOI:10.1016/j.jnt.2018.09.024. [Mau18b] Andreas Maurischat. Prolongations of t-motives and algebraic independence of periods. Doc. Math., 23:815–838, 2018. THIN T-ADIC GALOIS REPRESENTATIONS 13

[MP19] Andreas Maurischat and Rudolph Perkins. An integral digit derivative basis for Carlitz prime power torsion extensions. Publications Math´ematiques de Besan¸con, (1):131–149, 2019. [Pap08] Matthew A. Papanikolas. Tannakian duality for Anderson-Drinfeld motives and algebraic independence of Carlitz logarithms. Invent. Math., 171(1):123–174, 2008. [Pin97] Richard Pink. The Mumford-Tate conjecture for Drinfeld-modules. Publ. Res. Inst. Math. Sci., 33(3):393–425, 1997. [Pin98] Richard Pink. Compact subgroups of linear algebraic groups. J. Algebra, 206(2):438–504, 1998. [Ros02] Michael Rosen. Number theory in function ﬁelds, volume 210 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2002.

Andreas Maurischat, Lehrstuhl A f¨ur Mathematik, RWTH Aachen University, Germany Email address: [email protected]