Computing the cassels pairing on Kolyvagin classes in the shafarevich-tate group

Kirsten Eisenträger, Dimitar Jetchev, Kristin Lauter

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

Kolyvagin has shown how to study the Shafarevich-Tate group of elliptic curves over imaginary quadratic fields via Kolyvagin classes constructed from Heegner points. One way to produce explicit non-trivial elements of the Shafarevich-Tate group is by proving that a locally trivial Kolyvagin class is globally non-trivial, which is difficult in practice. We provide a method for testing whether an explicit element of the Shafarevich-Tate group represented by a Kolyvagin class is globally non-trivial by determining whether the Cassels pairing between the class and another locally trivial Kolyvagin class is non-zero. Our algorithm explicitly computes Heegner points over ring class fields to produce the Kolyvagin classes and uses the efficiently computable cryptographic Tate pairing.

Original languageEnglish (US)
Title of host publicationPairing-Based Cryptography - Pairing 2008 - Second International Conference, Proceedings
Pages113-125
Number of pages13
DOIs
StatePublished - 2008
Event2nd International Conference on Pairing-Based Cryptography, Pairing 2008 - Egham, United Kingdom
Duration: Sep 1 2008Sep 3 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5209 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other2nd International Conference on Pairing-Based Cryptography, Pairing 2008
Country/TerritoryUnited Kingdom
CityEgham
Period9/1/089/3/08

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science

Cite this