In 1986, Don Zagier generalized Euler's theorem ($\zeta\_\mathbb{Q}(2)=\pi ^2 /6$) to an arbitrary number field $K$:


$$\zeta\_K(2)=\frac{\pi^{2r+2s}}{\sqrt{|D|}}\times \sum\_v c\_v A(x\_{v,1})...A(x\_{v,s})$$


where


$$A(x)=\int^x\_0 \frac{1}{1+t^2}\log \frac{4}{1+t^2}dt$$


In this sense, the result is conjectured to hold for $2<s\in \mathbb{N}$, with the $A(x)$ replaced by more complicated functions $A\_m(x)$


This might seem rather unenlightening, but we can also state Zagier's result like this:



> 
> $$\zeta\_K(2)=\text{the volume of a hyperbolic manifold}$$
> 
> 
> 


This amazing fact doesn't seem to have a direct analogue for $\zeta\_K(2m)$ with $m \neq 1$


* What I'd like to know is if there is any big picture explanation for the appearance of hyperbolic manifolds in this context.


Zagier's calculation is quite geometrical, but as far as I understand gives no clear explanation of "what the manifold is doing here".


Don Zagier, [Hyperbolic manifolds and special values of Dedekind zeta-functions](https://people.mpim-bonn.mpg.de/zagier/files/doi/10.1007/BF01388964/fulltext.pdf) (1986)



Intuition for Zagier's theorem for $\zeta_K(2)$
As ThiKu mentions, the connection between $\zeta\_K(2)$ and hyperbolic manifolds is that the volume formula for arithmetic hyperbolic manifolds is given by an explicit formula involving $\zeta\_K(2)$. This formula is due to **[Borel](https://eudml.org/doc/83853)** in the case of arithmetic manifolds arising from quaternion algebras. A more general formula was later given by **[Prasad](http://link.springer.com/article/10.1007/BF02698841)**.


In order to get some intuition for general hyperbolic surfaces or $3$-manifolds, it might help to start by recalling the modular surface $\mathrm{SL}\_2(\mathbb Z)\backslash \mathfrak h\_2$ where $\mathfrak h\_2$ denotes the hyperbolic plane. It is known that $\mathrm{vol}(\mathrm{SL}\_2(\mathbb Z)\backslash \mathfrak h\_2)=\frac{2}{\pi}\zeta(2)=\frac{\pi}{3}$. (See for instance Section 2 of **[these](http://www.math.umn.edu/~garrett/m/v/volumes.pdf)** notes by Garret or **[these](http://math.stanford.edu/~akshay/math249/249T2.pdf)** notes by Venkatesh.) So in this case we see the appearance of a zeta value in the context of the volume of a hyperbolic surface.


Here is an admittedly circuitous way to construct the hyperbolic surface $\mathrm{SL}\_2(\mathbb Z)\backslash \mathfrak h\_2$ that will provide some intuition for what happens more generally. Consider the quaternion algebra $B=\mathrm{M}\_2(\mathbb Q)$ and the maximal order $\mathcal O=\mathrm{M}\_2(\mathbb Z)$ inside this quaternion algebra. Let $\mathcal O^1=\mathrm{SL}\_2(\mathbb Z)$ denote the multiplicative group of elements of $\mathcal O$ having determinant $1$ and let $\Gamma$ denote the image of $\mathcal O^1$ inside $\mathrm{SL}\_2(\mathbb R)$ where we make use of the map $B\hookrightarrow B\otimes\_{\mathbb Q} \mathbb R\cong \mathrm{M}\_2(\mathbb R)$. The group $\Gamma$ is a discrete subgroup of $\mathrm{SL}\_2(\mathbb R)$ which has finite volume, and as $\mathrm{SL}\_2(\mathbb R)$ is the group of orientation preserving isometries of $\mathfrak h\_2$, we get our quotient surface $\mathrm{SL}\_2(\mathbb Z)\backslash \mathfrak h\_2$.


The connection which Zagier makes between zeta values and manifolds ultimately arises from a "number field" analog of the above. 


(A very interesting fact that is not directly related to your question by which I cannot resist mentioning is that many aspects of the geometry of manifolds defined in this sort of arithmetic manner (i.e., via the construction given below) are directly related to quantities of number theoretic interest. For instance, the lengths of closed geodesics on $\mathrm{SL}\_2(\mathbb Z)\backslash \mathfrak h\_2$ correspond to regulators of real quadratic fields and their multiplicity to the class number of the associated real quadratic field. This connection generalizes to manifolds constructed from number fields other than $\mathbb Q$ as well.)


Let $K$ be a number field with $r\_1$ real places and $r\_2$ complex places and $B$ be a quaternion algebra over $K$ which is not totally definite. Let $s$ denote the number of real places of $K$ that split in $B$. Thus $$B\otimes\_{\mathbb Q} \mathbb R\cong \mathbb H^{r\_1-s}\times \mathrm{M}\_2(\mathbb R)^{s} \times \mathrm{M}\_2(\mathbb C)^{r\_2}.$$ Let $\mathcal O$ be a maximal order of $B$ and $\mathcal O^1$ the multiplicative subgroup consisting of elements with reduced norm $1$. (If $B$ was a matrix algebra then the reduced norm and determinant would coincide.) Let $\Gamma\_\mathcal{O}$ denote the image of $\mathcal{O}^1$ in the group $$G\_{s,r\_2}=\mathrm{SL}\_2(\mathbb R)^{s}\times \mathrm{SL}\_2(\mathbb C)^{r\_2}.$$ The group $G\_{s,r\_2}$ is the group of orientation preserving isometries of $\mathfrak h\_2^{s}\times \mathfrak h\_3^{r\_2}$ which preserves factors. Here $\mathfrak h\_3$ is hyperbolic $3$-space. The group $\Gamma\_\mathcal O$ is a discrete subgroup of $G\_{s,r\_2}$ which is cocompact if $B$ is a division algebra and has covolume given by the formula $$\mathrm{vol}(\Gamma\_\mathcal O\backslash \mathfrak h\_2^{s}\times \mathfrak h\_3^{r\_2})=\frac{2(4\pi)^sd\_K^{3/2}\zeta\_K(2)}{(4\pi^2)^{r\_1}(8\pi^2)^{r\_2}}\prod\_{\mathfrak p\in\mathrm{Ram}\_f(B)}\left(N(\mathfrak p)-1\right),$$ where $d\_K$ is the absolute value of the discriminant of $K$ and $\mathrm{Ram}\_f(B)$ is the set of finite primes of $K$ which ramify in $B$. This formula is proven in Section 7.3 of Borel's paper. In particular note the appearance of $\zeta\_K(2)$ in the formula.


The following two special cases of all of this are worth noting:


* When $s=1$ and $r\_2=0$ the manifolds (or orbifolds) constructed are arithmetic *hyperbolic surfaces*.
* When $s=0$ and $r\_2=1$ the manifolds (or orbifolds) constructed are arithmetic *hyperbolic $3$-manifolds* (or *$3$-orbifolds*).


Finally, note that more general zeta values like $\zeta\_K(2m)$ *do* appear in the volume formulas for different types of arithmetic manifolds. This is already the case for higher dimensional arithmetic hyperbolic manifolds. See for instance some of the formulas in **[this](http://arxiv.org/abs/1001.4670)** paper by Belolipetsky and Emery. (As was mentioned above, these zeta values arise when one works out the relevant case of Prasad's general volume formula.)


