Title
Explicit arithmetic intersection theory and computation of Néron-Tate heights
Abstract
We describe a general algorithm for computing intersection pairings on arithmetic surfaces. We have implemented our algorithm for curves over Q, and we show how to use it to compute regulators for a number of Jacobians of smooth plane quartics, and to numerically verify the conjecture of Birch and Swinnerton-Dyer for the Jacobian of the split Cartan curve of level 13, up to squares.
Year
DOI
Venue
2020
10.1090/mcom/3441
MATHEMATICS OF COMPUTATION
Field
DocType
Volume
General algorithm,Jacobian matrix and determinant,Arithmetic,Intersection theory,Conjecture,Mathematics,Computation
Journal
89
Issue
ISSN
Citations 
321
0025-5718
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Raymond van Bommel100.34
David R Holmes24220.31
Jan Steffen Müller300.34