2005/06/01 by Morihiko Saito, Saito, Morihiko · 1 citation
Computer Science · Mathematics · #14C30 #Advanced Differential Equations and Dynamical Systems #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #FOS: Mathematics #Polynomial and algebraic computation #math.AG #msc:14C30
paper · pdf · doi:10.48550/arxiv.math/0506020
12 pages
openalex publication_date 2005/06/01 · arxiv created 2005/08/31 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We show that the direct image of the filtered logarithmic de Rham complex is a direct sum of filtered logarithmic complexes with coefficients in variations of Hodge structures, using a generalization of the decomposition theorem of Beilinson, Bernstein and Deligne to the case of filtered D-modules. The advantage of using the logarithmic complexes is that we have the strictness of the Hodge filtration by Deligne after taking the cohomology group in the projective case. As a corollary, we get the total infinitesimal invariant of a (higher) cycle in a direct sum of the cohomology of filtered logarithmic complexes with coefficients, and this is essentially equivalent to the cohomology class of the cycle.