arxiv: v1 [math.nt] 2 Apr 2013

Transcription

1 A THEORY OF THETA FUNCTIONS TO THE QUINTIC BASE TIM HUBER arxiv: v1 [math.nt] Apr 013 Abstract. Properties of four quintic theta functions are developed in parallel with those of the classical Jacobi null theta functions. The quintic theta functions are shown to satisfy analogues of Jacobi s quartic theta function identity and counterparts of Jacobi s Principles of Duplication, Dimidiation and Change of Sign Formulas. The resulting library of quintic transformation formulas is used to describe series multisections for modular forms in terms of simple matrix operations. These efforts culminate in a formal technique for deducing congruences modulo powers of five for a variety of combinatorial generating functions, including the partition function. Further analysis of the quintic theta functions is undertaken by exploring their modular properties and their connection to Eisenstein series. The resulting relations lead to a coupled system of differential equations for the quintic theta functions. 1. Introduction Let q < 1 and define the three null theta functions by θ 3 q = q n, θ 4 q = 1 n q n, θ q = n= In 189, Jacobi proved n= n= q n+1/. 1.1 θ3 4 q = θ4 4 q+θ4 q. 1. Jacobi was sufficiently impressed with this identity that he referred to it as an aequatio identica satis abstrusa [6, p. 147]. Identity 1. has important combinatorial content and interesting interpretations for space-time supersymmetry in the physics literature of string theory [30, p. 3]. The Jacobi theta functions are building blocks of elliptic functions. Their null values are closely associated with modular forms. A plethora of formulae exist for modular forms in terms of null theta functions. These can be found in the literature beginning with Jacobi s work. S. Ramanujan significantly extended the existing analysis by developing a library of parameterizations for Eisenstein series and allied functions in terms of the null theta functions. Ramanujan may have used these formulae to derive modular equations that appear in his notebooks. Some of Ramanujan s claims are variations on classical results, including Ramanujan s technique for deriving parameterizations in terms of theta functions from existing formulae when q is replaced by q n, n Z. These formulas appear in Jacobi s work as the processes of duplication for positive n and dimidiation for negative n. Ramanujan also developed a coupled system of differential equations for Eisenstein series equivalent to a coupled system Jacobi derived for the theta functions. A great deal of additional results connect theta functions and their generalizations to important objects and applications spanning many disciplines. Together, the extensive work of Ramanujan, Jacobi, and others constitutes the classical theory of theta functions. 1

2 TIM HUBER On pages 7 6 of his Second Notebook, Ramanujan sketched elements of theories of theta functions beyond the classical cases. A number of authors [9, 16] have proven and extended the claims Ramanujan made about these alternative theories of theta functions. The pioneers of the cubic theory, J.M. and P.B. Borwein, discovered a cubic analogue of 1. a 3 q = b 3 q+c 3 q, 1.3 where the cubic theta functions aq, bq, and cq are defined by aq = q n +nm+m, bq = ω n m q n +nm+m, 1.4 cq = m,n= m,n= m,n= q n+1 3 +n+ 1 3m+ 1 3+m+ 1 3, ω = e πi/3. 1. An extensive theory cubic theta functions has been developed with many features paralleling the classical theory. In addition to 1.3, core aspects of the theory of cubic theta functions include the fact that aq and cq parameterize Eisenstein series of level one and three; aq, bq, and cq satisfy a coupled system of nonlinear differential equations [4]; and parameterizations in terms of cubic theta functions satisfy corresponding Principles of Triplication and Trimidiation. The latter principles induce formulas in terms of cubic theta functions when q is replaced by q 3n, n Z. Although not explicitly mentioned by Ramanujan, a corresponding theory of theta functions associated with modular forms of level five may be formulated from identities appearing in Ramanujan s Lost Notebook. The goal of the current work is to derive elements of a quintic theory of theta functions with attributes of the cubic and classical theories. We study four quintic theta functions, Aq, Bq, Cq, and Dq defined by Aq = q 1/ q;q 3/ Cq = q ;q 3/ 1+e 3πi/ n= n= 1 n q n 3n/, Bq = q;q 3/ e 3πin/ q n n/, Dq = q ;q 3/ 1+e πi/ n= n= 1 n q n n/, e πin/ q n n/. We employ the standard product notation a;q n = n 1 k=0 1 aqk, and, provided the limit exists, denote a;q = lim n a;q n. The quintic theta functions Aq and Bq are closely related to the Rogers-Ramanujan functions Gq and Hq, where q n Gq := = Bq q n +n, Hq = = q 1/ Aq. 1.6 q;q n q;q / q;q n q;q / The following four quintic theta function identities play an important role in our subsequent analysis. The first two relations are quintic analogues of 1. and 1.3. Theorem 1.1. If α = 1+, β = 1, then C q = B q α A q, D q = B q β A q, 1.7 Cq = Bq αaq, Dq = Bq βaq. 1.8

3 A THEORY OF THETA FUNCTIONS TO THE QUINTIC BASE 3 Equations 1.8 follow from a general decomposition theorem of Ramanujan for theta functions. Equations 1.7 will be derived from product representations for the quintic theta functions and their relationship to Eisenstein series of level five E k,χ q = 1+ L1 k,χ χn nk 1 q n 1 qn, 1.9 where L1 k, χ is the analytic continuation of the associated Dirichlet L-series and χ 1 = 1 k. Theorem 1.1 was anticipated by Ramanujan in his Lost Notebook [, Entry 1.4.1, pp. 1-]. He let t denote the Rogers-Ramanujan continued fraction [3] t := Aq Bq = q1/ q;q q 4 ;q q ;q q 3 ;q = 1+ q 1/ q 1+ q q3, 1.10 and gave four identities that we will show in Section are equivalent to Theorem α t = q 1/10 q;q 1 t q ;q 1+αq n/ +qn/, β t = q 1/10 q;q 1 t q ;q 1+βq n/ +qn/, α 1 q;q 1 t = t q 1/ q ;q 1+αq n +q n, β 1 q;q 1 t = t q 1/ q ;q 1+βq n +q n In Section 3, we show that induce formulas for series multisections in terms of quintic theta functions. We speculate that Ramanujan used such relations in [11] to decompose the generating function for integer partitions pnqn = 1/q;q into generating functions corresponding to certain congruence classes modulo λ, λ N. These calculations motivated his famous congruences modulo five p λ n+δ λ 0 mod λ, 4δ λ 1 mod λ. 1.1 Ramanujan sketched an inductive argument for 1.1, beginning with the identities q n n 1 q n = ;q qq, pn 1q n = qq ;q. 1.13a,b q;q q;q 6 Ramanujan derived 1.13b by replacing q by q 1/ in 1.13a and equating coefficients of q m/, for m in appropriate residue classes m modulo five. He next asserted that pn+4q n = 63 q ;q 6 q;q 7 + q q ;q 1 q;q q 63 q ;q 18 q;q q 3 6 q ;q 4 q;q + 1 q 4q ;q q;q 31

4 4 TIM HUBER Ramanujan indicated that higher-order expansions may be obtained by proceeding similarly, but he did not elaborate on his method for obtaining each successive decomposition. In Section, we demonstrate that Ramanujan s formulas may be derived from Theorem 1.1. These results are subsumed in the more general analysis of Section 3, wherein Theorem 1.1 is shown to induce quintic analogues of Jacobi s Processes of Duplication and Dimidiation, or, equivalently, systematic procedures for deriving representations for series of argument q n, n Z from initial parameterizations in terms of quintic theta functions. These processes lead to matrix characterizations for two quintic operators on the vector space of homogeneous polynomials in A q and B q: π a n q n, = a n q n/, Ω,m a n q n, = a n+m q n, m = 0,1,,3, Theorem 1.. For each homogeneous polynomial d k=0 a ka k qb d k q of degree d in CA q,b q, there exists a d+1 d+1 matrix B d over Z such that if B d a0 a 1 a d T = b 0 b 1 b d T ; χ denotes the principal character modulo five; and 0 m 4, then d d π a k A k qb d k q = b k A k qb d k q, 1.19 k=0 k=0 d d χm Ω,m k A k=0a k qb d k q = q m/ b k+m A k+m qb d k m q. 1.0 Equation 1.0 induces an explicit formulation for the action of the quintic Hecke operator T = Ω,0 see [17] on the space of homogeneous polynomials in A q and B q of degree d. This space includes the Eisenstein series of level one and those for the Hecke subgroup of level five. Since Eisenstein series are building blocks of modular forms, their quintic decompositions provide insight into corresponding multisections for a much larger class of combinatorial generating functions. In Section 4, we focus on representations for multisections of Eisenstein series on the full modular group and those associated with Dirichlet characters modulo five, where we denote k=0 χ 1, n 4 = 0,1,1,1,1, χ,n 4 = 0,1,i, i, 1, 1.1 χ 3, n 4 = 0,1, 1, 1,1, χ 4, n 4 = 0,1, i,i, Among the most intriguing of the new formulas developed in Section 4 are product representations for weight-one Eisenstein series associated with the character χ 4,. Theorem 1.3. χ 4, d q n = iq;q q ;q, q ;q 3 q3 ;q 3 d n+4 d n+ χ 4, d q n = 1 iq ;q, q;q q 4 ;q d n+3 d n+1 χ 4, d q n = 1+iq ;q, q ;q q 3 ;q χ 4, d q n = q;q q ;q. q;q 3 q4 ;q 3

5 A THEORY OF THETA FUNCTIONS TO THE QUINTIC BASE Our interpretations for the quintic operators π and Ω,m will also address conjectures from [14] regarding parameterizations for quintic multisections of Eisenstein series on the full modular group. These formulas are representative of quintic multisections for more general classes of Eisenstein series and related combinatorial generating functions. Corollary 1.4. Let A = Aq and B = Bq. For each integer n, define F n q = a 1,n B 0 +a,n B 1 A +a 3,n B 10 A 10 +a 4,n B A 1 +a,n A 0, 1.3 n a 1,n a,n a 3,n a 4,n = a,n Then, for each nonnegative integer n, 1+40 d q 3 k = F n q, 1+40 k=1 d n k k=1 d k d 3 q k = Ω n,0 F n q. The utility of Theorem 1. extends beyond series representable as homogeneous polynomials in the quintic theta functions. In Section 6, we formulate quintic multisections for a general class of series appearing in Ramanujan s Lost Notebook [34] that includes the generating function for ordinary partitions 1 = p q;q k k nq n, k Z. 1. For positive k N, these functions generate the number of k-component integer multipartitions [3], defined as the number of k-tuples λ 1,,λ k of partitions with λ λ k = n, 1.6 Our inductive characterization of multisections for the series in 1. is predicated on a pair of parallel quintic parameterizations for Eisenstein series of weight two n q n n nq 1 q n = A qb n q, 1 1 q = n C qd q. 1.7 Ramanujan derived an equivalent formulation of these identities in [34, p. 139], where the right sides are expressed as infinite products. In [14], the authors show more generally that the Eisenstein series of level one and five are parameterizable as homogeneous polynomials symmetric in absolute value about the middle terms. From the perspective of modular forms, the symmetry of parameterizations for Eisenstein series in terms of theta functions is surprising. However, the existence of relations between the series is expected, since Aq and Bq are known to be weight-1/ modular forms on Γ with suitable factors of automorphy []. In Section 7, we provide an additional analytic connection between the pairs Aq, Bq and Cq, Dq by showing that the Fricke involution, W : τ 1/τ, induces a natural correspondence. Theorem 1.. W maps Aq to γ 1 τcq and Bq to γ τdq, where γ 1,γ C.

6 6 TIM HUBER Our final contribution to the theory of quintic theta functions appears in Section 8, where a nonlinear coupled differential system for the quintic theta functions is derived. Theorem 1.6. Let Pq = E q, where E q = 1 4 d n d q n. Then q d dq A = 1 A 60 A 10 66A B +7B 10 +P, 1.8 q d dq B = 1 7A 60 B A B B 10 +P, 1.9 q d dq P = 1 P B 0 +1B 1 A 14B 10 A 10 1B A 1 A These equations are quintic counterparts of Ramanujan s differential system for Eisenstein series on the full modular group q de dq = E E 4, q de 4 1 dq = E E 4 E 6, q de 6 3 dq = E E 6 E4, 1.31 where E k = E k q denote the Eisenstein series on the full modular group, defined by n k 1 q n E k q = 1+ ζ1 k 1 q, 1.3 n and where ζ is the analytic continuation of the Riemann ζ-function. Theorem 1.6 is induced from a more general differential system [3] involving the elliptic parameters sinnπαq n e α q = 1+4tanπα, P 1 q n α q = 1 8sin cosnπαnq n πα, 1 q n Q α q = 1 8tanπαsin πα sinnπαn q n q n Theorem 1.7. Let e α q,p α q, and Q α q be defined as in Then for α 1/, q d dq e α = csc πα 4 e α P α Q α, 1.34 q d dq P α = csc πα Pα 4 1 cot παe α Q α + 1 cotπαcotπαe 1 αq α, 1.3 q d dq Q α = 1 4 Q αp α csc πα+ 1 P 1 αq α csc πα 1 e 1 αq α cot πα + 3 e αe 1 α Q α cotπαcotπα e α Q αcot πα Theseriese α q,p α q,andq α qare, respectively, normalizedversionsoftheweierstrass zeta function ζθ and its derivatives ζ θ := θ and ζ θ, where ζθ = 1 cot θ + θ 1 θ nq n 1 q + n q n sinnθ 1 q n. 1.37

7 A THEORY OF THETA FUNCTIONS TO THE QUINTIC BASE 7. A catalogue of fundamental quintic relations In this section, we establish a number of fundamental identities that constitute the basis for subsequent results of the paper. These relations will prove Theorem 1.1 and exhibit its equivalence with Ramanujan s identities The ensuing discussion will make use of Ramanujan s general theta function notation [6, p. 34] fa,b = a nn+1/ b nn 1/, ab < 1..1 n= Since Ramanujan s theta function has the same degree of generality as the Jacobi theta functions, each classical identity from the theory of theta functions may be stated in terms of fa,b. The Jacobi triple product identity [6, p. 3] takes the shape fa,b = a;ab b;ab ab;ab.. Ramanujan constructed an impressive number of theta function identities by exploiting properties of fa,b. Among these results is the decomposition theorem from [6, p. 48]. Theorem.1. If n Z, and U n = a nn+1/ b nn 1/ and V n = a nn 1/ b nn+1/, then n 1 Un+k fu 1,V 1 = U k f, V n k..3 U k U k k=0 To derive further formulas involving modular forms of level five, we first enumerate identities between the quintic theta functions, the quintic Eisenstein series χ, nq n E 1,χ, q = 1+3 i 1 q, E χ 4, nq n n 1,χ 4, q = 1+3+i 1 q,.4 n and the Rogers-Ramanujan functions, satisfying the Rogers-Ramanujan relations [3] q n 1 q n +n 1 Gq = =, Hq = =. q;q n q;q q 4 ;q q;q n q ;q q 3 ;q Theorem.. Let ζ = e πi/. Then Bq = f q, q 3 q;q 3/ Aq = q 1/f q, q4 q;q 3/ Cq = f ζ, ζ4 q 1 ζq ;q 3/ Dq = f ζ, ζ 3 q 1 ζ q ;q 3/ = q;q / q n E1,χ4,q+E 1,χ,q =,. q;q n = q 1/ q;q / q n +n E1,χ4,q E 1,χ,q =,.6 q;q n i = 1+αiE1,χ4, q+1 αie 1,χ, q,.7 = 1+βiE1,χ4, q+1 βie 1,χ, q..8 Our proof of Theorem. requires several preliminary results relating product expansions for the quintic theta functions and quintic Eisenstein series of weight one.

8 8 TIM HUBER Lemma.3. Let α,β be defined as in Theorem 1.1. Then Aq = q 1/ q;q / q ;q q 3 ;q, Bq = q;q / q;q q 4 ;q,.9 Cq = e3πi/ q;q qe 3πi/ q;q q;q q ;q 3/ = q;q / 1+βq n +q n / 1+αq n +q n 3/,.10 Dq = eπi/ q;q qe πi/ q;q q;q q ;q 3/ = q;q / 1+αq n +q n / 1+βq n +q n 3/..11 Proof. To derive the claimed expression for Aq, replace a by q and b = q 4 in the Jacobi triple product identity and multiply both sides by q 1/ q;q 3/ to obtain Aq = q 1/ q;q 3/ 1 n q n 3n/ = q 1/q;q q 4 ;q q ;q q;q 3/ n= = q 1/q;q / q 4 ;q / q ;q / q ;q 3/ q 3 ;q 3/ = q 1/ q;q / q ;q q 3 ;q. Thisproves.9. Toderivetheexpansions forcq, let a = e 3πi/ q andb = e 3πi/ q in.. Multiply both sides of the result by 1+e 3πi/ 1 q ;q 3/ to obtain Cq = q ;q 3/ e 3πin/ q n n/ = e3πi/ ;q e 3πi/ q;q q;q 1+e 3πi/ 1+e 3πi/ q ;q 3/ = q;q q ;q 3/ n= 1+e 3πi/ q n 1+e πi/ q n = q;q q ;q 3/ 1+βq n +q n. The penultimate equality above proves the first identity of.10. To transcribe the last expression in the form on the right side of.10, employ the elementary identities to derive 1 q n = 1+q n +q n +q 3n +q 4n 1 q n,.1 1+αq n +q n 1+βq n +q n = 1+q n +q n +q 3n +q 4n,.13 Cq = q;q / = q;q / = q;q / 1+βq n +q n 1 q n 3/ 1+q n +q n +q 3n +q 4n 3/ 1 q n 3/ 1+βq n +q n 1+αq n +q n 3/ 1+βq n +q n 3/ 1+βq n +q n / 1+αq n +q n 3/. We have therefore deduced the claimed expansions for Aq and Cq. The displayed product expansions for Bq and Dq are derived in a similar fashion.

9 A THEORY OF THETA FUNCTIONS TO THE QUINTIC BASE 9 Lemma.4. Define the series e α q as in 1.33, and α,β as in Theorem 1.1. Then e / q e 1/ q α 3 e 1/ q β 3 e / q 3αe / q α 4 e 1/ q 3βe 1/ q β 4 e / q = q q;q q4 ;q q ;q,.14 q ;q 3 q3 ;q 3 = q ;q q3 ;q q ;q,.1 q;q 3 q 4 ;q 3 = q;q = q;q 1+βq n +q n 1+αq n +q n 3,.16 1+αq n +q n 1+βq n +q n Identities are shown in [] to be special cases of the classical identity ζθ a ζθ b ζa b+ζa b = σθ a+bσθ b+a σb aσθ aσθ b,.18 relating the Weierstrass ζ-function to the Weierstrass σ-function E q θ 1 q n cosθ+q n σθ = exp 4 θ sin q n The first two identities of Lemma.4 are derived in [14] by identifying the logarithmic derivatives of each side of the proposed relation through the use of Theorem 1.7 and appropriate elliptic function identities. In the following lemma, the elliptic parameters of Lemma.4 are transcribed in terms of quintic Eisenstein series of weight one defined by.4. For a complete proof of Lemmas.3., the reader is referred to [14]. Lemma.. If the characters χ, and χ 4, are defined as in , then e 1/ q = E 1,χ 4, q+e 1,χ, q e / q = E 1,χ 4, q+e 1,χ, q +β 3E 1,χ 4, q E 1,χ, q i +α 3E 1,χ 4, q E 1,χ, q i, β = 1,.0, α = Proof of Theorem.. The former equalities of..8 follow from.1 and the definitions of the quintic theta functions from Section 1. The latter equalities of Theorem. follow from the Rogers-Ramanujan relations and Lemmas.3.. Theorem.6. The identities of Theorem 1.1 hold, and are equivalent to Proof. The first two equalities on line 1.7 of Theorem 1.1 follow immediately from the latter equalities of Theorem. relating theta functions and Eisenstein series. The linear relations appearing on line 1.8 of Theorem 1.1 may be deduced from Theorems. and.1 via two identities Ramanujan s Lost Notebook [, pp. ], with ζ = e πi/, f q, q 3 αq 1/ f q, q 4 = f ζ, ζ 3 q 1/ /1 ζ,. f q, q 3 βq 1/ f q, q 4 = f ζ, ζ 4 q 1/ /1 ζ..3

10 10 TIM HUBER To prove the equivalence of Ramanujan s formulas and Theorem 1.1, we use the Jacobi triple product identity. and the Rogers-Ramanujan identities to transcribe the first relation on line 1.7 as G q α H q = q;q3 q ;q 3 1+βq n +q n..4 Divide both sides of.4 by G / qh / q and apply.1.13 to obtain R / q α R / q = q;q11/ 1+q n +q n +q 3n q 4n. q ;q 11/ 1+αq n +q n = q ;q q;q = q;q q ;q q;q 11/ q ;q 11/ 1 1+αq n +q n αq n +q n..7 This proves that the left equation on line 1.7 is equivalent to The remaining identities of Theorem 1.1 may be reconciled with in a similar way. The identities of Theorem 1.1 may be obtained from each other by applying modular transformation formulas. We prove the relevant relations in Section The Principles of Pentication and Pentamidiation Jacobi s Principles of Duplication and Dimidiation [6] were rediscovered and employed by Ramanujan [7, p. 11] to give parameterizations for theta functions and Eisenstein series of argument ±q n,n Z. These parameterizations are based on Ramanujan s equivalent formulation of the Jacobi inversion formula [3, Ch. 17] θ 3 q = F 1 1/,1/;1;x := z, q = exp π F 1 1/,1/;1;1 x, 3.1 F 1 1/,1/;1;x where θ q is defined asin 1.1 and F 1 a,b;c;z denotes the hypergeometric function [1, p. 64]. Ramanujan employed 3.1 to derive identities of the form θ 3 q = 1 z 1+ 1 x, θ 3 q 1/ = z1+ x 1/, 3. θ 3 q = z1 x 1/8, θ 3 q 4 = 1 z1+1 x 1/ Theorem 3.1. Suppose q,x,z satisfy an equation of the form Ωq,x,z. Then the following Duplication and Dimidiation formulas hold: 1 1 x Ω q, 1+, 1 1 x 1+ 1 xz = 0, 3.4 Ω q 1/ 4 x, 1+ x,1+ xz = 0. 3.

11 A THEORY OF THETA FUNCTIONS TO THE QUINTIC BASE 11 Formulas analogous to involving the cubic theta functions were also derived by Ramanujan [8], including the inversion formula aq = F 1 1/3,/3;1;x := z, q = exp π F 1 1/3,/3;1;1 x F 1 1/3,/3;1;x Theorem 3.. Let x,z,q be related by 3.6. If q,x,z are related by the equation Ωq, x, z = 0, then the following triplication and trimidiation formulas hold: { } 1 1 t Ω q 3 3 1/3 3,, 1 { 1+1 t 3 1/3} z = 0, t 3 1/3 3 Ω q 1/3,1 3 1 t,1+tz = t Inversion formulas of level five are not as concisely expressible in terms of hypergeometric functions. However, analogous formulas may be constructed from the work of F. Beukers [13] and T. Mano [9] by defining t = R q, where Rq = Aq/Bq denotes the Rogers-Ramanujan continued fraction. The inverse function qt then arises as a quotient of suitably chosen linearly independent solutions to the Picard-Fuchs equation tt +11t 1 d ft +3t +t 1 dft +t+3ft = dt dt In what follows, we demonstrate a systematic procedure for computing quintic parameterizations of theta functions and Eisenstein series with argument ζ k q n, n,k Z, ζ = e πi/, from initial quintic parameterizations of argument q. Theorem 3.3. Let A = Aq and B = Bq. Suppose that a relation of the form Ωq,A,B = 0 holds. Then we have the pentamidiation formula Ω q 1/,A,B = 0 and the corresponding pentication formula Ωq,C,D = 0, where A,B,C,D are defined by C = A = A 3A 4 B +4A 3 B A B 3 +AB 4, 3.10 B = B +3B 4 A+4B 3 A +B A 3 +BA 4, 3.11 B α A B β A β α Proof. From Theorem 1.1, we derive Bq 1/ = α D q 1/ β C q 1/ α β = α Bq βaq β Bq αaq α β, D = β B α A α B β A. 3.1 β α = B q+3b 4 qaq+4b 3 qa q+b qa 3 q+bqa 4 q. We may show similarly from Theorem 1.1 that Aq = Aq 1/, Cq = Aq, and Dq = Bq. Here z 1/ is the branch of the fifth root satisfying lim z 1 z 1/ = 1.

12 1 TIM HUBER By iterating Theorem 3.3, a number of unwieldy representations for higher-order transformed quintic theta functions may be given in terms of nested radicals. In each of the following formulas, the principal branch of the fifth root is indicated. Corollary 3.4. If α and β are defined as in Theorem 1.1, then Aq 1/ β Bq αaq α Bq βaq α = Bq 1/ β = β Bq αaq Bq βaq β Bq αaq α Bq βaq Bq αaq Bq βaq β Bq αaq α Bq βaq α α β Bq αaq Bq βaq Bq αaq Bq βaq β Bq αaq α Bq βaq 1/ 1/ Aq = ββ 4 1 B q α A q+α β B q β A q α β α β 3.13 α β B q α A q αα 4 1 B q β A q α β α β 1/, α ββ 4 1 B q α A q+α β B q β A q Bq α β = α β 3.14 β α β B q α A q αα 4 1 B q β A q α β α β 1/. The authors of [14] observed that a variety of important modular parameters may be expressed as homogeneous polynomials in the functions A q and B q. We describe how these series transform when q is replaced by q 1/ via pentamidiation arrays whose entries are sums of multinomial coefficients.

13 A THEORY OF THETA FUNCTIONS TO THE QUINTIC BASE 13 Definition 1. Let F n denote the set of ordered nonnegative integer partitions of n containing exactly five parts, n = n 1,n,n 3,n 4,n, and let f,g : Z Z denote the functions f n = n 1 +4n +3n 3 +n 4 +n, g n = n +n 3 +3n 4 +4n. 3.1 Define the pentamidiation array B d to be the d+1 d+1 array with r,kth entry B d = 1 k +k 4 j 4+k 4 3 j +k 4 j 3+k 3 k d k r,k k j j F d k k Fk f j+g k=d r g j+f k=r The first two pentamidiation arrays are T B 1 =, B = T Lemma 3.. Let B d be defined as in Definition 1. The claims of Theorem 1. hold. Proof. Apply Theorem 3.3 and the Multinomial Theorem to deduce d d a k A k q 1/ B d k q 1/ = a k A k B d k 3.19 = k=0 k=0 d a k {A q 3A 4 qbq+4a 3 qb q A qb 3 q+aqb 4 q k=0 = } B q+3b 4 qaq+4b 3 qa q+b qa 3 q+bqa 4 q d k d a k k=0 = 0 k d 0 r d j F d k k Fk a k 1 k +k 4 j 4+k 4 3 j +k 4 j 3+k 3 k d k A k j g j+f k qb f j+g k q j F d k, k F k f j+g k=d r g j+f k=r 1 k +k 4 j 4+k 4 3 j +k 4 j 3+k 3 k d k A k j r qb d r q. Therefore, referring to Definition 1, the r,kth entry of the pentamidiation array B d coincides with the coefficient of a k A r qb d r in the multinomial expansion of It follows that the rth entry of the product B d a 0,a 1,...,a d T = b 0,b 1,...,b d T represents the coefficient of A r qb d r q in the expansion of This proves To prove 1.0, note that, for each reduced residue r modulo five, the contribution to the coefficient of q k+r/,k N, in the q-expansion of the series from 3.19 comes entirely from the terms A n qb d n, n r mod, in the final equality of k

14 14 TIM HUBER Of particular interest in the ensuing examples are the d + 1 d + 1 matrices associated with the operator Ω,0 appearing in Theorem 1.. For each homogeneous polynomial parameterization for a function fq in terms of A q and B q, the m- fold iteration of Ω,0 on fq may be expressed as a polynomial of the same degree with coefficients expressible through an appropriate power of a generating matrix. Corollary 3.6. Define B d as in Definition 1. Let A d be the d + 1 d + 1 matrix obtained from B d by labeling the rows of B d from 0 to d and removing the rows corresponding to nonzero residue classes modulo five. Then, for any homogeneous polynomial Fq of degree d in A q and B q, with d Fq = a k A k qb d k q = fnq n, k=0 the m-fold quintic multisection of Fq has the representation d f m nq n = b k,m A k qb d k q, m N, k=0 where b 0,m,b 1,m,...,b d,m T = A m d a 0,a 1,...,a d T. The first six matrices A d are as follows: A 1 = I, A = 1 0 0, A 3 = A 6 = A = A 4 = , , ,

15 A THEORY OF THETA FUNCTIONS TO THE QUINTIC BASE 1 The role of the matrices A d in the quintic multisection of modular forms will be further explored in the next few sections. Because of their utility in constructing parameterizations for quintic multisections and congruence relations for the coefficients of modular forms, the eigenstructure of A d should be given an independent analysis. We make an initial observation about the determinants of the matrices A d that should be refined. Conjecture 3.7. Let A d be defined as in Corollary 3.6. The determinant of A d is equal to ± fd for some fd N. We end this section with a quintic counterpart of Jacobi s change of sign formula [6, p. 16]. Corollary 3.8 follows directly from Theorem 1.1 and may be used in conjunction with Theorem 3.3 to express series of argument ξ k q n,n Z in terms of Aq and Bq. Corollary 3.8. Let ξ = e πi/. Suppose that a relation of the form Ωq,Aq,Bq = 0 holds. Then we also have, for each k = 0,1,,3,4, Ω ζ k C q, ξ k q D ξ k q β, C ξ k q α D ξ k q. 3.0 β α β α where Cξ k q = Bq αξ k Aq, and Dξ k q = Bq βξ k Aq. 3.1 The relevance of Corollary 3.8 in computing quintic multisections arises from the Simpson-Waring dissection formula [37] [38, p. xlii] fx = a n x n, a kn+m x kn+m = 1 k 1 ω jm fω j x, ω = e πi/k. 3. k j=0 4. Quintic Decomposition of Eisenstein series We now consider applications of the previous section to Eisenstein series, including those defined by 1.9 and normalizations of their corresponding Fourier expansions at zero L k,χ q = n k 1 1 q n 4 χmq mn, k, χ 1 = 1 k. 4.1 m=1 These series are among the classes of Eisenstein series considered in [14] that are expressed in terms of symmetric homogeneous polynomials in A q and B q. Theorem 4.1. If A = Aq, B = Bq, and E q is defined as in Theorem 1.6, then L,χ3, q = A B, L 4,χ3, q = B 1 A +BA 1, 4. L 6,χ3, q = B A +18B 0 A A 1 B 1 18B 10 A 0 +B A, 4.3 L,χ1, q = A10 +B 10 E q, L 4,χ1, q = B 1 A +B 10 A 10 B A 1, L 6,χ1, q = B A +0B 0 A 10 +0B 10 A 0 B A 0. 4.

16 16 TIM HUBER Corresponding parameterizations exist for the Eisenstein series on the full modular group, defined by 1.3. The following formulas for E 4 q and E 6 q provide a point of departure for further identities. Formulas will follow from Theorem 1.6. We defer their proof until Section 8. Identities are equivalent to identities [34, pp. 0-1] derived by Ramanujan and are proven in [31, 14]. Theorem 4.. Let A = Aq and B = Bq. E q = A A B 11B q d loga 4.6 dq = B 10 66A B 11A q d logb, 4.7 dq E 4 q = B 0 +8B 1 A +494B 10 A 10 8B A 1 +A 0, 4.8 E 6 q = B 30 B A 1000B 0 A B 10 A 0 +B A +A Along with the previous formulas, we will make use of corresponding parameterizations from [14] for the quintic Eisenstein series in terms of the quintic theta functions. Theorem 4.3. Let A = Aq and B = Bq. E 1,χ4, q = B +ia, E 1,χ, q = B ia, 4.10 E,χ1, q = A 10 +B 10, E,χ3, q = B 10 11A B A 10, 4.11 E 3,χ, q = E 1,χ, qe,χ3, q, E 3,χ4, q = E 1,χ4, qe,χ3, q, 4.1 Equations 4.10 and the Principle of Pentamidiation together imply Theorem 1.3. Corollary 4.4. If χ 4, denotes the Dirichlet character χ 4, n 4 = 0,1, i,i, 1, q 4/ d n+4 q / d n+ χ 4, d q n = ia 4 B, q 3/ d n+3 χ 4, d q n = 1 ia B 3, q 1/ χ 4, d q n = 1+iA 3 B, d n+1 χ 4, d q n = AB 4. Proof. Apply the pentamidiation array B 1 to the parameterization from 4.10 to yield E 1,χ4, q 1/ χ 4, nq n/ = 1+3+i q n/ = B +3+iB 4 A+4 ib 3 A ++4iB A iBA 4 +ia. Theclaimedidentitiesfollowbyequatingtermsoftheformq k/ foreachnonzeroresidue class k modulo five. In particular, the only contribution to such terms on the right hand side of 4.13 come from A r B r, for values r k mod. We likewise decompose the Eisenstein series of weight two for the full modular group.

17 Corollary 4.. A THEORY OF THETA FUNCTIONS TO THE QUINTIC BASE 17 q 1/ d n+1 q / d n+ q 3/ d n+3 q 4/ d n+4 Proof. The former identity of 4.11 may be rewritten d q n = B 9 A+7B 4 A 6, 4.14 d q n = 3B 8 A 4B 3 A 7, 4.1 d q n = 4B 7 A 3 +3B A 8, 4.16 d q n = 7B 6 A 4 BA E q E q = 4A 10 q+4b 10 q Apply Theorem 1. and the pentamidiation array B to 4.18 to conclude E q E q 1/ = 4 B +A B 8 +6B 7 A+17B 6 A +18B A B 4 A 4 18B 3 A +17B A 6 6BA 7 +A 8. To derive each identity, proceed as in the proof of Corollary 4.4, and equate terms on each side of 4.19 of the form q k/ for each nonzero residue class k modulo five. The parameterization on the right of 4.11 and the left of 4. lead to similar decompositions via the Fourier expansions for E,. q, L,χ 3, q and the identities E,. q1/ = B AB A, 4.0 L, χ 3, q 1/ = AB 9 +A B 8 +A 3 B 7 +3A 4 B 6 +A B 3A 6 B 4 +A 7 B 3 A 8 B +A 9 B. 4.1 Corollary 4.6. q 1/ d d q n = B 9 A 3B 4 A 6 = q 1/ n+1/d d q n, d n+1 d n+1 q / d d q n = B 8 A B 3 A 7 = q / n+/d d q n, d n+ d n+ q 3/ d d q n = B 7 A 3 +B A 8 = q 3/ n+3/d d q n, d n+3 d n+3 q 4/ d d q n = 3B 6 A 4 +BA 9 = q 4/ n+4/d d q n. d n+4 d n+4

18 18 TIM HUBER For the Eisenstein series on SL,Z of weight four and six, both the Processes of Pentication and Pentamidiation yield homogeneous polynomials in Aq and Bq. As a result, we obtain corresponding parameterizations for the modular discriminant q = qq;q 4 = E3 4 q E 6 q = A B B 10 11A B A Corollary 4.7. Let B = Bq,A = Aq. Then E 4 q = B 0 1B 1 A +14B 10 A 10 +1B A 1 +A 0, 4.3 E 6 q = B 30 18B 0 A +7B 0 A 10 +7B 10 A 0 +18B A +A 30, 4.4 Corollary 4.8. q q ;q 4 = A B B 10 11B A A E 4 q 1/ = A 0 40A 19 B +160A 18 B 670A 17 B A 16 B 4 308A 1 B +7840A 14 B A 13 B A 1 B 8 410A 11 B A 10 B A 9 B A 8 B A 7 B A 6 B A B A 4 B A 3 B A B AB 19 +B 0, E 6 q 1/ = A A 9 B 1663A 8 B +1976A 7 B 3 378A 6 B 4 +17A B A 4 B A 3 B A B A 1 B A 0 B A 19 B A 18 B A 17 B A 16 B A 14 B A 13 B A 1 B A 11 B A 10 B A 9 B A 8 B 8010A 7 B A 6 B 4 17A B 378A 4 B A 3 B A B 8 04AB 9 +B 30, q 1/ q 1/ ;q 1/ 4 = ABB 10 11A B A 10 B AB A The formulas of Corollary 4.7 lead to two identities relating the coefficients from and with the inverses of A 4 and A 6 defined in Corollary 3.6 A 1 T = T, 4.7 T = T. 4.8 A 1 6 The next corollary, deducible by induction from Theorem 1., provides a more general interpretation for the action of the inverse Hecke operators on the Eisenstein series of level one. Corollary 4.9. Ω n,0 E k q = 1 k 1n E k q 1 k 1n 1 E k q. 4.9 k 1n 1 k 1n In the following two corollaries, we apply parameterizations from Corollary 4.8 to obtain corresponding quintic decompositions for the series E 4 q and q.

19 A THEORY OF THETA FUNCTIONS TO THE QUINTIC BASE 19 Corollary Let A = Aq and B = Bq. Then q 4/ d n+4 q 3/ d n+3 q / d n+ q 1/ d n+1 d 3 q n = 73A 4 B A 9 B A 14 B 6 A 19 B, d 3 q n = 9A 18 B 4A 13 B A 8 B 1 +8A 3 B 17, d 3 q n = 9A B 18 +4A 7 B A 1 B 8 8A 17 B 3, d 3 q n = 73A 16 B 4 173A 11 B 9 +41A 6 B 14 +AB 19. Corollary Let A = Aq and B = Bq and let τn denote the coefficients of the modular discriminant function q = qq;q 4 = τnqn. Then q 4/ q 3/ q / q 1/ τn+4qn = 147A 4 B A 9 B A 14 B A 19 B A 4 B A 9 B A 34 B A 39 B A 44 B A 49 B A 4 B 6 A 9 B, τn+3qn = A 3 B A 8 B A 13 B 47 B A 18 B A 3 B A 8 B A 33 B A 38 B A 43 B A 48 B A 3 B 7 4A 8 B τn+qn = 4A B 8 198A 7 B A 1 B A 17 B A B A 7 B A 3 B A 37 B A 4 B A 47 B A B 8 A 7 B 3, τn+1qn = AB A 6 B A 11 B A 16 B A 1 B A 6 B A 31 B A 36 B A 41 B A 46 B A 1 B 9 147A 6 B 4. By proceeding as above, we may show that Corollary 3.6 induces similar multisections for modular forms of any weight on the full modular group or on subgroups of level five. The quintic decompositions given in the preceding corollaries yield a wealth of combinatorial and analytic consequences. The next result follows from Corollary 4.4.

20 0 TIM HUBER Corollary 4.1. For each integer n 0, Reχ 4, d = d n+4 d n+1 Imχ 4, d = The claims of Corollary 4.1 may be justified by restricting 1 < q < 1 in Corollary 4.4 and equating real and imaginary parts of the resulting identities. Corollary 4.4 also yields several curious representations for the Rogers-Ramanujan continued fraction. Corollary Let Rq denote the Rogers-Ramanujan continued fraction defined by Then q 1/ Rq = 1+i χ 4, d q n / χ 4, d q n, i q 3/ R 3 q = i q ;q q;q = 1 d n+3 d n+3 = i d n+4 d n+1 d n+ χ 4, d q n / d n+1 χ 4, d q n d n+ χ 4, d q n d n+4 χ 4, d q n, 4.3 χ 4, d q n 4.33 χ 4, d q n We may reduce the formulas from Corollaries 4. and 4.6 modulo,3, and 7. Corollary d n+1 d n+3 d n+1 d n+3 d n+4 d n+ d d d d d q n q;q3 q ;q q;q 8 q4 ;q 8 d q n q;q q ;q 3 q;q 4 q4 ;q 4 d q n q;q q ;q q;q 6 q4 ;q 6 q n q;q3 q ;q q;q 8 q 4 ;q 8 d q n q;q q ;q q ;q 6 q 3 ;q 6 d q n q;q3 q ;q q ;q 8 q3 ;q 8 mod 7, 4.3 mod 3, 4.36 mod, 4.37 mod 3, 4.38 mod, 4.39 mod

21 A THEORY OF THETA FUNCTIONS TO THE QUINTIC BASE 1 We now turn our attention to parameterizations for quintic multisections corresponding to the trivial residue class modulo five. Formulas for successive applications of Ω,0 may be derived from the initial parameterizations for each series and Corollary 3.6. Since the ring of modular forms for the full modular group is generated by E 4 q and E 6 q, Theorem 1.4 represents a special case of a more general theorem for quintic multisections of modular forms. Theorem 4.1 is a consequence of Corollary 3.6. Theorem 4.1. Suppose fτ, q = e πiτ is a modular form of weight d; the nth iterate of the multisection operator Ω,0 is denoted Ω n,0 = Ω,0 Ω,0 ; and A d is defined as in Corollary 3.6. Then there exist integers a j, 0 j d such that d fτ = a k A k qb d k q Moreover, if T b 0,n b 1,n b d,n = A n T d a0 a 1 a d, then d Ω,0fτ n = b k,n A k qb d k q. k=0 k=0 The Eisenstein series on Γ 0 are easily seen to be invariant under the operator Ω,0. Theorem Let E k,χ q be the Eisenstein series on Γ 0 defined by 1.9. Then Ω n,0 E k,χq = E k,χ q. 4.4 Proof. The invariance may be deduced from the fact χm = 0 for m 0 mod. Therefore, χdd k d m nχdd k = d n In other words, we have shown that λ = 1 is an eigenvalue for A d for each d N. The operator Ω,0 behaves very differently on the Eisenstein series for Γ 0 when we consider the Fourier expansions about zero. In particular, depending on the weight, their quintic parameterizations correspond to eigenvalues for A k of the form k, k N. Theorem For all k N and Dirichlet characters χ modulo five, Ω,0 L k,χ q = k+1 L k,χ q Proof. We show the result by induction on k, making use of the differential equation θ = 4 3 θ 1 1 E 4q θ 1 16 E 6q, θ = ζ θ 4.4 for the Weierstrass -function. We will also need the representations [14, Lemma 3.8] θ+6πτ τ = E q 1 θ+8πτ τ = E q 1 nq 3n e inθ +q n e inθ 1 q n, 4.46 nq 4n e inθ +q n e inθ 1 q n. 4.47

22 TIM HUBER In particular, Theorem 3.6 may be applied to parameterizations from [14, Lemma 3.9] Ω,0 1 1 q n q 4n 3 3B A = Ω 1 q n,0 = 3 3B A, Ω,0 1 1 q n q 3n 3+3B A = Ω 1 q n,0 = 3+3B A, Ω,0 6πτ τ = Ω,0 B10 6A B +A = B10 6A B +A 10 = 6πτ τ, Ω,0 8πτ τ = Ω,0 B10 +6A B +A = B10 +6A B +A 10 = 8πτ τ, Ω,0 8πτ τ = Ω,0 ia B 10 = ia B 10 = 8πτ τ, 4.4 Ω,0 6πτ τ = Ω,0 ib A 10 = ib A 10 = 6πτ τ, 4. Similarly, from 4.4, , and Theorem 3.6 we derive Ω,0 8πτ τ = Ω,0 B 10 A 10 A B 1 = 1 8πτ τ, 4.6 Ω,0 6πτ τ = Ω,0 A 10 B 10 B A 1 = 1 6πτ τ. 4.7 We may iteratively differentiate 4.4 with respect to θ to obtain n n n+ θ = 6 k θ n k θ, n k k=0 By proceeding inductively through 4.8, , and , we deduce Ω,0 n kq3n + 1 k+1 q n = k n kq3n + 1 k+1 q n, q n 1 q n Ω,0 n kq4n + 1 k+1 q n = k n kq4n + 1 k+1 q n q n 1 q n For an appropriate Dirichlet character modulo five, each series L k+1,χ q may be represented as a linear combination of Since the operator Ω,0 acts linearly on these series, we have established the claimed result. Ramanujan [11] proved the special case k = 1 in Theorem 4.17 and used it to deduce 1.13b and the first order congruence relation for the partition function modulo five.

23 A THEORY OF THETA FUNCTIONS TO THE QUINTIC BASE 3 Corollary For each m,k N, m n/d d k = mk d n d m n n/d d k The weight-two case of Theorem 4.17 contains further combinatorial content. For a given partition λ, each square in the Young diagram representation for λ defines a hook consisting of that square, all the squares to the right of that square, and all the squares below that square. The hook number of a given square is the number of squares in that hook. A partition λ is said to be a t-core if it has no hook numbers that are multiples of t. From Theorem 4.17 and the fact c.f. [0] that the generating function for the number of -cores is c t nq n = q ;q, q;q we deduce a product formula for the generating function for c n and a corresponding congruence. The latter congruence of 4.6 is also deduced in [0, Corollary 1, p. 11]. Corollary c n m 1q m = n q q ;q, q;q c n m 1 0 mod n. 4.6 m=0 We next show similarly that the quintic multisections Ω,0 for the modular discriminant q = qq;q 4 may be represented in compact form as a polynomial of fixed degree whose coefficients arise from a generating matrix of smaller dimension than expected from Theorem 3.6. Parameterizations for quintic multisections have the same basic shape, apart from a polynomial factor of degree 40 in the quintic theta functions. Theorem 4.0. Let Fq = qq;q 4, x = Bq, y = Aq. Then for n N {0}, τ n mq m = Ω,0 Fq = n x y x 10 11x y y 10 P n x,y, m=0 where P n u,v is a homogeneous polynomial of degree 40 with integer coefficients P n x,y = a 1,n x 40 a,n x 3 y +a 3,n x 30 y 10 a 4,n x y 1 +a,n x 0 y 0 +a 4,n x 1 y +a 3,n x 10 y 30 +a,n x y 3 +a 1,n y 40. The coefficients of the respective polynomials P n x,y are defined by a 1,0 = 1, a,0 = 44, a 3,0 = 7, a 4,0 = 19, a,0 = and, for n 1, by n a 1,n / 1 a,n a 3,n a 4,n = / / / a,n

24 4 TIM HUBER Proof. We prove the result by induction on n. The cases n = 0,1 follow from 4. and 4.6, respectively. The inductive step follows from Theorem 3.3, which implies 9 Ω,0 L qe,χ3, qp n A,B = L qe,χ3, q a k,n+1 B k A 40 k, where a 1,n+1 = 446a 1,n 440a,n +4a 3,n a 4,n +a,n, a,n+1 = a 1,n +810a,n 30a 3,n +4a 4,n 44a,n, a 3,n+1 = a 1,n 160a,n +471a 3,n 443a 4,n +7a,n, a 4,n+1 = a 1,n a,n 36890a 3,n a 4,n 19a,n, a,n+1 = a 1,n 9400a,n a 3,n 97600a 4,n +1319a,n, a 6,n+1 = a 4,n+1, a 7,n+1 = a 3,n+1, a b,n+1 = a,n+1, a 9,n+1 = a 1,n+1. The claimed matrix formulation for the coefficients of P n A,B may be deduced by extracting a factor of from the right side of each of the preceding relations. These relations imply a set of congruences modulo n for Ramanujan s τ-function. Corollary 4.1. Let τnqn = qq;q 4. Then τ n m 0 mod n, m,n N. 4.6 Each preceding relation between series of argument q and series of argument q may be interpreted via1.6 as a relation between the Rogers-Ramanujan functions. A quartet of relations between the Rogers-Ramanujan functions results when the generating identities are rewritten in terms of the Rogers-Ramanujan functions. Corollary 4.. If α,β are given by Theorem 1.1, and Gq and Hq by 1.6, then G qhq = 3 q H q β q H3 q G q G 3 q H q α q H3 q G q, 4.66 G Gq = α 3 q H q β q H3 q G q β G 3 q H q α q H3 q G q, 4.67 k=1 H 3 q G q = q4 H q 3q 3 H 4 q Gq +4q H 3 q G q qh q G 3 q +Hq G 4 q, 4.68 G 3 q H q = G q +3qG 4 q Hq +4q G 3 q H q q 3 G q H 3 q +q 4 Gq H 4 q Equivalent formulations of identities appear in [1]. These notably induce a famous modular equation of Ramanujan [33, p. xxvii] which, in turn, M. Hirschorn and D. Hunt [] employed to prove Ramanujan s congruences 1.1. We derive formulas for quintic multisections of the partition function in the next section. The next identity will be of particular importance in the following two sections.

25 Lemma 4.3. A THEORY OF THETA FUNCTIONS TO THE QUINTIC BASE E,χ3, q 1/ L,χ3, q = E,χ3, q L,χ3, q 1/ Proof. Apply Theorems 3.3 and 4.3, 4.0, and the elementary identity A A B B 10 = A +AB B A 4 3A 3 B +4A B AB 3 +B 4 A 4 +A 3 B +4A B +3AB 3 +B Now multiply both sides by AB. Take the fifth power of the resulting equation, and apply relevant formulas from Section 4 to derive Quintic decomposition of the ordinary Partition function The dissection techniques from the previous sections may be applied to obtain expansions for corresponding dissections of the generating function for ordinary partitions. These dissections yield generating function witnesses for Ramanujan s congruences 1.1. Watson is credited with the first formal proof of 1.1. His methods were later simplified by A.O.L Atkin [4]. The methods of Watson and Atkin [4] for deriving 1.13b 1.17, and corresponding higher-order generating functions, depend fundamentally on the remarkable modular equation [8, p. 119] q q ;q 6 q;q 6 = q q ;q q;q + q 4q ;q 4 q;q q 3q ;q 3 q;q 3 +q q ;q q;q +q q ;q q;q. Although Ramanujan could have derived.1 from identities equivalent to Theorem 3.3, as we will accomplish in the next section, Ramanujan likely did not use.1 to obtain quintic decompositions of the partition function. Indeed, equation.1 is conspicuously absent from his manuscript [11]. It is more likely that Ramanujan formulated expansions 1.13b 1.17 from relations between Eisenstein series through an approach similar to that subsequently demonstrated. Ramanujan s narrative indicates that he was aware of a systematic technique for expanding the image of Eisenstein series under the operator π defined by In particular, Ramanujan s calculations allude to a general inductive technique through which expansions may be derived for the multisections 1.13b He indicated that, by manipulating each successive identity and replacing q by q 1/, one may obtainexpansions of higher order. In this section, we presume to fill in the details that Ramanujan omitted. Our goal is to explicate Ramanujan s method for constructing relevant expansions from iterated dissections of Eisenstein series. Although our calculations refer principally to Theorems 1. and 3.3, our technique depends ultimately on identities stated by Ramanujan, namely , expressed in the form of Theorem 1.1. In addition to the classical formulas for the partition function, our methods result in quintic expansions for the series p λ n+δ λ + λ 1 mq n, m = 0,1,,3,4..

26 6 TIM HUBER Corollary.1. q 3/ q 1/ q pnq n = AB9 3A 6 B 4 q;q pn+4q n = A B q;q pn+q n = A3 B 7 A 8 B q;q Proof. First note that, by 4.,, q /, q 4/ L,χ3, q 1/ = q1/ q;q q 1/ ;q 1/ = q;q = qq ;q,.3 q;q 6 pn+1q n = A B 8 +A 7 B 3,.4 q;q pn+3q n = 3A4 B 6 +A 9 B.. q;q pn 1q n/..6 Equating terms with integral exponents in expansions.6 and 4.1 yields q;q pn+4q n = A B = Ω,0 L,χ3, q..7 The third equality of.3 follows from the product representations.9 for Aq and Bq. The remaining equalities of Corollary.1 may be derived similarly by equating termsin.6and4.1oftheformq n+k/ fork ineachresidueclassmodulofive. The technique used to generate Corollary.1 may be iterated to produce corresponding parameterizations for q;q pn+4+mqn, m = 0,1,,3,4 via quintic multisection of Eisenstein series. If m = 0, we recover the classical expansion Theorem.. Let Ω,0 be defined as in 1.0. For m = 0,1,,3,4, Ω,m L q m/ q;q pn+4+mq n,χ 3 q Ω,0 L,χ3 q =,.8 E,χ 3, ql,χ3, q Moreover, when m = 0, identity.8 is equivalent to Ramanujan s expansion Divide both sides of.7 by E,χ3, q and set q to q 1/ in the resultant to derive q;q pn 1q n/ = π Ω,0 L,χ3, q π Ω,0 L,χ3, q =..9 E,χ3, q E,χ3, q 1/ Next, rationalize the denominator of.9 through the use of Lemma 4.3 to achieve π Ω,0 L q;q pn 1q n/ = L,χ 3, q 1/,χ3, q.10 E,χ 3, ql,χ3, q π L,χ3, q Ω,0 L,χ3, q π A qb q Ω,0 A qb q = =..11 E,χ 3, ql,χ3, q E,χ 3, ql,χ3, q

27 A THEORY OF THETA FUNCTIONS TO THE QUINTIC BASE 7 We obtain Equation.8 by equating terms on the extreme sides of of the form q n+m/ for m in each residue class modulo five. In particular, since the argument of π inthe numerator ontheright side of.11 isahomogeneous polynomial in A q and B q, we may apply Theorem 3.3 to express the numerator of.11 as a homogeneous polynomial in Aq and Bq. The action of the operator Ω,m may then be deduced from Theorem 1., or equivalently, by extracting terms in the polynomial expansioninducedfromtheorem3.3oftheforma r qb s qforr m mod. When m = 0, we apply.7 to derive q;q pn+4q n = = Aq Bq E,χ 3, q Ω,0 L,χ 3, q Ω,0 L,χ3, q Ω,0 A 30 qb 30 q = E,χ 3, ql,χ3, q E,χ 3, ql,χ3, q 63Aq Aq 3 Bq +7861Aq 30 Bq Aq Bq 1 +18Aq 0 Bq Aq 1 Bq +7861Aq 10 Bq Aq Bq 3 +63Bq 40 = 63E 4,χ 3, ql,χ3, q+ E 3,χ 3, ql,χ3, q E,χ 3, q E,χ 3, L 3,χ 3, q+ 10 6E,χ3, L 4,χ 3, q+ 1 L,χ 3, q. E,χ 3, q.13 The polynomial in the numerator of.1 is symmetric in absolute value about the middle coefficient. This symmetry is a result of the representations for Eisenstein series from [14]. Consequently, we obtain the representation.13 of the numerator of.1 as a homogeneous polynomial in L,χ3, q and E,χ3, q. To show that Equation.13 is equivalent to Ramanujan s assertion 1.17, apply 1.7 and Lemma.3 to obtain L,χ3, q = q q ;q q;q, E,χ3, q = q;q q ;q, L,χ3, q E,χ3, q = qq ;q q;q 6 These calculations induce more general quintic multisections for the partition function. Theorem.3. Let χn denote the principal character modulo two, and define F 0 q = L,χ3, q, F n,m q = Ω,m L n,χ 3, q Ω,0 F n 1 q, n 1, and let δ k be defined by 1.1. Then, for m = 0,1,,3,4, and k N, k, q;q χk p k n+δ k + k 1 mq n F k 1,m q = k/4 j=0 Ej+1+χk,χ 3, ql j+χk,χ 3, q..1 Expansions for the right side of.1 in terms of quintic theta functions may also be derived from recursion formulas appearing in the work of M. Hirschorn and D. Hunt []. These authors derive expansions equivalent to those induced from Theorem.3 through an industrious use of the latter two relations of Corollary 4..

28 8 TIM HUBER 6. Dissections for generalizations of the partition function The methods of Section may be applied to another class of functions considered by Ramanujan[1, pp ]. As before, our approach is based on quintic multisections of Eisenstein series. We first obtain decompositions for a normalized version of the Dedekind eta function ητ = q 1/4 q;q in terms of the Rogers-Ramanujancontinued fraction. The modular equation.1 is an immediate consequence of these dissections. Theorem 6.1. Let Rq denote the Rogers-Ramanujan continued fraction and define q;q = p 1 nq n. Then, for each odd k N\{0}, p 1 k n+ k+1 1 q n = i k+1 q ;q, p 1 k n+ k+1 1 k 1 q n = ik 1 q 1/ q ;q, 4 Rq 6. p 1 k n+ k q k 1 n = i k+1 q 1/ q ;q Rq, = = For each even k N\{0}, and m = 0,1,,3,4, p 1 k n+ k 1 + k 1 m q n = 4 p 1 k n+ k q k 1 n p 1 k n+ k q k 1 n χ 1, m i k q;q. 6.6 Proof. We prove the result by induction on k. By Lemma 4.3 and Theorem 4.1, 1 L,χ3, q 1/ = 1 p q;q 1 n+1q n/ 6.7 = n= 1 1 L,χ3, q 1/ E 1/,χ 3, q 1/ L 4/,χ 3, q E 1/,χ 3, q 1/ L 4/,χ 3, q 6.8 = L4/,χ 3, qe 1/,χ 3, q 1/ E,χ3, ql,χ3, q 6.9 A 4 qb 4 q B q AqBq A q = E,χ3, ql,χ3, q. 6.10

29 A THEORY OF THETA FUNCTIONS TO THE QUINTIC BASE 9 Now equate terms with integral powers of q on both sides of 6.10 to derive 1 p q;q 1 n+1q n = A qb q E,χ3, ql,χ3, q 6.11 L,χ3, q = E,χ3, ql,χ3, q = ;q q. 6.1 q;q Equalities 6.1 are a result of 4. and.14. The agreement between the extreme sides of 6.11 and 6.1 proves the k = 1 case of the equality of 6.1. Each initial case in Theorem 6.1 is similarly derived by equating terms of the form q r/ for r in each residue class modulo five. Next, divide both side of 6.1 by E,χ3, q, apply.14, and replace q with q 1/ in the resulting identity to conclude 1 p 1 n+1q n/ = q;q The required formulas 6.6 for the case k = may be derived by from 6.13 by equating terms of the form q r/ for r in each residue class modulo five. In particular, p 1 n+1q n = q;q = p 1 nq n The general case of Theorem 6.1 follows from 6.14 and induction on k. We now give a new proof of Watson s modular equation.1 from Theorem 6.1. Proof of.1. From the quintic decomposition in Theorem 6.1, we deduce q;q = p 1 n+kq n+k 6.1 k=0 = qq ;q Rq qq ;q qq ;q Rq From 6.16, we deduce a famous formula of Ramanujan [34, p. 38] From 6.17, we obtain q;q = 1 qq ;q Rq 1 Rq = Bq Aq 1 Aq Bq q q ;q + q 4q ;q 4 +1q 3q ;q 3 +q q ;q +q q ;q. q;q q;q 4 q;q 3 q;q q;q 3Aq 3 Bq +4Aq Bq Aq Bq 3 +Aq 4 +Bq 4 = B q Aq Bq A q A 4 q B q +4A 3 q B 3 q +3A q B 4 q +A q Bq +Aq B q = A qb q B 10 q 11A qb q A 10 q = L q E,χ3, q = q ;q q;q 6