The Künneth formula for the twisted de Rham and Higgs cohomologies (Q1639743)

Let \(X\) be a complex projective variety and let \(U\subset X\) be a smooth quasi-projective subvariety. Assume that the complement \(S = X\setminus U\) is a reduced divisor with normal crossings and \(f\) is a rational function on \(X\) whose restriction \(f|_U\) is regular. Let \(P\subset X\) be the pole divisor (not necessarily reduced) of \(f\). Then the family of sheaves of rational differential forms on \(X\) with logarithmic poles along \(S\) and with poles of any orders located on the divisor \(P\) is well-defined; it is denoted by \(\Omega^p_X(\log S)(\star P)\), \(p\geq 0\). This family, endowed with the differential induced by the exterior multiplication by \(df\) given on \(\Omega^\bullet_X(\star P)\), forms an increasing complex; it is called the Higgs complex. Similarly, the differential \(d + df\wedge\), where \(d\) is induced by the de Rham differentiation given on \(\Omega^\bullet_X\), equips this family with the structure of a complex also. The authors call it the twisted de Rham complex, although in the standard terminology this complex is, in fact, the twisted \textit{logarithmic} de Rham complex. Anyway, for both complexes the corresponding hypercohomology and cohomology groups as well as the associated irregular Hodge filtrations are defined in the usual way [\textit{H. Esnault} et al., J. Reine Angew. Math. 729, 171--227 (2017; Zbl 1453.32010)]. Under certain conditions the authors verify by elementary computations that the Künneth formula is valid for both Hodge filtrations. They also underline that in a more general setting (in the framework of the general theory of \(\mathcal D\)-modules) there are other proofs of the Künneth formula described by \textit{C. Sabbah} (e.g., Theorem 3.39 in [``Irregular Hodge theory'', Preprint, \url{arXiv:1511.00176}]) and his followers.