Relative Galois module structure of rings of integers and elliptic functions. II
type: Item
instance of: scholarly article
title: Relative Galois module structure of rings of integers and elliptic functions. II
zbMATH Open document ID: 0594.12008
DOI: 10.2307/1971208
published in: Annals of Mathematics. Second Series
publication date: 1985-01-01T00:00:00Z
review text: This paper is one of a series by the author [for part I, see Math. Proc. Camb. Philos. Soc. 94, 389-397 (1983; Zbl 0532.12009)] which represents a breakthrough in a subject which has been considered in vain by a number of mathematicians: the aim is to find elliptic analogues of the classical cyclotomic results on Galois module generators. In this paper an analogue is offered for the following classical result of Leopoldt: ''Let \(n>1\) and let \(\zeta\) denote a primitive \(n^ 2\)-th root of unity. We set \(M={\mathbb{Q}}(\zeta)\), \(H={\mathbb{Q}}(\zeta^ n)\), and we let \({\mathfrak M}\) denote the maximal order in the group ring \(H\Gamma\). Then \({\mathcal O}_ M\), the ring of algebraic integers in M, is a free, rank one \({\mathfrak M}\)- module on \((1-\zeta^ n)/(1-\zeta)''.\) The elliptic analogue is ''Let \(K\to {\mathbb{C}}\) be a quadratic number field with discriminant \(<-4\) such that 2 is split in K/\({\mathbb{Q}}\), let \(\pi\in {\mathcal O}_ K\) with \(\pi\) \(\equiv 1 (4)\), all primes in K dividing \(\pi\) are split over \({\mathbb{Q}}\). Let N (resp. L) denote the ray class field of K with conductor \(4\pi^ 2 {\mathcal O}_ K\) (resp. \(4\pi\) \({\mathcal O}_ K)\) and \(\Gamma =Gal(N/K)\). Let \({\mathfrak N}\) denote the \({\mathcal O}_ L\)-order in \(L\Gamma\) which is 'outside (\(\pi)\)' equal to \({\mathcal O}_ L \Gamma\) and 'at (\(\pi)\)' equal to the maximal order. The ring \({\mathcal O}_ N\) is then a free, rank one \({\mathfrak N}\)-module on \((D(\alpha)/D(\pi \alpha))(1+\gamma /2)\). Here D is a specific elliptic function on \({\mathbb{C}}/n {\mathcal O}_ K\) \((n=\pi {\tilde \pi})\), \(\alpha\) is a particular choice of a \(4\pi^ 2\)-division point for \({\mathbb{C}}/n {\mathcal O}_ K\), \(\gamma\) is a generator of the cyclic group \(\Gamma\).'' The source which the author uses for the elliptic functions in his constructions is \textit{R. Fueter}'s'' Vorlesungen über die singulären Moduln und die komplexe Multiplikation der elliptisc…
Mathematics Subject Classification ID: 11R32
Mathematics Subject Classification ID: 33E05
Mathematics Subject Classification ID: 11R33
Mathematics Subject Classification ID: 14H05
Mathematics Subject Classification ID: 11R52
zbMATH DE Number: 3955048
zbMATH Keywords: Galois module generators
zbMATH Keywords: ring of algebraic integers
zbMATH Keywords: ray class field
zbMATH Keywords: maximal order
zbMATH Keywords: elliptic function
author: Martin J. Taylor
reviewed by: J. Brinkhuis
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/1971208
OpenAlex ID: W2326198826
description: scientific article; zbMATH DE number 3955048