An Integral Digit Derivative Basis for Carlitz Prime Power Torsion Extensions

Andreas Maurischat; Rudolph Perkins

doi:10.5802/pmb.32

An Integral Digit Derivative Basis for Carlitz Prime Power Torsion Extensions
[Une base entière pour les extensions engendrée par les points de torsion de puissance de polynôme irréductible sur le module de Carlitz.]

Andreas Maurischat ¹ ; Rudolph Perkins ²

¹ Lehrstuhl A für Mathematik, RWTH Aachen University, Germany
² IWR, University of Heidelberg, Im Neuenheimer Feld 205, 69120 Heidelberg, Germany

Publications mathématiques de Besançon. Algèbre et théorie des nombres, no. 1 (2019), pp. 131-149.

Résumé
Abstract

Nous développons le travail d’Anglès–Pellarin sur l’évaluation aux racines de l’unité de la fonction d’Anderson–Thakur et de ses hyperdérivées.

Soit $𝔭$ un polynôme irréductible unitaire dans $A = 𝔽_{q} [θ],$ l’anneau des polynômes en l’indéterminée $θ$ et à coefficients dans le corps fini $𝔽_{q},$ soit $ζ$ une racine de $𝔭$ dans une clôture algébrique de $𝔽_{q},$ et soit $K = 𝔽_{q} (θ) .$ Pour chaque entier $n,$ soit $λ_{n}$ une générateur du $A$ -module des points de $𝔭^{n}$ -torsion du module de Carlitz. Nous donnons une base pour l’anneau des entiers $A [ζ, λ_{n}] \subset K (ζ, λ_{n})$ sur $A [ζ] \subset K (ζ)$ qui consiste en les monômes des hyperdérivées de la fonction d’Anderson–Thakur $ω$ évaluée aux racines de $𝔭,$ et qui, après un ordre convenable, fournit une représentation triangulaire supérieure, diagonale par bloc de l’action de Galois. Pour chaque $n \geq 2,$ nous donnons aussi un élément entier dont l’orbite galoisienne fournit une base normale du corp pour l’extension $K (ζ, λ_{n}) / K (ζ, λ_{1})$ .

We build on work of Anglès–Pellarin concerning evaluations of the Anderson–Thakur function and its hyperderivatives at roots of unity.

Let $𝔭$ be a monic irreducible polynomial in $A : = 𝔽_{q} [θ]$ , the ring of polynomials in the indeterminate $θ$ over the finite field $𝔽_{q}$ , let $ζ$ be a root of $𝔭$ in an algebraic closure of $𝔽_{q}$ , and let $K : = 𝔽_{q} (θ)$ . For each positive integer $n$ , let $λ_{n}$ be a generator of the $A$ -module of Carlitz $𝔭^{n}$ -torsion. We give a basis for the ring of integers $A [ζ, λ_{n}] \subset K (ζ, λ_{n})$ over $A [ζ] \subset K (ζ)$ which consists of monomials in the hyperderivatives of the Anderson–Thakur function $ω$ evaluated at the roots of $𝔭$ , and which, after suitable ordering, provides an upper triangular, block diagonal representation of the action of Galois. For each $n \geq 2$ , we also give an explicit integral element whose Galois orbit provides a field normal basis for the extension $K (ζ, λ_{n}) / K (ζ, λ_{1})$ .

Reçu le : 2017-01-25
Publié le : 2019-10-15

DOI : 10.5802/pmb.32

Classification : 11G09, 11R60, 11M38
Mots clés : Anderson–Thakur function, Carlitz module, Goss $L$-series

Affiliations des auteurs :

Andreas Maurischat ¹ ; Rudolph Perkins ²

¹ Lehrstuhl A für Mathematik, RWTH Aachen University, Germany
² IWR, University of Heidelberg, Im Neuenheimer Feld 205, 69120 Heidelberg, Germany

Licence :

CC-BY-ND 4.0

Droits d'auteur : Les auteurs conservent leurs droits

@article{PMB_2019___1_131_0,
     author = {Andreas Maurischat and Rudolph Perkins},
     title = {An {Integral} {Digit} {Derivative} {Basis} for {Carlitz} {Prime} {Power} {Torsion} {Extensions}},
     journal = {Publications math\'ematiques de Besan\c{c}on. Alg\`ebre et th\'eorie des nombres},
     pages = {131--149},
     publisher = {Presses universitaires de Franche-Comt\'e},
     number = {1},
     year = {2019},
     doi = {10.5802/pmb.32},
     language = {en},
     url = {https://pmb.centre-mersenne.org/articles/10.5802/pmb.32/}
}

TY  - JOUR
AU  - Andreas Maurischat
AU  - Rudolph Perkins
TI  - An Integral Digit Derivative Basis for Carlitz Prime Power Torsion Extensions
JO  - Publications mathématiques de Besançon. Algèbre et théorie des nombres
PY  - 2019
SP  - 131
EP  - 149
IS  - 1
PB  - Presses universitaires de Franche-Comté
UR  - https://pmb.centre-mersenne.org/articles/10.5802/pmb.32/
DO  - 10.5802/pmb.32
LA  - en
ID  - PMB_2019___1_131_0
ER  -

%0 Journal Article
%A Andreas Maurischat
%A Rudolph Perkins
%T An Integral Digit Derivative Basis for Carlitz Prime Power Torsion Extensions
%J Publications mathématiques de Besançon. Algèbre et théorie des nombres
%D 2019
%P 131-149
%N 1
%I Presses universitaires de Franche-Comté
%U https://pmb.centre-mersenne.org/articles/10.5802/pmb.32/
%R 10.5802/pmb.32
%G en
%F PMB_2019___1_131_0

Andreas Maurischat; Rudolph Perkins. An Integral Digit Derivative Basis for Carlitz Prime Power Torsion Extensions. Publications mathématiques de Besançon. Algèbre et théorie des nombres, no. 1 (2019), pp. 131-149. doi : 10.5802/pmb.32. https://pmb.centre-mersenne.org/articles/10.5802/pmb.32/

Bibliographie
Cité par

[1] Akira Aiba Carlitz Modules and Galois Module Structure, J. Number Theory, Volume 62 (1997) no. 1, pp. 213-219 | Zbl

[2] Akira Aiba Carlitz Modules and Galois Module Structure II, J. Number Theory, Volume 68 (1998) no. 1, pp. 29-35 | Zbl

[3] Greg W. Anderson $t$ -motives, Duke Math. J., Volume 53 (1986), pp. 457-502 | Zbl

[4] Greg W. Anderson; Dinesh S. Thakur Tensor powers of the Carlitz module and zeta values, Ann. Math., Volume 132 (1990) no. 1, pp. 159-191 | Zbl

[5] Bruno Anglès Bases normales relatives en caractéristique positive, J. Théor. Nombres Bordx, Volume 14 (2002) no. 1, pp. 1-17 | Zbl

[6] Bruno Anglès; Federico Pellarin Universal Gauss-Thakur sums and $L$ -series, Invent. Math., Volume 200 (2014) no. 2, pp. 653-669 | Zbl

[7] Bruno Anglès; Federico Pellarin; F. Tavares Ribeiro Arithmetic of positive characteristic $L$ -series values in Tate algebras, Compos. Math., Volume 152 (2016) no. 1, pp. 1-61 | Zbl

[8] Bruno Anglès; Lenny Taelman; Vincent Bosser Arithmetic of characteristic p special L-values, Proc. Lond. Math. Soc., Volume 110 (2015) no. 4, pp. 1000-1032 | Zbl

[9] Keith Conrad The Digit Principle, J. Number Theory, Volume 84 (2000) no. 2, pp. 230-257 | Zbl

[10] Federico Pellarin Values of certain $L$ -series in positive characteristic, Ann. Math., Volume 176 (2012) no. 3, pp. 2055-2093 | Zbl

[11] Federico Pellarin A note on certain representations in characteristic $p$ and associated functions, J. Number Theory, Volume 176 (2017), pp. 420-438 | Zbl

[12] Michael Rosen Number Theory in Function Fields, Graduate Texts in Mathematics, 210, Springer, 2002 | Zbl

Cité par Sources :

Publications Mathématiques de Besançon

Algèbre et Théorie des Nombres