A remark on my paper "On the Saito-Kurokawa lifting".
Suppose is an abelian extension of number fields. Stark’s conjecture predicts, under suitable hypotheses, the existence of a global unit of such that the special values for all characters of can be expressed as simple linear combinations of the logarithms of the different absolute values of .In this paper we formulate an extension of this conjecture, to attempt to understand the values when the order of vanishing may be greater than one. This conjecture no longer predicts the existence...
We give a survey of computational class field theory. We first explain how to compute ray class groups and discriminants of the corresponding ray class fields. We then explain the three main methods in use for computing an equation for the class fields themselves: Kummer theory, Stark units and complex multiplication. Using these techniques we can construct many new number fields, including fields of very small root discriminant.
We show how to adapt Terr’s variant of the baby-step giant-step algorithm of Shanks to the computation of the regulator and of generators of principal ideals in real-quadratic number fields. The worst case complexity of the resulting algorithm depends only on the square root of the regulator, and is smaller than that of all other previously specified unconditional deterministic algorithm for this task.