Cusp shapes of Hilbert-Blumenthal surfaces

Joseph Quinn,Alberto Verjovsky

DOI: https://doi.org/10.1007/s10711-019-00474-w

2019-06-27

Abstract:We introduce a new fundamental domain for the cusp stabilizer of a Hilbert modular group over a real quadratic field K=Q(sqrt n). This is constructed as the union of Dirichlet domains for the maximal unipotent group, over the leaves in a foliation of the biplane. The region is the Cartesian product of the positive reals with a 3-dimensional tower formed by deformations of lattices in the ring of integers of K, and makes explicit the cusp cross section's Sol 3-manifold structure and Anosov diffeomorphism. We include computer generated images and data illustrating various examples.

Geometric Topology,Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the description of the cusp shape of Hilbert - Blumenthal surfaces. Specifically, the author tries to construct a fundamental domain that can accurately reflect the geometric structure of these surfaces near the cusp. The background of this problem involves the generalization of modular curves, namely Hilbert - Blumenthal surfaces, which are of great significance at the intersection of geometry, topology and number theory.

### Main contributions
1. **New fundamental domain construction**:
- The author introduces a new fundamental domain \(R_n\) to describe the fundamental domain of a cusp stabilizer of the Hilbert modular group \(\Gamma\) over the real quadratic field \(K = \mathbb{Q}(\sqrt{n})\).
- This fundamental domain \(R_n\) is formed by combining the Dirichlet domains of the one - parameter unipotent subgroup (maximal unipotent group) on each foliation layer.

2. **Geometric description of cusp sections**:
- The author gives a detailed description of the geometric structure of the cusp section \(T_n\), which is a 3 - dimensional Sol manifold, and presents the specific form of its Anosov diffeomorphism.
- Through computer - generated images and data, the author shows cusp sections of different examples.

3. **Algorithm implementation**:
- An algorithm is provided that can effectively calculate the specific shape of the fundamental domain \(R_n\) starting from the fundamental unit \(\epsilon\).
- This algorithm includes how to determine the boundary of the fundamental domain and how to pair different sides.

### Mathematical details
- **Fundamental domain \(R_n\)**:
- \(R_n\) is formed by combining the Dirichlet domains \(T_n(h)\) at each fixed height \(h\) along the \(\mathbb{R}_+\) direction.
- Each \(T_n(h)\) is a continuum composed of parallelograms and hexagons, and these figures are symmetrically distributed about the central axis.

- **Cusp section \(T_n\)**:
- At the levels \(y_1/y_2 = 1\) and \(y_1/y_2=\epsilon^4\), the shape of the cusp section \(T_n\) is a rectangle or a hexagon respectively, depending on whether \(n\) is a remainder of \(4\) or not.
- Through the Anosov diffeomorphism \(\eta_1\), the sections at these two levels are glued together.

- **Anosov diffeomorphism**:
- \(\eta_1\) is a diagonal matrix \(\begin{pmatrix}\epsilon&0\\0&\epsilon^{- 1}\end{pmatrix}\), which glues one lattice slice to another lattice slice.

### Application examples
- The author shows through specific numerical examples how to use the above - mentioned theory and algorithm to calculate cusp sections for different values of \(n\).
- For example, for \(n = 2\) and \(n = 3\) (\(n\not\equiv1\pmod{4}\)) and \(n = 5\) and \(n = 13\) (\(n\equiv1\pmod{4}\)), the author gives a detailed description of the shapes and gluing methods of these cusp sections.

### Conclusion
This paper successfully solves the problem of accurately describing the cusp shape of Hilbert - Blumenthal surfaces by introducing a new fundamental domain construction method, and also provides an effective algorithm to calculate these shapes. This not only deepens our understanding of the geometric structure of these surfaces, but also provides a powerful tool for further research.