| Dwork, Bernard | |
| Preface | |
| Introduction | p. xiii |
| List of symbols | p. xix |
| Valued Fields | |
| Valuations | p. 3 |
| Complete Valued Fields | p. 6 |
| Normed Vector Spaces | p. 8 |
| Hensel's Lemma | p. 10 |
| Extensions of Valuations | p. 17 |
| Newton Polygons | p. 24 |
| The y-intercept Method | p. 28 |
| Ramification Theory | p. 30 |
| Totally Ramified Extensions | p. 33 |
| Zeta Functions | |
| Logarithms | p. 38 |
| Newton Polygons for Power Series | p. 41 |
| Newton Polygons for Laurent Series | p. 46 |
| The Binomial and Exponential Series | p. 49 |
| Dieudonne's Theorem | p. 53 |
| Analytic Representation of Additive Characters | p. 56 |
| Meromorphy of the Zeta Function of a Variety | p. 61 |
| Condition for Rationality | p. 71 |
| Rationality of the Zeta Function | p. 74 |
| Appendix to Chapter II | p. 76 |
| Differential Equations | |
| Differential Equations in Characteristic p | p. 77 |
| Nilpotent Differential Operators. Katz-Honda Theorem | p. 81 |
| Differential Systems | p. 86 |
| The Theorem of the Cyclic Vector | p. 89 |
| The Generic Disk. Radius of Convergence | p. 92 |
| Global Nilpotence. Katz's Theorem | p. 98 |
| Regular Singularities. Fuchs' Theorem | p. 100 |
| Formal Fuchsian Theory | p. 102 |
| Effective Bounds. Ordinary Disks | |
| p-adic Analytic Functions | p. 114 |
| Effective Bounds. The Dwork-Robba Theorem | p. 119 |
| Effective Bounds for Systems | p. 126 |
| Analytic Elements | p. 128 |
| Some Transfer Theorems | p. 133 |
| Logarithms | p. 138 |
| The Binomial Series | p. 140 |
| The Hypergeometric Function of Euler and Gauss | p. 150 |
| Effective Bounds. Singular Disks | |
| The Dwork-Frobenius Theorem | p. 155 |
| Effective Bounds for Solutions in a Singular Disk: the Case of Nilpotent Monodromy. The Christol-Dwork Theorem: Outline of the Proof | p. 159 |
| Proof of Step V | p. 168 |
| Proof of Step IV. The Shearing Transformation | p. 169 |
| Proof of Step III. Removing Apparent Singularities | p. 170 |
| The Operators (CHARACTER O w/ slash through it) and (CHARACTER U w/ slash through it) | p. 173 |
| Proof of Step I. Construction of Frobenius | p. 176 |
| Proof of Step II. Effective Form of the Cyclic Vector | p. 180 |
| Effective Bounds. The Case of Unipotent Monodromy | p. 189 |
| Transfer Theorems into Disks with One Singularity | |
| The Type of a Number | p. 199 |
| Transfer into Disks with One Singularity: a First Estimate | p. 203 |
| The Theorem of Transfer of Radii of Convergence | p. 212 |
| Differential Equations of Arithmetic Type | |
| The Height | p. 222 |
| The Theorem of Bombieri-Andre | p. 226 |
| Transfer Theorems for Differential Equations of Arithmetic Type | p. 234 |
| Size of Local Solution Bounded by its Global Inverse Radius | p. 243 |
| Generic Global Inverse Radius Bounded by the Global Inverse Radius of a Local Solution Matrix | p. 254 |
| G-Series. The Theorem of Chudnovsky | |
| Definition of G-Series- Statement of Chudnovsky's Theorem | p. 263 |
| Preparatory Results | p. 267 |
| Siegel's Lemma | p. 284 |
| Conclusion of the Proof of Chudnovsky's Theorem | p. 289 |
| Appendix to Chapter VIII | p. 300 |
| Convergence Polygon for Differential Equations | p. 301 |
| Archimedean Estimates | p. 307 |
| Cauchy's Theorem | p. 310 |
| Bibliography | p. 317 |
| Index | p. 321 |
| Table of Contents provided by Publisher. All Rights Reserved. |