On modular forms of rational weight satisfying the canonical second-order linear modular differential equation

Hiroyuki Tsutsumi; Yuichi Sakai

arxiv: 2605.23383 · v1 · pith:SNVRJJXDnew · submitted 2026-05-22 · 🧮 math.NT

On modular forms of rational weight satisfying the canonical second-order linear modular differential equation

Yuichi Sakai , Hiroyuki Tsutsumi This is my paper

Pith reviewed 2026-05-25 03:47 UTC · model grok-4.3

classification 🧮 math.NT

keywords Kaneko-Zagier equationmodular differential equationsmodular formsrational weightshypergeometric equationsmonodromy representationsprincipal congruence subgroupsconnection matrices

0 comments

The pith

The Kaneko-Zagier equation admits modular form solutions on principal congruence subgroups only for weights k congruent to 1/2, 7/2, 1, 2, 3 modulo 6 or equal to (6n+1)/5.

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

The paper transforms the Kaneko-Zagier differential equation into a hypergeometric equation and examines the global analytic continuation of its solutions. It constructs explicit monodromy representation matrices for the elements of Gamma(N) and derives algebraic conditions for these matrices to commute with the group generators. These commutativity constraints are then used to classify all rational weights k that allow the solutions to be modular forms, showing that the possible weights fall strictly into the listed congruence classes and arithmetic progression. The classification confirms that no additional modular solutions exist beyond those previously found by Kaneko and Koike.

Core claim

Transforming the KZ equation to hypergeometric form and imposing commutativity of the resulting connection matrices with the generators of Gamma(N) yields that modular solutions exist precisely when the weight satisfies k ≡ 1/2, 7/2, 1, 2, 3 (mod 6) or k = (6n+1)/5.

What carries the argument

The commutativity conditions on the monodromy representation matrices (connection matrices) associated to the generators of Gamma(N), which determine when the hypergeometric solutions descend to modular forms.

If this is right

The set of admissible rational weights is discrete and completely enumerated by the five congruence classes modulo 6 and the single arithmetic progression.
The commutative algebras generated by the connection matrices stand in direct analogy with commuting transfer matrices of quantum integrable systems.
No modular solutions on any principal congruence subgroup exist for rational weights outside the enumerated families.

Where Pith is reading between the lines

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

The same monodromy-commutativity technique could be applied to other linear differential equations whose solutions are expected to have automorphic properties.
The restriction on weights may imply corresponding limitations on the possible orders of poles or zeros in associated q-expansions for these modular solutions.
The result suggests that searches for new modular solutions to related equations should focus exclusively on the identified weight families.

Load-bearing premise

Commutativity of the connection matrices with the generators of Gamma(N) is necessary and sufficient for the hypergeometric solutions to be modular forms on that subgroup.

What would settle it

Exhibit a weight k outside the listed classes together with some N for which the KZ equation nevertheless possesses a fundamental system of modular solutions on Gamma(N).

read the original abstract

In this paper, we completely classify the rational weights $k$ for which the Kaneko-Zagier (KZ) differential equation admits a fundamental system of solutions consisting of modular forms for a principal congruence subgroup $\Gamma(N)$. By transforming the KZ equation into a hypergeometric differential equation, we study the global analytic continuation of its solutions, adopting an approach analogous to Stiller's work on Picard-Fuchs equations. We explicitly construct the monodromy representation matrices corresponding to the elements of the principal congruence subgroups and completely determine the algebraic conditions under which these connection matrices commute. Leveraging these stringent commutativity constraints, we prove that the weights $k$ yielding modular solutions are strictly limited to $k \equiv 1/2, 7/2, 1, 2, 3 \pmod{6}$ and $k = (6n+1)/5$, thereby demonstrating that no modular solutions exist beyond those previously discovered by Kaneko and Koike. Furthermore, the commutative algebras generated by these connection matrices reveal a profound analogy with commuting transfer matrices in quantum integrable systems.

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.

Desk Editor's Note private letter to a colleague

This paper gives a monodromy commutativity proof that pins the rational weights for modular solutions of the KZ equation to the known lists, but the step claiming commutativity suffices for the actual weight-k transformation law needs closer checking.

read the letter

The core result is a classification: only k congruent to 1/2, 7/2, 1, 2, 3 mod 6 or of the form (6n+1)/5 yield modular solutions on some Gamma(N). They reach this by converting the KZ equation to hypergeometric form, constructing explicit monodromy matrices for the generators, and imposing algebraic commutativity conditions on those matrices. This route is new compared with the earlier Kaneko-Koike examples; it supplies a completeness argument rather than just more cases, and the transfer-matrix analogy is a clean observation. The explicit matrix work and the global analytic continuation step are the parts that look solid on the description given. The soft spot is the jump from matrix commutativity to the functions actually satisfying the modular transformation f(gamma tau) = chi(gamma) (c tau + d)^k f(tau). For rational k the local branching around cusps and the precise matching of hypergeometric branches to modular forms can impose extra conditions that matrix-level compatibility alone may not capture. The paper treats commutativity as necessary and sufficient after the continuation, but without seeing the explicit verification that the automorphy factor comes out right, that link stays the weakest part. Minor issues like the scope of the subgroups considered are secondary. This is for specialists in modular differential equations and hypergeometric monodromy in number theory; anyone already following the Kaneko-Zagier literature will find the new proof route useful. It is worth sending to a serious referee because the claim is a clean completeness statement and the method is concrete enough that referees can check the matrix calculations directly.

Referee Report

1 major / 0 minor

Summary. The paper claims to completely classify rational weights k for which the Kaneko-Zagier (KZ) differential equation admits fundamental solutions that are modular forms on a principal congruence subgroup Γ(N). It transforms the KZ equation to hypergeometric form, performs global analytic continuation, explicitly constructs monodromy matrices for generators of Γ(N), derives algebraic commutativity conditions on these matrices, and concludes that the only such k are those satisfying k ≡ 1/2, 7/2, 1, 2, 3 (mod 6) or k = (6n+1)/5, with no others existing beyond the cases found by Kaneko and Koike. It also notes an analogy between the resulting commutative algebras and transfer matrices in quantum integrable systems.

Significance. If the central argument holds, the result provides a rigorous and exhaustive classification of rational weights yielding modular solutions to the KZ equation on Γ(N), confirming the completeness of previously known examples and ruling out additional rational weights. The explicit monodromy construction and commutativity analysis offer a concrete algebraic criterion, and the analogy to integrable systems may suggest broader connections, though the primary value lies in the classification itself.

major comments (1)

[Abstract (paragraph on monodromy construction and commutativity constraints); the section deriving algebraic conditions] The manuscript states that commutativity of the constructed connection matrices with the generators of Γ(N) is necessary and sufficient for the hypergeometric solutions to descend to modular forms on Γ(N) (invoked after the transformation to hypergeometric form and the study of global analytic continuation). However, for rational (including non-integral) weights, commutativity of the monodromy representation ensures compatibility at the level of matrices but does not automatically guarantee that the local solutions satisfy the precise automorphy relation f(γτ) = χ(γ)(cτ + d)^k f(τ) with the correct multiplier system χ and branching behavior at cusps. The paper should supply an explicit verification or a cited theorem establishing why matrix commutativity alone implies the full modular transformation law in this setting, as this step is load-bearing for the classification claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their detailed reading and for identifying a key point in the logical chain from monodromy commutativity to the modular transformation law. We address the concern directly below and will revise the manuscript to strengthen this step.

read point-by-point responses

Referee: [Abstract (paragraph on monodromy construction and commutativity constraints); the section deriving algebraic conditions] The manuscript states that commutativity of the constructed connection matrices with the generators of Γ(N) is necessary and sufficient for the hypergeometric solutions to descend to modular forms on Γ(N) (invoked after the transformation to hypergeometric form and the study of global analytic continuation). However, for rational (including non-integral) weights, commutativity of the monodromy representation ensures compatibility at the level of matrices but does not automatically guarantee that the local solutions satisfy the precise automorphy relation f(γτ) = χ(γ)(cτ + d)^k f(τ) with the correct multiplier system χ and branching behavior at cusps. The paper should supply an explicit verification or a cited theorem establishing why matrix commutativity alone implies

Authors: We agree that the passage from matrix commutativity to the full automorphy relation (including the precise multiplier system χ and cusp branching) requires explicit justification when k is rational but non-integral. Our construction follows the global analytic continuation method of Stiller for Picard-Fuchs equations, in which the hypergeometric solutions are continued along paths corresponding to generators of Γ(N) and the local exponents at cusps are matched to the weight k. The algebraic commutativity conditions we derive ensure that the monodromy representation is compatible with the group action, so that analytic continuation around any γ ∈ Γ(N) multiplies the solution vector by a scalar factor that, when combined with the explicit (cτ + d)^k prefactor arising from the weight, yields the required automorphy. Nevertheless, to make this implication fully transparent, we will insert a short lemma (with a self-contained verification for the rational cases under consideration) immediately after the construction of the monodromy matrices. The lemma will cite the relevant results from Stiller and from the theory of hypergeometric monodromy representations to confirm that commutativity plus the local exponent data imply the existence of a multiplier system χ such that the solutions satisfy the stated transformation law. This addition will not alter the classification but will render the argument self-contained. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation derives commutativity conditions directly from the DE and group action.

full rationale

The paper transforms the KZ equation to hypergeometric form, constructs explicit monodromy matrices for Γ(N) generators, and extracts algebraic conditions on k from the requirement that these matrices commute. These steps operate on the differential equation and its analytic continuation without any reduction to fitted inputs, self-definitions, or load-bearing self-citations. The claim that commutativity yields modular solutions on Γ(N) is asserted as a consequence of the construction rather than presupposed by redefining the target property in terms of itself. No ansatz is smuggled via prior work by the same authors, and the listed weights emerge as solutions to the derived algebraic constraints rather than being presupposed. The derivation is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard background facts from the theory of linear differential equations and modular forms; no free parameters or new postulated entities are introduced.

axioms (2)

domain assumption The Kaneko-Zagier equation can be transformed into a hypergeometric differential equation while preserving the global analytic properties needed for monodromy analysis.
Invoked to enable the study of analytic continuation and connection matrices.
domain assumption Solutions consist of modular forms for Γ(N) precisely when the associated connection matrices commute with the generators of that group.
This is the load-bearing condition used to extract the algebraic restrictions on k.

pith-pipeline@v0.9.0 · 5722 in / 1395 out tokens · 30765 ms · 2026-05-25T03:47:07.076016+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

[1]

Period functions of half-integral weight modular forms

Dohoon Choi, Subong Lim, and Wissam Raji. Period functions of half-integral weight modular forms. Journal de Th´ eorie des Nombres de Bordeaux, 27:33–45, 2015

work page 2015
[2]

Conway and A

John H. Conway and A. J. Jones. Trigonometric diophantine equations (On vanishing sums of roots of unity).Acta Arithmetica, 30(3):229–240, 1976

work page 1976
[3]

Hypergeometric series, modular linear differential equations and vector-valued modular forms.Ramanujan J., 41(1–3):233–267, 2016

Cameron Franc and Geoffrey Mason. Hypergeometric series, modular linear differential equations and vector-valued modular forms.Ramanujan J., 41(1–3):233–267, 2016

work page 2016
[4]

Guerzhoy

P. Guerzhoy. A mixed mock modular solution of Kaneko-Zagier equation.The Ramanujan Journal, 36(1– 2):149–164, 2015

work page 2015
[5]

Complete list of connection relations for Gauss hypergeometric differential equation

Yoshishige Haraoka. Complete list of connection relations for Gauss hypergeometric differential equation. Kumamoto J. Math, 35:1–60, 2022

work page 2022
[6]

M. Kaneko. On modular forms of weight (6n+ 1)/5 satisfying a certain differential equation. InNumber Theory, volume 15 ofDevelopments in Mathematics, pages 97–102. Springer, New York, 2006

work page 2006
[7]

Kaneko and M

M. Kaneko and M. Koike. On modular forms arising from a differential equation of hypergeometric type. Ramanujan J., 7(1–3):145–164, 2003. Rankin Memorial Issues

work page 2003
[8]

Kaneko and D

M. Kaneko and D. Zagier. Supersingularj-invariants, hypergeometric series, and Atkin’s orthogonal polynomials.AMS/IP Studies in Advanced Mathematics, 7:97–126, 1998

work page 1998
[9]

S. D. Mathur, S. Mukhi, and A. Sen. On the classification of rational conformal field theories.Phys. Lett. B, 213(3):303–308, 1988

work page 1988
[10]

Classical and quantum conformal field theory.Communications in Mathematical Physics, 123(2):177–254, 1989

Gregory Moore and Nathan Seiberg. Classical and quantum conformal field theory.Communications in Mathematical Physics, 123(2):177–254, 1989

work page 1989
[11]

P. F. Stiller. Differential equations associated with elliptic surfaces.Journal of the Mathematical Society of Japan, 32(2):203–233, 1981

work page 1981
[12]

P. F. Stiller. A note on automorphic forms of weight one and weight three.Transactions of the American Mathematical Society, 291(2):503–518, 1985

work page 1985
[13]

P. F. Stiller. Classical automorphic forms and hypergeometric functions.Journal of Number Theory, 28:219–232, 1988

work page 1988
[14]

Modular differential equations of second order with regular singularities at elliptic points forSL 2(Z).Proc

Hiroyuki Tsutsumi. Modular differential equations of second order with regular singularities at elliptic points forSL 2(Z).Proc. Amer. Math. Soc., 134(4):931–941, 2006. Kurume Institute of Technology 2228-66, Kamitsu, Kurume, Fukuoka 830-0052, JAPAN Email address:dynamixaxs@gmail.com Osaka University of Health and Sport Science 1-1, Asashirodai, Kumatori-...

work page 2006

[1] [1]

Period functions of half-integral weight modular forms

Dohoon Choi, Subong Lim, and Wissam Raji. Period functions of half-integral weight modular forms. Journal de Th´ eorie des Nombres de Bordeaux, 27:33–45, 2015

work page 2015

[2] [2]

Conway and A

John H. Conway and A. J. Jones. Trigonometric diophantine equations (On vanishing sums of roots of unity).Acta Arithmetica, 30(3):229–240, 1976

work page 1976

[3] [3]

Hypergeometric series, modular linear differential equations and vector-valued modular forms.Ramanujan J., 41(1–3):233–267, 2016

Cameron Franc and Geoffrey Mason. Hypergeometric series, modular linear differential equations and vector-valued modular forms.Ramanujan J., 41(1–3):233–267, 2016

work page 2016

[4] [4]

Guerzhoy

P. Guerzhoy. A mixed mock modular solution of Kaneko-Zagier equation.The Ramanujan Journal, 36(1– 2):149–164, 2015

work page 2015

[5] [5]

Complete list of connection relations for Gauss hypergeometric differential equation

Yoshishige Haraoka. Complete list of connection relations for Gauss hypergeometric differential equation. Kumamoto J. Math, 35:1–60, 2022

work page 2022

[6] [6]

M. Kaneko. On modular forms of weight (6n+ 1)/5 satisfying a certain differential equation. InNumber Theory, volume 15 ofDevelopments in Mathematics, pages 97–102. Springer, New York, 2006

work page 2006

[7] [7]

Kaneko and M

M. Kaneko and M. Koike. On modular forms arising from a differential equation of hypergeometric type. Ramanujan J., 7(1–3):145–164, 2003. Rankin Memorial Issues

work page 2003

[8] [8]

Kaneko and D

M. Kaneko and D. Zagier. Supersingularj-invariants, hypergeometric series, and Atkin’s orthogonal polynomials.AMS/IP Studies in Advanced Mathematics, 7:97–126, 1998

work page 1998

[9] [9]

S. D. Mathur, S. Mukhi, and A. Sen. On the classification of rational conformal field theories.Phys. Lett. B, 213(3):303–308, 1988

work page 1988

[10] [10]

Classical and quantum conformal field theory.Communications in Mathematical Physics, 123(2):177–254, 1989

Gregory Moore and Nathan Seiberg. Classical and quantum conformal field theory.Communications in Mathematical Physics, 123(2):177–254, 1989

work page 1989

[11] [11]

P. F. Stiller. Differential equations associated with elliptic surfaces.Journal of the Mathematical Society of Japan, 32(2):203–233, 1981

work page 1981

[12] [12]

P. F. Stiller. A note on automorphic forms of weight one and weight three.Transactions of the American Mathematical Society, 291(2):503–518, 1985

work page 1985

[13] [13]

P. F. Stiller. Classical automorphic forms and hypergeometric functions.Journal of Number Theory, 28:219–232, 1988

work page 1988

[14] [14]

Modular differential equations of second order with regular singularities at elliptic points forSL 2(Z).Proc

Hiroyuki Tsutsumi. Modular differential equations of second order with regular singularities at elliptic points forSL 2(Z).Proc. Amer. Math. Soc., 134(4):931–941, 2006. Kurume Institute of Technology 2228-66, Kamitsu, Kurume, Fukuoka 830-0052, JAPAN Email address:dynamixaxs@gmail.com Osaka University of Health and Sport Science 1-1, Asashirodai, Kumatori-...

work page 2006