---
title: Beilinson–Bloch Height Pairing
url: https://www.emergentmind.com/topics/beilinson-bloch-height-pairing
type: topic
---

# Beilinson–Bloch Height Pairing

The Beilinson–Bloch height pairing is a bilinear, arithmetic intersection-theoretic object designed to endow the group of homologically trivial algebraic cycles on a smooth projective variety over a global field (function field or number field) with a theory of “quantitative” heights analogous to those for divisors (Néron–Tate, Arakelov, etc.). Its definition, properties, and extensions unify intersection theory, regulator constructions in cohomology, Hodge-theoretic biextensions, and special value conjectures for motivic $L$-functions.

## 1. Cycle-theoretic and Regulator Construction

Let $X$ be a smooth projective variety of dimension $d$ over the function field $K = k(B)$ of a smooth projective curve $B$ over a perfect field $k$, or over a number field. The foundational cycle group in this context is the subgroup of “admissible” cycles
\[
CH^i(X)^{(0)} \subset CH^i(X)
\]
consisting of those cycles numerically (or algebraically) trivial on all fibers of a regular (proper) model $\mathcal{X} \to B$ [2009.00533]. For $i=1,d$, this subgroup coincides with numerically trivial divisors and degree-zero $0$-cycles, respectively.

The refined Beilinson–Bloch height pairing is constructed as a bilinear map
\[
(\, ,\,): CH^i(X)^{(0)} \times CH^{d+1-i}(X)^{(0)} \to CH^1(B)\otimes \mathbb{Q}
\]
in the category of additive groups modulo isogeny [2009.00533]. The pairing is defined by choosing extensions of cycles on $X$ to the model $\mathcal{X}$ satisfying admissibility, then intersecting them on $\mathcal{X}$ and pushing forward via $f_*:\mathcal{X} \to B$.

Compatibility diagrams relate the intersection-theoretic pairing to the cup product in $\ell$-adic or Betti cohomology:
\[
\begin{CD}
CH^i(X)^{(0)} \times CH^{d+1-i}(X)^{(0)} @>(\, ,\,)>> CH^1(B)\otimes\mathbb{Q} \\
@V\mathrm{cl}\times\mathrm{cl}VV @VV\deg\otimes\mathbb{Q}V \\
H^{2i-1}(X_K,\mathbb{Q}(i)) \times H^{2(d-i)-1}(X_K,\mathbb{Q}(d-i+1)) @>\cup>> H^2(B,\mathbb{Q}(1))
\end{CD}
\]
Here the cycle regulator $\mathrm{cl}$ targets Deligne/étale cohomology, and the bottom row is the cup product pairing followed by $f_*$ [2009.00533, 2009.01191, 2508.08041]. The pairing is conjectured to agree with the cup-product pairing under the Beilinson regulator.

## 2. Relationship to Classical Heights: Curves and Abelian Varieties

In cases with $i=1$, $CH^1(X)^{(0)} = \operatorname{Pic}^0(X_K)$ and $CH^d(X)^{(0)}$ is generated by degree-zero $0$-cycles. The refined height pairing
\[
\operatorname{Pic}^0(X_K) \times A_0(X_K) \to CH^1(B)\otimes\mathbb{Q}
\]
recovers the classical Beilinson–Bloch height pairing on homologically trivial cycles [2009.00533, 2206.01220, 2007.06036]. In the case $X_K = A$ an abelian variety, this coincides up to sign conventions with Moret–Bailly’s geometric height and Schneider’s $l$-adic height [2009.00533].

For smooth curves, the “height” pairing is equivalent to the Néron–Tate pairing, via explicit arithmetic local-global formulas involving Archimedean integration (regularized Néron differential periods) and finite-place intersection theory [2206.01220]. The self-pairing for a divisor $D$ is given by
\[
\hat{h}(D) = \frac{1}{2}\langle D, D\rangle_{\mathrm{NT}} = \frac{1}{2}\sum_\nu \langle D,D\rangle_\nu
\]
where local contributions $\langle D,D\rangle_\nu$ are defined for both Archimedean ($\nu|\infty$) and non-Archimedean ($\nu\nmid\infty$) places by integration of differentials of the third kind and intersection indices [2206.01220].

## 3. Cohomological and Hodge-theoretic Interpretation

The Beilinson–Bloch height pairing admits a Hodge-theoretic formulation as the “height” of a biextension in the category of mixed Hodge structures [2206.01220, 2410.17167, 2301.02630, 2007.06036]. For a pair of (complementary codimension) cycles intersecting properly and having homologically trivial classes, there exists a mixed Hodge structure $B_{Z,W}$ fitting in a three-step extension
\[
0 \to \mathbb{Q}(1) \to W_{-2}B \to H \to 0, 
\quad
0 \to W_{-2}B \to W_{-1}B \to \mathbb{Q}(0) \to 0
\]
where $H$ is the appropriate cohomology (e.g., $H^{2p-n-1}$ for higher cycles). The integral of suitable Green currents produces a real-valued height via the Deligne splitting [2007.06036, 2410.17167].

In degeneration settings, the limit mixed Hodge structure associated to smoothing a singular fiber encodes the height pairing of cycles supported on the exceptional divisors of the resolution [2301.02630]. Bloch’s conjecture, confirmed by Beilinson, asserts that the Beilinson–Bloch height equals the Hodge period of the limit mixed Hodge structure modulo $\mathbb{Q}\log|k^\times|$.

For higher Chow cycles, the archimedean height pairing takes the form
\[
h_1(Z,W) = \Im \langle e_H^\vee, \delta_H(e_H) \rangle,
\qquad
h_2(Z,W) = \langle e_H^\vee, \delta_H(e_H) \rangle
\]
where $H$ is a framed mixed Hodge structure attached to the intersection product of $Z$ and $W$ [2410.17167].

## 4. Degeneration and Asymptotics of the Pairing

In one-parameter degenerating families, the archimedean height pairing $\langle Z_t, W_t\rangle_\infty$ is closely controlled by the non-archimedean geometric intersection pairing of admissible liftings to the total space [2512.22788, 2512.22551]. The main conjecture, proved for algebraically trivial cycles and supported by explicit monodromy computations, is that
\[
\langle Z_t,W_t\rangle_\infty + \mu_0 \log|t| \quad \text{extends continuously at } t=0,
\qquad
\mu_0 = \langle Z, W\rangle_{\mathrm{geom},\,0}
\]
with $E_{\langle z, w\rangle}$ the algebraic height bundle on the base.

The archimedean local height pairing corresponds to the logarithm of the metric on the biextension line bundle in the Hodge-theoretic setting [2512.22551], and the leading $\log|t|$ term is naturally identified with the non-archimedean intersection multiplicity.

## 5. Positivity, Nondegeneracy, and Index Theorems

The Beilinson–Bloch height pairing satisfies positivity and index theorems reminiscent of the classical Hodge index theorem [1001.4788, 2009.00533, 2512.22788]. On the space of homologically trivial cycles modulo numerical equivalence,
\[
Q(z, w) = \langle z, w\rangle_{BB}
\]
is positive semi-definite of rank 1; for $z$ primitive, $\langle z, z\rangle_{BB} \geq 0$ with equality if and only if $z$ is numerically trivial.

Explicitly, the self-pairing line bundle $L=E_{\langle z, z^\vee\rangle}$ carries a semipositive (biextension) metric, so that
\[
\deg\,L = \langle z, z^\vee\rangle_X \geq 0
\]
[2512.22788]. Applications include explicit lower bounds for the Faltings height of curves, the Bogomolov conjecture, and non-negativity for Gross–Schoen cycles.

## 6. Generalizations: Higher Dimensions, Number Fields, and L-functions

The refined Beilinson–Bloch pairing is extended to higher-dimensional bases (e.g., $B$ an arbitrary smooth projective variety) by leveraging intersection products, regulator maps, and perverse sheaf techniques [2009.01191, 2508.08041]. Over algebraically closed fields the pairing takes values in $CH^1(B)_\mathbb{Q}$ or $H^2(B, \mathbb{Q}(1))$, projecting to $\mathbb{Q}$ via chosen ample classes.

For varieties defined over number fields, the pairing is realized in the arithmetic Chow groups of Gillet–Soulé via Green currents and Arakelov intersection theory, extending to $L$-height pairings using canonical arithmetic liftings aligned with canonical decompositions induced by Hodge-theoretic harmonic forms [2009.07089].

Connections to special $L$-values (e.g., Gross–Zagier, Bloch–Beilinson conjectures) identify determinants or specific pairings with derivatives or leading terms of motivic $L$-functions [2408.04375, 2203.16435]; see explicit formulas for generalized Heegner cycles, Picard modular motives, and compatibility with Eisenstein cohomology [2408.04375, 2203.16435].

## 7. Functorial Properties and Projection Formulas

The pairing is $\mathbb{Q}$-bilinear, symmetric when $i=d+1-i$, and functorial with respect to pushforward, pullback, and correspondences [2009.00533, 2508.08041]. For finite morphisms, it satisfies the projection formula
\[
h_X(g_*\alpha, \beta) = f_* h_{X'}(\alpha, g^*\beta)
\]
matching the behavior of intersection products and ensuring compatibility with the motivic and cohomological frameworks.

In summary, the Beilinson–Bloch height pairing and its refined versions provide a versatile and robust scheme for measuring arithmetic and geometric complexity of algebraic cycles, unifying intersection theory, Hodge structures, arithmetic Chow groups, and the conjectural structure of motivic L-functions [2009.00533, 2206.01220, 2009.01191, 2512.22788, 2508.08041, 2301.02630, 2007.06036, 2410.17167, 1001.4788, 2111.10276, 2009.07089, 2408.04375, 2203.16435].

Source: https://www.emergentmind.com/topics/beilinson-bloch-height-pairing