Creepers: Real quadratic orders with large class number

Roger Patterson
DOI: https://doi.org/10.48550/arXiv.math/0703519
2007-03-18
Abstract:Shanks's sequence of quadratic fields $\Q(\sqrt{S_{n}})$ where $S_{n}=(2^n+1)^2 + 2^{n+2}$ instances a class of quadratic fields for which the class number is large and, therefore, the continued fraction period is relatively short. Indeed, that period length increases linearly with $n$, that is: in arithmetic progression. The fields have regulator $O(n^2)$. In the late nineties, these matters intrigued Irving Kaplansky, and led him to compute period length of the square root of sequences $a^2x^{2n}+bx^{n}+c$ for integers $a$, $b$, $c$, and $x$. In brief, Kap found unsurprisingly that, generically, triples $(a,b,c)$ are `leapers': they yield sequences with period length increasing at exponential rate. But there are triples yielding sequences with constant period length, Kap's `sleepers'. Finally, there are triples, as exemplified by the Shanks's sequence, for which the period lengths increase in arithmetic progression. Felicitously, Kaplansky called these `creepers'. It seems that the sleepers and creepers are precisely those for which one is able to detail the explicit continued fraction expansion for all $n$. Inter alia, this thesis noticeably extends the known classes of creepers and finds that not all are `kreepers' (of the shape identified by Kaplansky) and therefore not of the shape of examples studied by earlier authors looking for families of quadratic number fields with explicitly computable unit and of relatively large regulator. The work of this thesis includes the discovery of old and new families of hyperelliptic curves of increasing genus $g$ and torsion divisor of order $O(g^2)$. It follows that the apparent trichotomy leaper/sleeper/creeper coincides with the folk belief that the just-mentioned torsion is maximum possible.
Number Theory
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to determine real quadratic fields with a large number of classes. Specifically, the author aims to explore and classify sequences of real quadratic fields that have an abnormally large class number but a relatively short continued fraction period length. Such sequences are called "creepers". ### Background and Motivation 1. **Class Number Problem**: A classic problem in modern number theory is to determine the class number of quadratic fields. Gauss first studied this problem at the end of the 18th century and conjectured that there are infinitely many real quadratic fields with a class number of 1. This unsolved problem has inspired subsequent research. 2. **Shanks Sequences**: In the 1960s, Shanks discovered through studying class number tables the phenomenon that the class numbers of certain real quadratic fields are abnormally large and the continued fraction period lengths are relatively short. A well - known sequence he proposed is: \[ S_n=(2n + 1)+4\cdot2^n \] The continued fraction period length of this sequence is abnormally short. 3. **Continued Fractions and Quadratic Forms**: Shanks and others found that these phenomena can be described in the language of continued fractions. In particular, there is a close connection between the period length of continued fractions and the class number of quadratic fields. ### Research Objectives The author's goal is to systematically study and classify all sequences of real quadratic fields that have a large class number and a relatively short continued fraction period length, namely the so - called "creepers". Specifically: - **Determine the Form of Creepers**: Find the specific mathematical expressions of these special sequences. - **Verify Known Results**: Confirm whether the existing results regarding creepers are complete. - **Explore New Examples**: Look for more similar sequences of real quadratic fields. ### Main Contributions 1. **Theoretical Framework**: Established a theoretical framework for dealing with creepers, including the application of tools such as continued fractions and ideal class groups. 2. **Specific Forms**: Gave the specific forms of creepers, for example: \[ D_n=\left(\frac{c}{d}\right)^2\left[\left(qr x_n+\frac{mz^2x_k - ly^2}{q}\right)^2+4ly^2rx_n\right] \] where \(m, l, r\) are square - free and satisfy a series of conditions. 3. **Algorithms and Methods**: Provided methods for calculating and verifying creepers, including techniques such as continued fraction expansion and ideal composition. In summary, through in - depth study of the properties of continued fractions and quadratic fields, this paper reveals the structure of real quadratic fields with a large class number and a relatively short continued fraction period length, providing an important theoretical basis and new insights for the field of number theory.