Gross-Schoen cycles and dualising sheaves
type: Item
instance of: scholarly article
title: Gross-Schoen cycles and dualising sheaves
zbMATH Open document ID: 1193.14031
published in: Inventiones Mathematicae
publication date: 2010-01-22T00:00:00Z
full work available at URL: https://arxiv.org/abs/0812.0371
review text: Let \(X\) be a smooth projective geometrically connected curve over a field \(k\) of genus \(g>1\). Let \(Y=X^3\) be the triple product of \(X\) over \(k\). For a divisor \(e\) on \(X\) with rational coefficients of degree one, Gross and Schoen constructed a cycle \(\Delta_e\) in the homologically trivial part \(\mathrm{Ch}^2(Y)^0\) of the Chow group of \(Y\) with rational coefficients. The non-triviality of \(\Delta_e\) is detected by the height \(\langle \Delta_e, \Delta_e \rangle\) of \(\Delta_e\), which is defined if either \(k\) is a number field, or if \(k\) is a function field of a smooth projective irreducible curve \(B\) over a field. The height \(\langle \Delta_e, \Delta_e \rangle\) reaches its minimal value when \(e - \xi\) is a torsion divisor, where \(\xi\) is a divisor on \(X\) such that \((2g-2)\xi\) is the canonical divisor. The main result of this paper expresses \(\langle \Delta_{\xi}, \Delta_{\xi} \rangle\) in terms of the self intersection \(\omega^2\) of the relative dualising sheaf, plus some contribution from local (bad) places of \(k\). This result has a lot of important applications which include (among others) a new approach toward the effective Bogomolov conjecture and the Northcott property for \(\Delta_{\xi}\) and for the Ceresa cycle \(X - [-1]^* X\). Here we have a look at an application to the \(L\)-function: Assume that \(k\) is the function field of \(B\) as above, and that \(X\) can be extended to a non-isotrivial family of smooth projective curves over \(B\). Then, one has \(\langle \Delta_{\xi}, \Delta_{\xi} \rangle > 0\) (because all local contribution vanish in this situation, and because \(\omega^2 >0\)). When \(B\) is a curve of genus \(\geq 3\) over a finite field, this in turn implies that the order of \(L(M, s)\) at \(s=0\) is \(> 0\), where \(M\) is the motive whose \(\ell\)-adic realization is given by the kernel of \(\bigwedge^3 H^1(X)(2) \to H^1(X)(1), ~ a \wedge b \wedge c \mapsto a(b \cup c) + b(c \cup a) + c(a \cup …
reviewed by: Takao Yamazaki
Mathematics Subject Classification ID: 14G40
Mathematics Subject Classification ID: 11G50
zbMATH DE Number: 5661751
zbMATH Keywords: Bogomolov conjecture
zbMATH Keywords: height
zbMATH Keywords: Beilinson-Bloch conjecture
author: Shou-Wu Zhang
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2151912574
arXiv ID: 0812.0371
cites work: Algebraic cycles on Jacobian varieties
cites work: Higher regulators and values of \(L\)-functions
cites work: Height pairings for algebraic cycles
cites work: C is not algebraically equivalent to \(C^-\) in its Jacobian
cites work: The capacity pairing.
cites work: Divisor classes associated to families of stable varieties, with applications to the moduli space of curves
cites work: Q4006891
cites work: The Geometric Bogomolov Conjecture for Curves of Small Genus
cites work: Calculus on arithmetic surfaces
cites work: Lectures on the Arithmetic Riemann-Roch Theorem. (AM-127)
cites work: Q3328651
cites work: Arithmetic intersection theory
cites work: Characteristic classes for algebraic vector bundles with Hermitian metric. I
cites work: Characteristic classes for algebraic vector bundles with Hermitian metric. II
cites work: Q4297055
cites work: An arithmetic Riemann-Roch theorem
cites work: Q4195061
cites work: Q3989537
cites work: The modified diagonal cycle on the triple product of a pointed curve
cites work: The Bogomolov conjecture for totally degenerate abelian varieties
cites work: Height pairings for algebraic cycles on Abelian varieties
cites work: Relative Bogomolov’s inequality and the cone of positive divisors on the moduli space of stable curves
cites work: Q5655476
cites work: Q4297051
cites work: Positivity and discretion of algebraic points of curves
cites work: Fibered algebraic surfaces with low slope
cites work: Effective calculation of the geometric height and the Bogomolov conjecture for hyperelliptic curves over function fields
cites work: Admissible pairing on a curve
cites work: Q4838939
cites work: Equidistribution of small points on abelian varieties
DOI: 10.1007/S00222-009-0209-3
description: scientific article