Inspired by Besser’s work on Coleman integration, we use -modules to define iterated line integrals over Laurent series fields of characteristic taking values in double cosets of unipotent matrices with coefficients in the Robba ring divided out by unipotent matrices with coefficients in the bounded Robba ring on the left and by unipotent matrices with coefficients in the constant field on the right. We reach our definition by looking at the analogous theory for Laurent series fields of characteristic first, and reinterpreting the classical formal logarithm in terms of -modules on formal schemes. To illustrate that the new -adic theory is non-trivial, we show that it includes the -adic formal logarithm as a special case.
En nous inspirant du travail de Besser sur l’intégration de Coleman, nous utilisons les -modules pour définir des intégrales curvilignes itérées sur des corps de séries de Laurent en caractéristique qui prennent leurs valeurs dans des doubles classes de l’espace des matrices unipotentes de taille à coefficients dans l’anneau de Robba, quotienté à gauche par l’ensemble des matrices unipotentes à coefficients dans l’anneau de Robba borné, et à droite par les matrices unipotentes à coefficients dans le corps de constantes. Nous aboutissons à cette définition en étudiant la théorie analogue pour les corps de séries de Laurent en caractéristique puis en réinterprétant le logarithme formel classique en terme de -modules sur les schémas formels. Pour montrer que cette nouvelle théorie -adique n’est pas triviale, nous prouvons qu’elle contient le logarithme formel -adique comme cas particulier.
DOI: 10.5802/pmb.17
Mots-clés : $p$-adic integration, Laurent series fields
@article{PMB_2017____109_0, author = {Ambrus P\'al}, title = {Iterated line integrals over {Laurent} series fields of characteristic $p$}, journal = {Publications math\'ematiques de Besan\c{c}on. Alg\`ebre et th\'eorie des nombres}, pages = {109--126}, publisher = {Presses universitaires de Franche-Comt\'e}, year = {2017}, doi = {10.5802/pmb.17}, zbl = {1386.14166}, language = {en}, url = {https://pmb.centre-mersenne.org/articles/10.5802/pmb.17/} }
TY - JOUR AU - Ambrus Pál TI - Iterated line integrals over Laurent series fields of characteristic $p$ JO - Publications mathématiques de Besançon. Algèbre et théorie des nombres PY - 2017 SP - 109 EP - 126 PB - Presses universitaires de Franche-Comté UR - https://pmb.centre-mersenne.org/articles/10.5802/pmb.17/ DO - 10.5802/pmb.17 LA - en ID - PMB_2017____109_0 ER -
%0 Journal Article %A Ambrus Pál %T Iterated line integrals over Laurent series fields of characteristic $p$ %J Publications mathématiques de Besançon. Algèbre et théorie des nombres %D 2017 %P 109-126 %I Presses universitaires de Franche-Comté %U https://pmb.centre-mersenne.org/articles/10.5802/pmb.17/ %R 10.5802/pmb.17 %G en %F PMB_2017____109_0
Ambrus Pál. Iterated line integrals over Laurent series fields of characteristic $p$. Publications mathématiques de Besançon. Algèbre et théorie des nombres (2017), pp. 109-126. doi : 10.5802/pmb.17. https://pmb.centre-mersenne.org/articles/10.5802/pmb.17/
[1] Coleman integration using the Tannakian formalism, Math. Ann., Volume 322 (2002) no. 1, pp. 19-48 | DOI | MR | Zbl
[2] -adic differential equations, Cambridge Studies in Advanced Mathematics, Volume 125, Cambridge University Press, 2010, xvii+380 pages | MR | Zbl
[3] The unipotent Albanese map and Selmer varieties for curves, Publ. Res. Inst. Math. Sci., Volume 45 (2009) no. 1, pp. 89-133 | MR | Zbl
[4] Relative fundamental groups and rational points, Rend. Semin. Mat. Univ. Padova, Volume 134 (2015), pp. 1-45 | DOI | Numdam | MR | Zbl
Cited by Sources: