An interesting 0-cycle (Q1431024): Difference between revisions

For a smooth complex algebraic variety \(X\), the higher Chow groups CH\(^p(X)\) are principal algebraic invariants. However, for \(p\geq 2\) these groups are non-classical in character and not yet completely understood. For instance, it is still generally difficult to decide whether a given higher-codimension cycle is or is not rationally equivalent to zero. In the present paper, continuing some very recent (unpublished) work of C. Faber and R. Pandharipande, the authors study a canonically defined \(0\)-cycle \(z_K\) on the product \(X= Y\times Y\) of a curve \(Y\) of genus \(g\geq 4\) with itself. Their main result yields the somewhat surprising fact that \(z_K\) is not rationally equivalent to zero when \(Y\) is sufficiently general. This is in contrast to the previously examined cases when \(g= 0,1,2,3\), or when \(Y\) is hyperelliptic, and therefore \(z_K\) is indeed a highly interesting \(0\)-cycle in the higher-genus case. The proof uses infinitesimal and variational methods, and for it the authors introduce a new, very subtle computational method using M. Schiffer's classical variations. The condition \(g\geq 4\) enters via the properties of tangent lines to canonical curves.