THE BG-RANK OF A PARTITION AND ITS APPLICATIONS arxiv:math/ v4 [math.co] 28 Apr 2007

Transcription

1 THE BG-RANK OF A PARTITION AND ITS APPLICATIONS arxiv:math/06036v [math.co] 8 Apr 007 ALEXANDER BERKOVICH AND FRANK G. GARVAN Abstract. Let π denote a partition into parts λ 1 λ λ 3... In a 006 paper we defined BG-rank(π as BG-rank(π = X ( 1 j+11 ( 1λ j. j 1 This statistic was employed to generalize and refine the famous Ramanujan modulo 5 partition congruence. Let p j (n denote the number of partitions of n with BG-rank = j. Here, we provide a combinatorial proof that p j (5n+ 0 (mod 5, j Z, by showing that the residue of the 5-core crank mod 5 divides the partitions enumerated by p j (5n + into five equal classes. This proof uses the orbit construction from our previous paper and a new identity for the BG-rank. Let a t,j (n denote the number of t-cores of n with BG-rank = j. We find eta-quotient representations for X n 0 a t, t+1 (nq n and X n 0 a t, t 1 (nq n, when t is an odd, positive integer. Finally, we derive explicit formulas for the coefficients a 5,j (n, j = 0,±1. 1. Introduction A partition π is a nonincreasing sequence π = (λ 1,λ,λ 3,... of positive integers (parts λ 1 λ λ 3... The norm of π, denoted π, is defined as π = i 1λ i. If π = n, we say that π is a partition of n. The (Young diagram of π is a convenient way to represent π graphically: the parts of π are shown as rows of unit squares (cells. Given the diagram of π we label a cell in the i-th row and j-th column by the least nonnegative integer j i (mod t. The resulting diagram is called a t-residue diagram [7]. We can also label cells in the infinite column 0 and the infinite row 0 in the same fashion and call the resulting diagram the extended t-residue diagram [5]. And so with each partition π and positive integer t we can Date: April 7, Mathematics Subject Classification. Primary 11P81, 11P83; Secondary 05A17, 05A19. Key words and phrases. partitions, t-cores, BG-rank, eta-quotients, Lambert series, theta series, even odd dissections. Research of both authors was supported in part by NSA grant MSPF-06G

2 ALEXANDER BERKOVICH AND FRANK G. GARVAN associate the t-dimensional vector with r(π,t = (r 0 (π,t,r 1 (π,t,...,r t 1 (π,t r i (π,t = r i, 0 i t 1 being the number of cells colored i in the t-residue diagram of π. If some cell of π shares a vertex or edge with the rim of the diagram of π, we call this cell a rim cell of π. A connected collection of rim cells of π is called a rim hook if (diagram of π\(rim hook represents a legitimate partition. We say that a partition is a t-core, denoted π t-core, if its diagram has no rim hooks of length t [7]. The Durfee square of π is the largest square that fits inside the diagram of π. Reflecting the diagram of π about its main diagonal, one gets the diagram of π (the conjugate of π. More formally, π = (λ 1,λ,λ 3,... with λ i being the number of parts of π that are i. In [] we defined a new partition statistic (1.1 BG-rank(π := 1 ( 1 j( 1λj. j 1 It is easy to verify that (1. BG-rank(π = r 0 (π, r 1 (π, and (1.3 BG-rank(π π (mod. In [] we proved the following (mod 5 congruences (1. (1.5 (1.6 (1.7 (1.8 p j (5n 0 (mod 5 if j 1, (mod 5, p j (5n+1 0 (mod 5 if j 1, (mod 5, p j (5n+ 0 (mod 5 if j 0,3 (mod 5, p j (5n+3 0 (mod 5 if j 0,3 (mod 5, p j (5n+ 0 (mod 5 for all j Z. Here p j (n denotes the number of partitions of n with BG-rank = j. Clearly, p(5n+ = j p j (5n+ with p(n denoting the number of unrestricted partitions of n. And so (1.8 implies the famous Ramanujan congruence [11] p(5n+ 0 (mod 5. In this paper, we build on the developments in [] to provide a combinatorial proof of (1.8. For t-odd it is surprising that the BG-rank(π t core assumes only finitely many values. In fact, we will show that if t is an odd, positive integer, then t 1 t+1 (1.9 BG-rank(π t core. Here x denotes the integer part of x.

3 THE BG-RANK OF A PARTITION AND ITS APPLICATIONS 3 We will establish the following identities. For odd t > 1 (1.10 (1.11 where C t,( 1 t 1 C t,( 1 t+1 t 1 (q = q (t 1(t 3 8 F(t,q, t+1 (q = q t 1 8 C t,j (q = n 0a t,j (nq n, E t (q t E(q, a t,j (n denotes the number of t-cores of n with BG-rank = j and E(q = (1 q j, j=1 F(t,q = Et (q t E (q t E 3 (q E. (q We observe that (1.3 suggests that C t,j (q is an even (odd function of q if j is even (odd. It is instructive to compare (1.10, 1.11 with the well-known identity [5] for unrestricted t-cores (1.1 n 0 a t (nq n = Et (q t E(q. Here a t (n denotes the number of t-cores of n. The rest of this paper is organised as follows. In Section we discuss the Littlewood decomposition of π in terms of t-core and t-quotient of π. We describe the Garvan, Kim, Stanton bijection for t-cores and use a constant term technique to provide a simple proof of the Klyachko identity [8] (1.13 n Z t n 1 t=0 q t n n+ b t n = Et (q t E(q. Here 1 t = (1,1,...,1 Z t, b t = (0,1,,...,t 1. In Section 3 we establish a fundamental identity connecting BG-rank and the Littlewood decomposition. In Section we discuss a combinatorial proof of (1.8. Section 5 is devoted to the proof of the identities (1.10, Section 6 deals with 5-cores with prescribed BG-rank. There we derive the explicit formulas for the coefficients a 5,j (n, j = 0,±1. In Section 7 we give a generalization of the BG-rank and state a number of results.. Two Bijections In this section we will follow closely the discussion in [], [5] to recall some basic facts about t-cores and t-quotients. A region r in the extended t-residue diagram of π is the set of cells (i,j satisfying t(r 1 j i < tr. A cell of π is called exposed

4 ALEXANDER BERKOVICH AND FRANK G. GARVAN if it is at the end of a row. One can construct t bi-infinite words W 0,W 1,...,W t 1 of two letters N,E as { E, if there is an exposed cell labelled i in the region r The r-th letter of W i = N, otherwise. It is easy to see that the word set {W 0,W 1,...,W t 1 } fixes π uniquely. Let P be the set of all partitions and P t-core be the set of all t-cores. There is a well-known bijection which goes back to Littlewood [9] such that φ 1 : P P t-core P P P... P φ 1 (π = (π t-core,ˆπ 0,ˆπ 1,...,ˆπ t 1 t 1 π = π t-core +t ˆπ i. Multipartition(ˆπ 0,ˆπ 1,...,ˆπ t 1 iscalledthe t-quotientofπ. We remarkthat (1.1 is the immediate corollary of the Littlewood bijection. We describe φ 1 in full detail a bit later. The second bijection φ : P t-core { n : n Z t, n 1 t = 0} was introduced in [5]. It is for t-cores only where for 0 i t φ (π t-core = n = (n 0,n 1,...,n t 1 (.1 n i = r i (π t-core,t r i+1 (π t-core,t and (. n t 1 = r t 1 (π t-core,t r 0 (π t-core,t. Clearly, Moreover, t 1 n i = n 1 t = 0. (.3 π t-core = t n n+ b t n, as shown in [5]. And so (. a t (nq n = n 0 n Z t n 1 t=0 q t n n+ b t n. Note that (1.1, (. imply the Klyachko identity (1.13. The reader may wonder if (.1,. can be used to define φ (π = n for any partition π. This, of course, can be done. However, in general φ is not a 1 1 function and so φ 1 can t be defined. Indeed, if π 1 π, but π t-core is a t-core of both π 1 and π then φ (π 1 = φ (π = φ (π t-core.

5 THE BG-RANK OF A PARTITION AND ITS APPLICATIONS 5 When a partition is a t-core, φ can be inverted. To do this we recall that the partition is a t-core iff for 0 i t 1 Region : n i 1 n i n i +1 n i + W i : E E N N as explained in [5]. For example, the word image of φ 1 ((, 1, 1 is Region : This means that W 0 : E E E E N W 1 : E N N N N W : E N N N N. (.5 φ 1 ((, 1, 1 = (,. More generally, if φ 1 (π = (π t-core,ˆπ 0,ˆπ 1,...,ˆπ t 1 with ˆπ i = (λ (i 1,λ(i,...,λ(i m i, 0 i t 1, then cells colored i are not exposed only in the regions n i +j λ (i j, 1 j m i and n i +m i +k, k 1. For example, if ˆπ i = (λ 1,λ,λ 3 then Region : n i +1 λ 1 n i + λ n i +3 λ 3 n i + W i : E N E E N E E N E E N Clearly,onecaneasilydetermine nand(ˆπ 0,ˆπ 1,...,ˆπ t 1 fromthewordset{w 0,W 1,...,W t 1 }. And so φ 1 (π = (φ 1 ( n,ˆπ 0,...,ˆπ t 1. We illustrate the above with the following example. If t = 3 and π = (7,5,,3, then We have Region : Using (.5, we obtain W 0 : E E E N E E N N W 1 : E N N E N N N N W : E N E N N N N N. n 0 =, π 0 = (, n 1 = 1, π 1 = (1,1, n = 1, π = (1. φ 1 ((7,5,,3, = ((,,(,(1,1,(1. To proceed further we recall some standard q-hypergeometric notations [6]: (a 1,a,a 3,...;q N = (a 1 ;q N (a ;q N (a 3 ;q N...

6 6 ALEXANDER BERKOVICH AND FRANK G. GARVAN where N 1 j=0 (1 aqj, N > 0 (a;q N = (a N = 1, N = 0 N j=1 (1 aq j 1, N < 0. We shall also require the Jacobi triple product identity [6, (II.8] (.6 q n z n = (q, zq, q z ;q. n= We are now ready to provethe Klyachkoidentity (1.13. We will employ a so-called constant term technique. To this end we rewrite the left hand side of (1.13 as LHS (1.13 = [z 0 ] t 1 n n+ b t n z n 1 t = [z 0 ] q t n i +ini z ni n Z t q t n i= where [z i ]f(z is the coefficient of z i in the expansion of f(z in powers of z. With the aid of (.6 we derive ( t 1 LHS (1.13 = [z 0 ] q t, q i+ t q t z, q i z ;qt = [z 0 ] Et (q t ( q q, q t z, E(q q z ;q t ( E = [z 0 t (q t ] q n +t 1 n z n E(q = Et (q t E(q, n= as desired. The above proof is just a warm-up excercise to prepare the reader for a more sophisticated proof of (1.10 discussed in Section The Littlewood decomposition and BG-rank The main goal of this section is to establish the following identities for BG-rank. If t is even and (n 0,...,n t 1 = φ (π, then (3.1 BG-rank(π = If t is odd then n i. t (3. BG-rank(π t-core = bg( n, where n = φ (π t-core and (3.3 bg( n := 1 t 1 j=0 ( 1j+nj. Moreover, if t is odd and φ 1 (π = (π t-core, π 0,..., π t 1 then t 1 (3. BG-rank(π = BG-rank(π t-core+ ( 1 j+nj BG-rank( π j. j=0

7 THE BG-RANK OF A PARTITION AND ITS APPLICATIONS 7 The proof of (3.1 is straightforward. It is sufficient to observe that if some cell is colored i in the t-residue diagram of π, then it is colored 1 ( 1i in the -residue diagram of π. And so we obtain with the aid of (1. BG-rank(π = (r 0 +r +r + +r t (r 1 +r 3 +r 5 + +r t 1 = (r 0 r 1 +(r r 3 + +(r t r t 1 = n 0 +n + +n t, as desired. Next, let D(π = D denote the size of the Durfee square of π. To prove (3. we begin by rewriting (1.1 as (3.5 BG-rank(π = 1 ν par(ν + ( 1 λj j. Here π = (λ 1,λ,...,λ ν and par(x is defined as j=1 par(x := 1 ( 1x. Next, let π 1,π denote the partitions constructed from the first D = D(π t-core rows, columns of π t-core, respectively. Let π 3 denote a partition whose diagram is the Durfee square of π t-core. It is plain that (3.6 BG-rank(π t-core = BG-rank(π 1 +BG-rank(π BG-rank(π 3 We shall also require the following sets = BG-rank(π 1 +BG-rank(π par(d. P + : = {i Z : 0 i t 1, n i > 0}, P : = {i Z : 0 i t 1, n i < 0}. Here n i s are the components of φ (π t-core. Note that if i P +, then i is exposed in all positive regions n i of π 1. This observation together with (3.5 implies that BG-rank(π 1 = 1 par(d+ n i ( 1 t(k 1+i (3.7 i P + k=1 = 1 par(d+ ( 1 i par(n i i P + In [5], the authors showed that under conjugation φ (π t-core transforms as Also it is easy to see that (n 0,n 1,n,...,n t 1 ( n t 1, n t, n t 3,..., n 0. BG-rank(π = BG-rank(π. It follows that (3.8 BG-rank(π = 1 par(d+ ( 1 i par(n i. i P

8 8 ALEXANDER BERKOVICH AND FRANK G. GARVAN Combining (3.6, 3.7, 3.8 and taking into account that par(0 = 0 we get BG-rank(π t-core = 1 ( 1 i par(n i i P P + = 1 t 1 ( 1 i par(n i = 1 t 1 ( 1i+ni, as desired. Note that formula (3. implies that BG-rank of odd t-core is bounded, as stated in (1.9. Next, let π 0,i, π,i, π 3,i,... denote the partitions constructed from φ 1 (π = (π t-core, π 0, π 1,..., π t 1, for odd t as follows π 0,i = φ 1 1 (π t-core, π 0, π 1,..., π i 1,(0, π i+1,..., π t 1, π 1,i = φ 1 1 (π t-core, π 0, π 1,..., π i 1,(λ 1, π i+1,..., π t 1, π,i = φ 1 1 (π t-core, π 0, π 1,..., π i 1,(λ 1,λ, π i+1,..., π t 1,. Here π i = (λ 1,λ,...,λ ν. Note that the W i word of π 0,i is Region : n i n i +1 W i : E N. To convert π 0,i into π 1,i we attach a rim hook of length tλ 1 to π 0,i so that W i becomes Region : n i +1 λ 1 n i +, W i : E N E E N N. It is not hard to verify that the color of the head (north-eastern cell of the added rim-hook in the -residue diagram of π 1,i is given by par(tn i + i = par(n i + i. Observe that zeros and ones alternate along the added hook rim. This means that BG-rank does not change if λ 1 is even. If λ 1 is odd then the change is determined by the color of the added head cell, i.e. BG-rank( π 1,i = BG-rank( π 0,i +par(λ 1 (1 par(n i +i = BG-rank( π 0,i +par(λ 1 ( 1 ni+i, Next, we convert π 1,i into π,i by adding the new hook rim of length tλ to π 1,i so that W i becomes Region : n i +1 λ 1 n i + λ n i +3 W i : E N E E N E E N. The color of the new head cell is given by and so par(t(n i +1+i = par(n i +1+i, BG-rank( π,i = BG-rank( π 1,i +par(λ (1 par(n i +1+i = BG-rank( π 0,i +( 1 ni+i (par(λ 1 par(λ.

9 THE BG-RANK OF A PARTITION AND ITS APPLICATIONS 9 Proceeding as above we arrive at (3.9 ν BG-rank(π = BG-rank( π 0,i +( 1 ni+i ( 1 j+1 par(λ j j=1 = BG-rank( π 0,i +( 1 ni+i BG-rank( π i. Formula (3. follows easily from (3.9. Let us now define B t, Bt Z t as { t 1 B t = e i, if t 1 (mod t 3 e 1+i, if t 1 (mod and B t = B t 1 t + e i = { t 3 e 1+i, if t 1 (mod t 1 e i, if t 1 (mod Here e i s are standard unit vectors in Z t defined as e 0 = (1,0,...,0,..., e t 1 = (0,...,0,1. We conclude this section with the following important observation. If odd t > 1, k = 0,1,..., t 1 and n Z t, n 1 t = 0, then (3.10 bg( n = ( 1 t 1 ( t k iff n B t + e i0 + e i1 + + e ik (mod forsome0 i 0 < i 1 < i < < i k t 1. In particular, if n Z t, n 1 t = 0, then (3.11 bg( n = ( 1 t+1 t+1 iff n Bt (mod. We leave the proof as an exercise for the interested reader. and. Combinatorial proof of p j (5n+ 0 (mod 5 Throughout this section we assume that π (mod 5 π 5-core (mod 5. To prove (1.8 we shall require a few definitions. Following [5], we define the 5-core crank as (.1 c 5 (π := (r 0 (π,5 r (π,5+(r 1 (π,5 r 3 (π,5+1 (mod 5. Note that if π 5-core (mod 5, then obviously (. (.3 n 0 +n 1 +n +n 3 +n = 0, n 1 +n +3n 3 +n (mod 5.

10 10 ALEXANDER BERKOVICH AND FRANK G. GARVAN Here, n = (n 0,n 1,n,n 3,n = φ (π 5-core. Let s introduce a new vector α( n = (α 0,α 1,α,α 3,α, defined as (. (.5 (.6 (.7 (.8 α 0 = n 0 3n 1 n n 3 +1, 5 α 1 = 3n 0 n 1 n n 3 +, 5 α = 3n 0 n 1 +n n 3 +, 5 α 3 = n 0 +n 1 +3n +n 3 +1, 5 α = n 0 +3n 1 +n +n Using (.,.3 it is easy to verify that α( n Z 5 and that (.9 (α 0 +α 1 +α +α 3 +α = 1. Inverting (..8 we find that (.10 (.11 (.1 (.13 (.1 n 0 = α 0 +α, n 1 = α 0 +α 1 +α, n = α 1 +α, n 3 = α +α 3 α, n = α 3 α, Note that in terms of these new variables we have (.15 c 5 (π iα i (mod 5, (.16 π = 5Q( α 1+5 π i, and (.17 BG-rank(π = 1 ( 1α0+α1 ( 1 α1+α ( 1 α+α0 +( 1 α0+α BG-rank( π 0 +( 1 α+α3 BG-rank( π 1 +( 1 α1+α BG-rank( π +( 1 α0+α1 BG-rank( π 3 +( 1 α3+α BG-rank( π. Here φ 1 (π = (π 5-core, π 0,..., π and Q( α := α α (α 0 α 1 +α 1 α + +α α 0. It is convenient to combine φ 1,φ, α into a new invertible function Φ, defined as Φ(π = ( α(φ (π 5-core, π,

11 THE BG-RANK OF A PARTITION AND ITS APPLICATIONS 11 where π := ( π 0,..., π. Following [] we define We observe that operator Ĉ 1 ( α = (α,α 0,α 1,α,α 3, Ĉ ( π = ( π, π, π 3, π 0, π 1, Ô(π = Φ 1 (Ĉ1( α,ĉ( π. Ô has the following properties Ô(π = π, Ô 5 (π = π, BG-rank (Ô(π = BG-rank(π, (.18 c 5 (Ô(π 1+c 5 (π (mod 5. Clearly, Ô preserves the norm and the BG-rank of the partition. And so we can assemble all partitions of 5n+ with BG-rank = j into disjoint orbits: π, Ô(π, Ô (π, Ô 3 (π, Ô (π. Here, π is some partition of 5n+ with BG-rank = j. Formula (.18 suggests that all five members of the same orbit are distinct. Clearly, p j (5n+ = 5 (number of orbits. Hence, p j (5n+ 0 (mod 5, as desired. In fact, we have the following Theorem.1. Let j be any fixed integer. The residue of the 5-core crank mod 5 divides the partitions enumerated by p j (5n+ into five equal classes. We note that this theorem generalizes Theorem.1 [, p.717]. 5. Identities for odd t-cores with extreme BG-rank values The mainobjectofthis sectionistoprovideaproofofformulas(1.10 and(1.11. Thoughout this section t is presumed to be a positive odd integer. We will prove (1.11 first. To this end we employ the observation (3.10 together with (.3 to rewrite it as (5.1 where n Z t, n 1 t=0 n Bt (mod q Q( n = q t 1 8 (5. Q( n := t n n+ b t n. E t (q t E(q, Next we introduce new summation variables ñ = (ñ 0,...,ñ t 1 Z t as follows (5.3 n = ñ+ t 3 Obviously, ñ is subject to the constraint (5. ñ 1 t = 0. ( e t 3 i e t+1 +i.

12 1 ALEXANDER BERKOVICH AND FRANK G. GARVAN Note that in terms of new variables we have (5.5 Q( n = Q( n+(t 1 1 t ñ = t 1 + { t 8 } ñ ñ+σ 1 +σ +σ 3, where σ 1 = σ = σ 3 = t 3 t 3 (t 1 iñt 3 i, iñ i+ t+1, t 1 ( i= t 1 t 1 +iñt 1 +i. At this point it is natural to perform further changes: t 3 ñt 3 i ñ t 1 i, 0 i t 3 ñt+1 +i ñ i, 0 i t 1 t 1 ñt 1 +i ñt 1 +i, i. This way we obtain Q( n = t 1 + Q( ñ, 8 ñ Z t, ñ 1 t = 0. And so with the aid of the Klyachko identity (1.13 we find that (5.6 C t+1 t,( 1 t+1 (q = q t Q( ñ = q t 1 E t (q t 8 E(q, ñ Z t ñ 1 t=0 as desired. To prove (1.10 we shall require the following lemma. Lemma 5.1. For a positive odd t (5.7 ψ (q = q t 1 ψ (q t + E3 (q t t 3 f( q t, q 3t q i f(q t 1 i, q 1+i f( q i+, q t i holds. (5.8 (5.9 In the above we employed the Ramanujan notations Using (.6 we can easily show that (5.10 f(a,b = ψ(q := E (q = q (n+1, E(q n 0 f(a,b := (ab, a, b;ab. n= a n(n+1 b n(n 1.

13 THE BG-RANK OF A PARTITION AND ITS APPLICATIONS 13 Setting a = q t 1 i,b = q 1+i,0 i t 3 in (5.10 and dissecting we obtain (5.11 f(q t 1 i, q 1+i = f( q +t+i, q 3t i +q t 1 i f( q t+i, q 5t i. To provethe above lemma we start with the Ramanujan 1 ψ 1 -summation formula [6, II.9] (5.1 n= n= (a n z n = (az, q az,q, b a ;q (b n (z, b az,b, q a ;q, b < z < 1. a We set b = aq to obtain z n ( aq n = (az, q az,q,q;q (z, q z,a, q a ;q = E3 (qf( az, q az f( z, q q < z < 1. z f( a, q a, If we replace q q,z = q,a = q in (5.13 we find that q n (5.1 1 q +n = ψ (q. n= Next we split the sum on the left of (5.1 as (5.15 ψ (q = t 1 i t 1 q i q tmi 1 q +i q + tmi m i= m= q t 1 q tm 1 q t q tm. Using(5.1with q q t itis easytorecognizethelastsum in(5.15 asq t 1 ψ (q t. And so we have (5.16 ψ (q = q t 1 ψ (q t + E3 (q t f( q t, q 3t t 1 i t 1 q if( q+i+t, q 3t i f( q +i, q t i, where we have made a multiple use of (5.13. Finally, folding the last sum in half and using (5.11 we arrive at (5.17 ψ (q = q t 1 ψ (q t + t 3 E 3 (q t q i f( q t, q 3t f( q +i, q t i { f ( q +i+t, q 3t i +q t 1 i f ( q 5t i, q t+i} = q t 1 ψ (q t + E3 (q t t 3 f( q t, q 3t q i f(q t 1 i, q 1+i f( q +i, q t i. This concludes the proof of Lemma 5.1. We now move on to prove (1.10. Again, using the observation (3.10, we can rewrite it as (5.18 t 1 j=0 n Z t, n 1 t=0 n B t+ e j (mod q Q( n = q (t 1(t 3 8 F(t,q.

14 1 ALEXANDER BERKOVICH AND FRANK G. GARVAN Remarkably, (5.18 is just the constant term in z of the following more general identity (5.19 t 1 j=0 n Z t n B t+ e j (mod = q (t 1(t 3 8 F(t,q q Q( n z n 1 t n= q n +(t 1n z n. To prove(5.19 we observe that its right hand side satisfies the first order functional equation (5.0 Dt,q (f(z = f(z, where D t,q (f(z := zq t+1 f(zq. After a bit of labor one can verify that for 0 i t 1 (5.1 Dt,q n Z t n B t+ e i (mod q Q( n z n 1 t = n Z t n B t+ e i+ (mod q Q( n z n 1 t, where e t := e 0 and e t+1 := e 1. Clearly, (5.1 implies that the left hand side of (5.19 satisfies (5.0, as well. It remains to verify (5.19 at one nontrivial point. To this end we set { 1, if t 1 (mod, z = q, if t 1 (mod in (5.19, and then replace q q to get with the help of (.6 (5. q t 1 ψ(q t i=1 f ( q 1+j,q t 1 j t 3 j=0 t 1 { 1+ q if(qt,q t f(q i,q t i } ψ(q t f(q t+i,q t i = ψ(q F(t,q. To proceed further we need to verify two product identities and ψ(q f ( q 1+j,q t 1 j = ψ(q t F(t,q t 3 j=0 ψ(q t f(qt,q t f(q i,q t i f(q t+i,q t i Next, we multiply both sides of (5. by ψ(q F(t,q = E 3 (q t f(q i, q t i f( q t, q 3t f( q t+i, q t i, i N. i=1 and simplify to arrive at (5.3 q t 1 ψ (q t + E3 (q t t 1 f( q t, q 3t q t 1 i f(q i, q t i f( q t+i, q t i = ψ (q,

15 THE BG-RANK OF A PARTITION AND ITS APPLICATIONS 15 which is essentially the identity in Lemma 5.1. This concludes our proof of (5.19. It follows that (5.18, (1.10 hold true cores with prescribed BG-rank Formula (1.9 suggests that BG-rank(π 5-core can assume just three values: 0,±1. This means that (6.1 a 5 (n = a 5, 1 (n+a 5,0 (n+a 5,1 (n. The generating function of version (6.1 is (6. E 5 (q 5 E(q = C 5, 1 (q+c 5,0 (q+c 5,1 (q. In the last section we proved (1.10, (1.11. These identities with t = 5 state that (6.3 (6. C 5, 1 (q = q 3E5 (q 0 E(q, C 5,1 (q = qf(5,q. By (1.3 we observe that C t,j (q is either an odd or an even functions of q with parity determined by the parity of j. Therefore, C 5,0 (q is an even function of q, and C 5,±1 (q are odd functions of q. Consequently, we see that ( E 5 (q 5 (6.5 ep = C 5,0 (q E(q where ep(f(x := f(x+f( x. In this section we will show that C 5,0 (q can be expressed as a sum of two infinite products (6.6 C 5,0 (q = R(q, where (6.7 R(q := E (q 10 E(q 5 E (q E (q 0 E(q +q E (q 0 E 3 (q 5 E 6 (q E (q 10 E (q E 3 (q. It is easy to rewrite (6.7 in a manifestly positive way as where R(q = f(q,q f(q,q 3 { ϕ(q 5 ψ(q +qϕ(qψ(q 10 }, ϕ(q := f(q,q = n= q n = E 5 (q E (q E (q, and ψ(q is defined in (5.8. Formula (6.6 enabled us to discover and prove the new Lambert series identity 1 (6.8 R(q = ( 1 i q 5n+i 1+q 1+i+10n (1 q 1+i+10n. n= In what follows we will require three identities: [ u (6.9 ux, x,vy, v y ;q] = [ uy, u y,vx, v x ;q] + v [ x xy, x y,uv, u v ;q],

16 16 ALEXANDER BERKOVICH AND FRANK G. GARVAN ([6, ex. 5.1] (6.10 f(a,bf(c,d = f(ac,bdf(ad,bc+af provided ab = cd ([1] and (6.11 E 5 (q 5 E(q ([6, ex. 5.7], [5, p.8]. Here = i=1 n= [a 1,a,...,a n ;q] = Next, we wish to establish the validity of (6.1 F(5,q = E(q10 E (q 5 E 3 (q E (q ( b c, c ( b b (abcd f d, d b (abcd, q 5n+i 1 ( 1 i+1 (1 q 5n+i, [a;q] = (a, q a ;q n [a i ;q]. i=1 = E5 (q 5 E(q To this end we multiply both sides of (6.1 by [ q,q 3 ;q 10] [ q,q ;q 10] E (q 10 to obtain after simplification that, +q E5 (q 10 E(q. (6.13 [q,q,q,q 6 ;q 10 ] = [q,q 3,q 5,q 5 ;q 10 ] +q[q,q,q 3,q 3 ;q 10 ]. But the last equation is nothing else but (6.9 with q replaced by q 10 and u = q,v = q 5,x = 1,y = q. We now combine ( ep q E5 (q 5 = qc 5, 1 (q+qc 5,1 (q, E(q with (6.3, (6.5, and (6.1 to obtain ( (6.1 ep q E5 (q 5 = q E5 (q 0 (q 10 E(q E(q +qe5 E(q. This can be stated as the following eigenvalue problem ( (6.15 T q E5 (q 5 = q E5 (q 5 E(q E(q, where for prime p the Hecke operator T p is defined by its action as T p n 0a n q n = n 0a ( p pn q n +p a n q pn, 5 with ( a b being the Legendre symbol. We remark that (6.15 is the p = case of the more general formula ( (6.16 T p q E5 (q 5 ( = p+ E(q n 0 ( ( p q E5 (q 5, 5 E(q

17 THE BG-RANK OF A PARTITION AND ITS APPLICATIONS 17 which can be deduced from (6.11. We shall not supply the details. Instead, we note that (6.16 together with (6.3, 6., 6.5 implies that ( ( p (6.17 T p (qc 5,j (q = p+ (qc 5,j (q, j = 0±1. 5 Here, p is an odd prime. To prove (6.6 we use (6.1 to deduce that ( E 5 (q 5 ( E (6.18 ep = ep(f(5,q = E(q 10 E 3 (q (q 5 ep E(q E. (q To proceed further we employ (6.10 with a = q,b = q 9,c = q 3,d = q 7 to get (6.19 It is clear that E(q 5 E(q = E(q E(q 0 E (q f(q,q9 f(q 3,q 7 = (6.0 ep E(q E(q 0 E (q {f(q,q 16 f(q 8,q 1 +qf(q 6,q 1 f(q,q 18 } = E (q 0 E(q 8 E(q 0 E (q +qe(q0 E(q 10 E 3 (q E(q 0 E(q 8 E 3 (q. ( E (q 5 E = E (q 0 E (q 8 (q 0 E (q 10 E 6 (q (q E (q 0 E (q +qe E (q 0 E (q 8 E 6 (q. Combining (6.18 and (6.0 we find that ( E 5 (q 5 (6.1 ep = R(q. E(q The last formula together with (6.5 implies (6.6. Next, we rewrite (6.11 as E 5 (q 5 = ( 1 i+1q5n+i 1 (1+q 5n+i +q 10n+i E(q (1 q 10n+i. Clearly, (6. ep ( E 5 (q 5 = E(q i=1 n= = i=1 n= n i 1 (mod 1 n= ( 1 i+1q5n+i 1 (1+q 10n+i (1 q 10n+i ( 1 iq10n+i (1+q 0n+i+ (1 q 0n+i+. Formula (6.8 with q q follows easily from (6.1 and (6.. Before we move on we wish to summarize some of the above observations in the formula below E 5 (q 5 { E (q 0 E(q 10 E (q 8 = E(q E (q 0 E(q +q E (q 0 E 3 (q 10 E 6 (q } E (q 0 E (q 8 E 3 (q { E 5 (q 10 (q 0 } (6.3 +q E(q +qe5 E(q. In [5], the authors used (6.11 to find explicit formulas for the coefficients (6. a 5 (n = d+1 +( 1 d s 5 c p ai+1 i 1 t q bj+1 j +( 1 bj. 3 p i 1 q j +1 i=1 j=1

18 18 ALEXANDER BERKOVICH AND FRANK G. GARVAN Here (6.5 n+1 = d 5 c s i=1 is the prime factorization of n + 1 and p i ±1 (mod 5,1 i s and q j ± (mod 5,1 j t are odd primes. Formulas (6.3, (6., (6.5 and (6.1 suggest the following relations. For n N and r = 0,1,,3 one has { a 5 (n, if n 0 (mod, (6.6 a 5,0 (n = 0, otherwise, { a 5 (n, if r = 3, (6.7 a 5, 1 (n+r = 0, otherwise, a 5 (n, if r = 1, (6.8 a 5,1 (n+r = a 5 (n+a 5 (n+1, if r = 3, 0, if r = 0,. Theserelationstogetherwith(6.enabledustoderiveexplicitformulasfora 5,j (n with 1 j 1. In particular, if the prime factorization of n+1 is given by (6.5, then s (6.9 a 5,1 (n+3 = d+1 5 c p ai+1 i 1 t q bj+1 j +( 1 bj. p i 1 q j +1 i=1 We would like to conclude this section with the following discussion. It is easy to check that (6.17 implies that ( ( ( ( p n+1 p (6.30 a 5,j (pn+p 1+p a 5,j 1 = p+ a 5,j (n, j = 0,±1, 5 p 5 where p is odd prime, n N and a 5,j (x = 0 if x Z. Setting p = 5 we find that p ai i t j=1 j=1 (6.31 a 5,j (5n+ = 5a 5,j (n, j = 0,±1. This is a refinement of the well-known result (6.3 a 5 (5n+ = 5a 5 (n, proven in [5]. We can prove (6.31 by adapting the combinatorial proof in [5]. Let s define n = (n 0,n 1,n,n 3,n = φ (π 5-core for some π 5-core with BG-rank(π 5-core = j and π 5-core = n. Consider map n ñ = (ñ 0,ñ 1,ñ,ñ 3,ñ with ñ 0 = n 1 +n +n +1, q bj j ñ 1 = n 1 n +n 3 +n +1, ñ = n 1 +n +n 3, ñ 3 = n n 3 n 1, ñ = n 1 n 3 n 1.

19 THE BG-RANK OF A PARTITION AND ITS APPLICATIONS 19 Obviously ñ Z 5 and ñ 1 5 = 0 and so we can define π 5-core = φ 1 ( ñ. It is easy to check that π 5-core = 5n+, and that BG-rank( π 5-core = j, and c 5 ( π 5-core (mod 5. Recall that the orbit { π 5-core,Ô( π 5-core,...,Ô ( π 5-core} contains just one member with c 5 (mod 5. And so each 5-core of n with BG-rank j is in 1 1 correspondence with an appropriate 5-member orbit of t-cores of 5n+ with BG-rank j. This observation yields a combinatorial proof of (6.31. Given our combinatorial proof of 7. Outlook p j (5n+ 0 (mod 5, j Z one may wonder about a combinatorial proof of the other mod 5 congruences ( We strongly suspect that such proof will be dramatically different from the one discussed in Section. In addition, one would like to have combinatorial insights into (6.30 for p 5. In this paper we found positive eta-quotient representations for C 5,j (q, 1 j 1. In the general case (odd t, t 1 j t+1, we established such representation only for C t,± t±1 (q. Clearly, one wants to find positive etaquotient representations for other admissible values of BG-rank. (See [3] for a fascinating discussion of the t = 7 case. Finally, we observe that (1. is the s = case of the following more general definition s 1 gbg-rank(π, s = r j (π,sωs j with ω s = e iπ s. Many identities, proven here, can be generalized further. For example, we can prove that if (s,t = 1 then t 1 (7.1 gbg-rank(π t-core,s = ωi+1 s (ωs tni 1 (1 ωs t(1 ω s and for 1 i s 1 that (7. Here, j=0 gbg-rank(π t-core,s=g(i q πt-core = q a(i F i (q s. g(i = (n 0,n 1,...,n t 1 = φ (π t-core, a(i = (t 1(s 1 1 (1 ω s (1 1 ω s (t 1(s ii, t 1 ωs 1+ t 1 ω i s (1 ω t s(1 1 ω s,

20 0 ALEXANDER BERKOVICH AND FRANK G. GARVAN F i (q = E(q s E(q st t [qit ;q st ] [q i ;q s. ] Setting s = in (7.1, (7. we obtain (3., (1.10, respectively. In addition we can show that (7.3 q πt-core t = q a(0e(qs t E(q s. gbg-rank(π t-core,s=g(0 Setting s = in (7.3 we get (1.11. In [10] Olsson and Stanton defined so-called (s, t-good partitions. Surprisingly, t-cores with gbg-rank = g(0 coincide with (t, s-good partitions. Let ν(t,s denote a number of distinct values that gbg-rank(π t-core,s may assume. Then it can be shown that ( t+s t ν(s,t t+s, provided that (s,t = 1. Morever, if s is prime or if s is a composite number and t < p then ( t+s t ν(s,t = t+s. Here, p is a smallest prime divisor of s and (s,t = 1. Details of these and related results will be left to a later paper. Acknowledgement We would like to thank Robin Chapman, Ole Warnaar, Herbert Wilf and Hamza Yesilyurt for their kind interest and stimulating discussions. References 1. B. C. Berndt, Ramanujan s Notebook III, Springer-Verlag, New York, 1991, pp. 8.. A. Berkovich, F. G. Garvan, On the Andrews-Stanley refinement of Ramanujan s congruence modulo 5 and generalization, Trans. Amer. Math. Soc. 358 (006, A. Berkovich, H. Yesilyurt, New identities for 7-cores with prescribed BG-rank, preprint, arxiv: math.nt/ F. G. Garvan, More cranks and t-cores, Bull. Austral. Math. Soc. 63 (001, F. Garvan, D. Kim, D. Stanton, Cranks and t-cores, Invent. Math. 101 (1990, G. Gasper, M. Rahman, Basic hypergeometric series, Encyclopedia of Mathematics and its applications v.35, Cambridge, G. James, A. Kerber, The Representation Theory of the Symmetric Group, Encyclopedia of Mathematics and its Applications v.16, Reading, MA, A. A. Klyachko, Modular forms and representations of symmetric groups, J. Soviet Math. 6 (198, D. E. Littlewood, Modular representations of symmetric groups, Proc. Roy. Soc. London Ser. A. 09 (1951, J. B. Olsson, D. Stanton, Block inclusions and cores of partitions, preprint ( S. Ramanujan, Some properties of p(n, the number of partitions on n, Proc. Cambridge Phil. Soc. 19 (1919, Department of Mathematics, University of Florida, Gainesville, Florida address: alexb@math.ufl.edu Department of Mathematics, University of Florida, Gainesville, Florida address: frank@math.ufl.edu