Fuchsian structure for differential modules on an ultrametric polyannulus (Q1962588): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q269630
Property / reviewed by
 
Property / reviewed by: Gilles Christol / rank
Normal 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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references