In ([D4, 1969], 5.5.21) Deligne proves a formula which looks like being deduced from (13) by taking invariants under the symmetric group Sn: for Squasi-compact and quasi-separated, and fquasi-projective, and K ∈ Db(X′, Λ), of tor-amplitude in an interval [0, a], then there is defined a symmetric Künneth map
Luc Illusie ( French: [ilyzi]; born 1940) is a French mathematician, specializing in algebraic geometry. His most important work concerns the theory of the cotangent complex and deformations, crystalline cohomology and the De Rham–Witt complex, and logarithmic geometry.
In ([D29, 1974], 10.1) Deligne gives a similar geometric interpretation for certain mixed Hodge structures of weight between − 2 and 0. He first defines the beautiful geometric notion of 1-motive.
To show it Deligne constructs—via an algebraicity theorem of Borel (complementing the Baily–Borel theorem on quotients of hermitian symmetric domains by torsion free arithmetic subgroups)—a variant (and refinement) of uwith parameters, as an isomorphism of families of polarized Hodge structures over a formal moduli space of K3’s.