Rationally inequivalent points on hypersurfaces in \(\mathbb{P}^n\) (Q2237369)

In [\textit{C. Voisin}, Math. Ann. 299, No. 1, 77--103 (1994; Zbl 0837.14007); J. Differ. Geom. 44, No. 1, 200--213 (1996; Zbl 0883.14022)]), Voisin proved the following theorem: if \(X\) is a very general complete intersection in \(\mathbb{P}^{n+k}\) of type \((d_1, d_2, \dots, d_k)\) with \(\sum(d_i-1) \geq 2n+2\), then no two distinct points on \(X\) are rationally equivalent over \(\mathbb{Q}\). The paper under review generalizes Voisin's result in two directions. On one hand, the authors prove in Theorem 1.2 that Voisin's theorem still holds when replacing rational equivalence by \(\Gamma\)-equivalence (where \(\Gamma\) is a fixed smooth projective curve with two distinct points) which was defined by \textit{A. A. Roitman} [Mat. Sb., Nov. Ser. 89(131), 569--585 (1972; Zbl 0259.14003)]. On the other hand, the authors focus on the boundary case when \(k=1\) and \(d_1-1=2n+1\) and prove in Theorem 1.5 that no two distinct points are \(\Gamma\)-equivalent over \(\mathbb{Q}\) on a very general hypersurface \(X \subset \mathbb{P}^{n+1}\) of degree \(2n + 2\) (in contrast, see Appendix A for the case when \(k=1\) and \(d_1-1 \leq 2n\)). It is also conjectured that similar results hold for very general \((d_1, d_2, \dots, d_k)\)-complete intersections in \(\mathbb{P}^{n+k}\) with \(\sum(d_i-1) \geq 2n+1\) (Conjecture 1.4). The proof of Theorem 1.2 replies on a different construction of the relative cycle map (which was one of the major components in Voisin's proof). The key criterion is Proposition 2.4 which reduces the problem to verifying \textit{weakly very ampleness} (defined on Page 6) of certain cotangent sheaf. The proof of Theorem 1.5 involves a very close examination of the proof of Proposition 2.4 (to weaken the requirement of the criterion) and is quite technical. The crucial results used in the proof are Corollary 3.5 and Proposition 3.6.