A Remarkable eta-product Identity
Michael Somos 23 Mar 2010
ms639@georgetown.edu
(draft version 8)

Early in 2005 I discovered a remarkable eta-product identity that
was known most probably to a very few people implicitly and even
fewer explicitly. In order to state the identity we first define the
infinite product

where |q| < 1 is required for convergence. This is the Dedekind eta
function defined in terms of q. For brevity let e_{n} := h(q^{n}).
For example, e_{1} = h(q), e_{2} = h(q^{2}), and so on. The following
level 60 three term identity holds

Notice that each term is the product of distinct eta-function factors.
That is, each term is linear in each factor of h(q^{n}) which appears.
This seems to be the only identity of its kind. More precisely,
here is my conjecture :
Given a finite set S of positive integers, define the eta-product E(S)
to be the product over all n in S of h(q^{n}). There exists a unique
triple (S_{1},S_{2},S_{3}) such that E(S_{1}) = E(S_{2}) + E(S_{3}) where the three
sets are pairwise disjoint and the GCD of the union is 1. That triple is
({2,6,10,30}, {1,12,15,20}, {3,4,5,60}). Of course, S_{2} and S_{3}
can be swapped giving the same identity without affecting uniqueness.
I conjecture this based on my database of thousands of eta-product
identities which I update frequently and is available upon request. As
evidence I have used systematic search by computer program up to level
250 and have found no other three term identity like this one. However
I found a similar level 210 four term identity which is as follows

My unique three term identity is related to the McKay-Thompson series
of class 60D for which see sequences A058728 and A143751 in Neil Sloane's
OEIS and more details of which are in my less frequently updated database
on Monstrous Moonshine also available upon request. More information about
h(q) is in my essay "A Multisection of q-Series" which is available
on the web.

File translated from
T_{E}X
by
T_{T}H,
version 3.82. On 23 Mar 2010, 02:39.