The equations for modular function fields of principal congruence subgroups of prime level
type: Item
instance of: scholarly article
title: The equations for modular function fields of principal congruence subgroups of prime level
zbMATH Open document ID: 0871.11031
DOI: 10.1007/BF02568306
author: Nobuhiko Ishida
author: Noburo Ishii
published in: Manuscripta Mathematica
publication date: 1997-09-23T00:00:00Z
full work available at URL: https://eudml.org/doc/156193
review text: For a prime \(p\geq 7\) let \(A(p)\) denote the field of all modular functions on the principal congruence subgroup \(\Gamma(p)\) of level \(p\) in \(\text{SL}_2(\mathbb{Z})\). This field is generated by two functions \(X_2\) and \(X_3\), which are defined by means of so-called Klein forms [\textit{D. Kubert} and \textit{S. Lang}, Math. Ann. 218, 175-189 (1975; Zbl 0311.14005)], and which have zeros and poles only at cusps of \(\Gamma(p)\). The authors show that \(X_3\) is integral over the ring \(\mathbb{Z}[X_2]\), they give detailed information on the irreducible equation \(F_p(X_2,X_3)=0\) of \(X_3\) over \(\mathbb{Z}[X_2]\), and they present an algorithm to compute the polynomial \(F_p(X,Y)\). The result is derived from the behavior of \(X_2\) and \(X_3\) at the cusps of \(\Gamma(p)\), which determines the type of Newton polygon at the places of \(\mathbb{C}(X_2(\tau))\) of an irreducible polynomial of \(X_3(\tau)\) over \(\mathbb{C}(X_2(\tau))\).
reviewed by: Günter Köhler
Mathematics Subject Classification ID: 11F03
Mathematics Subject Classification ID: 14H05
zbMATH DE Number: 952690
zbMATH Keywords: modular function fields
zbMATH Keywords: principal congruence subgroups of prime level
zbMATH Keywords: algorithm
zbMATH Keywords: Newton polygon
MaRDI profile type: Publication
cites work: Q4878692
cites work: Q3139838
cites work: Q3320465
cites work: On the Modular Curves X 0 (125), X 1 (25), X 1 (49)
cites work: Units in the modular function field. I. - II: A full set of units. - III: Distribution relations
cites work: Q4075566
cites work: Q4114234
cites work: Q3714149
cites work: Q5181799
cites work: Q5625265
cites work: Q5799167
description: scientific article; zbMATH DE number 952690