Duke Mathematical Journal

A framework of Rogers–Ramanujan identities and their arithmetic properties

Michael J. Griffin, Ken Ono, and S. Ole Warnaar

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

The two Rogers–Ramanujan q-series

n=0qn(n+σ)(1q)(1qn), where σ=0,1, play many roles in mathematics and physics. By the Rogers–Ramanujan identities, they are essentially modular functions. Their quotient, the Rogers–Ramanujan continued fraction, has the special property that its singular values are algebraic integral units. We find a framework which extends the Rogers–Ramanujan identities to doubly infinite families of q-series identities. If a{1,2} and m,n1, then we have

λ,λ1mqa|λ|P2λ(1,q,q2,;qn)=[infiniteproductmodularfunction],where the Pλ(x1,x2,;q) are Hall–Littlewood polynomials. These q-series are specialized characters of affine Kac–Moody algebras. Generalizing the Rogers–Ramanujan continued fraction, we prove in the case of A2n(2) that the relevant q-series quotients are integral units.

Article information

Source
Duke Math. J., Volume 165, Number 8 (2016), 1475-1527.

Dates
Received: 1 May 2014
Revised: 18 May 2015
First available in Project Euclid: 5 February 2016

Permanent link to this document
https://projecteuclid.org/euclid.dmj/1454683424

Digital Object Identifier
doi:10.1215/00127094-3449994

Mathematical Reviews number (MathSciNet)
MR3504177

Zentralblatt MATH identifier
06603536

Subjects
Primary: 11G16: Elliptic and modular units [See also 11R27]
Secondary: 05E05: Symmetric functions and generalizations 05E10: Combinatorial aspects of representation theory [See also 20C30] 11P84: Partition identities; identities of Rogers-Ramanujan type 17B67: Kac-Moody (super)algebras; extended affine Lie algebras; toroidal Lie algebras 33D67: Basic hypergeometric functions associated with root systems

Keywords
Rogers–Ramanujan identities modular units

Citation

Griffin, Michael J.; Ono, Ken; Warnaar, S. Ole. A framework of Rogers–Ramanujan identities and their arithmetic properties. Duke Math. J. 165 (2016), no. 8, 1475--1527. doi:10.1215/00127094-3449994. https://projecteuclid.org/euclid.dmj/1454683424


Export citation

References

  • [1] G. E. Andrews, An analytic generalization of the Rogers–Ramanujan identities for odd moduli, Proc. Natl. Acad. Sci. USA 71 (1974), 4082–4085.
  • [2] G. E. Andrews, “Problems and prospects for basic hypergeometric functions” in Theory and Application of Special Functions (Madison, Wis., 1975), Math. Res. Center 35, Academic Press, New York, 1975, 191–224.
  • [3] G. E. Andrews, The Theory of Partitions, Encyclopedia Math. Appl. 2, Addison-Wesley, Reading, Mass., 1976.
  • [4] G. E. Andrews, R. J. Baxter, and P. J. Forrester, Eight-vertex SOS model and generalized Rogers–Ramanujan-type identities, J. Statist. Phys. 35 (1984), 193–266.
  • [5] G. E. Andrews, A. Schilling, and S. O. Warnaar, An $A_{2}$ Bailey lemma and Rogers–Ramanujan-type identities, J. Amer. Math. Soc. 12 (1999), 677–702.
  • [6] C. Armond and O. T. Dasbach, Rogers–Ramanujan-type identities and the head and tail of the colored Jones polynomial, preprint, arXiv:1106.3948v1 [math.GT].
  • [7] R. Askey and M. E. H. Ismail, “A generalization of ultraspherical polynomials” in Studies in Pure Mathematics, Birkhäuser, Basel, 1983, 55–78.
  • [8] N. Bartlett and S. O. Warnaar, Hall–Littlewood polynomials and characters of affine Lie algebras, Adv. Math. 285 (2015), 1066–1105.
  • [9] R. J. Baxter, Rogers–Ramanujan identities in the hard hexagon model, J. Statist. Phys. 26 (1981), 427–452.
  • [10] A. Berkovich and B. M. McCoy, “Rogers–Ramanujan identities: A century of progress from mathematics to physics” in Proceedings of the International Congress of Mathematicians, Vol. III (Berlin, 1998), Doc. Math. 1998, Extra Vol. III, 163–172.
  • [11] B. C. Berndt, H. H. Chan, and L.-C. Zhang, Explicit evaluations of the Rogers–Ramanujan continued fraction, J. Reine Angew. Math. 480 (1996), 141–159.
  • [12] B. C. Berndt and R. A. Rankin, Ramanujan: Letters and Commentary, Hist. Math. 9, Amer. Math. Soc., Providence, 1995.
  • [13] A. Borel, S. Chowla, C. S. Herz, K. Iwasawa, and J.-P. Serre, Seminar on Complex Multiplication, Lecture Notes in Math. 21, Springer, Berlin, 1966.
  • [14] D. M. Bressoud, An analytic generalization of the Rogers–Ramanujan identities with interpretation, Q. J. Math. Oxford Ser. (2) 31 (1980), 385–399.
  • [15] D. M. Bressoud, On partitions, orthogonal polynomials and the expansion of certain infinite products, Proc. Lond. Math. Soc. (3) 42 (1981), 478–500.
  • [16] K. Bringmann, C. Calinescu, A. Folsom, and S. Kimport, Graded dimensions of principal subspaces and modular Andrews–Gordon-type series, Commun. Contemp. Math. 16 (2014), 1350050, 20 pp.
  • [17] K. Bringmann and A. Folsom, On the asymptotic behavior of Kac–Wakimoto characters, Proc. Amer. Math. Soc. 141 (2013), 1567–1576.
  • [18] K. Bringmann and A. Folsom, Almost harmonic Maass forms and Kac–Wakimoto characters, J. Reine Angew. Math. 694 (2014), 179–202.
  • [19] K. Bringmann, A. Folsom, and K. Mahlburg, Quasimodular forms and $sl(m| m)^{\wedge}$ characters, Ramanujan J. 36 (2015), 103–116.
  • [20] K. Bringmann and K. Mahlburg, Asymptotic formulas for coefficients of Kac–Wakimoto characters, Math. Proc. Cambridge Philos. Soc. 155 (2013), 51–72.
  • [21] K. Bringmann and K. Ono, Some characters of Kac and Wakimoto and nonholomorphic modular functions, Math. Ann. 345 (2009), 547–558.
  • [22] K. Bringmann, K. Ono, and R. C. Rhoades, Eulerian series as modular forms, J. Amer. Math. Soc. 21 (2008), 1085–1104.
  • [23] C. Bruschek, H. Mourtada, and J. Schepers, Arc spaces and the Rogers–Ramanujan identities, Ramanujan J. 30 (2013), 9–38.
  • [24] B. Cais and B. Conrad, Modular curves and Ramanujan’s continued fraction, J. Reine Angew. Math. 597 (2006), 27–104.
  • [25] I. Cherednik and B. Feigin, Rogers–Ramanujan type identities and Nil-DAHA, Adv. Math. 248 (2013), 1050–1088.
  • [26] D. A. Cox, Primes of the Form $x^{2}+ny^{2}$: Fermat, Class Field Theory, and Complex Multiplication, Wiley, New York, 1989.
  • [27] W. Duke, Continued fractions and modular functions, Bull. Amer. Math. Soc. (N.S.) 42 (2005), 137–162.
  • [28] J. L. Dupont and C.-H. Sah, Dilogarithm identities in conformal field theory and group homology, Comm. Math. Phys. 161 (1994), 265–282.
  • [29] F. J. Dyson, “A walk through Ramanujan’s garden” in Ramanujan Revisited (Urbana-Champaign, Ill., 1987), Academic Press, Boston, 1988, 7–28.
  • [30] B. Feigin, O. Foda, and T. Welsh, Andrews–Gordon type identities from combinations of Virasoro characters, Ramanujan J. 17 (2008), 33–52.
  • [31] B. Feigin and E. Frenkel, “Coinvariants of nilpotent subalgebras of the Virasoro algebra and partition identities” in I. M. Gelfand Seminar, Adv. Soviet Math. 16, Part 1, Amer. Math. Soc, Providence, 1993, 139–148.
  • [32] I. Frenkel, J. Lepowsky, and A. Meurman, Vertex Operator Algebras and the Monster, Pure Appl. Math. 134, Academic Press, Boston, 1988.
  • [33] J. Fulman, The Rogers–Ramanujan identities, the finite general linear groups, and the Hall–Littlewood polynomials, Proc. Amer. Math. Soc. 128 (2000), 17–25.
  • [34] J. Fulman, A probabilistic proof of the Rogers–Ramanujan identities, Bull. Lond. Math. Soc. 33 (2001), 397–407.
  • [35] K. Garrett, M. E. H. Ismail, and D. Stanton, Variants of the Rogers–Ramanujan identities, Adv. Appl. Math. 23 (1999), 274–299.
  • [36] B. Gordon, A combinatorial generalization of the Rogers–Ramanujan identities, Amer. J. Math. 83 (1961), 393–399.
  • [37] E. Gorsky, A. Oblomkov, and J. Rasmussen, On stable Khovanov homology of torus knots, Exp. Math. 22 (2013), 265–281.
  • [38] R. A. Gustafson, “The Macdonald identities for affine root systems of classical type and hypergeometric series very-well-poised on semisimple Lie algebras” in Ramanujan International Symposium on Analysis (Pune, 1987), Macmillan of India, New Delhi, 1989, 187–224.
  • [39] K. Hikami, Volume conjecture and asymptotic expansion of $q$-series, Exp. Math. 12 (2003), 319–337.
  • [40] K. Hikami, $q$-Series and $L$-functions related to half-derivatives of the Andrews–Gordon identity, Ramanujan J. 11 (2006), 175–197.
  • [41] H. Y. Jung, J. K. Koo, and D. H. Shin, On some arithmetic properties of Siegel functions (II), Forum Math. 26 (2014), 25–58.
  • [42] V. G. Kac, Infinite-dimensional algebras, Dedekind’s $\eta$-function, classical Möbius function and the very strange formula, Adv. Math. 30 (1978), 85–136.
  • [43] V. G. Kac, Infinite-dimensional Lie Algebras, 3rd ed., Cambridge Univ. Press, Cambridge, 1990.
  • [44] R. Kedem, B. M. McCoy, and E. Melzer, “The sums of Rogers, Schur and Ramanujan and the Bose–Fermi correspondence in $(1+1)$-dimensional quantum field theory” in Recent Progress in Statistical Mechanics and Quantum Field Theory (Los Angeles, 1994), World Sci. Publ., River Edge, N.J., 1995, 195–219.
  • [45] A. N. Kirillov, “New combinatorial formula for modified Hall–Littlewood polynomials” in $q$-Series from a Contemporary Perspective (South Hadley, Mass., 1998), Contemp. Math. 254, Amer. Math. Soc., Providence, 2000, 283–333.
  • [46] C. Krattenthaler, Advanced determinant calculus, Sém. Lothar. Combin. 42 (1999), art. B42q, 41 pp.
  • [47] D. S. Kubert and S. Lang, Modular Units, Grundlehren Math. Wiss. 244, Springer, New York, 1981.
  • [48] J. Lepowsky, Generalized Verma modules, loop space cohomology and Macdonald-type identities, Ann. Sci. Éc. Norm. Supér (4) 12 (1979), 169–234.
  • [49] J. Lepowsky, “Affine Lie algebras and combinatorial identities” in Lie Algebras and Related Topics (New Brunswick, N.J., 1981), Lecture Notes in Math. 933, Springer, Berlin, 1982, 130–156.
  • [50] J. Lepowsky and S. Milne, Lie algebraic approaches to classical partition identities, Adv. Math. 29 (1978), 15–59.
  • [51] J. Lepowsky and S. Milne, Lie algebras and classical partition identities, Proc. Natl. Acad. Sci. USA 75 (1978), 578–579.
  • [52] J. Lepowsky and M. Primc, Structure of the Standard Modules for the Affine Lie Algebra $A^{(1)}_{1}$, Contemp. Math. 46, Amer. Math. Soc., Providence, 1985.
  • [53] J. Lepowsky and R. L. Wilson, The Rogers–Ramanujan identities: Lie theoretic interpretation and proof, Proc. Natl. Acad. Sci. USA 78 (1981), 699–701.
  • [54] J. Lepowsky and R. L. Wilson, A new family of algebras underlying the Rogers–Ramanujan identities and generalizations, Proc. Natl. Acad. Sci. USA 78 (1981), 7254–7258.
  • [55] J. Lepowsky and R. L. Wilson, A Lie theoretic interpretation and proof of the Rogers–Ramanujan identities, Adv. Math. 45 (1982), 21–72.
  • [56] J. Lepowsky and R. L. Wilson, The structure of standard modules, I: Universal algebras and the Rogers–Ramanujan identities, Invent. Math. 77 (1984), 199–290.
  • [57] I. G. Macdonald, Affine root systems and Dedekind’s $\eta$-function, Invent. Math. 15 (1972), 91–143.
  • [58] I. G. Macdonald, Symmetric Functions and Hall Polynomials, 2nd ed., Oxford Math. Monogr., Oxford Univ. Press, New York, 1995.
  • [59] P. A. MacMahon, Combinatory Analysis, Vol. I and II, Chelsea Publ., New York, 1960.
  • [60] H. McKean and V. Moll, Elliptic Curves: Function Theory, Geometry, Arithmetic, Cambridge Univ. Press, Cambridge, 1997.
  • [61] A. Meurman and M. Primc, Vertex operator algebras and representations of affine Lie algebras, Acta Appl. Math. 44 (1996), 207–215.
  • [62] S. C. Milne, The $C_{l}$ Rogers–Selberg identity, SIAM J. Math. Anal. 25 (1994), 571–595.
  • [63] K. Ono, “Unearthing the visions of a master: Harmonic Maass forms and number theory” in Harvard-MIT Current Developments in Mathematics, 2008, Int. Press, Somerville, Mass., 2009, 347–454.
  • [64] E. M. Rains, $\mathrm{BC}_{n}$-symmetric polynomials, Transform. Groups 10 (2005), 63–132.
  • [65] E. M. Rains and M. Vazirani, Vanishing integrals of Macdonald and Koornwinder polynomials, Transform. Groups 12 (2007), 725–759.
  • [66] E. M. Rains and S. O. Warnaar, Bounded Littlewood identities, preprint, arXiv:1506.02755v2 [math.CO].
  • [67] K. G. Ramanathan, On Ramanujan’s continued fraction, Acta Arith. 43 (1984), 209–226.
  • [68] B. Richmond and G. Szekeres, Some formulas related to dilogarithms, the zeta function and the Andrews–Gordon identities, J. Aust. Math. Soc. Ser. A 31 (1981), 362–373.
  • [69] L. J. Rogers, Second memoir on the expansion of certain infinite products, Proc. Lond. Math. Soc. 25 (1893), 318–343.
  • [70] L. J. Rogers, Proof of certain identities in combinatory analysis, Proc. Camb. Phil. Soc. 19 (1919), 214–216.
  • [71] I. Schur, Ein Beitrag zur additiven Zahlentheorie und zur Theorie der Kettenbrüche, S.-B. Preuss. Akad. Wiss. Phys. Math. Klasse (1917), 302–321.
  • [72] A. Selberg, Über einige arithmetische Identitäten, Avh. Norske Vid.-Akad. Oslo. I. Mat.-Naturv. Kl. 8 (1936), 1–23.
  • [73] G. Shimura, Introduction to the Arithmetic Theory of Automorphic Functions, reprint of the 1971 original, Princeton Univ. Press, Princeton, 1994.
  • [74] J. R. Stembridge, Hall–Littlewood functions, plane partitions, and the Rogers–Ramanujan identities, Trans. Amer. Math. Soc. 319 (1990), no. 2, 469–498.
  • [75] S. O. Warnaar, Hall–Littlewood functions and the $A_{2}$ Rogers–Ramanujan identities, Adv. Math. 200 (2006), 403–434.
  • [76] S. O. Warnaar and W. Zudilin, Dedekind’s $\eta$-function and Rogers–Ramanujan identities, Bull. Lond. Math. Soc. 44 (2012), 1–11.
  • [77] G. N. Watson, A new proof of the Rogers–Ramanujan identities, J. Lond. Math. Soc. (2) 4 (1929), 4–9.
  • [78] G. N. Watson, Theorems stated by Ramanujan (VII): Theorems on continued fractions, J. Lond. Math. Soc. 4 (1929), 39–48.
  • [79] G. N. Watson, Theorems stated by Ramanujan (IX): Two continued fractions, J. London Math. Soc. 4 (1929), 231–237.