Some new results on modified diagonals (Q906185)

Let \(X\) be a connected smooth projective variety of dimension \(n\). Let \(a\in \text{CH}_0(X)\) be a 0-cycle of degree 1 on \(X\). The main topic of this paper concerns with the modified diagonal \(\Gamma^m(X,a)\), defined by the formula \(\Gamma^m(X,a)=\sum_{I\subset [1,m], |I|=i<m}(-1)^ip_I^*(a^{*i})\cdot p_J^*\Delta_{m-i}\in\text{CH}_n(X^m)\), where \([1,m]=\{1,\cdots,m\}\) is the disjoint union of \(I\) and \(J\), \(p_I:X^m\rightarrow X^i\) (resp. \(p_J:X^m\rightarrow X^{m-i}\)) is the projection onto the factors indexed by \(I\) (resp. \(J\)), \(\Delta_{m-i}\) is the small diagonal of \(X^{m-i}\), and \(a^{*i}=p_1^*a\cdots p_i^*a\in \text{CH}_0(X^i)\). One of the main results in this paper is the proof of O'Grady's conjecture proposed in [\textit{K. G. O'Grady}, Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 25, No. 3, 249--274 (2014; Zbl 1305.14002)], and a generalization stated as follows: Let \(p:X\rightarrow Y\) be a degree \(d\) finite morphism, where \(X\), \(Y\) are smooth projective and connected. (i) Assume \(d=2\), \(a\in \text{CH}_0(Y)\) is a 0-cycle of degree 1 supported on the branch locus of \(p\), and \(b=\frac{1}{2}p^*a\in\text{CH}_0(X)\); if \(\Gamma^m(Y,a)=0\), then \(\Gamma^{2m-1}(X,b)=0\). (ii) For any \(d\), assume \(a\in Y\) is a point such that the subscheme \(p^{-1}(a)\) is supported on a point \(b\in X\). If \(\Gamma^m(Y,a)=0\), then \(\Gamma^{d(m-1)+1}(X,b)=0\). (iii) For any \(d\), let \(b=\frac{1}{d}p^*a\) for some 0-cycle \(a\in\text{CH}_0(Y)\) of degree 1. If \(\Gamma^m(Y,a)=0\) in \(\text{CH}_n(Y^m)/\text{alg}\), then \(\Gamma^{d(m-1)+1}(X,b)=0\) in \(\text{CH}_n(X^{d(m-1)+1})/\text{alg}\).