De Rham Cohomology of Differential Modules on Algebraic Varieties

This is the revised second edition of the well-received book by the first two authors. It offers a systematic treatment of the theory of vector bundles with integrable connection on smooth algebraic varieties over a field of characteristic 0. Special attention is paid to singularities along divisors at infinity, and to the corresponding distinction between regular and irregular singularities. The topic is first discussed in detail in dimension 1, with a wealth of examples, and then in higher dimension using the method of restriction to transversal curves.

The authors develop a new approach to classical algebraic/analytic comparison theorems in De Rham cohomology, and provide a unified discussion of the complex and the p-adic situations while avoiding the resolution of singularities.

They conclude with a proof of a conjecture by Baldassarri to the effect that algebraic and p-adic analytic De Rham cohomologies coincide, under an arithmetic condition on exponents.

As used in this text, the term De Rham cohomology refers to the hypercohomology of the De Rham complex of a connection with respect to a smooth morphism of algebraic varieties, equipped with the Gauss-Manin connection. This simplified approach suffices to establish the stability of crucial properties of connections based on higher direct images. The main technical tools used include: Artin local decomposition of a smooth morphism in towers of elementary fibrations, and spectral sequences associated with affine coverings and with composite functors.

Simplifies the approach to birational properties of connections, based on a formal analysis of singularities at infinity Features a discussion on the stability of properties of connections based on higher direct images under a smooth morphism, only using basic tools of coherent cohomology Presents a unified approach to GAGA-type theorems in De Rham cohomology covering both complex and $p$-adic analytifications

Inhalt
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-analytic cohomology (irregular coefficients).- §7 The relative non-archimedean Turrittin theorem.- Appendix E: Riemann's existence theorem in higher dimension, an elementary approach.- References.