Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler...
Transcript of Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler...
![Page 1: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/1.jpg)
Krattenthaler Fest 2018 / 1SLC81 (KrattenthalerFest)
Strobl, September 9–12, 2018
Ramanujan’s congruences
modulo powers of 5, 7, and 11
revisited
Peter Paule (joint work with S. Radu)
Johannes Kepler University LinzResearch Institute for Symbolic Computation (RISC)
![Page 2: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/2.jpg)
Krattenthaler Fest 2018 / Prelude 2
Prelude
![Page 3: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/3.jpg)
Krattenthaler Fest 2018 / Prelude 3
1 1 2 3 57 11 15 22 3042 56 77 101 135176 231 297 385 490627 792 1002 1255 15751958 2436 3010 3718 45655604 6842 8349 10143 1231014883 17977 21637 26015 3118537338 44583 53174 63261 7517589134 105558 124754 147273 173525204226 239943 281589 329931 386155451276 526823 614154 715220 831820966467 1121505 1300156 1505499 17416302012558 2323520 2679689 3087735 35543454087968 4697205 5392783 6185689 70895008118264 9289091 10619863 12132164 13848650
![Page 4: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/4.jpg)
Krattenthaler Fest 2018 / Prelude 4
Example: p(4) = 5: 4, 3 + 1, 2 + 2, 2 + 1 + 1, 1 + 1 + 1 + 1.
NOTE. (p(n))n≥0 is not holonomic.
Proof.
∞∑n=0
p(n)qn =∞∏j=1
1
1− qj=
1
(q; q)∞
= (1 + q1 + q1+1 + q1+1+1 + . . . )
× (1 + q2 + q2+2 + q2+2+2 + . . . )
× (1 + q3 + q3+3 + q3+3+3 + . . . )
× etc.
= · · ·+ q1+1+1+2+2+3+··· + · · ·
Holonomic functions have only finitely many singularities. �
![Page 5: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/5.jpg)
Krattenthaler Fest 2018 / Prelude 4
Example: p(4) = 5: 4, 3 + 1, 2 + 2, 2 + 1 + 1, 1 + 1 + 1 + 1.
NOTE. (p(n))n≥0 is not holonomic.
Proof.
∞∑n=0
p(n)qn =∞∏j=1
1
1− qj=
1
(q; q)∞
= (1 + q1 + q1+1 + q1+1+1 + . . . )
× (1 + q2 + q2+2 + q2+2+2 + . . . )
× (1 + q3 + q3+3 + q3+3+3 + . . . )
× etc.
= · · ·+ q1+1+1+2+2+3+··· + · · ·
Holonomic functions have only finitely many singularities. �
![Page 6: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/6.jpg)
Krattenthaler Fest 2018 / Prelude 4
Example: p(4) = 5: 4, 3 + 1, 2 + 2, 2 + 1 + 1, 1 + 1 + 1 + 1.
NOTE. (p(n))n≥0 is not holonomic.
Proof.
∞∑n=0
p(n)qn =
∞∏j=1
1
1− qj=
1
(q; q)∞
= (1 + q1 + q1+1 + q1+1+1 + . . . )
× (1 + q2 + q2+2 + q2+2+2 + . . . )
× (1 + q3 + q3+3 + q3+3+3 + . . . )
× etc.
= · · ·+ q1+1+1+2+2+3+··· + · · ·
Holonomic functions have only finitely many singularities. �
![Page 7: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/7.jpg)
Krattenthaler Fest 2018 / Prelude 5
Back to the p(n) table: ANY PATTERN?1 1 2 3 57 11 15 22 3042 56 77 101 135176 231 297 385 490627 792 1002 1255 15751958 2436 3010 3718 45655604 6842 8349 10143 1231014883 17977 21637 26015 3118537338 44583 53174 63261 7517589134 105558 124754 147273 173525204226 239943 281589 329931 386155451276 526823 614154 715220 831820966467 1121505 1300156 1505499 17416302012558 2323520 2679689 3087735 35543454087968 4697205 5392783 6185689 70895008118264 9289091 10619863 12132164 13848650
![Page 8: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/8.jpg)
Krattenthaler Fest 2018 / Prelude 6
![Page 9: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/9.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 7
Ramanujan’s Congruences
![Page 10: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/10.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 8
Ramanujan’s Congruences
p(5n+ 4) ≡ 0 (mod 5),
p(7n+ 5) ≡ 0 (mod 7),
p(11n+ 6) ≡ 0 (mod 11)
![Page 11: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/11.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 9
Ramanujan’s congruences modulo prime powers
p(5n+ 4) ≡ 0 (mod 5),
p(52n+ 24) ≡ 0 (mod 52),
p(53n+ 99) ≡ 0 (mod 53),
etc.
![Page 12: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/12.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 10
Ramanujan’s congruences modulo prime powers
p(7n+ 5) ≡ 0 (mod 7),
p(72n+ 47) ≡ 0 (mod 72),
p(73n+ 243) ≡ 0 (mod 72),
etc.
NOTE. Correction for ` = 7: Chowla (1934) using a table ofGupta:
p(243) = 23 · 72 · 97 · 5783 · 609289:
![Page 13: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/13.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 10
Ramanujan’s congruences modulo prime powers
p(7n+ 5) ≡ 0 (mod 7),
p(72n+ 47) ≡ 0 (mod 72),
p(73n+ 243) ≡ 0 (mod 72),
etc.
NOTE. Correction for ` = 7: Chowla (1934) using a table ofGupta:
p(243) = 23 · 72 · 97 · 5783 · 609289:
![Page 14: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/14.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 11
p(11n+ 6) ≡ 0 (mod 11),
p(112n+ 116) ≡ 0 (mod 112),
p(113n+ 721) ≡ 0 (mod 113),
etc.
![Page 15: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/15.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 12
Ramanujan’s Congruences (modified conjecture 1919)
For ` ∈ {5, 7, 11} and α ∈ {1, 2, 3, . . . }:
p(`αn+ µα,`) ≡
{0 (mod `α), ` = 5, 11,
0 (mod 7dα+12e), ` = 7,
with µα,` ∈ {0, . . . , `α − 1} such that
24µα,` ≡ 1 (mod `α).
![Page 16: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/16.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 13
A Bit of History
Watson’s proof (1938) for ` = 5 and ` = 7 (modified version)
NOTE 1. Later simplified by Atkin, Knopp, and Andrews.
NOTE 1. For ` = 5 “a more classically oriented proof” (BB) byHirschhorn and Hunt [1981].
NOTE 2. For ` = 7 “a proof in the same vein” (BB) by Garvan[1984].
I Regarding ` = 11 Watson states: “Da die Untersuchung derAussage uber 11α recht langweilig ist, verschiebe ich denBeweis dieses Falles auf eine spatere Abhandlung”.
![Page 17: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/17.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 13
A Bit of History
Watson’s proof (1938) for ` = 5 and ` = 7 (modified version)
NOTE 1. Later simplified by Atkin, Knopp, and Andrews.
NOTE 1. For ` = 5 “a more classically oriented proof” (BB) byHirschhorn and Hunt [1981].
NOTE 2. For ` = 7 “a proof in the same vein” (BB) by Garvan[1984].
I Regarding ` = 11 Watson states: “Da die Untersuchung derAussage uber 11α recht langweilig ist, verschiebe ich denBeweis dieses Falles auf eine spatere Abhandlung”.
![Page 18: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/18.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 13
A Bit of History
Watson’s proof (1938) for ` = 5 and ` = 7 (modified version)
NOTE 1. Later simplified by Atkin, Knopp, and Andrews.
NOTE 1. For ` = 5 “a more classically oriented proof” (BB) byHirschhorn and Hunt [1981].
NOTE 2. For ` = 7 “a proof in the same vein” (BB) by Garvan[1984].
I Regarding ` = 11 Watson states: “Da die Untersuchung derAussage uber 11α recht langweilig ist, verschiebe ich denBeweis dieses Falles auf eine spatere Abhandlung”.
![Page 19: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/19.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 13
A Bit of History
Watson’s proof (1938) for ` = 5 and ` = 7 (modified version)
NOTE 1. Later simplified by Atkin, Knopp, and Andrews.
NOTE 1. For ` = 5 “a more classically oriented proof” (BB) byHirschhorn and Hunt [1981].
NOTE 2. For ` = 7 “a proof in the same vein” (BB) by Garvan[1984].
I Regarding ` = 11 Watson states: “Da die Untersuchung derAussage uber 11α recht langweilig ist, verschiebe ich denBeweis dieses Falles auf eine spatere Abhandlung”.
![Page 20: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/20.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 14
Atkin’s proof (1967) for ` = 11
I His paper follows Lehner’s proof for 113 [1950]; it uses anapproach significantly different from Watson’s. The methodlinks many pieces together and is rather technical.
I Atkin ends with the comment: “We may observe finally that,in comparison with ` = 5 and ` = 7, this proof is indeed“langweilig” [i.e., “boring”] as Watson suggested.”
Proof by P. and Radu for ` = 5, 7, 11:
I One common framework – motivated by algorithmics.
I The case ` = 11 is interesting!
P. and S. Radu: A unified algorithmic framework for Ramanujan’scongruences modulo powers of 5, 7, and 11; preprint, 2018
![Page 21: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/21.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 14
Atkin’s proof (1967) for ` = 11
I His paper follows Lehner’s proof for 113 [1950]; it uses anapproach significantly different from Watson’s. The methodlinks many pieces together and is rather technical.
I Atkin ends with the comment: “We may observe finally that,in comparison with ` = 5 and ` = 7, this proof is indeed“langweilig” [i.e., “boring”] as Watson suggested.”
Proof by P. and Radu for ` = 5, 7, 11:
I One common framework – motivated by algorithmics.
I The case ` = 11 is interesting!
P. and S. Radu: A unified algorithmic framework for Ramanujan’scongruences modulo powers of 5, 7, and 11; preprint, 2018
![Page 22: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/22.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 14
Atkin’s proof (1967) for ` = 11
I His paper follows Lehner’s proof for 113 [1950]; it uses anapproach significantly different from Watson’s. The methodlinks many pieces together and is rather technical.
I Atkin ends with the comment: “We may observe finally that,in comparison with ` = 5 and ` = 7, this proof is indeed“langweilig” [i.e., “boring”] as Watson suggested.”
Proof by P. and Radu for ` = 5, 7, 11:
I One common framework – motivated by algorithmics.
I The case ` = 11 is interesting!
P. and S. Radu: A unified algorithmic framework for Ramanujan’scongruences modulo powers of 5, 7, and 11; preprint, 2018
![Page 23: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/23.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 14
Atkin’s proof (1967) for ` = 11
I His paper follows Lehner’s proof for 113 [1950]; it uses anapproach significantly different from Watson’s. The methodlinks many pieces together and is rather technical.
I Atkin ends with the comment: “We may observe finally that,in comparison with ` = 5 and ` = 7, this proof is indeed“langweilig” [i.e., “boring”] as Watson suggested.”
Proof by P. and Radu for ` = 5, 7, 11:
I One common framework – motivated by algorithmics.
I The case ` = 11 is interesting!
P. and S. Radu: A unified algorithmic framework for Ramanujan’scongruences modulo powers of 5, 7, and 11; preprint, 2018
![Page 24: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/24.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 14
Atkin’s proof (1967) for ` = 11
I His paper follows Lehner’s proof for 113 [1950]; it uses anapproach significantly different from Watson’s. The methodlinks many pieces together and is rather technical.
I Atkin ends with the comment: “We may observe finally that,in comparison with ` = 5 and ` = 7, this proof is indeed“langweilig” [i.e., “boring”] as Watson suggested.”
Proof by P. and Radu for ` = 5, 7, 11:
I One common framework – motivated by algorithmics.
I The case ` = 11 is interesting!
P. and S. Radu: A unified algorithmic framework for Ramanujan’scongruences modulo powers of 5, 7, and 11; preprint, 2018
![Page 25: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/25.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Congruences 14
Atkin’s proof (1967) for ` = 11
I His paper follows Lehner’s proof for 113 [1950]; it uses anapproach significantly different from Watson’s. The methodlinks many pieces together and is rather technical.
I Atkin ends with the comment: “We may observe finally that,in comparison with ` = 5 and ` = 7, this proof is indeed“langweilig” [i.e., “boring”] as Watson suggested.”
Proof by P. and Radu for ` = 5, 7, 11:
I One common framework – motivated by algorithmics.
I The case ` = 11 is interesting!
P. and S. Radu: A unified algorithmic framework for Ramanujan’scongruences modulo powers of 5, 7, and 11; preprint, 2018
![Page 26: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/26.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Most Beautiful Formula 15
Ramanujan’s Most Beautiful Formula
![Page 27: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/27.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Most Beautiful Formula 16
PROOF (mod 5 congruence).
∞∑n=0
p(5n+ 4)qn = 5
∞∏j=1
(1− q5j)5
(1− qj)6
“It would be difficult to find more beautiful formulaethan the ‘Rogers-Ramanujan’ identities . . . ; but hereRamanujan must take second place to Prof. Rogers;and, if I had to select one formula from allRamanujan’s work, I would agree with MajorMacMahon in selecting . . . ” [G.H. Hardy]
http://www-history.mcs.st-andrews.ac.uk/BigPictures/Hardy_5.jpeg
![Page 28: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/28.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Most Beautiful Formula 16
PROOF (mod 5 congruence).
∞∑n=0
p(5n+ 4)qn = 5
∞∏j=1
(1− q5j)5
(1− qj)6
“It would be difficult to find more beautiful formulaethan the ‘Rogers-Ramanujan’ identities . . . ; but hereRamanujan must take second place to Prof. Rogers;and, if I had to select one formula from allRamanujan’s work, I would agree with MajorMacMahon in selecting . . . ” [G.H. Hardy]
http://www-history.mcs.st-andrews.ac.uk/BigPictures/Hardy_5.jpeg
![Page 29: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/29.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Most Beautiful Formula 17
PROOF (mod 7 congruence).∞∑n=0
p(7n+ 5)qn
= 7
∞∏j=1
(1− q7j)3
(1− qj)4+ 49q
∞∏j=1
(1− q7j)7
(1− qj)8.
NOTE. Given the left sides, Radu’s Ramanujan-Kolberg algorithmcomputes both of Ramanujan’s [1919] witness identities.
What about the 11 congruence?
![Page 30: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/30.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Most Beautiful Formula 17
PROOF (mod 7 congruence).∞∑n=0
p(7n+ 5)qn
= 7
∞∏j=1
(1− q7j)3
(1− qj)4+ 49q
∞∏j=1
(1− q7j)7
(1− qj)8.
NOTE. Given the left sides, Radu’s Ramanujan-Kolberg algorithmcomputes both of Ramanujan’s [1919] witness identities.
What about the 11 congruence?
![Page 31: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/31.jpg)
Krattenthaler Fest 2018 / Ramanujan’s Most Beautiful Formula 17
PROOF (mod 7 congruence).∞∑n=0
p(7n+ 5)qn
= 7
∞∏j=1
(1− q7j)3
(1− qj)4+ 49q
∞∏j=1
(1− q7j)7
(1− qj)8.
NOTE. Given the left sides, Radu’s Ramanujan-Kolberg algorithmcomputes both of Ramanujan’s [1919] witness identities.
What about the 11 congruence?
![Page 32: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/32.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 18
Witness identities for 11 | p(11n + 6)
![Page 33: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/33.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 19
PROOF (mod 11). Joseph Lehner [1943] found that
q
∞∑n=0
p(11n+ 6)qn = 1111AC2 − 112C + 2AC − 32C − 2∏∞
k=1(1− q11k)
where
A =
(∑∞m,n=−∞ q
m2+mn+3n2)2
q(q; q)2∞(q11; q11)2
∞, C =
A2 − 10A−B − 22
2 · 112,
and
B =112E4(11τ)− E4(τ),
q2(q11; q11)4∞(q; q11)4
∞with
120E4(τ) = 1 + 240∞∑n=1
( ∑1≤d|n
d3)qn.
How to see that C has INTEGER coeffs.?
Lehner used modular function machinery.
![Page 34: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/34.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 19
PROOF (mod 11). Joseph Lehner [1943] found that
q
∞∑n=0
p(11n+ 6)qn = 1111AC2 − 112C + 2AC − 32C − 2∏∞
k=1(1− q11k)
where
A =
(∑∞m,n=−∞ q
m2+mn+3n2)2
q(q; q)2∞(q11; q11)2
∞, C =
A2 − 10A−B − 22
2 · 112,
and
B =112E4(11τ)− E4(τ),
q2(q11; q11)4∞(q; q11)4
∞with
120E4(τ) = 1 + 240∞∑n=1
( ∑1≤d|n
d3)qn.
How to see that C has INTEGER coeffs.?
Lehner used modular function machinery.
![Page 35: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/35.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 19
PROOF (mod 11). Joseph Lehner [1943] found that
q
∞∑n=0
p(11n+ 6)qn = 1111AC2 − 112C + 2AC − 32C − 2∏∞
k=1(1− q11k)
where
A =
(∑∞m,n=−∞ q
m2+mn+3n2)2
q(q; q)2∞(q11; q11)2
∞, C =
A2 − 10A−B − 22
2 · 112,
and
B =112E4(11τ)− E4(τ),
q2(q11; q11)4∞(q; q11)4
∞with
120E4(τ) = 1 + 240
∞∑n=1
( ∑1≤d|n
d3)qn.
How to see that C has INTEGER coeffs.?
Lehner used modular function machinery.
![Page 36: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/36.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 19
PROOF (mod 11). Joseph Lehner [1943] found that
q
∞∑n=0
p(11n+ 6)qn = 1111AC2 − 112C + 2AC − 32C − 2∏∞
k=1(1− q11k)
where
A =
(∑∞m,n=−∞ q
m2+mn+3n2)2
q(q; q)2∞(q11; q11)2
∞, C =
A2 − 10A−B − 22
2 · 112,
and
B =112E4(11τ)− E4(τ),
q2(q11; q11)4∞(q; q11)4
∞with
120E4(τ) = 1 + 240
∞∑n=1
( ∑1≤d|n
d3)qn.
How to see that C has INTEGER coeffs.?
Lehner used modular function machinery.
![Page 37: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/37.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 19
PROOF (mod 11). Joseph Lehner [1943] found that
q
∞∑n=0
p(11n+ 6)qn = 1111AC2 − 112C + 2AC − 32C − 2∏∞
k=1(1− q11k)
where
A =
(∑∞m,n=−∞ q
m2+mn+3n2)2
q(q; q)2∞(q11; q11)2
∞, C =
A2 − 10A−B − 22
2 · 112,
and
B =112E4(11τ)− E4(τ),
q2(q11; q11)4∞(q; q11)4
∞with
120E4(τ) = 1 + 240
∞∑n=1
( ∑1≤d|n
d3)qn.
How to see that C has INTEGER coeffs.?
Lehner used modular function machinery.
![Page 38: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/38.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 20
PROOF (mod 11). Atkin [1967] found that
q
∞∏k=1
(1− q11k)
∞∑n=0
p(11n+ 6)qn
= 114z11 + 11g2 + 2 · 112g3 + 113g4,
where
z11 := q5 (q11; q11)12∞
(q; q)12∞
∈M0Z(11), g4 := g2
2 − g3,
10 g2 := 112u511 −
∑∞n=0
(1 +
(n−311
))p5(n)qn
(q; q)5∞
with
u11 := q5 (q121; q121)∞(q; q)∞
and (q; q)r∞ =:
∞∑n=0
pr(n)qn,
14 g3 := −14g2 + 113u711 −
∑∞n=0
(1 +
(2−n11
))p7(n)qn
(q; q)7∞
.
How to see that the coefficients of g2 and g3 are INTEGERS?
![Page 39: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/39.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 20
PROOF (mod 11). Atkin [1967] found that
q
∞∏k=1
(1− q11k)
∞∑n=0
p(11n+ 6)qn
= 114z11 + 11g2 + 2 · 112g3 + 113g4,
where
z11 := q5 (q11; q11)12∞
(q; q)12∞
∈M0Z(11), g4 := g2
2 − g3,
10 g2 := 112u511 −
∑∞n=0
(1 +
(n−311
))p5(n)qn
(q; q)5∞
with
u11 := q5 (q121; q121)∞(q; q)∞
and (q; q)r∞ =:
∞∑n=0
pr(n)qn,
14 g3 := −14g2 + 113u711 −
∑∞n=0
(1 +
(2−n11
))p7(n)qn
(q; q)7∞
.
How to see that the coefficients of g2 and g3 are INTEGERS?
![Page 40: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/40.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 20
PROOF (mod 11). Atkin [1967] found that
q
∞∏k=1
(1− q11k)
∞∑n=0
p(11n+ 6)qn
= 114z11 + 11g2 + 2 · 112g3 + 113g4,
where
z11 := q5 (q11; q11)12∞
(q; q)12∞
∈M0Z(11), g4 := g2
2 − g3,
10 g2 := 112u511 −
∑∞n=0
(1 +
(n−311
))p5(n)qn
(q; q)5∞
with
u11 := q5 (q121; q121)∞(q; q)∞
and (q; q)r∞ =:
∞∑n=0
pr(n)qn,
14 g3 := −14g2 + 113u711 −
∑∞n=0
(1 +
(2−n11
))p7(n)qn
(q; q)7∞
.
How to see that the coefficients of g2 and g3 are INTEGERS?
![Page 41: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/41.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 21
PROOF (mod 11). Radu’s Ramanujan-Kolberg package computes∞∑n=0
p(11n+ 6)qn = q14∞∏j=1
(1− q22j)22
(1− qj)10(1− q2j)2(1− q11j)11
×(1078t4 + 13893t3 + 31647t2 + 11209t− 21967
+s1(187t3 + 5390t2 + 594t− 9581)
+s2(11t3 + 2761t2 + 5368t− 6754) with
t:=3
88w1 +
1
11w2 −
1
8w3, s1:=− 5
88w1 +
2
11w2 −
1
8w3 − 3,
s2:=1
44w1 −
3
11w2 +
5
4w3, where
w1:=[−3, 3,−7], w2:=[8, 4,−8], w3:=[1, 11,−11] ∈ E∞(22)
and
[r2, r11, r22]:=∏δ|22
(η(δτ
η(τ)
)rδ∈ E∞(22).
![Page 42: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/42.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 21
PROOF (mod 11). Radu’s Ramanujan-Kolberg package computes∞∑n=0
p(11n+ 6)qn = q14∞∏j=1
(1− q22j)22
(1− qj)10(1− q2j)2(1− q11j)11
×(1078t4 + 13893t3 + 31647t2 + 11209t− 21967
+s1(187t3 + 5390t2 + 594t− 9581)
+s2(11t3 + 2761t2 + 5368t− 6754) with
t:=3
88w1 +
1
11w2 −
1
8w3, s1:=− 5
88w1 +
2
11w2 −
1
8w3 − 3,
s2:=1
44w1 −
3
11w2 +
5
4w3, where
w1:=[−3, 3,−7], w2:=[8, 4,−8], w3:=[1, 11,−11] ∈ E∞(22)
and
[r2, r11, r22]:=∏δ|22
(η(δτ
η(τ)
)rδ∈ E∞(22).
![Page 43: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/43.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 21
PROOF (mod 11). Radu’s Ramanujan-Kolberg package computes∞∑n=0
p(11n+ 6)qn = q14∞∏j=1
(1− q22j)22
(1− qj)10(1− q2j)2(1− q11j)11
×(1078t4 + 13893t3 + 31647t2 + 11209t− 21967
+s1(187t3 + 5390t2 + 594t− 9581)
+s2(11t3 + 2761t2 + 5368t− 6754) with
t:=3
88w1 +
1
11w2 −
1
8w3, s1:=− 5
88w1 +
2
11w2 −
1
8w3 − 3,
s2:=1
44w1 −
3
11w2 +
5
4w3, where
w1:=[−3, 3,−7], w2:=[8, 4,−8], w3:=[1, 11,−11] ∈ E∞(22)
and
[r2, r11, r22]:=∏δ|22
(η(δτ
η(τ)
)rδ∈ E∞(22).
![Page 44: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/44.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 21
PROOF (mod 11). Radu’s Ramanujan-Kolberg package computes∞∑n=0
p(11n+ 6)qn = q14∞∏j=1
(1− q22j)22
(1− qj)10(1− q2j)2(1− q11j)11
×(1078t4 + 13893t3 + 31647t2 + 11209t− 21967
+s1(187t3 + 5390t2 + 594t− 9581)
+s2(11t3 + 2761t2 + 5368t− 6754) with
t:=3
88w1 +
1
11w2 −
1
8w3, s1:=− 5
88w1 +
2
11w2 −
1
8w3 − 3,
s2:=1
44w1 −
3
11w2 +
5
4w3, where
w1:=[−3, 3,−7], w2:=[8, 4,−8], w3:=[1, 11,−11] ∈ E∞(22)
and
[r2, r11, r22]:=∏δ|22
(η(δτ
η(τ)
)rδ∈ E∞(22).
![Page 45: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/45.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 22
Recall
t:=3
88w1 +
1
11w2 −
1
8w3, s1:=− 5
88w1 +
2
11w2 −
1
8w3 − 3,
s2:=1
44w1 −
3
11w2 +
5
4w3,
where
w1:=[−3, 3,−7], w2:=[8, 4,−8], w3:=[1, 11,−11] ∈ E∞(22)
and
[r2, r11, r22]:=∏δ|22
(η(δτ
η(τ)
)rδ∈ E∞(22).
How to see that the coefficients of s1, s2 and t are INTEGERS?
Use freshman’s dream: (1− x)n ≡ 1− xn. But one can do better!
![Page 46: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/46.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 22
Recall
t:=3
88w1 +
1
11w2 −
1
8w3, s1:=− 5
88w1 +
2
11w2 −
1
8w3 − 3,
s2:=1
44w1 −
3
11w2 +
5
4w3,
where
w1:=[−3, 3,−7], w2:=[8, 4,−8], w3:=[1, 11,−11] ∈ E∞(22)
and
[r2, r11, r22]:=∏δ|22
(η(δτ
η(τ)
)rδ∈ E∞(22).
How to see that the coefficients of s1, s2 and t are INTEGERS?
Use freshman’s dream: (1− x)n ≡ 1− xn. But one can do better!
![Page 47: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/47.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 23
PROOF (mod 11). Ralf Hemmecke, using his SAMBA algorithm,computed∞∑n=0
p(11n+ 6)qn = q14∞∏j=1
(1− q22j)22
(1− qj)10(1− q2j)2(1− q11j)11
×(112 · 3068w7 + 112(3w1 + 4236)w6 + 11(285w1 + 11 · 5972)w5
+11
8(w2
1 + 11 · 4497w1 + 112 · 3156)w3
+ 11(1867w1 + 11 · 2476)w4
− 11
8(w3
1 + 1011w21 + 11 · 6588w1 + 112 · 10880)
)with
w1 = [−3, 3,−7], w2 = [8, 4,−8], w3 = [1, 11,−11], w4 = [1, 11,−11]
w5 = [4, 8,−12], w6 = [2, 10,−14], w7 = [0, 12,−16] where
[a1, a2, a3] := q�∞∏k=1
(1− q2k)a1(1− q11k)a2(1− q22k)a3
(1− qk)a1+a2+a3∈M∞Z (22).
![Page 48: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/48.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 23
PROOF (mod 11). Ralf Hemmecke, using his SAMBA algorithm,computed∞∑n=0
p(11n+ 6)qn = q14∞∏j=1
(1− q22j)22
(1− qj)10(1− q2j)2(1− q11j)11
×(112 · 3068w7 + 112(3w1 + 4236)w6 + 11(285w1 + 11 · 5972)w5
+11
8(w2
1 + 11 · 4497w1 + 112 · 3156)w3
+ 11(1867w1 + 11 · 2476)w4
− 11
8(w3
1 + 1011w21 + 11 · 6588w1 + 112 · 10880)
)with
w1 = [−3, 3,−7], w2 = [8, 4,−8], w3 = [1, 11,−11], w4 = [1, 11,−11]
w5 = [4, 8,−12], w6 = [2, 10,−14], w7 = [0, 12,−16] where
[a1, a2, a3] := q�∞∏k=1
(1− q2k)a1(1− q11k)a2(1− q22k)a3
(1− qk)a1+a2+a3∈M∞Z (22).
![Page 49: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/49.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 24
PROOF (mod 11). P. & Radu, using the “NUGGETS algorithm”,found
f5 = 5 · 114f4 + 114(−2 · 5 · 114 + 251 z11)f3
+ 113(2 · 5 · 119 + 2 · 3 · 5 · 115 · 31 z11 + 4093 z211)f2
+ 114(−5 · 1112 + 2 · 5 · 118 · 17 z11 − 22 · 3 · 113 · 1289 z211
+ 3 · 41 z311)f
+ 115(114 + z11)(1111 − 3 · 7 · 117 z11 + 112 · 1321 z211 + z3
11)
f := q z11
∞∏k=1
(1− q11k)
∞∑n=0
p(11n+ 6)qn,
where
z11 :=1
z11= q−5
∞∏k=1
(1− qk
1− q11k
)12
.
![Page 50: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/50.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 25
“NUGGETS algorithm”: Take
t := q−5∞∏k=1
(1− qk
1− q11k
)12
∈M∞(11)
and
f := q t
∞∏k=1
(1− q11k)
∞∑n=0
p(11n+ 6)qn ∈M∞(11).
Determine polynomials pj such that
f5 = p0(t) + p1(t)f + p2(t)f2 + p3(t)f3 + p4(t)f4.
NOTE. For the pole orders of f, f2, f3, f4 with respect to q:
{4, 8, 12, 16} ≡ {4, 3, 2, 1} (mod 5).
The pole order of t is 5.
![Page 51: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/51.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 25
“NUGGETS algorithm”: Take
t := q−5∞∏k=1
(1− qk
1− q11k
)12
∈M∞(11)
and
f := q t
∞∏k=1
(1− q11k)
∞∑n=0
p(11n+ 6)qn ∈M∞(11).
Determine polynomials pj such that
f5 = p0(t) + p1(t)f + p2(t)f2 + p3(t)f3 + p4(t)f4.
NOTE. For the pole orders of f, f2, f3, f4 with respect to q:
{4, 8, 12, 16} ≡ {4, 3, 2, 1} (mod 5).
The pole order of t is 5.
![Page 52: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/52.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 26
“NUGGETS algorithm” (cont’d): Recall
t := q−5∞∏k=1
(1− qk
1− q11k
)12
∈M∞(11),
f := q t
∞∏k=1
(1− q11k)
∞∑n=0
p(11n+ 6)qn ∈M∞(11).
TASK: Determine polynomials pj such that
f5 = p0(t) + p1(t)f + p2(t)f2 + p3(t)f3 + p4(t)f4.
![Page 53: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/53.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 26
“NUGGETS algorithm” (cont’d): Recall
t := q−5∞∏k=1
(1− qk
1− q11k
)12
∈M∞(11),
f := q t
∞∏k=1
(1− q11k)
∞∑n=0
p(11n+ 6)qn ∈M∞(11).
TASK: Determine polynomials pj such that
f5 = p0(t) + p1(t)f + p2(t)f2 + p3(t)f3 + p4(t)f4.
In[1]:= Tquot[k ] :=1 − qk
1 − q11k;
In[2]:= t =1
q5Product[Series[Tquot[k]12,q, 0, 26],k, 1, 26]
Out[2]=
1
q5−12
q4+54
q3−88
q2−99
q+540−418q−648q2+· · ·−22176q20+61656q21+O[q]22
![Page 54: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/54.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 26
“NUGGETS algorithm” (cont’d): Recall
t := q−5∞∏k=1
(1− qk
1− q11k
)12
∈M∞(11),
f := q t
∞∏k=1
(1− q11k)
∞∑n=0
p(11n+ 6)qn ∈M∞(11).
TASK: Determine polynomials pj such that
f5 = p0(t) + p1(t)f + p2(t)f2 + p3(t)f3 + p4(t)f4.
In[3]:= f = qtSeries[(1 − q11)(1 − q22),q, 0, 21] ∗Sum[PartitionsP[11n + 6]qn,n, 0, 21]
Out[3]=11
q4+
165
q3+
748
q2+
1639
q+ 3553 + 4136q + 6347q2 + · · ·+ 12738q16 −
51216q17 + O[q]18
![Page 55: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/55.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 27
“NUGGETS algorithm” (cont’d): Recall
In[4]:= t
Out[4]=
1
q5−12
q4+54
q3−88
q2−99
q+540−418q−648q2+· · ·−22176q20+61656q21+O[q]22
In[5]:= f
Out[5]=11
q4+
165
q3+
748
q2+
1639
q+ 3553 + 4136q + 6347q2 + · · ·+ 12738q16 −
51216q17 + O[q]18
In[6]:= F =f
11; F5
Out[6]=1
q20+
75
q19+
2590
q18+ · · ·+
298958660282220
q+ 530018316923711 +
877706745683995q + O[q]2
In[7]:= F5 − t4
Out[7]=123
q19+
1510
q18+
69935
q17+ · · ·+ 530018316923711 + 877706745683995q + O[q]2
![Page 56: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/56.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 28
“NUGGETS algorithm” (cont’d): Recall
In[8]:= F5 − t4
Out[8]=123
q19+
1510
q18+
69935
q17+ · · ·+ 530018316923711 + 877706745683995q + O[q]2
In[9]:= F5 − t4 − 3 ∗ 41 ∗ t3F
Out[9]=
4093
q18+
54929
q17+
570947
q16+ · · ·+530565611750339+877363195058527q+O[q]2
In[10]:= F5 − t4 − 3 ∗ 41t3F − 4093t2F2
Out[10]=30371
q17+
1008898
q16+
12509585
q15+ · · ·+ 536556550241327 +
873666097417069q + O[q]2
a.s.o. until F5 is reduced to O[q]2.
What is the “nuggets algorithm”?
![Page 57: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/57.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 28
“NUGGETS algorithm” (cont’d): Recall
In[11]:= F5 − t4
Out[11]=123
q19+
1510
q18+
69935
q17+ · · ·+ 530018316923711 + 877706745683995q + O[q]2
In[12]:= F5 − t4 − 3 ∗ 41 ∗ t3F
Out[12]=
4093
q18+
54929
q17+
570947
q16+ · · ·+530565611750339+877363195058527q+O[q]2
In[13]:= F5 − t4 − 3 ∗ 41t3F − 4093t2F2
Out[13]=30371
q17+
1008898
q16+
12509585
q15+ · · ·+ 536556550241327 +
873666097417069q + O[q]2
a.s.o. until F5 is reduced to O[q]2.
What is the “nuggets algorithm”?
![Page 58: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/58.jpg)
Krattenthaler Fest 2018 / Witness identities for 11 | p(11n+ 6) 28
“NUGGETS algorithm” (cont’d): Recall
In[14]:= F5 − t4
Out[14]=123
q19+
1510
q18+
69935
q17+ · · ·+ 530018316923711 + 877706745683995q + O[q]2
In[15]:= F5 − t4 − 3 ∗ 41 ∗ t3F
Out[15]=
4093
q18+
54929
q17+
570947
q16+ · · ·+530565611750339+877363195058527q+O[q]2
In[16]:= F5 − t4 − 3 ∗ 41t3F − 4093t2F2
Out[16]=30371
q17+
1008898
q16+
12509585
q15+ · · ·+ 536556550241327 +
873666097417069q + O[q]2
a.s.o. until F5 is reduced to O[q]2.
What is the “nuggets algorithm”?
![Page 59: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/59.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 29
Nuggets Monoids
![Page 60: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/60.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 30
Nuggets Partitions
GIVEN
TASK: buy exactly 43 nuggets.
IMPOSSIBLE!
See: “How to order 43 Chicken McNuggets - Numberphile”www.youtube.com/watch?v=vNTSugyS038
![Page 61: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/61.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 30
Nuggets Partitions
GIVEN
TASK: buy exactly 43 nuggets.
IMPOSSIBLE!
See: “How to order 43 Chicken McNuggets - Numberphile”www.youtube.com/watch?v=vNTSugyS038
![Page 62: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/62.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 30
Nuggets Partitions
GIVEN
TASK: buy exactly 43 nuggets.
IMPOSSIBLE!
See: “How to order 43 Chicken McNuggets - Numberphile”www.youtube.com/watch?v=vNTSugyS038
![Page 63: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/63.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 31
The (additive) nuggets monoid
43?∈M := 〈6, 9, 20〉 := {6a+ 9b+ 20c : a, b, c ∈ Z≥0}
Many solution strategies, for example,
43 = 6 · 7 + 1
= 6 · 6 + 7
= 6 · 5 + 13
= 6 · 4 + 19
= . . .
E.g., 19 = 9 · b+ 20 · c: no solution
![Page 64: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/64.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 31
The (additive) nuggets monoid
43?∈M := 〈6, 9, 20〉 := {6a+ 9b+ 20c : a, b, c ∈ Z≥0}
Many solution strategies, for example,
43 = 6 · 7 + 1
= 6 · 6 + 7
= 6 · 5 + 13
= 6 · 4 + 19
= . . .
E.g., 19 = 9 · b+ 20 · c: no solution
![Page 65: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/65.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 31
The (additive) nuggets monoid
43?∈M := 〈6, 9, 20〉 := {6a+ 9b+ 20c : a, b, c ∈ Z≥0}
Many solution strategies, for example,
43 = 6 · 7 + 1
= 6 · 6 + 7
= 6 · 5 + 13
= 6 · 4 + 19
= . . .
E.g., 19 = 9 · b+ 20 · c: no solution
![Page 66: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/66.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 32
Decomposition into residue classes
M := 〈6, 9, 20〉 := {6a+ 9b+ 20c : a, b, c ∈ Z≥0}= [M ]0 ∪ [M ]1 ∪ · · · ∪ [M ]5
where[M ]i := {x ∈M : x ≡ i (mod 6)}
[M ]0 = {0, 6, 12, . . . },[M ]1 = {�1, �7,��13,��19,��25,��31,��37,��43, 49, 54, . . . },[M ]2 = {�2, �8,��14, 20, 26, . . . },[M ]3 = {�3, 9, 15, . . . },[M ]4 = {�4,��10,��16,��22,��28,��34, 40, 46, . . . },[M ]5 = {�5,��11,��17,��23, 29, 35, . . . }.
M = 〈6, 9, 20〉 = 〈6, 49, 20, 9, 40, 29〉
![Page 67: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/67.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 32
Decomposition into residue classes
M := 〈6, 9, 20〉 := {6a+ 9b+ 20c : a, b, c ∈ Z≥0}= [M ]0 ∪ [M ]1 ∪ · · · ∪ [M ]5
where[M ]i := {x ∈M : x ≡ i (mod 6)}
[M ]0 = {0, 6, 12, . . . },[M ]1 = {�1, �7,��13,��19,��25,��31,��37,��43, 49, 54, . . . },[M ]2 = {�2, �8,��14, 20, 26, . . . },[M ]3 = {�3, 9, 15, . . . },[M ]4 = {�4,��10,��16,��22,��28,��34, 40, 46, . . . },[M ]5 = {�5,��11,��17,��23, 29, 35, . . . }.
M = 〈6, 9, 20〉 = 〈6, 49, 20, 9, 40, 29〉
![Page 68: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/68.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 32
Decomposition into residue classes
M := 〈6, 9, 20〉 := {6a+ 9b+ 20c : a, b, c ∈ Z≥0}= [M ]0 ∪ [M ]1 ∪ · · · ∪ [M ]5
where[M ]i := {x ∈M : x ≡ i (mod 6)}
[M ]0 = {0, 6, 12, . . . },[M ]1 = {�1, �7,��13,��19,��25,��31,��37,��43, 49, 54, . . . },[M ]2 = {�2, �8,��14, 20, 26, . . . },[M ]3 = {�3, 9, 15, . . . },[M ]4 = {�4,��10,��16,��22,��28,��34, 40, 46, . . . },[M ]5 = {�5,��11,��17,��23, 29, 35, . . . }.
M = 〈6, 9, 20〉 = 〈6, 49, 20, 9, 40, 29〉
![Page 69: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/69.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 33
QUESTION. What happens if we add more generators?
M+ := 〈4, 6, 9, 20〉
[M+]i := {x ∈M : x ≡ i (mod 6)}
[M+]0 = {0, 6, 12, . . . },[M+]1 = {�1, �7, 13, 19, . . . },[M+]2 = {�2, 8, 14, . . . },[M+]3 = {�3, 9, 15, . . . },[M+]4 = {4, 10, 16, . . . },[M+]5 = {�5,��11, 17, 23, . . . }.
NOW 43 = 2 4 + 6 + 9 + 1 20
= 4 + 2 6 + 3 9 = [four more].
Back to our original TASK:Given a number x, present it in terms of
the generators 6 , 9 , and 20 .
![Page 70: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/70.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 33
QUESTION. What happens if we add more generators?
M+ := 〈4, 6, 9, 20〉
[M+]i := {x ∈M : x ≡ i (mod 6)}
[M+]0 = {0, 6, 12, . . . },[M+]1 = {�1, �7, 13, 19, . . . },[M+]2 = {�2, 8, 14, . . . },[M+]3 = {�3, 9, 15, . . . },[M+]4 = {4, 10, 16, . . . },[M+]5 = {�5,��11, 17, 23, . . . }.
NOW 43 = 2 4 + 6 + 9 + 1 20
= 4 + 2 6 + 3 9 = [four more].
Back to our original TASK:Given a number x, present it in terms of
the generators 6 , 9 , and 20 .
![Page 71: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/71.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 33
QUESTION. What happens if we add more generators?
M+ := 〈4, 6, 9, 20〉
[M+]i := {x ∈M : x ≡ i (mod 6)}
[M+]0 = {0, 6, 12, . . . },[M+]1 = {�1, �7, 13, 19, . . . },[M+]2 = {�2, 8, 14, . . . },[M+]3 = {�3, 9, 15, . . . },[M+]4 = {4, 10, 16, . . . },[M+]5 = {�5,��11, 17, 23, . . . }.
NOW 43 = 2 4 + 6 + 9 + 1 20
= 4 + 2 6 + 3 9 = [four more].
Back to our original TASK:Given a number x, present it in terms of
the generators 6 , 9 , and 20 .
![Page 72: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/72.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 33
QUESTION. What happens if we add more generators?
M+ := 〈4, 6, 9, 20〉
[M+]i := {x ∈M : x ≡ i (mod 6)}
[M+]0 = {0, 6, 12, . . . },[M+]1 = {�1, �7, 13, 19, . . . },[M+]2 = {�2, 8, 14, . . . },[M+]3 = {�3, 9, 15, . . . },[M+]4 = {4, 10, 16, . . . },[M+]5 = {�5,��11, 17, 23, . . . }.
NOW 43 = 2 4 + 6 + 9 + 1 20
= 4 + 2 6 + 3 9 = [four more].
Back to our original TASK:Given a number x, present it in terms of
the generators 6 , 9 , and 20 .
![Page 73: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/73.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 34
Solution: use the residue class generators
Given
M = 〈6, 9, 20〉 = 〈6, 49, 20, 9, 40, 29〉= (0 + 6Z≥0) ∪ (49 + 6Z≥0) ∪ (20 + 6Z≥0)
∪ (9 + 6Z≥0) ∪ (40 + 6Z≥0) ∪ (29 + 6Z≥0),
find a representation x = ui + ` 6 .
EXAMPLE. x = 62:
62 ≡ 2 (mod 6); hence by
[M ]2 = {�2, �8,��14, 20, 26, . . . };one has
62 = 20 + 7 6 .
![Page 74: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/74.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 34
Solution: use the residue class generators
Given
M = 〈6, 9, 20〉 = 〈6, 49, 20, 9, 40, 29〉= (0 + 6Z≥0) ∪ (49 + 6Z≥0) ∪ (20 + 6Z≥0)
∪ (9 + 6Z≥0) ∪ (40 + 6Z≥0) ∪ (29 + 6Z≥0),
find a representation x = ui + ` 6 .
EXAMPLE. x = 62:
62 ≡ 2 (mod 6); hence by
[M ]2 = {�2, �8,��14, 20, 26, . . . };one has
62 = 20 + 7 6 .
![Page 75: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/75.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 35
NOTE. Given M = 〈6, 9, 20〉, for this STRATEGY we need the“residue class generators”
〈6, 49, 20, 9, 40, 29〉 = M .
QUESTION. How to compute the “residue class generators”
ANSWER (e.g., for 49). Notice, 49 ∈M is minimal such that
49 ≡ 1 (mod 6);
i.e.; it is the smallest number of the form 1 + 6 a = 49 such that
9 b+ 20 c = 1 + 6 a, a, b, c ∈ N.
This, e.g., can be computed with the Omega package:
![Page 76: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/76.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 35
NOTE. Given M = 〈6, 9, 20〉, for this STRATEGY we need the“residue class generators”
〈6, 49, 20, 9, 40, 29〉 = M .
QUESTION. How to compute the “residue class generators”
ANSWER (e.g., for 49). Notice, 49 ∈M is minimal such that
49 ≡ 1 (mod 6);
i.e.; it is the smallest number of the form 1 + 6 a = 49 such that
9 b+ 20 c = 1 + 6 a, a, b, c ∈ N.
This, e.g., can be computed with the Omega package:
![Page 77: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/77.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 35
NOTE. Given M = 〈6, 9, 20〉, for this STRATEGY we need the“residue class generators”
〈6, 49, 20, 9, 40, 29〉 = M .
QUESTION. How to compute the “residue class generators”
ANSWER (e.g., for 49). Notice, 49 ∈M is minimal such that
49 ≡ 1 (mod 6);
i.e.; it is the smallest number of the form 1 + 6 a = 49 such that
9 b+ 20 c = 1 + 6 a, a, b, c ∈ N.
This, e.g., can be computed with the Omega package:
![Page 78: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/78.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 36
In[3]:=OEqR[
OEqSum[xaybzc, {−6a+ 9b+ 20c = 1}, λ]]
Out[3]=x8yz2
(1−x3y2)(1−x10z3).
Out[3] means that∑a,b,c≥0
s.t.−6a+9b+20c=1
xaybzc =x8yz2
(1− x3y2) (1− x10z3);
in other words, 812
+ N
320
+ N
1003
is the solution set of −6a+ 9b+ 20c = 1.
In particular, 1 9 + 2 20 = 1 + 8 6 = 49.
![Page 79: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/79.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 36
In[3]:=OEqR[
OEqSum[xaybzc, {−6a+ 9b+ 20c = 1}, λ]]
Out[3]=x8yz2
(1−x3y2)(1−x10z3).
Out[3] means that∑a,b,c≥0
s.t.−6a+9b+20c=1
xaybzc =x8yz2
(1− x3y2) (1− x10z3);
in other words, 812
+ N
320
+ N
1003
is the solution set of −6a+ 9b+ 20c = 1.
In particular, 1 9 + 2 20 = 1 + 8 6 = 49.
![Page 80: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/80.jpg)
Krattenthaler Fest 2018 / Nuggets Monoids 36
In[3]:=OEqR[
OEqSum[xaybzc, {−6a+ 9b+ 20c = 1}, λ]]
Out[3]=x8yz2
(1−x3y2)(1−x10z3).
Out[3] means that∑a,b,c≥0
s.t.−6a+9b+20c=1
xaybzc =x8yz2
(1− x3y2) (1− x10z3);
in other words, 812
+ N
320
+ N
1003
is the solution set of −6a+ 9b+ 20c = 1.
In particular, 1 9 + 2 20 = 1 + 8 6 = 49.
![Page 81: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/81.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 37
Application: Representations of Subalgebras
![Page 82: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/82.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 38
Representing K-subalgebras as K[z]-modules
GIVEN polynomials f0, f1, f2 ∈ K[z], e.g. as in EXAMPLE II,
t :=f0 = z6 + α z5 + . . . ,
f1 = z9 + β z8 + . . . ,
f2 = z20 + γ z19 + . . . ;
FIND g1, . . . , g5 ∈ K[z] such that
K[t, f1, f2] ={ ∑k0,k1,k2
c(k0, k1, k2)tk0fk11 fk22 : c(k0, k1, k2) ∈ K}
= 〈1, g1, . . . , g5〉K[t]
〈1, g1, . . . , g5〉K[t] := K[t] + K[t] g1 + · · ·+ K[t] g5
:={p0(t) + p1(t)g1 + · · ·+ p5(t)g5 : pj(x) ∈ K[x]
}.
![Page 83: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/83.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 38
Representing K-subalgebras as K[z]-modules
GIVEN polynomials f0, f1, f2 ∈ K[z], e.g. as in EXAMPLE II,
t :=f0 = z6 + α z5 + . . . ,
f1 = z9 + β z8 + . . . ,
f2 = z20 + γ z19 + . . . ;
FIND g1, . . . , g5 ∈ K[z] such that
K[t, f1, f2] ={ ∑k0,k1,k2
c(k0, k1, k2)tk0fk11 fk22 : c(k0, k1, k2) ∈ K}
= 〈1, g1, . . . , g5〉K[t]
〈1, g1, . . . , g5〉K[t] := K[t] + K[t] g1 + · · ·+ K[t] g5
:={p0(t) + p1(t)g1 + · · ·+ p5(t)g5 : pj(x) ∈ K[x]
}.
![Page 84: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/84.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 39
Application: K-subalgebra membership
GIVEN polynomials f and f0, f1, . . . , fn ∈ K[z];
DECIDE whether f?∈ K[f0, f1, . . . , fn].
Let t := f0 and K[f0, f1, . . . , fn] = 〈1, g1, . . . , gk〉K[t],FIND polynomials p0, p1, . . . , pk ∈ K[z] such that
f = p0(t) + p1(t) g1 + · · ·+ pk(t) gk.
APPLICATION to modular functions in
M∞(N) = {f ∈M(N) : f has a pole only at [∞]} :
In this context, z = 1q . Therefore functions like
f1 =a6q6
+a5q5
+ · · · , f2 =b9q9
+b8q8
+ · · · ,
f3 =c20q20
+c19q19
+ · · · , etc.,
can be treated like polynomials.
![Page 85: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/85.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 39
Application: K-subalgebra membership
GIVEN polynomials f and f0, f1, . . . , fn ∈ K[z];
DECIDE whether f?∈ K[f0, f1, . . . , fn].
Let t := f0 and K[f0, f1, . . . , fn] = 〈1, g1, . . . , gk〉K[t],FIND polynomials p0, p1, . . . , pk ∈ K[z] such that
f = p0(t) + p1(t) g1 + · · ·+ pk(t) gk.
APPLICATION to modular functions in
M∞(N) = {f ∈M(N) : f has a pole only at [∞]} :
In this context, z = 1q . Therefore functions like
f1 =a6q6
+a5q5
+ · · · , f2 =b9q9
+b8q8
+ · · · ,
f3 =c20q20
+c19q19
+ · · · , etc.,
can be treated like polynomials.
![Page 86: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/86.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 39
Application: K-subalgebra membership
GIVEN polynomials f and f0, f1, . . . , fn ∈ K[z];
DECIDE whether f?∈ K[f0, f1, . . . , fn].
Let t := f0 and K[f0, f1, . . . , fn] = 〈1, g1, . . . , gk〉K[t],FIND polynomials p0, p1, . . . , pk ∈ K[z] such that
f = p0(t) + p1(t) g1 + · · ·+ pk(t) gk.
APPLICATION to modular functions in
M∞(N) = {f ∈M(N) : f has a pole only at [∞]} :
In this context, z = 1q . Therefore functions like
f1 =a6q6
+a5q5
+ · · · , f2 =b9q9
+b8q8
+ · · · ,
f3 =c20q20
+c19q19
+ · · · , etc.,
can be treated like polynomials.
![Page 87: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/87.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 39
Application: K-subalgebra membership
GIVEN polynomials f and f0, f1, . . . , fn ∈ K[z];
DECIDE whether f?∈ K[f0, f1, . . . , fn].
Let t := f0 and K[f0, f1, . . . , fn] = 〈1, g1, . . . , gk〉K[t],FIND polynomials p0, p1, . . . , pk ∈ K[z] such that
f = p0(t) + p1(t) g1 + · · ·+ pk(t) gk.
APPLICATION to modular functions in
M∞(N) = {f ∈M(N) : f has a pole only at [∞]} :
In this context, z = 1q . Therefore functions like
f1 =a6q6
+a5q5
+ · · · , f2 =b9q9
+b8q8
+ · · · ,
f3 =c20q20
+c19q19
+ · · · , etc.,
can be treated like polynomials.
![Page 88: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/88.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 40
Recall: APPLICATION to modular functions in
M∞(N) = {f ∈M(N) : f has a pole only at [∞]} :
In this context, z = 1q . Therefore functions like
t = f0 =a6q6
+a5q5
+ · · · , f1 =b9q9
+b8q8
+ · · · ,
f2 =c20q20
+c19q19
+ · · · , etc., can be treated like polynomials.
EXAMPLE I. t := q−5∞∏k=1
(1− qk
1− q11k
)12
∈M∞(11) and
f := q t
∞∏k=1
(1− q11k)
∞∑n=0
p(11n+ 6)qn ∈M∞(11),
satisfyC[t, f ] = C[t] + C[t] g1 + · · ·+ C[t] g4
with(g1, g2, g3, g4) := (f, f2, f3, f4).
![Page 89: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/89.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 41
EXAMPLE II.
WE FIND g1, . . . , g5 ∈ C[z] such that
C[t, f1, f2] = 〈1, g1, . . . , g5〉C[t]
= C[t] + C[t] g1 + · · ·+ C[t] g5.
NOTE.t(z)af1(z)bf2(z)c = z6 a+9 b+20 c + . . .
![Page 90: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/90.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 41
EXAMPLE II.
WE FIND g1, . . . , g5 ∈ C[z] such that
C[t, f1, f2] = 〈1, g1, . . . , g5〉C[t]
= C[t] + C[t] g1 + · · ·+ C[t] g5.
NOTE.t(z)af1(z)bf2(z)c = z6 a+9 b+20 c + . . .
![Page 91: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/91.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 42
EXAMPLE II contd. (1)
Recall: {49, 20, 9, 40, 29} ≡ {1, 2, 3, 4, 5} (mod 6).
NOTE.C[t, f1, f2] = C[t] + C[t] g1 + · · ·+ C[t] g5
ifffi = pi0(t) + pi1(t)g1 + · · ·+ pi5(t)g5
andgi gj = pi,j0 (t) + pi,j1 (t)g1 + · · ·+ pi,j5 (t)g5,
Here: f1 = g3, f2 = g2; what, e.g., is g23 = ?
![Page 92: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/92.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 42
EXAMPLE II contd. (1)
Recall: {49, 20, 9, 40, 29} ≡ {1, 2, 3, 4, 5} (mod 6).
NOTE.C[t, f1, f2] = C[t] + C[t] g1 + · · ·+ C[t] g5
ifffi = pi0(t) + pi1(t)g1 + · · ·+ pi5(t)g5
and
gi gj = pi,j0 (t) + pi,j1 (t)g1 + · · ·+ pi,j5 (t)g5,
Here: f1 = g3, f2 = g2; what, e.g., is g23 = ?
![Page 93: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/93.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 42
EXAMPLE II contd. (1)
Recall: {49, 20, 9, 40, 29} ≡ {1, 2, 3, 4, 5} (mod 6).
NOTE.C[t, f1, f2] = C[t] + C[t] g1 + · · ·+ C[t] g5
ifffi = pi0(t) + pi1(t)g1 + · · ·+ pi5(t)g5
andgi gj = pi,j0 (t) + pi,j1 (t)g1 + · · ·+ pi,j5 (t)g5,
Here: f1 = g3, f2 = g2; what, e.g., is g23 = ?
![Page 94: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/94.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 42
EXAMPLE II contd. (1)
Recall: {49, 20, 9, 40, 29} ≡ {1, 2, 3, 4, 5} (mod 6).
NOTE.C[t, f1, f2] = C[t] + C[t] g1 + · · ·+ C[t] g5
ifffi = pi0(t) + pi1(t)g1 + · · ·+ pi5(t)g5
andgi gj = pi,j0 (t) + pi,j1 (t)g1 + · · ·+ pi,j5 (t)g5,
Here: f1 = g3, f2 = g2; what, e.g., is g23 = ?
![Page 95: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/95.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 43
EXAMPLE II contd. (2)
RECALL: t = z6 − 1.
![Page 96: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/96.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 43
EXAMPLE II contd. (2)
RECALL: t = z6 − 1.
![Page 97: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/97.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 44
EXAMPLE II contd. (3)
RECALL: t = z6 − 1.
![Page 98: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/98.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 44
EXAMPLE II contd. (3)
RECALL: t = z6 − 1.
![Page 99: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/99.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 45
EXAMPLE II contd. (4)
RECALL: t = z6 − 1.
In EXAMPLE II this works for all gigj . E.g., to reduce g2 g4 weneed
![Page 100: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/100.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 46
MONOID PROPERTY PROBLEM. To construct the gi from thegiven f0(= t), f1, . . . , fn such that
K[t, f1, . . . , fn] = K[t] + K[t] g1 + · · ·+ K[t] gk (?)
we require the MONOID PROPERTY:
〈deg(f) : f ∈ K[t, f1, . . . , fn]〉 = 〈deg(t),deg(f1), . . . ,deg(fn)〉.
NOTE. (?) implies
〈deg(f) : f ∈ K[t, f1, . . . , fn]〉 = 〈deg(t),deg(g1), . . .deg(gk)〉.
Back to EXAMPLE II: Here
C[t, f1, f2] = C[t] + C[t] g1 + · · ·+ C[t] g5
with f1 = g3 and f2 = g2. Hence the MONOID PROPERTYholds.
![Page 101: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/101.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 46
MONOID PROPERTY PROBLEM. To construct the gi from thegiven f0(= t), f1, . . . , fn such that
K[t, f1, . . . , fn] = K[t] + K[t] g1 + · · ·+ K[t] gk (?)
we require the MONOID PROPERTY:
〈deg(f) : f ∈ K[t, f1, . . . , fn]〉 = 〈deg(t),deg(f1), . . . ,deg(fn)〉.
NOTE. (?) implies
〈deg(f) : f ∈ K[t, f1, . . . , fn]〉 = 〈deg(t),deg(g1), . . .deg(gk)〉.
Back to EXAMPLE II: Here
C[t, f1, f2] = C[t] + C[t] g1 + · · ·+ C[t] g5
with f1 = g3 and f2 = g2. Hence the MONOID PROPERTYholds.
![Page 102: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/102.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 46
MONOID PROPERTY PROBLEM. To construct the gi from thegiven f0(= t), f1, . . . , fn such that
K[t, f1, . . . , fn] = K[t] + K[t] g1 + · · ·+ K[t] gk (?)
we require the MONOID PROPERTY:
〈deg(f) : f ∈ K[t, f1, . . . , fn]〉 = 〈deg(t),deg(f1), . . . ,deg(fn)〉.
NOTE. (?) implies
〈deg(f) : f ∈ K[t, f1, . . . , fn]〉 = 〈deg(t),deg(g1), . . .deg(gk)〉.
Back to EXAMPLE II: Here
C[t, f1, f2] = C[t] + C[t] g1 + · · ·+ C[t] g5
with f1 = g3 and f2 = g2. Hence the MONOID PROPERTYholds.
![Page 103: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/103.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 47
WARNING. The MONOID PROPERTY
〈deg(f) : f ∈ C[t, f1, . . . , fn]〉 = 〈deg(t),deg(f1), . . . ,deg(fn)〉is not always satisfied!
EXAMPLE III.
Here we havef3 − (t3 + 3t2 + 3t) = z4 + 1.
SOLUTION: add f4:=z4 + 1 (i.e., K[t, f1, f2] K[t, f1, f2, f4])and update the module basis as in the nuggets example:
![Page 104: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/104.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 47
WARNING. The MONOID PROPERTY
〈deg(f) : f ∈ C[t, f1, . . . , fn]〉 = 〈deg(t),deg(f1), . . . ,deg(fn)〉is not always satisfied!
EXAMPLE III.
Here we havef3 − (t3 + 3t2 + 3t) = z4 + 1.
SOLUTION: add f4:=z4 + 1 (i.e., K[t, f1, f2] K[t, f1, f2, f4])and update the module basis as in the nuggets example:
![Page 105: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/105.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 48
EXAMPLE III contd. (1)
SOLUTION: add f4:=z4 + 1 (i.e., K[t, f1, f2] K[t, f1, f2, f4]);i.e., update the generators as in the nuggets problem:
NOTE. Now all the fi and GiGj are in the C[t]-module. —The Gi-degrees are much smaller
{13, 8, 9, 4, 17} ≡ {1, 2, 3, 4, 5} (mod 6);
in comparison to the gi-degrees
{49, 20, 9, 40, 29} ≡ {1, 2, 3, 4, 5} (mod 6).
![Page 106: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/106.jpg)
Krattenthaler Fest 2018 / Application: Representations of Subalgebras 48
EXAMPLE III contd. (1)
SOLUTION: add f4:=z4 + 1 (i.e., K[t, f1, f2] K[t, f1, f2, f4]);i.e., update the generators as in the nuggets problem:
NOTE. Now all the fi and GiGj are in the C[t]-module. —The Gi-degrees are much smaller
{13, 8, 9, 4, 17} ≡ {1, 2, 3, 4, 5} (mod 6);
in comparison to the gi-degrees
{49, 20, 9, 40, 29} ≡ {1, 2, 3, 4, 5} (mod 6).
![Page 107: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/107.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 49
The Modular Module Point of View
![Page 108: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/108.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 50
Γ0(`) :=
{(a bc d
)∈ SL2(Z) : ` | c
}
f ∈M(`); i.e., f is a MODULAR FUNCTION for Γ0(`) :⇔
• f is analytic on the upper half complex plane.
• f satisfies the modular transformation property
(f | γ)(τ) := f
(aτ + b
cτ + d
)= f(τ) for all γ ∈
(a
c
b
d
)∈ Γ0(`).
• For(acbd
)∈ SL2(Z) and Im(τ) big:
f
(aτ + b
cτ + d
)=
∞∑n=orda/c f
anqnw where qw := qw(τ) = e2πiτ/w
and w = w(a/c) := `/ gcd(c2, `).
![Page 109: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/109.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 50
Γ0(`) :=
{(a bc d
)∈ SL2(Z) : ` | c
}
f ∈M(`); i.e., f is a MODULAR FUNCTION for Γ0(`) :⇔• f is analytic on the upper half complex plane.
• f satisfies the modular transformation property
(f | γ)(τ) := f
(aτ + b
cτ + d
)= f(τ) for all γ ∈
(a
c
b
d
)∈ Γ0(`).
• For(acbd
)∈ SL2(Z) and Im(τ) big:
f
(aτ + b
cτ + d
)=
∞∑n=orda/c f
anqnw where qw := qw(τ) = e2πiτ/w
and w = w(a/c) := `/ gcd(c2, `).
![Page 110: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/110.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 50
Γ0(`) :=
{(a bc d
)∈ SL2(Z) : ` | c
}
f ∈M(`); i.e., f is a MODULAR FUNCTION for Γ0(`) :⇔• f is analytic on the upper half complex plane.
• f satisfies the modular transformation property
(f | γ)(τ) := f
(aτ + b
cτ + d
)= f(τ) for all γ ∈
(a
c
b
d
)∈ Γ0(`).
• For(acbd
)∈ SL2(Z) and Im(τ) big:
f
(aτ + b
cτ + d
)=
∞∑n=orda/c f
anqnw where qw := qw(τ) = e2πiτ/w
and w = w(a/c) := `/ gcd(c2, `).
![Page 111: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/111.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 50
Γ0(`) :=
{(a bc d
)∈ SL2(Z) : ` | c
}
f ∈M(`); i.e., f is a MODULAR FUNCTION for Γ0(`) :⇔• f is analytic on the upper half complex plane.
• f satisfies the modular transformation property
(f | γ)(τ) := f
(aτ + b
cτ + d
)= f(τ) for all γ ∈
(a
c
b
d
)∈ Γ0(`).
• For(acbd
)∈ SL2(Z) and Im(τ) big:
f
(aτ + b
cτ + d
)=
∞∑n=orda/c f
anqnw where qw := qw(τ) = e2πiτ/w
and w = w(a/c) := `/ gcd(c2, `).
![Page 112: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/112.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 51
Example. q := q1(τ) = e2πiτ , W :=(
011−10
),
f(τ) := z11(τ) = q5 (q11; q11)12∞
(q; q)12∞
∈M0Z(11) and f |W ∈M∞(11) :
f
(1τ + 0
0τ + 1
)= q5 + 12q6 +O(q9), ord∞ f = 5;
f
(0τ − 1
1τ + 0
)=
1
116
( 1
q5/11− 12
q4/11+O
((q1/11)−2
)), ord0 f = −5.
f
(0τ − 1
11τ + 0
)=
1
116
( 1
q5− 12
q4+O
(q−2)), ord∞ f |W = −5
(z11 |W )(τ) := z11 |(
0
11
−1
0
)(τ) = z11
(− 1
11τ
)=
11−6
z11(τ).
![Page 113: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/113.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 51
Example. q := q1(τ) = e2πiτ , W :=(
011−10
),
f(τ) := z11(τ) = q5 (q11; q11)12∞
(q; q)12∞
∈M0Z(11) and f |W ∈M∞(11) :
f
(1τ + 0
0τ + 1
)= q5 + 12q6 +O(q9), ord∞ f = 5;
f
(0τ − 1
1τ + 0
)=
1
116
( 1
q5/11− 12
q4/11+O
((q1/11)−2
)), ord0 f = −5.
f
(0τ − 1
11τ + 0
)=
1
116
( 1
q5− 12
q4+O
(q−2)), ord∞ f |W = −5
(z11 |W )(τ) := z11 |(
0
11
−1
0
)(τ) = z11
(− 1
11τ
)=
11−6
z11(τ).
![Page 114: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/114.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 51
Example. q := q1(τ) = e2πiτ , W :=(
011−10
),
f(τ) := z11(τ) = q5 (q11; q11)12∞
(q; q)12∞
∈M0Z(11) and f |W ∈M∞(11) :
f
(1τ + 0
0τ + 1
)= q5 + 12q6 +O(q9), ord∞ f = 5;
f
(0τ − 1
1τ + 0
)=
1
116
( 1
q5/11− 12
q4/11+O
((q1/11)−2
)), ord0 f = −5.
f
(0τ − 1
11τ + 0
)=
1
116
( 1
q5− 12
q4+O
(q−2)), ord∞ f |W = −5
(z11 |W )(τ) := z11 |(
0
11
−1
0
)(τ) = z11
(− 1
11τ
)=
11−6
z11(τ).
![Page 115: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/115.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 52
Zero test in M∞(`), ` prime
f =
∞∑n=−M
a(n)qn ∈M∞(`), g =
∞∑n=−N
b(n)qn ∈M∞(`)
f = g ⇔
M = N and
a−NqN
+a−N+1
qN−1+ · · ·+ a0 =
b−NqN
+b−N+1
qN−1+ · · ·+ b0
![Page 116: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/116.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 52
Zero test in M∞(`), ` prime
f =
∞∑n=−M
a(n)qn ∈M∞(`), g =
∞∑n=−N
b(n)qn ∈M∞(`)
f = g ⇔ M = N and
a−NqN
+a−N+1
qN−1+ · · ·+ a0 =
b−NqN
+b−N+1
qN−1+ · · ·+ b0
![Page 117: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/117.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 53
Short notation for partition generating functions
` = 5, 7, 11 :
L` := q∏k=1
(1− q`k)∞∑n=0
p(`n+ µ`)qn ∈M0
Z(`).
where
µ` :=
4, if ` = 5
5, if ` = 7
6, if ` = 11
![Page 118: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/118.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 54
Ramanujan’s witness identities for ` = 5, 7:
L5 = 5z5
where
z5 := q(q5; q5)6
∞(q; q)6
∞∈M0
Z(5)
L7 = 7z7 + 49z27
where
z7 := q(q7; q7)4
∞(q; q)4
∞∈M0
Z(7)
Module point of view for ` = 5, 7:
M0Z(`) = Z[z`] = 〈1〉Z[`]
= {p(z`) · 1 : p(z`) ∈ Z[`]}
![Page 119: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/119.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 54
Ramanujan’s witness identities for ` = 5, 7:
L5 = 5z5
where
z5 := q(q5; q5)6
∞(q; q)6
∞∈M0
Z(5)
L7 = 7z7 + 49z27
where
z7 := q(q7; q7)4
∞(q; q)4
∞∈M0
Z(7)
Module point of view for ` = 5, 7:
M0Z(`) = Z[z`] = 〈1〉Z[`]
= {p(z`) · 1 : p(z`) ∈ Z[`]}
![Page 120: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/120.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 54
Ramanujan’s witness identities for ` = 5, 7:
L5 = 5z5
where
z5 := q(q5; q5)6
∞(q; q)6
∞∈M0
Z(5)
L7 = 7z7 + 49z27
where
z7 := q(q7; q7)4
∞(q; q)4
∞∈M0
Z(7)
Module point of view for ` = 5, 7:
M0Z(`) = Z[z`] = 〈1〉Z[`]
= {p(z`) · 1 : p(z`) ∈ Z[`]}
![Page 121: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/121.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 55
Lehner’s witness identity for ` = 11:
L11 = 11(11AC2 − 112C + 2AC − 32C − 2)
Module point of view:
M0Z(11) = 〈1, AC〉Z[C]
= {p0(C) · 1 + p1(C) ·AC : pi(C) ∈ Z[C]}
![Page 122: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/122.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 55
Lehner’s witness identity for ` = 11:
L11 = 11(11AC2 − 112C + 2AC − 32C − 2)
Module point of view:
M0Z(11) = 〈1, AC〉Z[C]
= {p0(C) · 1 + p1(C) ·AC : pi(C) ∈ Z[C]}
![Page 123: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/123.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 56
Atkin’s witness identity for ` = 11:
L11 = 114z11 + 11g2 + 2 · 112g3 + 113g4
Module point of view:
M0Z(11) = 〈1, g2, g3, g4, g6〉Z[z11]
= {p0(z11) · 1 + p2(z11) · g2 + p3(z11) · g3
+ p4(z11) · g4 + p6(z11) · g6 :
pi(z11) ∈ Z[z11]}
NOTE. g6 :=g2g4.
![Page 124: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/124.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 56
Atkin’s witness identity for ` = 11:
L11 = 114z11 + 11g2 + 2 · 112g3 + 113g4
Module point of view:
M0Z(11) = 〈1, g2, g3, g4, g6〉Z[z11]
= {p0(z11) · 1 + p2(z11) · g2 + p3(z11) · g3
+ p4(z11) · g4 + p6(z11) · g6 :
pi(z11) ∈ Z[z11]}
NOTE. g6 :=g2g4.
![Page 125: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/125.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 57
Radu’s witness identity for ` = 11:
w26w7
w23
L11 =1078t4 + 13893t3 + 31647t2 + 11209t− 21967
+ s1(187t3 + 5390t2 + 594t− 9581)
+ s2(11t3 + 2761t2 + 5368t− 6754);
t, s1, s2 are Q-linear combinations of 3 eta quotients in M∞Z (22):(η(2τ)
η(τ)
)a(η(11τ)
η(τ)
)b(η(22τ)
η(τ)
)c= q�
∞∏k=1
(1− q2k)a(1− q11k)b(1− q22k)c
(1− qk)a+b+c
Module point of view:
M∞Z (22) = 〈1, s1, s2〉Z[t]
= {p0(t) · 1 + p1(t) · s1 + p2(t) · s2 : pi(t) ∈ Z[t]}
![Page 126: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/126.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 57
Radu’s witness identity for ` = 11:
w26w7
w23
L11 =1078t4 + 13893t3 + 31647t2 + 11209t− 21967
+ s1(187t3 + 5390t2 + 594t− 9581)
+ s2(11t3 + 2761t2 + 5368t− 6754);
t, s1, s2 are Q-linear combinations of 3 eta quotients in M∞Z (22):(η(2τ)
η(τ)
)a(η(11τ)
η(τ)
)b(η(22τ)
η(τ)
)c= q�
∞∏k=1
(1− q2k)a(1− q11k)b(1− q22k)c
(1− qk)a+b+c
Module point of view:
M∞Z (22) = 〈1, s1, s2〉Z[t]
= {p0(t) · 1 + p1(t) · s1 + p2(t) · s2 : pi(t) ∈ Z[t]}
![Page 127: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/127.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 58
Hemmecke’s witness identity for ` = 11:
F :=w2
6w7
w23
L11 = 112 · 3068w7 + 112(3w1 + 4236)w6
+ 11(285w1 + 11 · 5972)w5 +11
8(w2
1 + 11 · 4497w1 + 112 · 3156)w3
+ 11(1867w1 + 11 · 2476)w4
− 11
8(w3
1 + 1011w21 + 11 · 6588w1 + 112 · 10880),
wj := q�∞∏k=1
(1− q2k)a1(j)(1− q11k)a2(j)(1− q22k)a3(j)
(1− qk)a1(j)+a2(j)+a3(j)∈M∞Z (22).
Module point of view: choosing t := w1, h1, h2 [→ next page],
F ∈ C[w1, . . . , w7] = 〈1, h1, h2,w3, w4, w6〉C[t],
C := rational numbers with denominators not divisible by 11; anEuclidean domain with “degree” function the 11-adic evaluation
v(ab
)= v(±2α3β . . . 11γ . . . ) := γ.
![Page 128: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/128.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 58
Hemmecke’s witness identity for ` = 11:
F :=w2
6w7
w23
L11 = 112 · 3068w7 + 112(3w1 + 4236)w6
+ 11(285w1 + 11 · 5972)w5 +11
8(w2
1 + 11 · 4497w1 + 112 · 3156)w3
+ 11(1867w1 + 11 · 2476)w4
− 11
8(w3
1 + 1011w21 + 11 · 6588w1 + 112 · 10880),
wj := q�∞∏k=1
(1− q2k)a1(j)(1− q11k)a2(j)(1− q22k)a3(j)
(1− qk)a1(j)+a2(j)+a3(j)∈M∞Z (22).
Module point of view: choosing t := w1, h1, h2 [→ next page],
F ∈ C[w1, . . . , w7] = 〈1, h1, h2,w3, w4, w6〉C[t],
C := rational numbers with denominators not divisible by 11; anEuclidean domain with “degree” function the 11-adic evaluation
v(ab
)= v(±2α3β . . . 11γ . . . ) := γ.
![Page 129: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/129.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 59
h1 =1
210(8w7 − 40w6 + 168w5 + (2343− w1)w3
− 680w4 + w21 + 505w1),
= 11q−3 + 11q−1 − 112
25+O(q),
h2 =1
23(w3 − w1)
= q−4 − 2q−3 + 2q−2 + 3 +O(q)
![Page 130: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/130.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 60
The witness identity by P. and Radu for ` = 11:
f5 = p0(z11) + p1(z11)f + p2(z11)f2 + p3(z11)f3 + p4(z11)f4
where
f := z11L11 = q z11
∞∏k=1
(1− q11k)
∞∑n=0
p(11n+ 6)qn
with
z11 :=1
z11= q−5
∞∏k=1
(1− qk
1− q11k
)12
∈M∞Z (11).
Module point of view:
C[z11, f ] = C[z11] + C[z11] f + C[z11] f2 + C[z11] f3 + C[z11] f4
= 〈1, f, f2, f3, f4〉C[z11]
![Page 131: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/131.jpg)
Krattenthaler Fest 2018 / The Modular Module Point of View 60
The witness identity by P. and Radu for ` = 11:
f5 = p0(z11) + p1(z11)f + p2(z11)f2 + p3(z11)f3 + p4(z11)f4
where
f := z11L11 = q z11
∞∏k=1
(1− q11k)
∞∑n=0
p(11n+ 6)qn
with
z11 :=1
z11= q−5
∞∏k=1
(1− qk
1− q11k
)12
∈M∞Z (11).
Module point of view:
C[z11, f ] = C[z11] + C[z11] f + C[z11] f2 + C[z11] f3 + C[z11] f4
= 〈1, f, f2, f3, f4〉C[z11]
![Page 132: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/132.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 61
Atkin’s Generators Revisited
![Page 133: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/133.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 62
M0Z(11) = 〈1, g2, g3, g4, g6〉Z[z11].
NOTE. g2, g3, g4 are as in Atkin’s 11-witness identity;in addition, g6 :=g2g4.
Recall: z11 := q5(q11; q11)12∞
(q; q)12∞∈M0
Z(11), g4 := g22 − g3,
10 g2 := 112u511 −∑∞n=0
(1 +
(n−311
))p5(n)qn
(q; q)5∞with
u11 := q5(q121; q121)∞
(q; q)∞and (q; q)r∞ =:
∞∑n=0
pr(n)qn,
14 g3 := −14g2 + 113u711 −∑∞n=0
(1 +
(2−n11
))p7(n)qn
(q; q)7∞.
Are there alternative functions or better representations of the gi?
![Page 134: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/134.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 62
M0Z(11) = 〈1, g2, g3, g4, g6〉Z[z11].
NOTE. g2, g3, g4 are as in Atkin’s 11-witness identity;in addition, g6 :=g2g4.
Recall: z11 := q5(q11; q11)12∞
(q; q)12∞∈M0
Z(11), g4 := g22 − g3,
10 g2 := 112u511 −∑∞n=0
(1 +
(n−311
))p5(n)qn
(q; q)5∞with
u11 := q5(q121; q121)∞
(q; q)∞and (q; q)r∞ =:
∞∑n=0
pr(n)qn,
14 g3 := −14g2 + 113u711 −∑∞n=0
(1 +
(2−n11
))p7(n)qn
(q; q)7∞.
Are there alternative functions or better representations of the gi?
![Page 135: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/135.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 63
(ord∞ g2, ord∞ g3, ord∞ g4, ord∞ g6) = (1, 2, 3, 4) :
g2 = q + 5q2 +O(q3), g3 = q2 + 9q3 +O(q4),
g4 = q3 + 14q4 +O(q5), g6 = q4 + 19q5 +O(q6)
(ord0 g2, ord0 g3, ord0 g4, ord0 g6) = (−2,−3,−4,−6) :
g2 |W =1
112
( 1
q2+
2
q− . . .
), g3 |W =
1
113
( 1
q3− 3
q2− . . .
),
g4 |W =1
114
( 1
q4− 1
q3+ . . .
), g6 |W =
1
116
( 1
q6− 5
q3− . . .
).
Recall,
W =
(0
11
−1
0
)and ord0 f = ord∞ f |W.
![Page 136: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/136.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 63
(ord∞ g2, ord∞ g3, ord∞ g4, ord∞ g6) = (1, 2, 3, 4) :
g2 = q + 5q2 +O(q3), g3 = q2 + 9q3 +O(q4),
g4 = q3 + 14q4 +O(q5), g6 = q4 + 19q5 +O(q6)
(ord0 g2, ord0 g3, ord0 g4, ord0 g6) = (−2,−3,−4,−6) :
g2 |W =1
112
( 1
q2+
2
q− . . .
), g3 |W =
1
113
( 1
q3− 3
q2− . . .
),
g4 |W =1
114
( 1
q4− 1
q3+ . . .
), g6 |W =
1
116
( 1
q6− 5
q3− . . .
).
Recall,
W =
(0
11
−1
0
)and ord0 f = ord∞ f |W.
![Page 137: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/137.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 64
Which Ji = η(τ)r1(i)η(11τ)r11(i) ∈M0Z(11) satisfy
(ord0 J2, ord0 J3, ord0 J4, ord0 J6) = (−2,−3,−4,−6)?
By Ligozat’s formula and Newman’s Lemma this translates into
11r1(i) + r11(i) = −120, r1(i) + r11(i) = 0, r1(i) + 11r11(i) = 24a(i),
11r1(i) + r11(i) = 24b(i), and r11(i) = 2c(i), i = 2, 3, 4, 6.
• No integer solution for i = 2, 3, 4, 6.
• For i = 5: exactly one solution, z11 with ord0 z11 = −5;(r1(5), r11(5)) = (−12, 12) and (a(5), b(5), c(5)) = (5,−5, 6).
Increase the “search space” to find alternatives Ji to Atkin’s gi:
I by allowing non-eta quotients;
I by extending from M(11) to M(22); etc.
![Page 138: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/138.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 64
Which Ji = η(τ)r1(i)η(11τ)r11(i) ∈M0Z(11) satisfy
(ord0 J2, ord0 J3, ord0 J4, ord0 J6) = (−2,−3,−4,−6)?
By Ligozat’s formula and Newman’s Lemma this translates into
11r1(i) + r11(i) = −120, r1(i) + r11(i) = 0, r1(i) + 11r11(i) = 24a(i),
11r1(i) + r11(i) = 24b(i), and r11(i) = 2c(i), i = 2, 3, 4, 6.
• No integer solution for i = 2, 3, 4, 6.
• For i = 5: exactly one solution, z11 with ord0 z11 = −5;(r1(5), r11(5)) = (−12, 12) and (a(5), b(5), c(5)) = (5,−5, 6).
Increase the “search space” to find alternatives Ji to Atkin’s gi:
I by allowing non-eta quotients;
I by extending from M(11) to M(22); etc.
![Page 139: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/139.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 64
Which Ji = η(τ)r1(i)η(11τ)r11(i) ∈M0Z(11) satisfy
(ord0 J2, ord0 J3, ord0 J4, ord0 J6) = (−2,−3,−4,−6)?
By Ligozat’s formula and Newman’s Lemma this translates into
11r1(i) + r11(i) = −120, r1(i) + r11(i) = 0, r1(i) + 11r11(i) = 24a(i),
11r1(i) + r11(i) = 24b(i), and r11(i) = 2c(i), i = 2, 3, 4, 6.
• No integer solution for i = 2, 3, 4, 6.
• For i = 5: exactly one solution, z11 with ord0 z11 = −5;(r1(5), r11(5)) = (−12, 12) and (a(5), b(5), c(5)) = (5,−5, 6).
Increase the “search space” to find alternatives Ji to Atkin’s gi:
I by allowing non-eta quotients;
I by extending from M(11) to M(22); etc.
![Page 140: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/140.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 64
Which Ji = η(τ)r1(i)η(11τ)r11(i) ∈M0Z(11) satisfy
(ord0 J2, ord0 J3, ord0 J4, ord0 J6) = (−2,−3,−4,−6)?
By Ligozat’s formula and Newman’s Lemma this translates into
11r1(i) + r11(i) = −120, r1(i) + r11(i) = 0, r1(i) + 11r11(i) = 24a(i),
11r1(i) + r11(i) = 24b(i), and r11(i) = 2c(i), i = 2, 3, 4, 6.
• No integer solution for i = 2, 3, 4, 6.
• For i = 5: exactly one solution, z11 with ord0 z11 = −5;(r1(5), r11(5)) = (−12, 12) and (a(5), b(5), c(5)) = (5,−5, 6).
Increase the “search space” to find alternatives Ji to Atkin’s gi:
I by allowing non-eta quotients;
I by extending from M(11) to M(22); etc.
![Page 141: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/141.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 64
Which Ji = η(τ)r1(i)η(11τ)r11(i) ∈M0Z(11) satisfy
(ord0 J2, ord0 J3, ord0 J4, ord0 J6) = (−2,−3,−4,−6)?
By Ligozat’s formula and Newman’s Lemma this translates into
11r1(i) + r11(i) = −120, r1(i) + r11(i) = 0, r1(i) + 11r11(i) = 24a(i),
11r1(i) + r11(i) = 24b(i), and r11(i) = 2c(i), i = 2, 3, 4, 6.
• No integer solution for i = 2, 3, 4, 6.
• For i = 5: exactly one solution, z11 with ord0 z11 = −5;(r1(5), r11(5)) = (−12, 12) and (a(5), b(5), c(5)) = (5,−5, 6).
Increase the “search space” to find alternatives Ji to Atkin’s gi:
I by allowing non-eta quotients;
I by extending from M(11) to M(22); etc.
![Page 142: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/142.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 64
Which Ji = η(τ)r1(i)η(11τ)r11(i) ∈M0Z(11) satisfy
(ord0 J2, ord0 J3, ord0 J4, ord0 J6) = (−2,−3,−4,−6)?
By Ligozat’s formula and Newman’s Lemma this translates into
11r1(i) + r11(i) = −120, r1(i) + r11(i) = 0, r1(i) + 11r11(i) = 24a(i),
11r1(i) + r11(i) = 24b(i), and r11(i) = 2c(i), i = 2, 3, 4, 6.
• No integer solution for i = 2, 3, 4, 6.
• For i = 5: exactly one solution, z11 with ord0 z11 = −5;(r1(5), r11(5)) = (−12, 12) and (a(5), b(5), c(5)) = (5,−5, 6).
Increase the “search space” to find alternatives Ji to Atkin’s gi:
I by allowing non-eta quotients;
I by extending from M(11) to M(22); etc.
![Page 143: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/143.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 65
TASK 1. Construct Fi ∈M∞(11), i = 2, 3, 4, 6, such that
ord∞ Fi = −i and ord0 Fi ≥ 0.
Then ord0 Ji = −i for Ji :=Fi |W ∈M0(11).
TASK 2. Turn the Ji into gi ∈M0(11) such that ord0 gi = −iremains valid, and
(ord∞ g2, ord∞ g3, ord∞ g4, ord∞ g6) = (1, 2, 3, 4).
![Page 144: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/144.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 65
TASK 1. Construct Fi ∈M∞(11), i = 2, 3, 4, 6, such that
ord∞ Fi = −i and ord0 Fi ≥ 0.
Then ord0 Ji = −i for Ji :=Fi |W ∈M0(11).
TASK 2. Turn the Ji into gi ∈M0(11) such that ord0 gi = −iremains valid, and
(ord∞ g2, ord∞ g3, ord∞ g4, ord∞ g6) = (1, 2, 3, 4).
![Page 145: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/145.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 66
Recall TASK 1. Construct Fi ∈M∞(11), i = 2, 3, 4, 6, such that
ord∞ Fi = −i and ord0 Fi ≥ 0.
Then ord0 Ji = −i for Ji :=Fi |W ∈M0(11).
Γ0(11) = Γ0(22) ∪ Γ0(22)V ∪ Γ0(22)V 2 for V =
(1
11
1
12
).
F2: Hence for any f2 ∈M∞(22),
F2 := f2 + f2 | V + f2 | V 2 ∈M∞(11).
To have ord∞ F2 = −2, we solve the linear Ligozat-Newmansystem with ansatz f2 = η(τ)r1η(2τ)r2η(11τ)r11η(22τ)r22 s.t.
f2 ∈M∞(22) and ord∞ f2 = −2 and ord1/11 f2 ≥ −4 :
Solution: f2(τ) :=η(τ)η(2τ)3
η(11τ)3η(22τ)= q−2
∞∏k=1
(1− qk)(1− q2k)3
(1− q11k)3(1− q22k).
![Page 146: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/146.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 66
Recall TASK 1. Construct Fi ∈M∞(11), i = 2, 3, 4, 6, such that
ord∞ Fi = −i and ord0 Fi ≥ 0.
Then ord0 Ji = −i for Ji :=Fi |W ∈M0(11).
Γ0(11) = Γ0(22) ∪ Γ0(22)V ∪ Γ0(22)V 2 for V =
(1
11
1
12
).
F2: Hence for any f2 ∈M∞(22),
F2 := f2 + f2 | V + f2 | V 2 ∈M∞(11).
To have ord∞ F2 = −2, we solve the linear Ligozat-Newmansystem with ansatz f2 = η(τ)r1η(2τ)r2η(11τ)r11η(22τ)r22 s.t.
f2 ∈M∞(22) and ord∞ f2 = −2 and ord1/11 f2 ≥ −4 :
Solution: f2(τ) :=η(τ)η(2τ)3
η(11τ)3η(22τ)= q−2
∞∏k=1
(1− qk)(1− q2k)3
(1− q11k)3(1− q22k).
![Page 147: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/147.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 66
Recall TASK 1. Construct Fi ∈M∞(11), i = 2, 3, 4, 6, such that
ord∞ Fi = −i and ord0 Fi ≥ 0.
Then ord0 Ji = −i for Ji :=Fi |W ∈M0(11).
Γ0(11) = Γ0(22) ∪ Γ0(22)V ∪ Γ0(22)V 2 for V =
(1
11
1
12
).
F2: Hence for any f2 ∈M∞(22),
F2 := f2 + f2 | V + f2 | V 2 ∈M∞(11).
To have ord∞ F2 = −2, we solve the linear Ligozat-Newmansystem with ansatz f2 = η(τ)r1η(2τ)r2η(11τ)r11η(22τ)r22 s.t.
f2 ∈M∞(22) and ord∞ f2 = −2 and ord1/11 f2 ≥ −4 :
Solution: f2(τ) :=η(τ)η(2τ)3
η(11τ)3η(22τ)= q−2
∞∏k=1
(1− qk)(1− q2k)3
(1− q11k)3(1− q22k).
![Page 148: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/148.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 67
F3: Next for f3 ∈M∞(22),
F3 := f3 + f3 | V + f3 | V 2 ∈M∞(11).
To have ord∞ F3 = −3, we solve the linear Ligozat-Newmansystem with ansatz f3 = η(τ)r1η(2τ)r2η(11τ)r11η(21τ)r22 s.t.
f3 ∈M∞(22) and ord∞ f3 = −3 and ord1/11 f3 ≥ −6 :
Solution: f3(τ) :=η(τ)3η(2τ)
η(11τ)η(22τ)3= q−3
∞∏k=1
(1− qk)3(1− q2k)
(1− q11k)(1− q22k)3.
F4 and F6: Finally, for i = 4 and i = 6,
Fi := fi + fi | V + fi | V 2 ∈M∞(11)
with
f4 := f22 =
1
q4+O(q−3) and f6 := f2
3 =1
q6+O(q−5) in M∞(22).
![Page 149: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/149.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 67
F3: Next for f3 ∈M∞(22),
F3 := f3 + f3 | V + f3 | V 2 ∈M∞(11).
To have ord∞ F3 = −3, we solve the linear Ligozat-Newmansystem with ansatz f3 = η(τ)r1η(2τ)r2η(11τ)r11η(21τ)r22 s.t.
f3 ∈M∞(22) and ord∞ f3 = −3 and ord1/11 f3 ≥ −6 :
Solution: f3(τ) :=η(τ)3η(2τ)
η(11τ)η(22τ)3= q−3
∞∏k=1
(1− qk)3(1− q2k)
(1− q11k)(1− q22k)3.
F4 and F6: Finally, for i = 4 and i = 6,
Fi := fi + fi | V + fi | V 2 ∈M∞(11)
with
f4 := f22 =
1
q4+O(q−3) and f6 := f2
3 =1
q6+O(q−5) in M∞(22).
![Page 150: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/150.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 68
V =(
111
112
), W =
(011−10
), U2
∑∞n=N a(n)qn :=
∑∞2n≥N a(2n)qn:
Fi(τ) := fi(τ) + (fi | V )(τ) + (fi | V 2)(τ)
= fi(τ) + 2 U2((fi | V )(2τ)) ∈M∞(11)
(f2 | V )(2τ) = −1
2f3(τ) and (f3 | V )(2τ) = −2f2(τ), and
(f2 |W )(2τ) =112
2
1
f2(τ)and (f3 |W )(2τ) = 2 · 112 1
f3(τ).
This gives compact representations for the Fi, resp. Ji:
![Page 151: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/151.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 68
V =(
111
112
), W =
(011−10
), U2
∑∞n=N a(n)qn :=
∑∞2n≥N a(2n)qn:
Fi(τ) := fi(τ) + (fi | V )(τ) + (fi | V 2)(τ)
= fi(τ) + 2 U2((fi | V )(2τ)) ∈M∞(11)
(f2 | V )(2τ) = −1
2f3(τ) and (f3 | V )(2τ) = −2f2(τ), and
(f2 |W )(2τ) =112
2
1
f2(τ)and (f3 |W )(2τ) = 2 · 112 1
f3(τ).
This gives compact representations for the Fi, resp. Ji:
![Page 152: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/152.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 69
Recall
f2(τ) :=η(τ)η(2τ)3
η(11τ)3η(21τ)= q−2
∞∏k=1
(1− qk)(1− q2k)3
(1− q11k)3(1− q22k).
f3(τ) :=η(τ)3η(2τ)
η(11τ)η(21τ)3= q−3
∞∏k=1
(1− qk)3(1− q2k)
(1− q11k)(1− q22k)3.
U2
∞∑n=N
a(n)qn :=
∞∑2n≥N
a(2n)qn.
F2(τ) = f2(τ)− (U2f3)(τ) = q−2 + 2q−1 − 12 + 5q + 8q2 + . . . ;
F3(τ) = f3(τ)− 4(U2f2)(τ) = q−3 − 3q−2 − 5q−1 + 24− 13q − . . . ;
F4(τ) = f2(τ)2 +1
2(U2f
23 )(τ) = q−4 − 3
2q−3 − 7
2q−2 − 21
2q−1 + . . . ;
F6(τ) = f3(τ)2 + 8(U2f22 )(τ) = q−6 − 6q−5 + 7q−4 + 22q−3 + . . . .
![Page 153: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/153.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 70
Recall Ji := Fi |W :
J2(τ) = −112( 1
f3− U2
1
f2
)(τ) = 112(q + 5q2 + . . . );
J3(τ) = −112( 1
f2− 4U2
1
f3
)(τ) = 112(11q2 + 99q3 + . . . );
J4(τ) = 114( 1
f23+
1
2U2
1
f22
)(τ) = 114
(1
2q2 +
11
2q3 + . . .
);
J6(τ) = 114( 1
f22+ 8U2
1
f23
)(τ) = 114(8q3 + 233q4 + . . . ).
New representations of Atkin’s gi:
g2(τ) =J2(τ)
112= q + q5 + · · · ∈M0
Z(11);
g3(τ) =J3(τ)
113= q2 + 9q3 + · · · ∈M0
Z(11);
g4(τ) =J4(τ)
114− 1
2
J3(τ)
113= q3 +O(q4) ∈M0
Z(11).
g6(τ) =J6(τ)
116− 8
J4(τ)
116+ 4
J3(τ)
115= q4 +O(q5) ∈M0
Z(11).
![Page 154: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/154.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 70
Recall Ji := Fi |W :
J2(τ) = −112( 1
f3− U2
1
f2
)(τ) = 112(q + 5q2 + . . . );
J3(τ) = −112( 1
f2− 4U2
1
f3
)(τ) = 112(11q2 + 99q3 + . . . );
J4(τ) = 114( 1
f23+
1
2U2
1
f22
)(τ) = 114
(1
2q2 +
11
2q3 + . . .
);
J6(τ) = 114( 1
f22+ 8U2
1
f23
)(τ) = 114(8q3 + 233q4 + . . . ).
Recall TASK 2. Turn the Ji into gi ∈M0(11) such thatord0 gi = −i remains valid, and
(ord∞ g2, ord∞ g3, ord∞ g4, ord∞ g6) = (1, 2, 3, 4).
New representations of Atkin’s gi:
g2(τ) =J2(τ)
112= q + q5 + · · · ∈M0
Z(11);
g3(τ) =J3(τ)
113= q2 + 9q3 + · · · ∈M0
Z(11);
g4(τ) =J4(τ)
114− 1
2
J3(τ)
113= q3 +O(q4) ∈M0
Z(11).
g6(τ) =J6(τ)
116− 8
J4(τ)
116+ 4
J3(τ)
115= q4 +O(q5) ∈M0
Z(11).
![Page 155: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/155.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 70
Recall Ji := Fi |W :
J2(τ) = −112( 1
f3− U2
1
f2
)(τ) = 112(q + 5q2 + . . . );
J3(τ) = −112( 1
f2− 4U2
1
f3
)(τ) = 112(11q2 + 99q3 + . . . );
J4(τ) = 114( 1
f23+
1
2U2
1
f22
)(τ) = 114
(1
2q2 +
11
2q3 + . . .
);
J6(τ) = 114( 1
f22+ 8U2
1
f23
)(τ) = 114(8q3 + 233q4 + . . . ).
g4 :=J4
114− 1
2
J3
113= q3 + . . .∈M0
Z(11).
Proof.J4
114− 1
2
J3
113=F4 |W
114− 1
2
F3 |W113
= z11F2 ∈M0Z(11).
New representations of Atkin’s gi:
g2(τ) =J2(τ)
112= q + q5 + · · · ∈M0
Z(11);
g3(τ) =J3(τ)
113= q2 + 9q3 + · · · ∈M0
Z(11);
g4(τ) =J4(τ)
114− 1
2
J3(τ)
113= q3 +O(q4) ∈M0
Z(11).
g6(τ) =J6(τ)
116− 8
J4(τ)
116+ 4
J3(τ)
115= q4 +O(q5) ∈M0
Z(11).
![Page 156: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/156.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 70
Recall Ji := Fi |W :
J2(τ) = −112( 1
f3− U2
1
f2
)(τ) = 112(q + 5q2 + . . . );
J3(τ) = −112( 1
f2− 4U2
1
f3
)(τ) = 112(11q2 + 99q3 + . . . );
J4(τ) = 114( 1
f23+
1
2U2
1
f22
)(τ) = 114
(1
2q2 +
11
2q3 + . . .
);
J6(τ) = 114( 1
f22+ 8U2
1
f23
)(τ) = 114(8q3 + 233q4 + . . . ).
New representations of Atkin’s gi:
g2(τ) =J2(τ)
112= q + q5 + · · · ∈M0
Z(11);
g3(τ) =J3(τ)
113= q2 + 9q3 + · · · ∈M0
Z(11);
g4(τ) =J4(τ)
114− 1
2
J3(τ)
113= q3 +O(q4) ∈M0
Z(11).
g6(τ) =J6(τ)
116− 8
J4(τ)
116+ 4
J3(τ)
115= q4 +O(q5) ∈M0
Z(11).
![Page 157: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/157.jpg)
Krattenthaler Fest 2018 / Atkin’s Generators Revisited 71
Atkin’s functions:
g2(τ) =J2(τ)
112= q + q5 + · · · ∈M0
Z(11);
g3(τ) =J3(τ)
113= q2 + 9q3 + · · · ∈M0
Z(11);
g4(τ) =J4(τ)
114− 1
2
J3(τ)
113= q3 +O(q4) ∈M0
Z(11).
g6(τ) =J6(τ)
116− 8
J4(τ)
116+ 4
J3(τ)
115= q4 +O(q5) ∈M0
Z(11).
NOTE. ( J4
114− 1
2
J3
113
)z11 = F2;( J6
116− 8
J4
116+ 4
J3
115
)z2
11 = F6 − 8F4 + 44F3.
This can be algorithmically derived and proved.
![Page 158: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/158.jpg)
Krattenthaler Fest 2018 / A New 11-Witness Identity 72
A New 11-Witness Identity
![Page 159: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/159.jpg)
Krattenthaler Fest 2018 / A New 11-Witness Identity 73
Recall: Atkin found
L11 = q
∞∏k=1
(1− q11k)
∞∑n=0
p(11n+ 6)qn
= 114z11 + 11g2 + 2 · 112g3 + 113g4
=1
11J4 −
7
22J3 +
1
11J2 + 114z11.
We express the Ji in terms of f2 and f3:
L11 = 113( 1
f23
+1
2U2
1
f22
)+
7
211( 1
f2− 4U2
1
f3
)− 11
( 1
f3− U2
1
f2
)+ 114z11
![Page 160: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/160.jpg)
Krattenthaler Fest 2018 / A New 11-Witness Identity 73
Recall: Atkin found
L11 = q
∞∏k=1
(1− q11k)
∞∑n=0
p(11n+ 6)qn
= 114z11 + 11g2 + 2 · 112g3 + 113g4
=1
11J4 −
7
22J3 +
1
11J2 + 114z11.
We express the Ji in terms of f2 and f3:
L11 = 113( 1
f23
+1
2U2
1
f22
)+
7
211( 1
f2− 4U2
1
f3
)− 11
( 1
f3− U2
1
f2
)+ 114z11
![Page 161: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/161.jpg)
Krattenthaler Fest 2018 / A New 11-Witness Identity 74
L11 = 113( 1
f23
+1
2U2
1
f22
)+
7
211( 1
f2− 4U2
1
f3
)− 11
( 1
f3− U2
1
f2
)+ 114z11
Recall: z11 := q5(q11; q11)12∞
(q; q)12∞∈M0
Z(11),
f2(τ) :=η(τ)η(2τ)3
η(11τ)3η(21τ)= q−2
∞∏k=1
(1− qk)(1− q2k)3
(1− q11k)3(1− q22k).
f3(τ) :=η(τ)3η(2τ)
η(11τ)η(21τ)3= q−3
∞∏k=1
(1− qk)3(1− q2k)
(1− q11k)(1− q22k)3.
U2
∞∑n=N
a(n)qn :=
∞∑2n≥N
a(2n)qn.
![Page 162: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/162.jpg)
Krattenthaler Fest 2018 / Conclusion 75
Conclusion
![Page 163: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/163.jpg)
Krattenthaler Fest 2018 / Conclusion 76
Recall:
I Regarding ` = 11 Watson states: “Da die Untersuchung derAussage uber 11α recht langweilig ist, verschiebe ich denBeweis dieses Falles auf eine spatere Abhandlung”.
I Atkin ends with the comment: “We may observe finally that,in comparison with ` = 5 and ` = 7, this proof is indeed“langweilig” [i.e., “boring”] as Watson suggested.”
We disagree!
![Page 164: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/164.jpg)
Krattenthaler Fest 2018 / Conclusion 77
What about p(25) = 1958?
Kolberg [Mathematica Scandinavica, 1957]:( ∞∑n=0
p(5n)qn)( ∞∑
n=0
p(5n+ 3)qn)
= 3
∞∏j=1
(1− q5j)6
(1− qj)4+ 25q
∞∏j=1
(1− q5j)10
(1− qj)12.
Given the left side, the right side is produced by Radu’sRamanujan-Kolberg algorithm.
Mathematica implementation by Nicolas Smoot.
![Page 165: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/165.jpg)
Krattenthaler Fest 2018 / Conclusion 77
What about p(25) = 1958?
Kolberg [Mathematica Scandinavica, 1957]:( ∞∑n=0
p(5n)qn)( ∞∑
n=0
p(5n+ 3)qn)
= 3
∞∏j=1
(1− q5j)6
(1− qj)4+ 25q
∞∏j=1
(1− q5j)10
(1− qj)12.
Given the left side, the right side is produced by Radu’sRamanujan-Kolberg algorithm.
Mathematica implementation by Nicolas Smoot.
![Page 166: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/166.jpg)
Krattenthaler Fest 2018 / Conclusion 77
What about p(25) = 1958?
Kolberg [Mathematica Scandinavica, 1957]:( ∞∑n=0
p(5n)qn)( ∞∑
n=0
p(5n+ 3)qn)
= 3
∞∏j=1
(1− q5j)6
(1− qj)4+ 25q
∞∏j=1
(1− q5j)10
(1− qj)12.
Given the left side, the right side is produced by Radu’sRamanujan-Kolberg algorithm.
Mathematica implementation by Nicolas Smoot.
![Page 167: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/167.jpg)
Krattenthaler Fest 2018 / Conclusion 77
What about p(25) = 1958?
Kolberg [Mathematica Scandinavica, 1957]:( ∞∑n=0
p(5n)qn)( ∞∑
n=0
p(5n+ 3)qn)
= 3
∞∏j=1
(1− q5j)6
(1− qj)4+ 25q
∞∏j=1
(1− q5j)10
(1− qj)12.
Given the left side, the right side is produced by Radu’sRamanujan-Kolberg algorithm.
Mathematica implementation by Nicolas Smoot.
![Page 168: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/168.jpg)
Krattenthaler Fest 2018 / Conclusion 78
Happy Birthday, Christian!
![Page 169: Ramanujan’s congruences modulo powers of 5, 7, and 11 ...mfulmek/slc81/images/pp.pdfKrattenthaler Fest 2018 =SLC81 (KrattenthalerFest) 1 Strobl, September 9{12, 2018 Ramanujan’s](https://reader033.fdocuments.in/reader033/viewer/2022041714/5e4a826c0139d5042d7a80dc/html5/thumbnails/169.jpg)
Krattenthaler Fest 2018 / Conclusion 79
References
I Ralf Hemmecke: Dancing Samba with Ramanujan PartitionCongruences. Journal of Symbolic Computation 84 (2018),14–24.
I S. Radu: An Algorithmic Approach to Ramanujan-KolbergIdentities, Journal for Symbolic Computation 68 (2014), 1-33.
I P. Paule and S. Radu: Partition Analysis, Modular Functions,and Computer Algebra. In: Recent Trends in Combinatorics,IMA Volume in Mathematics and its Applications, Springer,2016. (Available atwww.risc.jku.at/research/combinat/publications.)
I P. Paule and S. Radu: A unified algorithmic framework forRamanujan’s congruences modulo powers of 5, 7, and 11.(Preprint, 2018.)