Processing math: 100%

Wednesday, May 28, 2025

Entry 112

Regarding the previous two entries, the more famous function with evaluations that involve fundamental units Un is the modular lambda function λ(τ). Define the McKay-Thompson series of class 4C for the Monster (A007248) j4C(τ)=(η(τ)η(4τ))8+16=(η3(2τ)η(τ)η2(4τ))8

compare the RHS to λ(τ)=(2η(12τ)η2(2τ)η3(τ))8
which solves 2F1(12,12,1,1λ(τ))2F1(12,12,1,λ(τ))=τi
We chose fundamental discriminants d=4m with class number h(d)=2 for even m=6,10,22,58, hence 1λ(6)=U3U6=(2+3)5+261λ(10)=U32U10=(1+2)2(3+10)1λ(22)=U11U22=(10+311)197+42221λ(58)=U62U58=(1+2)6(99+1358)
Note that these m have four divisors and λ(τ) is a product of two Un. Also U6=5+26=(2+3)2U22=197+4222=(72+311)2
can be expressed as squares, which simplify things. For the next entry, the m have eight divisors and λ(τ) is a product of four Un.

No comments:

Post a Comment