On page 227 of Symmetry and the Monster, Mark Ronan tells the story of Conway and Norton computing the number of independent mini j-functions (McKay-Thompson series) arising from the Moonshine module. There are 194 distinct characters of the monster (btw. see the background picture for the first page of the character table as given in the Atlas), but some of them give the same series reducing the number of series to 171. But, these are not all linearly independent. Mark Ronan writes :

“Conway recalls that, ‘As we went down into the 160s, I said let’s guess what number we will reach.’ They guessed it would be 163 - which has a very special property in number theory - and it was! There is no explanation for this. We don’t know whether it is merely a coincidence, or something more. The special property of 163 in number theory has intruiging consequences, among which is the fact that

is very close to being a whole number.”

The corresponding footnote is a bit cryptic and doesn’t explain this near miss integer.

“This special feature also yields a fact, first noticed by Euler, that the formula gives prime numbers for all values of x between 1 and 40. The connection with 163 is that the solution to involves the square root of -163.”

So, what is really going on?

The modular j-function has a power series expansion in starting off as

and classifies complex elliptic curves upto isomorphism, or equivalently, two-dimensional integral lattices upto a complex scaling factor. A source of two-dimensional integral lattices is given by the rings of integers in quadratic imaginary extensions of the rational numbers . So, perhaps one might expect special properties of the j-value whenever this ring of integers has special properties.

Leopold Kronecker discovered in 1857 the remarkable fact that the modular j-function detects the class number of . Recall that the class-number is a finite number measuring the amount by which the ring on integers in fails to be a unique factorization domain. He proved :

The function-value is an algebraic integer whose degree is the class number of the quadratic extension. In particular, if the ring of integers in satisfied unique factorization (or equivalently, is a principal ideal domain), then is an integer!

Special instances of this theorem were already known. For example, the Gaussian integers satisfy unique factorization and Gauss knew already that . He even knew that

and because is the ring of integers in and as the absolute value of this j-value is near the value of we must be closing in on the solution of the riddle.

Charles Hermite noticed in 1859 this curious numerical consequence of Kronecker’s theorem. For, if one takes and plugs this into the definition of one gets the tiny number which is equal to -0.0000000000000000038089809370076523382… So, all but the first two terms in the series expansion of will be very small. For example and the next term is already 0.00000000000000000000000000031183868… and further terms will be even a lot smaller.

Combining this information with the Gauss-computed value of we get that

whence the observed curious approaximation of

What about other near misses which follow from Kronecker’s result? Unfortunately there are only nine imaginary quadratic extension for which the corresponding ring of integers satisfies unique factorization, namely

and of course the near misses will be worse for smaller values of D. For example for the next two largest values one calculates

Reference :

John Stillwell, Modular Miracles, The American Mathematical Monthly, 108 (2001) 70-76

• I Love Social Bookmarking
  
  • Subscribe
  • Digg
  • del.icio.us
  • Ma.gnolia
  • StumbleUpon
  • Technorati

Conway, google, groups, modular, monster, moonshine, symmetry

8 comments
Posted in modular
Written on Thu, 14 June 2007 at 1:22 pm
Tags: Conway, google, groups, modular, monster, moonshine, symmetry
If you liked this post, then consider subscribing to our full RSS feed.