English

Refined height pairing

Algebraic Geometry 2024-05-01 v7

Abstract

For a dd-dimensional smooth projective variety XX over the function field of a smooth variety BB over a field kk and for i0i\ge 0, we define a subgroup CHi(X)(0)CH^i(X)^{(0)} of CHi(X)CH^i(X) and construct a "refined height pairing" CHi(X)(0)×CHd+1i(X)(0)CH1(B)CH^i(X)^{(0)}\times CH^{d+1-i}(X)^{(0)}\to CH^1(B) in the category of abelian groups modulo isogeny. For i=1,di=1,d, CHi(X)(0)CH^i(X)^{(0)} is the group of cycles numerically equivalent to 00. This pairing relates to pairings defined by P. Schneider and A. Beilinson if BB is a curve, to a refined height defined by L. Moret-Bailly when XX is an abelian variety, and to a pairing with values in H2(Bkˉ,Ql(1))H^2(B_{\bar k},\mathbf{Q}_l(1)) defined by D. R\"ossler and T. Szamuely in general. We study it in detail when i=1i=1.

Keywords

Cite

@article{arxiv.2009.00533,
  title  = {Refined height pairing},
  author = {Bruno Kahn and with an appendix by Qing Liu},
  journal= {arXiv preprint arXiv:2009.00533},
  year   = {2024}
}

Comments

To appear in Alg. & Number theory. Added after Def. 2.2: Even if it is not apparent anymore, this definition was inspired by [8, Assumption 2] and [5, 1.2]

R2 v1 2026-06-23T18:14:37.024Z