Continuity of the radius of convergence of differential equations on \(p\)-adic analytic curves (Q607716): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 4 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2123456103 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 0809.2479 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Period mappings and differential equations. From \({\mathbb C}\) to \({\mathbb C}_p\). Tôhoku-Hokkaidô lectures in arithmetic geometry. With appendices: A: Rapid course in \(p\)-adic analysis by F. Kato, B: An overview of the theory of \(p\)-adic unifomization by F. Kato, C: \(p\)-adic symmetric domains and Totaro's theorem by N. Tsuzuki / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3155105 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3530978 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Differential modules and singular points of p-adic differential equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuity of the radius of convergence of differential equations on \(p\)-adic analytic curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3998951 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Étale cohomology for non-Archimedean analytic spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Vanishing cycles for formal schemes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Smooth \(p\)-adic analytic spaces are locally contractible / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3155110 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Integration of One-forms on P-adic Analytic Spaces. (AM-162) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lectures on formal and rigid geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable reduction and uniformization of abelian varieties. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal and rigid geometry. I: Rigid spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3325851 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Néron Models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modules différentiels sur les couronnes (Differential modules over annuli) / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the index theorem for \(p\)-adic differential equations. III / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4539741 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4855222 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Families of curves and alterations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3758958 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Introduction to "G"-Functions. (AM-133) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solutions d'équations à coefficients dans un anneau hensélien / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3994935 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sur les espaces analytiques quasi-compacts de dimension 1 sur un corps valué complet ultramétrique. (On quasi-compact 1-dimensional analytic spaces over a complete ultrametric valued field) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fuchsian structure for differential modules on an ultrametric polyannulus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Über die Methode der diskret bewerteten Rigne in der nicht- archimedischen Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: LOCAL MONODROMY OF p-ADIC DIFFERENTIAL EQUATIONS: AN OVERVIEW / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3579590 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal-algebraic and rigid-analytic geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-solvable differential modules. Radii of convergence and indexes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rank one solvable \(p\)-adic differential equations and finite Abelian characters via Lubin-Tate groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4872501 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On local properties of non-Archimedean analytic spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable modification of relative curves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Radii of Convergence and Index for p-Adic Differential Operators / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 12:43, 3 July 2024

scientific article
Language Label Description Also known as
English
Continuity of the radius of convergence of differential equations on \(p\)-adic analytic curves
scientific article

    Statements

    Continuity of the radius of convergence of differential equations on \(p\)-adic analytic curves (English)
    0 references
    3 December 2010
    0 references
    The author studies meromorphic connections \((\mathcal F,\nabla)\) on compact rig-smooth curves \(X\) within Berkovich's category of non-archimedean analytic spaces over non-archimedean extensions \(k\) of \(\mathbb Q_p\). For any semi-stable model \(\mathfrak X\) of \(X\), he defines the \(\mathfrak X\)-normalized radius of convergence \(R_{\mathfrak X}(\mathcal F,\nabla)\) of \((\mathcal F,\nabla)\) as a \((0,1]\)-valued function on \(X\); he proves that if \(\mathcal F\) has a model on \(\mathfrak X\), then \(R_{\mathfrak X}(\mathcal F,\nabla)\) is continuous, logarithmically concave and logarithmically piecewise linear. Under certain additional assumptions on the singularities of \((\mathcal F,\nabla)\), he proves that \((\mathcal F,\nabla)\) is a Robba connection (which means that \((\mathcal F,\nabla)\) is trivial on every open disc in \(X_{k'}\), for every analytic extension field \(k'\) of \(k\)) if and only if \(R_{\mathfrak X}(\mathcal F,\nabla)\) equals \(1\) on the vertices of the skeleton \(S(\mathfrak X)\subseteq X\) associated to \(\mathfrak X\). As Baldassarri explains in the introduction of his article, the normalized radius of convergence \(R_{\mathfrak X}(\mathcal F,\nabla)\) can be defined in higher dimensions, for any connection \((\mathcal F,\nabla)\) on a rig-smooth analytic space \(X\) over a (possibly trivially valued) non-archimedean field \(k\) with respect to a given nondegenerate polystable formal model \(\mathfrak X\) of \(X\): if \(x\in X\) is a \(k\)-rational point and \(k\) is both non-trivially valued and algebraically closed, then one defines \(R_{\mathfrak X}(\mathcal F,\nabla)(x)\) to be the radius of the maximal open polydisc neighborhood of \(x\) in \(X\setminus S(\mathfrak X)\) where \((\mathcal F,\nabla)\) is trivial, and \(S(\mathfrak X)\subseteq X\) denotes the skeleton of \(X\); the definition is extended to the general case via extension of the base field. One conjectures in general that \(R_{\mathfrak X}(\mathcal F,\nabla)\) is continuous on \(X\) and that, if \(\mathcal F\) has a model on \(\mathfrak X\), the connection \((\mathcal F,\nabla)\) is a Robba connection in the above sense if and only if \(R_{\mathfrak X}(\mathcal F,\nabla)\) is identically \(1\) on \(X\). As we stated above, the present paper settles these conjectures in one-dimensional situations for fields \(k/\mathbb Q_p\), even under the presence of mildly singular connections. The zeroth section of the present article is of an introductory nature; it provides an extensive explanation of the problem and a detailed overview of the paper. For a relatively compact subdomain \(X\) of the analytic affine line \(\mathbb A^1_k\), Baldassarri explains how to relate the normalized radius of convergence function (relative to the analytic skeleton of \(X\)) to the naive non-normalized radius of convergence function \(x\mapsto R(x)\) (which depends on the embedding of \(X\) into \(\mathbb A^1_k\)): the two notions are related via the continuous diameter function. Baldassarri then discusses an example of Christol, for which he explicitly computes \(R(x)\) in all points \(x\) of \(\mathbb A^1_k\). It turns out that in this example, the non-normalized radius of convergence function \(R\) is controlled, via retraction, by a finite graph \(\Gamma\subseteq\mathbb A^1_k\) along whose branches it is constant or linear with respect to a natural parametrization. In the first section, the author reviews the structure of rig-smooth compact connected strictly \(k\)-analytic curves over a non-archimedean field \(k\) with a non-trivial valuation, as well as the parallel theory of semistable reduction of \(k\)-algebraic curves; for simplicity, he assumes \(k\) to be algebraically closed. In the second section, Baldassarri establishes a general criterion, which he attributes to Berkovich, to test whether an \(\mathbb R_{>0}\)-valued function on a smooth \(k\)-affinoid curve over a non-trivially valued non-archimedean field \(k\) is continuous. In Section \(3\), Baldassarri starts assuming that \(k\) has characteristic \(0\). He considers the complement \(X\) of a finite reduced effective divisor \(Z\) in a compact rig-smooth connected \(k\)-analytic curve \(\overline{X}\) as well as connections \((\mathcal F,\nabla)\) on \(X\) with meromorphic singularities along \(Z\). He assumes that \(\mathcal F\) has a model on a semi-stable formal model \(\overline{\mathfrak X}\) of \(\overline{X}\) such that the schematic closure \(\mathfrak Z\) of \(Z\) in \(\overline{\mathfrak X}\) is étale over the valuation ring of \(k\), and he assumes that \(k\) is an extension of \(\mathbb Q_p\). In this situation, he defines the normalized radius of convergence function on \(X\) attached to \((\mathcal F,\nabla)\) and \(\overline{\mathfrak X}\), and he studies its behavior under changes of the model \(\overline{\mathfrak X}\). In Section 4, the author recalls some aspects of the classical theory of differential systems on annuli. In Subsection 5.1, Baldassarri establishes what he calls the main technical tool of his present paper; it is a generalization of the Dwork-Robba theorem [\textit{B. Dwork, G. Gerotto} and \textit{F. J. Sullivan}, An introduction to \(G\)-functions. Annals of Mathematics Studies. 133. Princeton, NJ: Princeton University Press (1994; Zbl 0830.12004), Chapter \ IV, Theorem 3.1] on effective bounds for the growth of local solutions on basic annuli and discs. He then deduces the upper semicontinuity of his normalized radius of convergence function, using methods different from those which had been used in a more special situation by \textit{G. Christol} and \textit{B. Dwork} [Ann. Inst. Fourier 44, No. 3, 663--701 (1994; Zbl 0859.12004)]. In Subsection 5.3, the author shows that the normalized radius of convergence function is continuous on the skeleton of a basic affinoid annulus, and in Subsection 5.4, he discusses how the normalized radius of convergence function for basic annuli (which are not necessarily affinoid subdomains of \(\mathbb A^1_k\)) behaves under Dwork's technique of Frobenius descent. In Section 6, Baldassarri derives the desired continuity property of the normalized radius of convergence function in general, by first reducing to the case of basic affinoid discs or annuli and then using the techniques developed in the previous section. He also obtains a more precise description of the normalized radius of convergence, showing that it is logarithmically concave and logarithmically piecewise linear along the skeleton. Finally, Baldassarri makes use of his previous work on \(p\)-adic Turrittin theory [Adv. Math. 44, 155--179 (1982; Zbl 0493.12030)]: he formulates a condition NL for \((\mathcal F,\nabla)\) at points of \(Z\) by requiring certain formal Fuchs exponents to be \(p\)-adic non-Liouville numbers. Under this assumption, the results from [loc. cit.] relate the asymptotic behavior of the normalized radius of convergence of \((\mathcal F,\nabla)\) with respect to \(\overline{\mathfrak X}\) to the algebraic irregularity of \((\mathcal F,\nabla)\) at \(Z\) at the given point of the divisor. Baldassarri concludes that the normalized radius of convergence is identically \(1\) if and only if it is \(1\) at the vertices of the skeleton and the singularities along \(\mathfrak Z\) are regular. For more details, we refer to the comprehensive introduction of Baldassarri's paper. The article is very well written, and it contains many interesting and instructive examples.
    0 references
    \(p\)-adic differential equations
    0 references
    rig-smooth compact strictly \(k\)-analytic curves
    0 references
    semistable formal models
    0 references
    Dwork-Robba theory
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers