## A Collection of Algebraic Identities

### 0023: Part 2, Prime Generating Polynomials

Part 2: Prime-Generating Polynomials and 43 Moonshine Functions

By Tito Piezas III

Keywords:  moonshine functions, Monster group, prime generating polynomial, McKay-Thompson series, class numbers, 43, 163.

Abstract:  An expository work on how 1) prime-generating polynomials are connected to integer values of some moonshine functions rp(τ); and 2) for p > 1 satisfying certain constraints, it is conjectured exactly 43 of the moonshine functions obey certain rules regarding class numbers.

I. Introduction

II. Class number h(d) = 1

III. Class number h(d) = 2n

IV. Class number h(d) = 4n

V. Class number h(d) = 8n

VI. Conjectures

VII. Rogers-Ramanujan Continued Fraction

I. Introduction

In “Part 1: The 163 Dimensions of the Moonshine Functions”, it was discussed how Conway, Norton, and Atkin showed that the moonshine functions curiously span a linear space of dimension 163.  (For details, it is recommended one reads Part 1 first.)  These functions assume the form of McKay-Thompson series,

Tp(q) = 1/q + a0 + a1q + a2q2 + a3q2 + …

q = e2πiτ = exp(2πiτ)

the powers of q are either consecutive or some other arithmetic progression, and a0 is normalized as zero or another integer.  But other than having a dimension of 163, another interesting aspect to them is the values they assume for τ a complex root of a quadratic, especially if this quadratic happens to be a maximal prime-generating polynomial.  For example, define r2A(τ) as T2A with a0 = 104, hence,

r2A(τ) = 1/q + 104 + 4372q + 96256q2 + 1240002q3 + …              (A101558)

Then consider the prime-generating polynomial,

P(n) = 2n2+29

which is distinctly prime for its maximum possible range of n = {0 to 28}.  Solving for P(n) = 0, hence n = τ = (1/2)√-58 and plugging this into the series, one finds that,

r2A((1/2)√-58) = 3964

This particular integer can be expressed in terms of the fundamental unit U29 = (5+√29)/2 as,

26(U296 + 1/U296)2 = 3964

and also appears in a pi formula found by Ramanujan a century ago in 1912,

where one can see the 58 as well.  And, of course, in the almost integer,

eπ√58 = 3964 - 104.0000001…

This article, part 2 of a series, will look at an interesting section of the 163 dimensions of the moonshine functions and discuss its relationship to quadratic prime-generating polynomials.  Since the class number h(d) of our example d = -4∙58 = -232 is h(d) = 2, we will start with h(d) = 1.

II. Class number h(d) = 1

Using T1A with a0 = 744, we have the classical j-function j(τ),

j(τ)  =  1/q + 744 + 196884q + 21493760q2 + 864299970q3 + …  (A007240)

There are exactly 9 negative fundamental discriminants d such that h(d) = 1, namely,

-d = {4, 8, 3, 7, 11, 19, 43, 67, 163}

(The list of d with class number up to h(d) = 25 can be found in Mathworld.)  The table below shows the associated prime-generating polynomial P(n) = an2+bn+c, its discriminant d, and j(τ) using a root τ of P(n) = 0 which, of course, is given by the quadratic formula,

For negative d, the root on the upper half of the complex plane is chosen per the requirements of modular forms.  Hence,

 P(n) = an2+bn+c d = b2-4ac j(τ) n2+1 -4 123 n2+2 -8 203 n2-n+1 -3 0 n2-n+2 -7 -153 = -13(42-1)3 n2-n+3 -11 -323 = -43(32-1)3 n2-n+5 -19 -963 = -123(32-1)3 n2-n+11 -43 -9603 = -123(92-1)3 n2-n+17 -67 -52803 = -123(212-1)3 n2-n+41 -163 -6403203 = -123(2312-1)3

Table 1

Some remarks:

1. They have a beautifully consistent “internal” structure, don’t they?  The reason for the squares within the cubes is due to certain Eisenstein series (to be discussed in some other article).  This pattern also carries over to higher class numbers for some d.  For example, the largest d (in absolute value) with h(d) = 2 is d = -427 = -7∙61, hence letting τ = (1+√-427)/2, then,

j(τ) = -123(w2-1)3,  where w = 7215+924√61

an algebraic number of deg 2 as expected, since the j-function detects the class number of negative fundamental d.  This also implies,

eπ√427 ≈ 123(w2-1)3 + 743.9999999999999999999….

which goes on for 22 nines, more than the 12 nines of d = -163.  Later it will be seen that the moonshine functions, in a special way, can also detect h(d).

2. The P(n) = an2+bn+c in Table 1 for c > 1 all have the maximum possible range for distinct primes as n = {1 to c-1}.

3.  It is not so well-known that, starting with some negative n, then every third value of these P(n) is prime for the same length of consecutive n.  And for higher d, the primes within this span are different.

 P(n) n P(m) Prime for m n2-n+11 3m-21 → 9m2-43(3m)+473 {1 to 10} n2-n+17 3m-33 → 9m2-67(3m)+1139 {1 to 16} n2-n+41 3m-81 → 9m2-163(3m)+6683 {1 to 40}

For example, the sequence of 40 primes for Euler’s polynomial P(n) is {41, 43, …,1601}, while the 40 primes for P(m) will start and end differently as {6203, 5741, … ,1523}.  Also, note that 2 ∙{21, 33, 81} + 1 = {43, 67, 163}.  Furthermore, if we solve P(m) = 0 and plug the correct root τ into the McKay-Thompson series T9A with constant term a0 = -3,

r9A(τ) = 1/q - 3 + 27q + 86q2 + 243q3 + 594q4 + …            A007266

we get complex deg 4 algebraic numbers.  Given a cube root of unity, u = e2πi/3 = (-1+√-3)/2, then,

with the integers,

{j43,   j67,   j163} = {960/12,  5280/12,  640320/12}

Recall that,

eπ√43 - 744 ≈ 9603 = 123(92-1)3

eπ√67 - 744 ≈ 52803  = 123(212-1)3

eπ√163 - 744 ≈ 6403203 = 123(2312-1)3

Interesting that the blue numbers should appear using r9A(τ) and prime-generating polynomials of form P(n) = 9n2+bn+c.

III. Class number h(d) = 2n

The Monster group has the extremely large order,

O = 24∙ 34∙ 54∙ 74∙ 114∙134∙ 17∙ 19∙ 23∙ 29∙ 31∙ 41∙ 47∙ 59∙ 71 ≈ 8∙ 1053

The 15 primes that divide its order are called the supersingular primes, and there is a McKay-Thompson series TpA for each one.  Most of these primes also divide the fundamental discriminants d with class number h(d) = 2.  Define the following functions,

r2A(τ) = 1/q + 104 + 4372q + 96256q2 + 1240002q3 + …    (A101558)

r3A(τ) = 1/q + 42 + 783q + 8672q2 + 65367q3 + …              (A030197)

r5A(τ) = 1/q - 6 + 134q + 760q2 + 3345q3 + …                     (A007251)

r7A(τ)  = 1/q + 10 + 51q + 204q2 + 681q3 + …                     (A030183)

r11A(τ)  = 1/q + 0 + 17q + 46q2 + 116q3 + …                        (A030183)

r13A(τ) = 1/q - 2 + 12q + 28q2 + 66q3 + 132q4 +               (A034318)

and so on.  (For brevity, we will focus only on the smaller p.)  Without the constant term, these are simply the series T2A, T3A, T5A, T7A, T11A, and T13A, and the first two have already been given in Part 1.  There are exactly 18 negative fundamental discriminants d such that h(d) = 2,

-d = {15, 20, 24, 35, 40, 51, 52, 88, 91, 115, 123, 148, 187, 232, 235, 267, 403, 427}

The table below shows their associated prime-generating polynomials P(n), and the value of rp(τ) using the root τ of P(n) = 0:

 p P(n) = an2+bn+c d = b2-4ac rpA(τ) 2 2n2-2n+3 -20 = -4∙5 -26∙42 2 2n2-2n+7 -52 = -4∙13 -26∙362 2 2n2-2n+19 -148 = -4∙37 -26∙17642 2 2n2+3 -24 = -4∙6 26∙62 2 2n2+5 -40 = -4∙10 26∙182 2 2n2+11 -88 = -4∙22 26∙1982 2 2n2+29 -232 = -4∙58 26∙196022 = 3964 3 3n2-3n+2 -15 = -3∙5 -33∙16 3 3n2-3n+5 -51 = -3∙17 -33∙26 3 3n2-3n+11 -123 = -3∙41 -33∙46 3 3n2-3n+23 -267 = -3∙89 -33∙106 = -3003 3 3n2+2 -24 = -3∙8 33∙23 5 5n2-5n+2 -15 = -5∙3 -25 5 5n2-5n+3 -35 = -5∙7 -50 5 5n2-5n+7 -115 = -5∙23 -850 5 5n2-5n+13 -235 = -5∙47 -15250 5 5n2+1 -20 = -5∙4 10√5 5 5n2+2 -40 = -5∙8 50 7 7n2-7n+3 -35 = -7∙5 -7∙12 7 7n2-7n+5 -91 = -7∙13 -7∙32 7 7n2-7n+17 -427 = -7∙61 -7∙392 11 11n2-11n+7 -187 = -11∙17 -50 13 13n2-13n+5 -91 = -13∙7 -13 13 13n2-13n+11 -403 = -13∙31 -130 13 13n2+1 -52 = -13∙4 2√13

Table 3

Some remarks:

1.  The values are also beautifully consistent in form.  While the table used class number h(d) = 2, one can also use h(d) = 4, 6, etc.  For ex, let d = -4∙82 with h(d) = 4, and τ = (1/2)√-82, then one gets an algebraic number just of deg 2,

r2A(τ) = 124(51+8√41)4

2.  Using large d, one gets almost-integers (or in general, almost-algebraics),

eπ/2√232 = eπ√583964 - 104.0000001….

eπ/3√267 = eπ√(89/3)3003 + 41.99997…

eπ/5√235 = eπ√(47/5)15250 - 6.008…

eπ/7√427 = eπ√(61/7)7∙392 + 9.995…

eπ/13√403 = eπ√(31/13)130 - 2.09…

and,

eπ/2√328 = eπ√82124(51+8√41)4 - 104.000000001…

IV. Class number h(d) = 4n

In contract to the ones in the previous sections, a prime-generating polynomial of form P(n) = 6n2-6n+c cannot be prime for n = c-1 since it factors at that value.  For P(n) = 10n2-10n+c, it is n = c-2, and so on.  The most impressive for the first kind is,

P(n) = 6n2-6n+31

which is distinctly prime for the maximum n = {1 to 29}.  This has discriminant d = -708 = -6∙118, and we find this d also appears in an almost-integer,

eπ/6√708 = eπ√(118/6)10602 + 9.99992…

But this d has class number h(d) = 4.  If 10602 is the value of a moonshine function, then there must be some yielding, for appropriate d, algebraic numbers that are one-fourth the class number.  It turns out these apparently are the McKay-Thompson series of order p where p is the product of two distinct supersingular primes.  There are 23 such orders,

2 ∙{3, 5, 7, 11, 13, 17, 19, 23, 31, 47} = {6, 10, 14, 22, 26, 34, 38, 46, 62, 94}

3 ∙{5, 7, 11, 13, 17, 19, 23, 29, 31} = {15, 21, 33, 39, 51, 57, 69, 87, 93}

5 ∙{7, 11, 19} = {35, 55, 95}

7 ∙{17} = 119

though p = 57 and 93 are to be excluded.  (For the relevant McKay-Thompson series in this family, these two are the only ones where the powers of q are not consecutive but are in the progression 3m+2.)  So what remains are 21 series.  For brevity, we will focus only in the case p = 2m for small m.  Define the following functions,

r6A(τ) = 1/q + 10 + 79q + 352q2 + 1431q3 + …                (A007254)

r10A(τ) = 1/q + 4 + 22q + 56q2 + 177q3 + …                     (A058097)

r14A(τ) = 1/q + 2 + 11q + 20q2 + 57q3 + …                       (A058497)

r22A(τ) = 1/q - 5 + 5q + 6q2 + 16q3 + 20q4  …                  (A058567)

r26A(τ) = 1/q + 0 + 4q + 4q2 + 10q3 + 12q4  …                 (A058596)

and so on, which, needless to say, without the constant terms are the McKay-Thompson series T6A, T10A, T14A, T22A, and T26A.  There are exactly 54 negative fundamental discriminants d with h(d) = 4.  However, only some are divisible by 6, 10, 14, 22, or 26.  These, and their associated P(n), and rpA(τ) are listed in the following table:

 p P(n) = an2+bn+c d = b2-4ac rpA(τ) 6 6n2+5 -120 = -12∙10 25∙10 6 6n2+7 -168 = -12∙14 25∙28 6 6n2+13 -312 = -12∙26 25∙325 6 6n2+17 -408 = -12∙34 25∙352 6 6n2-6n+5 -84 = -12∙7 -24∙7 6 6n2-6n+7 -132 = -12∙11 -24∙52 6 6n2-6n+11 -228 = -12∙19 -24∙132 6 6n2-6n+17 -372 = -12∙31 -24∙31 6 6n2-6n+31 -708 = -12∙59 -24∙2652 10 10n2+3 -120 = -20∙6 62 10 10n2+7 -280 = -20∙14 142 10 10n2+13 -520 = -20∙26 362 10 10n2+19 -760 = -20∙38 762 10 10n2-10n+11 -340 = -20∙17 -182 14 14n2+3 -168 = -28∙6 21 14 14n2+5 -280 = -28∙10 45 14 14n2-14+5 -168 = -28∙3 -7 14 14n2-14+13 -280 = -28∙19 -7∙52 22 22n2-22+7 -132 = -44∙3 -11 22 22n2-22+17 -1012 = -44∙23 -11∙32 26 26n2+3 -312 = -52∙6 32 26 26n2+5 -520 = -52∙10 42

Table 4

An example using h(d) = 8 is d = -1380, hence τ = (6+√-1380)/12, giving the deg 2 algebraic,

r6A(τ) = -42(2093+540√15)2

and implying,

eπ/6√1380 = eπ√(230/6)42(2093+540√15)2 + 9.9999997…

V.  Class number h(d) = 8n

On a suggestion by Simon Norton who asked about p a product of three distinct supersingular primes, it seems there are indeed moonshine functions that could detect h(d) = 8n.  There are 7 such p, namely p = {30, 42, 66, 70, 78, 105, 110},

r30B(τ) = 1/q + 0 + 4q + 2q2 + 6q3 + …         (A058613)

r42A(τ) = 1/q + 0 + 2q + 2q2 + 3q3 + …         (A058671)

r66A(τ) = 1/q + 0 + 2q + 0q2 + q3 + …           (A058739)

r70A(τ) = 1/q + 0 + q + 0q2 + 2q3 + …           (A058744)

r78A(τ) = 1/q + 0 + q + q2 + q3 + …               (A058754)

r105A(τ) = 1/q + 0 + q + q2 + 0q3 + …            (A058773)

r110A(τ) = 1/q + 0 + 0q + q2 + q3 + …            (A058774)

which, since the constant term a0 = 0, are simply McKay-Thompson series.  (Note that the first uses the conjugacy class 30B.)  There are exactly 131 negative fundamental d with h(d) = 8, but only some are divisible by the seven p.  For brevity, we will give at most only two examples per function,

 p P(n) = an2+bn+c d = b2-4ac rp(τ) 30 30n2+7 -840 = -60∙14 21 30 30n2+11 -1320 = -60∙22 45 42 42n2+5 -840 = -84∙10 32 42 42n2+11 -1848 = -84∙22 52 66 66n2+5 -1320 = -132∙10 6 66 66n2+7 -1848 = -132∙14 8 70 70n2+3 -840 = -140∙6 22 78 78n2-78n+23 -1092 = -156∙7 -22 105 105n2-105n+31 -1995 = -105∙19 -22 110 110n2+3 -1320 = -220∙6 3

Table 5

Remarks:

1. Just like in the previous three tables, all the given prime-generating P(n) in Table 4 are distinctly prime for its maximum range n.  For example, the form P(n) = 105n2-105n+c can only be distinctly prime for n = {1 to c-24} since P(c-23) will factor.

2. For class number h(d) = 16, an example is d = -5208 = -84∙62.  Let τ = (1/84)√-5208, and we get an algebraic number just of deg 2,

r42A(τ) = (1/4)(15+√217)2

VI. Conjectures

Given composite negative fundamental discriminant d = pm, but excluding d such that pd = a2, or pd = a2v where v divides p:

Conjecture 1:  If d = pm has class number h(d) = 2n, then for p a supersingular prime, the moonshine function rpA(τ) is an algebraic number of degree one-half the h(d).  There are 15 such functions.

Conjecture 2:  If d = pm has class number h(d) = 4n, then for p a product of 2 distinct supersingular primes (excepting products p = 57 and 93), the rp(τ) of the appropriate conjugacy class is an algebraic number of degree one-fourth the h(d).  There are 21 such functions.

Conjecture 3:  If d = pm has class number h(d) = 8n, then for p a product of 3 distinct supersingular primes, the rp(τ) of the appropriate conjugacy class is an algebraic number of degree one-eighth the h(d).  There are 7 of these.

Conjecture 4:  Thus, there is a total of 15 + 21 + 7 = 43 such functions.

Note 1:  All the functions are from the series TpA, excepting three:  T30B, T33B, and T46C.

Note 2:  To recall, there are 172 McKay-Thompson series for the Monster, all distinct except the special case of T27A = T27B.  And 172 = 4∙43.  In fact, the Monster has at least 43 conjugacy classes of maximal subgroups.  If the numbers 43, 67, 163 turn out to be significant for moonshine functions (none is yet known for the second), then that would be an interesting triple “coincidence”.

VII. Rogers-Ramanujan Continued Fraction

In one of his letters to Hardy, Ramanujan gave the beautiful continued fraction,

We saw how supersingular primes play an important role in the moonshine functions.  It turns out that simple arithmetic properties of these primes allow it to be also connected to the Rogers-Ramanujan continued fraction.  But again, that is another story…

-- End --

© July 2011, Tito Piezas III

You can email author at tpiezas@gmail.com