The generalized Franchetta conjecture for some hyper-Kähler varieties. II (Q2034724): Difference between revisions

A smooth projective morphism \(f: \mathcal{X} \to B\) between smooth schemes of finite type over \(\mathbb{C}\) is said to have the Franchetta property if for any fiber \(X\) of \(f\), the image \(\operatorname{GDCH}^*_B(X)\) of the Gysin restriction \(\operatorname{CH}^*(\mathcal{X}) \to \operatorname{CH}^*(X)\) is mapped injectively by the cycle class map \(\operatorname{GDCH}^*_B(X) \to H^{2*}(X,\mathbb{Q})\). The main result of the paper under review is that the locally complete family of hyper-Käler eightfolds constructed by \textit{C. Lehn} et al. [J. Reine Angew. Math. 731, 87--128 (2017; Zbl 1376.53096)] satisfies the Franchetta property (Theorem 1). The proof is done by reduction to the relative fourth power of cubic fourfolds, using the description of eightfolds as moduli spaces of Bridgeland semistable objects in the Kuznetsov component of the derived category of cubic fourfolds, together with its generalization to the relative setting due to [\textit{A. Bayer} et al., ``Stability conditions in families'', Preprint, \url{arXiv:1902.08184}].