The following are some pictures created as part of my semester project in the 2017-18 Fall semester at EPFL. The project was under the guidance of Prof. Maryna Viazoska. The project involved building the prerequisites and understanding this paper of Don Zagier. Below, I will give some very brief details of the pictures and the project. The full write-up that I wrote for this project can be found here.
The hyperbolic 3-space is a Riemannian manifold. As a set, the Hyperbolic 3-space can be visualized as , given the metric tensor of the Riemannian manifold given by
The following picture is of the set given by
This set is the fundamental region of the action of the group as a discrete subgroup of , the group of isometries on the Hyperbolic 3-space, visualized as the upper half-space of in the above picture.
Measuring volumes in Hyperbolic 3-space (volume measured according to the metric tensor) is done by utilizing the concept of ideal tetrahedra. A tetrahedron is said to be an ideal tetrahedron if it has at least one ideal vertex in the upper-half space model, and one vertex at , and the projection of the tetrahedron from is a right-angled triangle on the plane. And ideal vertex in the upper-half space model is a vertex which is of the form of two vertical planes (spheres containing infinity), whose axis of intersection is intersecting with the unit hemispherical geodesic perpendicularly (and therefore, at the apex point of the hemisphere.
The volume of such a tetrahedron is given by the following formula in the upcoming proposition, and an illustrative picture right after.
Proposition 1 Suppose is the ideal tetrahedra that has a dihedral angle (the angle between the two vertical planes) as and has an acute angle (that is, the angle between the geodesic plane opposite to and the unit geodesic hemisphere) given by . Then the following is true.
Here is the Lobachevski function, described by the equation
The proof of this proposition can be found in the write-up. Here is the picture of a sample ideal tetrahedron.
For more complicated tetrahedrons, one has to decompose it by writing it as a sum and difference of ideal tetrahedrons. Any tetrahedron can be seen as the difference of two tetrahedrons with one vertex at infinity (after applying suitable isometries), both of which can be decomposed into ideal tetrahedra as shown below.
I will very crudely mention the purpose of seeing these things in a write-up about the special values of Dedekind-zeta functions.
The project that I had done entails Zagier’s generalized expression for a particular special value of the Dedekind zeta function. The generalized expression was obtained by noting the appearance of the Dedekind zeta function in the expressions of the volumes of arithmetic hyperbolic 3-manifolds, and after some careful manipulation of these volumes on arrives at the following theorem.
Theorem 2 (Zagier, 1986) Let be an arbitrary number field. Suppose is a real valued function given by
Then we have that the value of is given by an expression as below.
where the sum above is finite, is the discriminant of the number field, is the number of real places and is the number of complex places associated to the number field . Moreover, the are rational and are real algebraic numbers.
Here is some motivation for studying this theorem. In 1734, Euler resolved the famous Basel problem which asked the following question:
What does the sum of the following infinite series converge to?
The answer was found to be by Euler. This has the following consequence in modern terminology. We define the Riemann-zeta function for to be the function
So rephrasing the Basel’s problem simply amounts to saying that . We will consider the generalization of the identity of Equation (8) in the case of the Dedekind zeta function.
The Dedekind zeta associated to the number field is defined as the following for a number field and for .
The Dedekind zeta function is an important function that has important connections in number theory. Putting and as the simplest number field , the above equation turns into Equation (7). Zagier’s theorem is a very nice generalization of the above identity of Euler’s.
In the report, I have spent a considerable length justifying the appearance of the Dedekind zeta function in the volume formula of hyperbolic 3-manifolds.
I believe that this project was by far the most intense reading project I had ever taken.