No label defined (Q4650858)

Let \(X\) be a complex projective surface. Let \(S_d\) denote the Hilbert scheme of dimension \(-0\) degree \(d\) subschemes of \(X\) and let \(\Delta \subset S_d\) be the diagonal, i.e. the reduced divisor whose points are non-reduced subschemes in \(X\). A zero cycle \(P\in S_d\setminus \Delta\) satisfies the Cayley-Bacharach condition if every section of \(H^0 (\Omega_X^2)\) which vanishes on \(d - 1\) points of \(P\) vanishes on \(P\). In this paper, the author proves the following main result: Theorem 1.1. Suppose that \(P\) and \(Q\) are elements of \(S_d \setminus \Delta\) with disjoint supports, that they satisfy the Cayley-Bacharach condition and that they are Abel-Jacobi equivalent. Then, one constructs an explicit (2, 1)-current \(\varphi\) on \(X\), smooth except at points of \(P\) and \(Q\), with the property that \(d \varphi = \bar \partial \varphi = Q - P\). Furthermore, \(\varphi\) is exact off a contractible neighborhood of \(| P| \cup | Q| \). The current \(\varphi \) is a codimension -2 analogue of the (1, 0)-current \(d \log f/ 2 \pi i\), where \(f\) is a meromorphic function on a Riemann surface with divisor \(Q - P\). It is constructed using Chern-Simons theory and quaternionic line bundles structures on some flat rank-2 vector bundles associated to effective zero cycle of degree \(d\) via Serre's construction. For the entire collection see [Zbl 1051.00013].