Fuchsian structure for differential modules on an ultrametric polyannulus (Q1962588): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q269630 |
||
Property / reviewed by | |||
Property / reviewed by: Gilles Christol / rank | |||
Revision as of 07:26, 12 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fuchsian structure for differential modules on an ultrametric polyannulus |
scientific article |
Statements
Fuchsian structure for differential modules on an ultrametric polyannulus (English)
0 references
20 March 2000
0 references
This paper sets out the theory of regular singularities for \( p\)-adic differential modules in the several variables case. Even if regular singularities seem less basic in the \( p\)-adic case than in the complex case, this work is the first (and until now the only one) significant step toward a \( p\)-adic \( D\)-module theory. Let \( K \) be a complete extension of \( \mathbb{Q}_{p}\), let \( (I_{i})_{1\leq i\leq n} \) be intervals of \( \mathbb{R}^{+}\), let \( I=\prod I_{i} \) and let \( {\mathcal A}_{K}(I) \) be the ring of functions analytic in the (poly)annulus \( {\mathcal C}(I)\)=\(\{(x_{1},\cdots,x_{n});x_{i}\in I_{i}\} \) with coefficients in \( K\). A differential module, namely a free \( {\mathcal A}_{K}(I)\)-module of finite type endowed with an integrable connection, is said to have the Robba property if its local solutions near any point \( t \) in \( {\mathcal C}(I) \) do converge in the maximal polydisk \( (|x_{i}-t_{i}|<|t_{i}|)_{1\leq i<n} \) centered in \( t \) and contained in \( {\mathcal C}(I)\). The basic step in this paper is to give the definition of exponents for differential modules with the Robba property. One of the striking properties of these exponents is their invariance when specializing variables. The main result of the paper is that any differential module with the Robba property whose exponents have non-Liouville differences is Fuchsian, namely has a basis in which the matrices of the \( x_{i} {d \over dx_{i}} \) are constant. Both results and proofs are generalizations of the one variable theory as it is explained in Dwork's paper [\textit{B. Dwork}, J. Reine Angew. Math. 484, 85-126 (1997; Zbl 0870.12008)]. However this generalization is not at all straightforward. It needed, among other, to extend the explicit majoration of Dwork-Robba in the several variables setting and, above all, to prove a \( p\)-adic Hartogs theorem (analyticity with respect to each variable implies global analyticity).
0 references
regular singularity
0 references
Fuchsian differential module
0 references
Hartogs theorem
0 references