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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / OpenAlex ID
 
Property / OpenAlex ID: W2042333717 / rank
 
Normal rank

Revision as of 00:51, 20 March 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