Fuchsian groups, automorphic functions and Schwarzians
type: Item
instance of: scholarly article
title: Fuchsian groups, automorphic functions and Schwarzians
zbMATH Open document ID: 0958.11030
author: John McKay
author: Abdellah Sebbar
published in: Mathematische Annalen
publication date: 2001-04-11T00:00:00Z
review text: Let \(G\) be a finitely generated Fuchsian group of the first kind acting on the upper half-plane such that the compactification of the associated Riemann surface has genus zero, and assume that the transformation \(\tau\mapsto \tau+1\) generates the stabilizer of \(\infty\) in \(G\). Moreover, let \(f\) be a Hauptmodul for \(G\) such that \(f\) has the Fourier expansion \[ f(\tau)= \tfrac 1q+ \sum_{n=1}^\infty a_nq^n \tag{1} \] \((q= \exp (2\pi i\tau))\) at \(\infty\). For such an \(f\) and any natural number \(n\) there exists a unique monic polynomial \(P_n\) of degree \(n\) such that \(P_n(f)- q^{-n}\) has a power series expansion in \(q\) with constant term zero. The authors show how to find \(P_n\), and they develop a relation between \(P_n(f)\) and the Schwarzian \(\{f,\tau\}\). The Schwarzian \(\{f,\tau\}\) is an automorphic form of weight 4 (precisely) for the normalizer of \(G\) in \(SL_2(\mathbb{R})\) with poles of order 2 in the elliptic fixed points which is holomorphic at the cusps. Example: \(\{\lambda,\tau\}= \pi^2 E_4(\tau)\) where \(\lambda\) denotes the Legendre modular form and \(E_4\) the normalized Eisenstein series of weight 4 on \(SL_2(\mathbb{Z})\). A major aim of the work under review is to determine all genus zero groups \(G\) containing some \(\Gamma_0(n)\) as a subgroup with finite index such that the stabilizer of \(\infty\) is generated by \(\tau\mapsto \tau+1\) and such that \(G\) contains no elliptic elements. The authors determine all natural numbers \(n\) such that \(\Gamma_0(n)\) or a conjugate satisfies these conditions. There are 14 such groups which have Hauptmoduls given by eta-products; the associated Schwarzians are evaluated in terms of classical theta or Eisenstein series. There are only 3 more groups with the above properties which are not equal to some \(\Gamma_0(n)\) or a conjugate. The corresponding Hauptmoduls and their Schwarzians are also determined.
reviewed by: Jürgen Elstrodt
Mathematics Subject Classification ID: 11F11
Mathematics Subject Classification ID: 30F35
Mathematics Subject Classification ID: 20H05
Mathematics Subject Classification ID: 11F03
Mathematics Subject Classification ID: 11F20
Mathematics Subject Classification ID: 11F27
zbMATH DE Number: 1546881
zbMATH Keywords: modular form
zbMATH Keywords: Hauptmodul
zbMATH Keywords: Schwarzian derivative
zbMATH Keywords: moonshine
zbMATH Keywords: genus zero groups
Wikidata QID: Q56688849
MaRDI profile type: Publication
full work available at URL: s002080000116
OpenAlex ID: W2002091134
DOI: 10.1007/S002080000116
Recommended article: Fuchsian groups, Schwarzians, and theta functions
Recommended article: Q5488761
Recommended article: Q3676347
Recommended article: Automorphic Forms and Poincare Series for Infinitely Generated Fuchsian Groups
Recommended article: Fuchsian Groups and Algebraic Number Fields
Recommended article: Automorphic functions for a Kleinian group
Recommended article: On the Automorphic Group of an Entire Function
Recommended article: Q5810105
Recommended article: Automorphism groups of Fano manifolds
description: scientific article; zbMATH DE number 1546881