Related papers: On the Formal Carlitz Module

We formalize the theory of forcing in the set theory framework of Isabelle/ZF. Under the assumption of the existence of a countable transitive model of ZFC, we construct a proper generic extension and show that the latter also satisfies…

We prove that for any FAb compact $p$-adic analytic group $G$, its representation zeta function is a finite sum of terms $n_{i}^{-s}f_{i}(p^{-s})$, where $n_{i}$ are natural numbers and $f_{i}(t)\in\mathbb{Q}(t)$ are rational functions.…

Bertolini-Darmon and Mok proved a formula of the second derivative of the two-variable $p$-adic $L$-function of a modular elliptic curve over a totally real field along the Hida family in terms of the image of a global point by some…

We axiomatize a class of existentially closed exponential fields equipped with an $E$-derivation. We apply our results to the field of real numbers endowed with $exp(x)$ the classical exponential function defined by its power series…

This thesis studies modular forms from a classical and adelic viewpoint. We use this interplay to obtain results about the arithmetic of the Fourier coefficients of modular forms and their generalisations. In Chapter 2, we compute lower…

We calculate the number of the isomorphism class of the finite flat models over the ring of integers of an absolutely ramified $p$-adic field of constant group schemes of rank two over finite fields, by counting the rational points of a…

On donne une condition necessaire et suffisante pour l'existence de modules de dimension finie sur l'algebre de Cherednik rationnelle associee a un systeme de racines.

In this paper, we study the complexity of p-adic continued fractions of a rational number, which is the p-adic analogue of the theorem of Lame. We calculate the length of Browkin expansion, and the length of Schneider expansion. Also, some…

We study on finite unramified extensions of global function fields (function fields of one valuable over a finite field). We show two results. One is an extension of Perret's result about the ideal class group problem. Another is a…

Let $L$ be a totally real field, and $p$ be a rational prime that is unramified in $L$. We construct overconvergent families of classes of relative de Rham cohomology of the universal abelian scheme over Hilbert modular varieties associated…

It is shown that traces of mapping classes of finite order may be expressed by Verlinde-like formulae. The 3D topological argument is explained, and the resulting trace identities for modular matrix elements are presented.

Let $L$ be a field of characteristic zero, let $h:\mathbb{P}^1\to \mathbb{P}^1$ be a rational map defined over $L$, and let $c\in \mathbb{P}^1(L)$. We show that there exists a finitely generated subfield $K$ of $L$ over which both $c$ and…

Let $k$ be any number field and $k_{\infty}/k$ any $\mathbb{Z}_p$-extension. We construct a natural $\Lambda= \mathbb{Z}_p[[ T-1 ]]$-morphism from $\varprojlim k_n^{\times} \otimes_{\mathbb{Z}} \mathbb{Z}_p$ into a special subset of…

This is the text of a talk to the study week on \emph{Modular forms and Galois representations} held in Luminy, 1997. We give a survey of $p$-adic modular forms, as developped by Serre, Katz, Hida, Wiles, Coleman and others...

We prove that every finite dimensional representation of a finite group over a field of characteristic p admits a finite resolution by p-permutation modules. The proof involves a reformulation in terms of derived categories.

A rational function of degree at least two with coefficients in an algebraically closed field is post-critically finite (PCF) if all of its critical points have finite forward orbit under iteration. We show that the collection of PCF…

We prove that function fields of varieties of dimension at least two over an algebraic closure of a finite field are determined, modulo purely inseparable extensions, by the quotient by the second term in the lower central series of their…

We study the arithmetic aspects of the finite group of extensions of abelian varieties defined over a number field. In particular, we establish relations with special values of L-functions and congruences between modular forms.

In this note, we verify that several fundamental results from the theory of representations of reductive $p$-adic groups, extend to finite central extensions of these groups.

We prove model completeness for the theory of addition and the Frobenius map for certain subrings of rational functions in positive characteristic. More precisely: Let $p$ be a prime number, $\mathbb{F}_{p}$ the prime field with $p$…