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

Properties of Division Polynomials and Their Resultant

  • Upload
    gent

  • View
    51

  • Download
    0

Embed Size (px)

DESCRIPTION

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

Citation preview

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