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.