Construction of ray class fields by elliptic units (Q1388993): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3953865 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3246482 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some applications of Kronecker's limit formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: Galoismodulstruktur und elliptische Funktionen. (Galois module structure and elliptic functions) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Problèmes de construction en multiplication complexe / rank
 
Normal rank
Property / cites work
 
Property / cites work: Zur expliziten Berechnung von Ganzheitsbasen in Strahlklassenkörpern über einem imaginär-quadratischen Zahlkörper. (On the explicit calculation of integral bases in ray class fields over an imaginary quadratic number field) / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(L\)-functions at \(s=1\). IV: First derivatives at \(s=0\) / rank
 
Normal rank

Latest revision as of 11:58, 28 May 2024

scientific article
Language Label Description Also known as
English
Construction of ray class fields by elliptic units
scientific article

    Statements

    Construction of ray class fields by elliptic units (English)
    0 references
    0 references
    21 September 1998
    0 references
    Let \(K\) be an imaginary quadratic field, and let \(K(\mathfrak f)\) be a ray class field over \(K\), where the conductor \(\mathfrak f\) is an integral ideal of the ring of integers of \(K\). Let \(\omega_1,\omega_2\) be a \(\mathbb Z\)-basis of \(\mathfrak f\) with \(\text{Im} (\omega_1/\omega_2)>0\). The normalized Klein form is defined by \[ \varphi(z)=2\pi i\exp(-zz^\ast/2)\sigma(z\mid\mathfrak f) \eta(\omega_1/\omega_2)^2\omega_2^{-1}, \] where \(\sigma\) denotes the \(\sigma\)-function of \(\mathfrak f\), \(\eta\) is the Dedekind \(\eta\)-function, and \(z^\ast\) is defined by \(z^\ast=z_1\eta_1+ z_2\eta_2\) with the real coordinates \(z_1,z_2\) of \(z=z_1\omega_1+z_2\omega_2\) and the quasi-periods \(\eta_1,\eta_2\) of the elliptic Weierstrass \(\zeta\)-function of \(\mathfrak f\) belonging to \(\omega_1,\omega_2.\) \textit{K. Ramachandra} [Ann. Math. (2) 80, 104-148 (1964; Zbl 0142.29804)] has proved that \(K(\mathfrak f)\) can be generated by a complicated product involving high powers of singular values of \(\varphi\) and singular values of the discriminant. The author's aim is to show that in many cases it is sufficient to take a power of one singular value of \(\varphi\) or a quotient of two such values. Numerical examples indicate that the coefficients of the minimal polynomials of the constructed numbers are rather small.
    0 references
    elliptic unit
    0 references
    imaginary quadratic field
    0 references
    ray class field
    0 references
    normalized Klein form
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references