# Modular forms, Frey curves, Fermat and all that

• November 21, 2013 · 7:00 PM

There's a really nice and very gentle introduction to the modular group.  It's called "Indra's Pearls, The Vision of Felix Klein" by David Mumford, Caroline Series and David Wright, Cambridge Univ. Press (2006).  Another nice resource is Helena Verrill's Java applet: https://www.math.lsu.edu/~verrill/fundomain/index2.html.

An integer relation of the form a^n + b^n = c^n generates a very special elliptic curve y^2 = x (x - a^n) (x + b^n) . This gadget is called a 'Frey curve'. Coming from an entirely different direction, the brilliant Japanese mathematician Yutaka Taniyama conjectured that all elliptic curves are 'modular' - which means they can be parametrized by a modular curve. That conjecture was essentially proved by Andrew Wiles. Frey curves are much too special to be modular. This contradiction proves Fermat's Last Theorem. Let's find out a few things about all this. It's certainly a magnificent part of mathematics, full of really beautiful and symmetric objects.

Historical background includes Fermat's probable 'proof' from 1637, as well as the effort by Lamé which failed but spurred the development by Ernst Kummer of ideal theory for number fields around 1846.  It is also worth looking briefly at how the ABC Conjecture implies FLT.  It states that:

For all real e>0, there exists real K(e), such that for all (a,b,c) positive co-prime integers

a+b=c  => c < K(e)*radical(a*b*c)^(1+e).

(radical(n) = product of the distinct prime factors of n.)

Join or login to comment.

• ##### Yan Z.

Very good introduction on the difficult topic!

November 22, 2013

• ##### Etienne J.

Thanks for the wonderful talk, Paul. This is not an easy topic but you gave us a very broad and detailed presentation. I look forward to the next one :-)

November 21, 2013

• ##### Ross K.

Hi! What level of background is assumed for this talk?

October 11, 2013

• ##### paul p.

Some familiarity with complex functions, number fields (e.g.) Q(a) where p(a) = 0 is some rational polynomial, curves defined by f(x,y) = 0 in the affine plane or f(x0,x1,x2) = 0 in the projective plane.

October 11, 2013

### 32 went

• ##### Etienne J.
• A former member
• A former member
• A former member
+1 guest

### Palo Alto, CA

Founded Aug 27, 2012

Contact

#### People in this Meetup are also in:

• ##### SF Bay ACM Chapter

3,430 Members and Guests

• ##### Hackers and Founders

12,227 Hackers / Founders

• ##### Bay Area Search

1,967 Bay Area Searchers

• ##### Silicon Valley Linux Technology

2,198 Linux engineers

• ##### Data Science for Sustainability

1,610 Members

• ##### Hacker Dojo Robotics

333 Roboticists

### Create a Meetup Group and meet new people

Bill

I started the group because there wasn't any other type of group like this. I've met some great folks in the group who have become close friends and have also met some amazing business owners.

Bill, started New York City Gay Craft Beer Lovers