De Rham Cohomology of Differential Modules on Algebraic Varieties

1 Regularity in several variables.-
1 Geometric models of divisorially valued function fields.-
2 Logarithmic differential operators.-
3 Connections regular along a divisor.-
4 Extensions with logarithmic poles.-
5 Regular connections: the global case.-
6 Exponents.- Appendix A: A letter of Ph. Robba (Nov. 2, 1984).- Appendix B: Models and log schemes.- 2 Irregularity in several variables.-
1 Spectral norms.-
2 The generalized Poincaré-Katz rank of irregularity.-
3 Some consequences of the Turrittin-Levelt-Hukuhara theorem.-
4 Newton polygons.-
5 Stratification of the singular locus by Newton polygons.-
6 Formal decomposition of an integrable connection at a singular divisor.-
7 Cyclic vectors, indicial polynomials and tubular neighborhoods.- 3 Direct images (the Gauss-Manin connection).-
1 Elementary fibrations.-
2 Review of connections and De Rham cohomology.-
3 Dévissage.-
4 Generic finiteness of direct images.-
5 Generic base change for direct images.-
6 Coherence of the cokernel of a regular connection.-
7 Regularity and exponents of the cokernel of a regular connection.-
8 Proof of the main theorems: finiteness, regularity, monodromy, base change (in the regular case).- Appendix C: Berthelot's comparison theorem on OXDX-linear duals.- Appendix D: Introduction to Dwork's algebraic dual theory.- 4 Complex and p-adic comparison theorems.-
1 Review of analytic connections and De Rham cohomology.-
2 Abstract comparison criteria.-
3 Comparison theorem for algebraic vs.complex-analytic cohomology.-
4 Comparison theorem for algebraic vs. rigid-analytic cohomology (regular coefficients).-
5 Rigid-analytic comparison theorem in relative dimension one.-
6 Comparison theorem for algebraic vs. rigid-analyticcohomology (irregular coefficients).-
7 The relative non-archimedean Turrittin theorem.- Appendix E: Riemann's "existence theorem" in higher dimension, an elementary approach.- References.