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)=U3√U6=(2+√3)√5+2√61√λ(√−10)=U32U10=(1+√2)2(3+√10)1√λ(√−22)=U11√U22=(10+3√11)√197+42√221√λ(√−58)=U62U58=(1+√2)6(99+13√58)
Note that these m have four divisors and λ(τ) is a product of two Un. Also U6=5+2√6=(√2+√3)2U22=197+42√22=(7√2+3√11)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