Néron's pairing and relative algebraic equivalence (Q1932510)

This interesting paper is devoted to study of a canonical pairing on a proper geometrically normal and geometrically connected scheme \(X_K\) over fractional field \(K\) of the complete discrete valuation ring \(R\) with algebraically closed residue field \(k\). In variance with the intersection multiplicities on the Néron model \(A\) over \(R\) of an abelian variety \(A_K\) by \textit{A. Néron} [Ann. Math. (2) 82, 249--331 (1965; Zbl 0163.15205)] and intersection theory on a proper flat regular \(R-\) model \(X\) of a curve \(X_K\) by \textit{B. H. Gross} [in: Arithmetic geometry, Pap. Conf., Storrs/Conn. 1984, 327--339 (1986; Zbl 0605.14027)] and by \textit{P. Hriljac} [Am. J. Math. 107, 23--38 (1985; Zbl 0593.14004)] the author of the paper under review defines by intersection computations a pairing on an arbitrary scheme \(X_K\) as above. In this situation he proves that intersection computations are valid for arbitrary proper smooth and geometrically connected scheme over \(K\) ``and arbitrary \(0\)-cycles of degree zero, by using a proper flat normal and semifactorial model \(X\) of \(X_K\) over \(R\)``. The proof is based on the paper by the author [Math. Ann. 355, No. 1, 147--185 (2013; Zbl 1263.14046)]. Let \(\overline{A}\) be a normal semifactorial compactification of \( A \). The final two sections give ``an interpretation of Grothendieck`s duality for the Néron model \(A\), in terms of the Picard functor of \(\overline{A}\) over \(R\)'' and ``an explicit description of Grothendieck's duality pairing when \(A_K\) is the Jacobian of a curve of index one''.