Top Banner
Properties of Division Polynomials and Their Resultant Presentation for Masters Talk
20

Properties of Division Polynomials and Their Resultant

Feb 22, 2016

Download

Documents

Gent

Properties of Division Polynomials and Their Resultant. Presentation for Masters Talk. Background. David Grant wrote a paper titled “Resultants of division polynomials II: Generalized Jacobi's derivative formula and singular torsion on elliptic curves” - PowerPoint PPT Presentation
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Properties of Division Polynomials and Their Resultant

Properties of Division Polynomials and Their Resultant

Presentation for Masters Talk

Page 2: Properties of Division Polynomials and Their Resultant

Background

• David Grant wrote a paper titled “Resultants of division polynomials II: Generalized Jacobi's derivative formula and singular torsion on elliptic curves”

• The goal, as the title suggests, was to generalize Jacobi’s derivative formula

Page 3: Properties of Division Polynomials and Their Resultant

Background, Cont.

• Jacobi’s derivative formula is:

• David Grants formula is:

Page 4: Properties of Division Polynomials and Their Resultant

My Job

• Write software that implements elliptic curves, theta functions, and the Weierstrass functions

• Test some well known and established formulae using my software and various values

• Test David Grant’s conclusions from his paper

Page 5: Properties of Division Polynomials and Their Resultant

Elliptic Curves Overview

• Elliptic curves via an equation, or via a lattice• Probably the most well known form is from

the equation

• For every equation of this form there is a lattice and vice-versa

Page 6: Properties of Division Polynomials and Their Resultant

A Prerequisite

• When I say “lattice”, I mean the following…• If and C, and they are R-independent, then we

define

as a lattice.

Page 7: Properties of Division Polynomials and Their Resultant

Elliptic Curve from Equation

• As already stated, this takes the form

where a and b are complex.

• To get a lattice (we call it the “period” of the elliptic curve), we have to use the arithmetic-geometric mean.

Page 8: Properties of Division Polynomials and Their Resultant

Arithmetic-Geometric Mean

• Defined by the recursion relation

• A subsequent theorem states that this converges, and they converge to the same limit. We denote this by

Page 9: Properties of Division Polynomials and Their Resultant

Calculating Period of Elliptic Curve

• Assume are roots of the equation , with .

Page 10: Properties of Division Polynomials and Their Resultant

Calculating Period of Elliptic Curve

• Now we can calculate the period:

• and forms the basis for the lattice, and we define the lattice by

Page 11: Properties of Division Polynomials and Their Resultant

Elliptic Curve from Lattice

• Again, let be a lattice.• For even , define the Eisenstein series as

• We let and .

Page 12: Properties of Division Polynomials and Their Resultant

Elliptic Curve From Lattice

• A theorem states that .• If we let and , then we have • Calculating the Eisenstein series is expensive.• We’ll show later a quicker way using theta

functions.

Page 13: Properties of Division Polynomials and Their Resultant

Group Properties

• We can define point-wise addition on an elliptic curve.

• Assume P and Q are two points on the elliptic curve. Let R’ be the point on the elliptic curve that intersects the line through P and Q and the curve. Let R be the reflection of R’ across the x-axis.

• R = P + Q

Page 14: Properties of Division Polynomials and Their Resultant

Division Polynomials

• Define nP = P + P + … + P (adding P to itself n times).

• Division polynomials allow us to calculate nP easily, without using traditional group addition.

Page 15: Properties of Division Polynomials and Their Resultant

Group Properties

• We can also explicitly calculate R.• Let P = , Q = , and R = ).• Then

Page 16: Properties of Division Polynomials and Their Resultant

Division Polynomials

• Given an elliptic curve of the form , define as follows:

Page 17: Properties of Division Polynomials and Their Resultant

Division Polynomials

• Finally, we define the division polynomial, as follows:

Page 18: Properties of Division Polynomials and Their Resultant

How It Can Be Used

• As stated previously, the division polynomial can be used for calculating nP:

Page 19: Properties of Division Polynomials and Their Resultant

Discriminants

• Let be a polynomial of degree n with roots .• We define the discriminant as

Page 20: Properties of Division Polynomials and Their Resultant

Resultants

• Let and be two polynomials of degrees m and n, respectfully.

• We define the resultant of and , denoted res(f,g), as