Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2605.23383

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

Yuichi Sakai·Hiroyuki Tsutsumi
View original source ↗Read source document ↗Export metadata ↓

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 $Γ(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.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yuichi Sakai, Hiroyuki Tsutsumi. 2026-07-08. On modular forms of rational weight satisfying the canonical second-order linear modular differential equation. https://arxiv.org/abs/2605.23383

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Asymptotic density of k-almost primes

Landau's well known asymptotic formula $$N_k(x):=\ \mid\{n\leq x : Ω(n)=k\}\mid \ \sim \left( \frac{x}{\log x} \right) \frac{(\log\log x)^{k-1}}{(k - 1)!}\ \ (x \rightarrow \infty),$$ which also holds for $$π_k(x):=\ \mid\{n\leq x : ω(n)=k\}\mid,$$ is known to be fairly poor for $k > 1$, and when $k$ is allowed to tend to infinity with $x$, the study of $N_k(x)$ and $π_k(x)$ becomes very technical [1, Chapter II.6, $§$ 6.1, p.200]. I hope to show that the method described below provides not only a more accurate approach, but rather increases in its asymptotic accuracy as $k$ tends to infinity.

math.NT↗
arXiv2026

Real quadratic base changes for $\mathrm{GL}_3$ and integral periods relations

We prove a $p$-adic divisibility between the automorphic periods of a cuspidal automorphic representation of $\mathrm{GL}_3(\mathbb{Q})$ and the periods of its Arthur-Clozel's base change to some real quadratic field $E$. This generalizes earlier works of Tilouine-Urban and of Hida in the case of classical modular forms. The divisibility we prove involves a new kind of automorphic periods, defined using the middle degree of the cuspidal cohomology of $\mathrm{GL}_3(E)$, instead of the top or bottom degrees. We also investigate the Rogawski's stable base change from the quasi-split unitary group $U_E$ associated with $E$ to $\mathrm{GL}_3(E)$. In this situation, we also obtain some results toward a $p$-adic divisibility of automorphic periods.

math.NT↗