Cryptography Seminar

Home     Presentation     Previous years

Steffen Mueller


Computing canonical heights using arithmetic intersection theory

We show how the canonical height on the Jacobian of a smooth projective curve over a number field can be computed in practice using arithmetic intersection theory on a regular model of the curve. At finite places, the local intersection multiplicities can be calculated using Gröbner bases, whereas at infinite places we use theta functions associated to the analytic Jacobian.