pith. sign in

arxiv: 2509.20316 · v5 · pith:3VIGDN2Knew · submitted 2025-09-24 · 🧮 math.NT · math.CO

Modularity from q-series

Ken Ono This is my paper

Pith reviewed 2026-05-21 22:47 UTC · model grok-4.3

classification 🧮 math.NT math.CO
keywords q-seriesmodular functionsvector-valued modular formsmonodromyanalytic continuationq-differential systemsRogers-Ramanujanpartition theory
0
0 comments X

The pith

A vector of holomorphic q-series on the unit disk forms a vector-valued modular function precisely when its associated monodromy data satisfies the modularity condition.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper supplies a necessary and sufficient criterion that decides when a collection of holomorphic q-series is modular, using only their algebraic and differential properties. It does so by embedding the series in a first-order q-differential system, continuing the solutions analytically, and reading off monodromy data that can be checked for modularity. A reader would care because many q-series arising in partitions, representation theory, and physics look modular yet have lacked a direct test. The criterion therefore offers a route to proving modularity for the Rogers-Ramanujan series and similar objects without presupposing modular behavior.

Core claim

We establish a necessary and sufficient condition for a vector of holomorphic q-series on |q|<1 to form a vector-valued modular function without modular input. The condition is obtained from q-series algebra, a first-order q-differential system, and the monodromy that appears after analytic continuation of the system.

What carries the argument

A first-order q-differential system whose solutions are analytically continued to produce monodromy data that is then checked for consistency with modular transformations.

If this is right

  • The modularity of the Rogers-Ramanujan summatory forms can be established directly from the series expressions.
  • Vectors of q-series arising in combinatorics become testable for modularity by solving the associated differential system.
  • q-series appearing in representation theory and physics obtain a uniform criterion for vector-valued modularity.
  • The method produces vector-valued modular functions from any q-series vector whose monodromy satisfies the stated condition.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same differential-system approach might apply to q-series defined on other domains or with different growth conditions.
  • It could reduce certain partition identities to checks on the monodromy of low-order linear systems.
  • The criterion suggests that algebraic relations among q-series are often sufficient to determine their global analytic properties.

Load-bearing premise

The given q-series are holomorphic inside the unit disk and can be placed inside a first-order q-differential system whose analytic continuation yields well-defined monodromy data.

What would settle it

Exhibit a concrete vector of holomorphic q-series that satisfies the differential system and has monodromy compatible with a modular group action, yet the series themselves fail to transform modularly under that group.

read the original abstract

In 1975, G. E. Andrews challenged the mathematics community to address L. Ehrenpreis' problem, which was to directly prove the modularity of the Rogers-Ramanujan $q$-series' summatory forms. This question is important because many different $q$-series appearing in combinatorics, representation theory, and physics often seem to be mysteriously modular, yet there is no general test to confirm this directly from the exotic $q$-series expressions. In this note, we answer the challenge. We use $q$-series algebra, first-order $q$-differential systems, and analytic continuation with monodromy to give a criterion that decides when such series are modular. Specifically, we establish a necessary and sufficient condition for a vector of holomorphic $q$-series on $|q|<1$ to form a vector-valued modular function without modular input, providing a clear path to modularity for strange $q$-series.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The paper claims to resolve Andrews' 1975 challenge on directly proving modularity of Rogers-Ramanujan q-series and similar objects by establishing a necessary and sufficient condition for a vector of holomorphic q-series on |q|<1 to form a vector-valued modular function. The criterion is derived from q-series algebra, first-order q-differential systems, and analytic continuation yielding monodromy data, without presupposing modular properties.

Significance. If the stated condition is rigorously necessary and sufficient and verifiable directly from the q-series coefficients and the differential system, the result would supply a general, input-free test for modularity of exotic q-series arising in combinatorics, representation theory, and physics. This addresses a long-standing gap where modularity appears mysteriously but lacks a direct verification method.

major comments (1)
  1. The central construction uses a first-order q-differential system whose analytic continuation produces monodromy data around q=0. This monodromy corresponds only to the T-generator (tau → tau+1) of SL(2,Z). Full vector-valued modularity requires compatibility with the entire group, including the S-generator (tau → −1/tau), which maps the unit disk to its exterior and necessitates continuation across |q|=1 or global paths in the tau-plane. No explicit map from the local q-monodromy matrices to the S-action, nor a proof that the differential system plus local monodromy uniquely determines the full representation, is supplied. This directly undermines the claim of a condition without modular input.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. The major comment identifies a key point about the relationship between local monodromy and the full modular group action, which we address directly below with revisions to the manuscript.

read point-by-point responses

  1. Referee: The central construction uses a first-order q-differential system whose analytic continuation produces monodromy data around q=0. This monodromy corresponds only to the T-generator (tau → tau+1) of SL(2,Z). Full vector-valued modularity requires compatibility with the entire group, including the S-generator (tau → −1/tau), which maps the unit disk to its exterior and necessitates continuation across |q|=1 or global paths in the tau-plane. No explicit map from the local q-monodromy matrices to the S-action, nor a proof that the differential system plus local monodromy uniquely determines the full representation, is supplied. This directly undermines the claim of a condition without modular input.

    Authors: We appreciate this observation on the distinction between local and global generators. The criterion in the paper is formulated so that the first-order q-differential system, together with the q-series algebra, encodes relations that permit unique analytic continuation to the full SL(2,Z) action. In the revised manuscript we add an explicit section constructing the map from the local T-monodromy matrices (obtained around q=0) to the S-action. This map is obtained by using the differential system to produce connection formulas along paths in the tau-plane that realize the inversion tau → −1/tau; the q-series coefficients determine the necessary transformation factors without external modular assumptions. We also supply a proof that the combination of the first-order system and the local monodromy data uniquely determines the representation of the entire group: because the system is linear and first-order, its solutions admit global continuation once the local monodromy is fixed, and the algebra of the q-series forces the S-compatibility to hold. The resulting necessary-and-sufficient condition therefore remains free of presupposed modular input, as verification proceeds directly from the given holomorphic q-series and the existence of a compatible differential system. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation uses independent q-algebra and monodromy tools

full rationale

The paper derives a necessary and sufficient condition for vector-valued modularity of holomorphic q-series directly from q-series algebra, first-order q-differential systems on |q|<1, and analytic continuation producing monodromy data. No quoted step reduces the claimed modularity criterion to a fitted parameter, self-defined quantity, or load-bearing self-citation that presupposes the result. The method is framed as supplying an external test without modular input, and the provided excerpts contain no equations or reductions that equate the output to the inputs by construction. This is the normal case of a self-contained derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review prevents identification of specific free parameters, axioms, or invented entities; none are mentioned in the provided text.

pith-pipeline@v0.9.0 · 5676 in / 1048 out tokens · 41457 ms · 2026-05-21T22:47:35.649865+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    L. J. Rogers,Second memoir on the expansion of certain infinite products,Proc. London Math. Soc.25(1894), 318-343. 1

    work page

  2. [2]

    L. J. Rogers and S. Ramanujan,Proof of certain identities in combinatory analysis,Proc.Cambridge Philos. Soc.19 (1919), 211-216. 1

    work page 1919

  3. [3]

    I. Schur,Ein Beitrag zur additiven Zahlentheorie und zur Theorie der Kettenbr¨ uche, Sitzungsberichte der K¨ oniglich Preussischen Akademie der Wissenschaften zu Berlin (1917), 302-321. 1, 7

    work page 1917

  4. [4]

    G. E. Andrews,The Theory of Partitions, Encyclopedia of Mathematics and its Applications, vol. 2, Addison–Wesley, Reading, MA, 1976; reprinted by Cambridge Univ. Press, 1998. 1, 7

    work page 1976

  5. [5]

    R. J. Baxter,Exactly Solved Models in Statistical Mechanics, Academic Press, London, 1982. 1

    work page 1982

  6. [6]

    Di Francesco, P

    P. Di Francesco, P. Mathieu, and D. S´ en´ echal,Conformal Field Theory, Graduate Texts in Contemporary Physics, Springer, New York, 1997. 1

    work page 1997

  7. [7]

    I. B. Frenkel, J. Lepowsky, and A. Meurman,Vertex Operator Algebras and the Monster, Pure and Applied Mathematics, Academic Press, Boston, 1988. 1

    work page 1988

  8. [8]

    Gasper and M

    G. Gasper and M. Rahman,Basic Hypergeometric Series, 2nd ed., Encyclopedia of Mathematics and its Applications, vol. 96, Cambridge Univ. Press, Cambridge, 2004. 1

    work page 2004

  9. [9]

    V. G. Kac,Infinite-Dimensional Lie Algebras, 3rd ed., Cambridge Univ. Press, Cambridge, 1990. 1

    work page 1990

  10. [10]

    Lepowsky and H

    J. Lepowsky and H. S. Li,Introduction to Vertex Operator Algebras and Their Representations, Progress in Mathematics, vol. 227, Birkh¨ auser, Boston, 2004. 1

    work page 2004

  11. [11]

    M. J. Griffin, K. Ono, S. O. Warnaar,A framework of Rogers–Ramanujan identities and their generalizations, Duke Math. J.165no. 8 (2016), 1475-1527. 1

    work page 2016

  12. [12]

    A. V. Sills,An Invitation to the Rogers–Ramanujan Identities, CRC Press, 2017. 1

    work page 2017

  13. [13]

    Ono,The Web of Modularity: Arithmetic of the Coefficients of Modular Forms and q-series, CBMS Reg

    K. Ono,The Web of Modularity: Arithmetic of the Coefficients of Modular Forms and q-series, CBMS Reg. Conf. Ser. Math. 102, AMS, 2004. 1, 3

    work page 2004

  14. [14]

    Diamond and J

    F. Diamond and J. Shurman,A First Course in Modular Forms, Graduate Texts in Mathematics, vol. 228, Springer, New York, 2005. 1, 3, 11, 12, 17

    work page 2005

  15. [15]

    Schoeneberg,Elliptic Modular Functions: An Introduction, Springer, Berlin, 1974

    B. Schoeneberg,Elliptic Modular Functions: An Introduction, Springer, Berlin, 1974. 1

    work page 1974

  16. [16]

    G. N. Watson, A new proof of the Rogers–Ramanujan identities,J. London Math. Soc.4(1929), 4–9. 1

    work page 1929

  17. [17]

    A proof of the Rogers–Ramanujan identities,

    G. N. Watson, “A proof of the Rogers–Ramanujan identities,”J. London Math. Soc.8(1933), 393–399. 1

    work page 1933

  18. [18]

    The Rogers–Ramanujan identities,

    D. Zagier, “The Rogers–Ramanujan identities,” inThe 1-2-3 of Modular Forms(J. H. Bruinier et al., eds.), Universitext, Springer, Berlin, 2008, pp. 67–84. 1

    work page 2008

  19. [19]

    G. E. Andrews,Problems and Prospects for Basic Hypergeometric Functions, in: R. Askey (ed.),Theory and Application of Special Functions, Academic Press, 1975. 2

    work page 1975

  20. [20]

    Askey,The Work of George Andrews: A Madison Perspective, S´ eminaire Lotharingien de Combinatoire42(1999), Article B42q

    R. Askey,The Work of George Andrews: A Madison Perspective, S´ eminaire Lotharingien de Combinatoire42(1999), Article B42q. 2

    work page 1999

  21. [21]

    Lewis, D

    J. Lewis, D. Zagier,Period functions for Maass wave forms. I, Ann. of Math. (2)153(2001), 191–258. 5

    work page 2001

  22. [22]

    Nahm,Conformal field theory and torsion elements of the Bloch group, Comm

    W. Nahm,Conformal field theory and torsion elements of the Bloch group, Comm. Math. Phys.160(1994), 285–316. 5

    work page 1994

  23. [23]

    Nahm,Conformal field theory and the Bloch group, in:Frontiers in Number Theory, Physics, and Geometry II (P

    W. Nahm,Conformal field theory and the Bloch group, in:Frontiers in Number Theory, Physics, and Geometry II (P. Cartier et al., eds.), Springer, Berlin, 2007, pp. 409–431. 5

    work page 2007

  24. [24]

    Zagier,The dilogarithm function, in:Frontiers in Number Theory, Physics, and Geometry II(P

    D. Zagier,The dilogarithm function, in:Frontiers in Number Theory, Physics, and Geometry II(P. Cartier et al., eds.), Springer, Berlin, 2007, pp. 3–65. 5

    work page 2007

  25. [25]

    Vlasenko and S

    M. Vlasenko and S. Zwegers,Nahm sums, modularity and asymptotics,Int. Math. Res. Not. IMRN(2011), no. 24, 5367–5393. 5 18 KEN ONO

    work page 2011

  26. [26]

    Calegari, S

    F. Calegari, S. Garoufalidis, and D. Zagier,Bloch groups, algebraic K-theory, units, and Nahm’s conjecture, Annales Scientifiques de l’ ´Ecole Normale Sup´ erieure (4e s´ erie)56(2023), no. 2, 383-426. 5

    work page 2023

  27. [27]

    Mizuno,Remarks on Nahm sums for symmetrizable matrices, Ramanujan J 66, 62 (2025)

    Y. Mizuno,Remarks on Nahm sums for symmetrizable matrices, Ramanujan J 66, 62 (2025). https://doi.org/10.1007/s11139-025-01033-6. 5

    work page doi:10.1007/s11139-025-01033-6 2025

  28. [28]

    G. E. Andrews,An analytic generalization of the Rogers–Ramanujan identities for odd moduli, Proc. Natl. Acad. Sci. USA71(1974), no. 10, 4082–4085. 6

    work page 1974

  29. [29]

    Gordon,A combinatorial generalization of the Rogers–Ramanujan identities, Amer

    B. Gordon,A combinatorial generalization of the Rogers–Ramanujan identities, Amer. J. Math.83(1961), no. 2, 393–399. 6

    work page 1961

  30. [30]

    S. O. Warnaar,The Andrews–Gordon identities and q-multinomial coefficients, Comm. Math. Phys.184(1997), 203–232. 6, 16

    work page 1997

  31. [31]

    Zhu,Modular invariance of characters of vertex operator algebras, J

    Y. Zhu,Modular invariance of characters of vertex operator algebras, J. Amer. Math. Soc.9(1996), no. 1, 237–302. doi: 10.1090/S0894-0347-96-00182-8. 6

    work page doi:10.1090/s0894-0347-96-00182-8 1996

  32. [32]

    E. A. Coddington and N. Levinson,Theory of Ordinary Differential Equations, McGraw–Hill, New York, 1955. 12, 13, 15 Dept. of Mathematics, University of Virginia, Charlottesville, V A 22904, USA Email address:ko5wk@virginia.edu

    work page 1955