« HR 2221 - the DATA Act | Main | Factoring RSA-768 »

Wednesday, 13 January 2010

Elliptic curves - connected or not

The graphs of some elliptic curves have one component like this one, the graph of y2 = x3 + 1.

Image001 

Others have two components like this one, the graph of y2 = x3 – 2x + 1.

Image002

It turns out to be easy to tell these two cases apart. If the elliptic curve is defined by the equation y2 = x3 + ax + b and we write D = -4 a3 - 27 b2, then if D > 0 then the graph of the elliptic curve has two components and if D < 0 then the graph has one component. Here’s why.

D is the discriminant of the cubic f(x) = x3 + ax + b. So if we write

x3 + ax + b = (xx1)(xx2)(xx3)

then we have that

D = (x1x2)2(x1x3)2(x2x3)2

Whether the graph of y2 = f(x) has one or two components is determined by how many real roots f(x) has. If there is a single real root then the graph crosses the x-axis once and the graph has a single component, like we get with y2 = x3 + 1. If there are three real roots then the graph then the graph crosses the x-axis three times and the graph has two disconnected components, like we get with y2 = x3 – 2x + 1.

If f(x) has three real roots then D is clearly positive. What about the case of a single real root and a complex conjugate pair of roots?

Let’s write the roots of f(x) as

x1 = a + bi

x2 = a - bi

x3 = c

where a, b and c are real. We can then write

D = (x1x2)2(x1x3)2(x2x3)2

= ((a + bi)– (a bi))2(a + bic)2(a - bi – c)2

= (2bi)2((a - c) + bi)2((ac) – bi)2

= -4b2((a - c)2 + b2)

which is always negative, just like we wanted.

TrackBack

TrackBack URL for this entry:
http://www.typepad.com/services/trackback/6a00e55375ef1c88330128767dd8fb970c

Listed below are links to weblogs that reference Elliptic curves - connected or not:

Comments

Post a comment

If you have a TypeKey or TypePad account, please Sign In.

Voltage Data Breach Index

  • Grab the Voltage Data Breach Index

May 2012

Sun Mon Tue Wed Thu Fri Sat
    1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29 30 31