The Atkin orthogonal polynomials for congruence subgroups of low levels
type: Item
instance of: scholarly article
title: The Atkin orthogonal polynomials for congruence subgroups of low levels
zbMATH Open document ID: 1181.11037
author: Hiroyuki Tsutsumi
published in: The Ramanujan Journal
publication date: 2008-05-20T00:00:00Z
review text: Let \({\mathcal M}_N\) denote the ring of modular functions for the group \(\Gamma_0(N)\) which are holomorphic on the upper half plane and at all cusps except for \(i\infty\). The Atkin inner product \(A^{(N)}(f,g)\) is defined for \(f,g\in{\mathcal M}_N\). It has several properties in commen with the Petersson inner product for cusp forms. For \(N= 1\), A. O. L. Atkin found the inner product and its relation to supersingular elliptic curves over finite fields, but he did not publish his results. Atkin's results and further properties for \(N= 1\) were elaborated by \textit{M. Kaneko} and \textit{D. Zagier} [AMS/IP Stud. Adv. Math. 7, 97--126 (1998; Zbl 0955.11018)]. The author [J. Math. Kyoto Univ. 40, No. 4, 751--773 (2000; Zbl 0993.11021)] defined the Atkin inner product for arbitrary \(N\) and showed that the Hecke operators are self-adjoint with respect to this product. In the paper under review he generalizes Kaneko's and Zagier's results to those groups \(\Gamma_0(N)\) which are noncompact triangle groups, which embraces just the cases \(N\leq 4\). Then a function \(j_N\) is explicitly defined such that \({\mathcal M}_N\) coincides with the polynomial ring \(\mathbb C[j_N]\). (Of course, \(j_1\) is the elliptic invariant.) In Theorem 1, the Atkin inner product is defined by a certain Laurent coefficient, it is identified with a line integral in the upper half plane, and it is shown to be positive definite on \(\mathbb{R}[j_N]\). In Theorem 2, a sequence of orthogonal polynomials \(A^{(N)}_n\) for \(A^{N)}\) is introduced by a recursion and described by explicit formulas. In Theorem 3 it is shown that the degree \(n\) polynomial \(A^{(N)}_n\) has \(n\) distinct roots in a certain open interval. Theorem 4 gives the relation between \(A^{(N)}_{n_p}(X)\) and supersingular elliptic curves over a field \(K\) with prime characteristic \(p\). These curves have no torsion over the algebraic closure of \(K\). Their number \(n_p\) is finite. Theorem 4 states that \(A^{…
Mathematics Subject Classification ID: 11F03
Mathematics Subject Classification ID: 11F11
Mathematics Subject Classification ID: 11F25
zbMATH DE Number: 5277381
zbMATH Keywords: modular form
zbMATH Keywords: hypergeometric series
zbMATH Keywords: Atkin's orthogonal polynomials
reviewed by: Günter Köhler
MaRDI profile type: Publication
full work available at URL: s11139-007-9026-8
OpenAlex ID: W1987625821
cites work: Die Typen der Multiplikatorenringe elliptischer Funktionenkörper
cites work: Orthogonal polynomials of several variables
cites work: Q4767396
cites work: On modular forms arising from a differential equation of hypergeometric type
cites work: Q4213385
cites work: Q3710637
cites work: Classical automorphic forms and hypergeometric functions
cites work: A characterization of arithmetic Fuchsian groups
DOI: 10.1007/S11139-007-9026-8
Recommended article: The Atkin inner product for \(\Gamma_0(N)\)
Recommended article: Q4213385
Recommended article: SUPERSINGULAR RANK TWO DRINFEL'D MODULES AND ANALOGS OF ATKIN'S ORTHOGONAL POLYNOMIALS
Recommended article: THE ATKIN ORTHOGONAL POLYNOMIALS FOR THE LOW-LEVEL FRICKE GROUPS AND THEIR APPLICATION
Recommended article: Special values of modular functions on Hecke groups
Recommended article: Modular forms and period polynomials
Recommended article: Q4875861
Recommended article: Supersingular module, Gross-Kudla formula and rational points of modular curves
Recommended article: Kernels of \(L\)-functions of cusp forms
Recommended article: Q2940199
description: scientific article; zbMATH DE number 5277381