Andrew Shallue (Illinois Wesleyan) Enumerating class group structures of real quadratic number fields Abstract: There are many classic conjectures surrounding the structure of the ideal class group of real quadratic number fields. Among them are the Cohen-Lenstra heuristics, which give precise information about the expected structure of such class groups. Supporting such conjectures provides motivation to tabulate class numbers of quadratic number fields. I will discuss the present progress of a project to enumerate the structure of all class groups for discriminants of real quadratic number fields up to 10^11, and to do so without relying on the Extended Riemann Hypothesis. In essence, this has two main components. First, there are algorithms for computing the structure of an abelian group given group operations as a black box. Second, these group operations must be instantiated. This is nontrivial in the case of the ideal class group of a real quadratic number field. In addition to first computing the regulator, elements of the group do not have a unique representative, making identity testing a difficult proposition. We will see how these difficulties are overcome, and discuss exciting new developments in algorithms for finding the structure of a generic group. |
|