INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES
WARSZAWA 1992
HYPERLOGARITHMIC EXPANSION AND THE VOLUME OF A HYPERBOLIC SIMPLEX
K . A O M O T O
Department of Mathematics, Nagoya University Nagoya, Japan
0. Introduction. Hyperlogarithmic functions (or higher logarithmic func- tions) are multivalued analytic functions defined on complex projective varieties, with unipotent monodromy and with regular singularity. It is known that they can be expressed by the use of iterated integrals of suitable logarithmic 1-forms in the sense of K. T. Chen (see [A1], [H1]). Recently these functions have played a considerable role in various problems of geometry and arithmetic (for example, see [H2], [B1], [G2], [V], etc.). These are a special case of hypergeometric functions on a Grassmannian manifold (see [A2], [G1], [V]).
However, there are other kinds of hyperlogarithmic functions which are re- lated to the configuration of hyperplanes and a hyperquadric (see [A3]). The volume of a simplex in a hyperbolic space is a hyperlogarithmic function of basic algebraic invariants, as a simple consequence of the Schl¨ afli formula. However, there remains the problem of divergence in the case where the vertices lie on the boundary.
In this note we want to derive a modified Schl¨ afli formula in such a degenerate case and give a hyperlogarithmic expansion for the volume, by using a technique developed in [A3]. A similar result has been obtained by Kellerhals [K4]. Her method is to decompose a simplex into several orthoschemes and to obtain an explicit formula for each orthoscheme by using the Lobachevski˘ı function L(x).
In the appendix we discuss a relation between the volume and Appell’s hy- pergeometric functions of type F
4.
1. The Schl¨ afli formula. A geodesic simplex ∆ in the n-dimensional hyper- bolic space H = {t
20− t
21− . . . − t
2n= 1, t
0> 0} is defined by the inequalities f
j(t) ≥ 0 for n + 1 linear functions f
j(t) = u
j,0+ P
nν=1
u
j,νt
ν, 1 ≤ j ≤ n + 1. Its
[9]
volume V
n(∆) is given by the integral
(1.1) V
n(∆) = R
f1≥0,...,fn+1≥0
Φ dt
0∧ . . . ∧ dt
n+1,
for Φ = exp[−
12(t
20−t
21−. . .−t
2n)]. This is also equal to 2
(n−1)/2Γ ((n+1)/2)V
n( b ∆) for a geodesic simplex b ∆ in the disc D = {x
21+ . . . + x
2n< 1} defined by the inequalities b f
j(x) ≥ 0 for the inhomogeneous linear functions b f
j(x) = u
j,0+ P
nν=1
u
j,νx
ν. The volume V
n( b ∆) is defined by the integral (1.2) V
n( b ∆) = R
∆
b
(1 − x
21− . . . − x
2n)
−(n+1)/2dx
1∧ . . . ∧ dx
n.
First we assume that b ∆ lies in D. Then u
2j,0− P
nν=1
u
2j,ν< 0. We may normalize it so that u
2j,0− P
nν=1
u
2j,ν= −1. Because of conformal invariance, V
n(∆) or equiv- alently V
n( b ∆) depends only on the inner products a
j,k= u
j,0u
k,0− P
nν=1
u
j,νu
k,νfor 1 ≤ j, k ≤ n+1. a
j,k, j 6= k, can also be expressed as coshj, ki, where hj, ki de- notes the dihedral angle subtended by b ∆ between the hyperplanes F
j= { b f
j(x) = 0} and F
k= { b f
k(x) = 0}. We denote by A the symmetric (n + 1) × (n + 1) matrix ((a
j,k))
1≤j,k≤n+1. Note that a
j,j= −1. We denote by A
ji1...,ip1,...,jp
the subdetermi- nant of A with lines i
1, . . . , i
pand columns j
1, . . . , j
pfor {i
1, . . . , i
p}, {j
1, . . . , j
p} ⊂ {1, 2, . . . , n + 1}. We abbreviate A
ji1...,ip1,...,jp
to A(i
1, . . . , i
p).
One can show that b ∆ defines a simplex lying in D if and only if (−1)
pA(i
1, . . . , i
p) > 0 for 1 ≤ p ≤ n, and (1.3)
(−1)
n+1A(1, 2, . . . , n + 1) < 0 . (1.4)
We denote by v
1, . . . , v
n+1the vertices of b ∆ such that v
j∈ b ∆ ∩ F
1∩ . . . ∩ F
j−1∩ F
j+1∩ . . . ∩ F
n+1. Then v
jis on the boundary ∂D of D if and only if A(1, 2, . . . , j − 1, j + 1, . . . , n + 1) = 0. The Schl¨ afli formula says that, as a function of the variables a
j,k, V
n(∆) satisfies the variational formula
(1.5) dV
n( b ∆) = − 1 2
X
1≤j,k≤n+1 j6=k
V
n−2( b ∆
j,k) dhj, ki ,
where b ∆
j,kdenotes the (n − 2)-dimensional subsimplex b ∆
j,k= b ∆ ∩ F
j∩ F
k. dhj, ki is equal to the logarithmic 1-form
θ
∅ j, k
= 1
2i d log a
j,k+ ipA(j, k) a
j,k− ipA(j, k)
.
Further, for I = {i
1, . . . , i
p} and J = {i
1, . . . , i
p, i
p+1, i
p+2} we define the loga-
rithmic 1-form
(1.6) θ I
J
= 1
2i d log A
I,iI,ip+1p+2
+ ipA(I)A(J) A
I,iI,ip+1p+2
− ipA(I)A(J)
!
for p ≤ n − 2, and
(1.7) θ I
J
= 1
2 d log A
I,iI,inn+1
+ p−A(I)A(J) A
I,iI,inn+1
− p−A(I)A(J)
!
for p = n − 1, n odd.
As a simple consequence of (1.5), V
n( b ∆) can be expressed as a hyperlogarithm (sometimes called higher logarithm) (see [A5]):
(1.8) V
n( b ∆) = X
∅⊂I1⊂...⊂Iν
A
R
∗
θ ∅ I
1. . . θ I
ν−1I
ν,
for a sequence of increasing subsets I
1, . . . , I
νof {1, 2, . . . , n + 1}, I
r= {i
1, . . . . . . , i
2r} . ν is equal to (n + 1)/2 or n/2 according as n is odd or even. The integration on the right hand side means K. T. Chen’s iterated integrals along a path from the base point ∗ to A. As special cases we have
(1.9) V
1( b ∆) =
β
R
α
(1 − x
2)
−1dx = 1 2 log
a
1,2+ q
a
21,2− 1 a
1,2− q
a
21,2− 1
for α = −u
1,0/u
1,1, β = −u
2,0/u
2,1and a
1,2= u
1,0u
2,0− u
1,1u
2,1, while (1.10) V
2( b ∆) = π − h1, 2i − h2, 3i − h3, 1i .
The following is an immediate consequence of (1.7).
Lemma 1. The hyperbolic distance between v
nand v
n+1is given by
(1.11) 1
2 log A
1,...,n−1,n1,...,n−1,n+1
+ pA(1, . . . , n − 1)A(1, . . . , n + 1) A
1,...,n−1,n1,...,n−1,n+1
− pA(1, . . . , n − 1)A(1, . . . , n + 1) . We see at the same time that
(1.12) A
i
1, . . . , i
n−1, i
ni
1, . . . , i
n−1, i
n+1> 0 . This inequality will be used later for n = 3.
2. Regularization of divergent integrals. When one of the vertices lies
on ∂D, V
n(∆) is well defined and continuous in a
j,k, while V
1(∆) diverges. The
formula (1.5) holds for n ≥ 4 but not for n = 3. We want to derive a modified
version of the Schl¨ afli formula for V
3(∆). To do this, we use the technique of
regularization of divergent integrals which has been frequently used since the
times of J. Hadamard. We consider the integral (2.1) V
n( b ∆|µ) = R
∆
b
(1 − |x|
2)
−(n+1+µ)/2dx
1∧ . . . ∧ dx
n,
for µ > 0. When µ = 0, it reduces to V
n( b ∆). (2.1) is no more conformally invariant.
It cannot be expressed as a function of the variables a
j,kfor 1 ≤ j, k ≤ n + 1 . We denote by e A the enlarged symmetric (n + 2) × (n + 2) matrix ((a
j,k))
0≤j,k≤n+1with a
0,0= 1, and a
0,j= a
j,0= u
j,0. Obviously a
j,0is not conformally invariant.
The following variational formula has been proved in [A3] (see the formula (3.7) loc. cit. for λ
1, . . . , λ
n+1→ 0):
Lemma 2.1. For an arbitrary n ≥ 1, (2.2) (n − 1 + µ) dV
n( b ∆|µ)
= − 1 2
X
1≤j,k≤n+1 j6=k
dhj, ki
A(j, k) A(0, j, k)
−µ/2V
n−2( b ∆
j,k|µ)
+ µ
n+1
X
k=1
da
0,k−1 A(0, k)
−µ/21
pA(0, k) V
n−1( b ∆
k|µ − 1) , where b ∆
j,k= b ∆ ∩ F
j∩ F
kand b ∆
k= b ∆ ∩ F
k. V
1( b ∆
j,k|µ) has a definite meaning and gives a function meromorphic in µ at least with a pole at µ = 0.
The following lemma can be seen by a computation.
Lemma 2.2. A(0, i) < 0, A(0, i, j) > 0, A(0, i, j, k) < 0 for any i, j, k ∈ {1, 2, 3, 4} and A(0, 1, 2, 3, 4) = 0.
When β = 1 in (1.9), V
1( b ∆|µ) has a Laurent expansion at µ = 0:
(2.3) V
1( b ∆|µ) = − 1 µ +
log 2 − 1
2 log 1 + α 1 − α
+ O(µ) ,
with α = −a
0,2/p−A(0, 2), where the constant term (denoted by C.T. V
1( b ∆|µ)) represents the regular part of the divergent integral V
1( b ∆):
(2.4) reg V
1( b ∆) = C.T. V
1( b ∆|µ) = log 2 − 1
2 log 1 + α 1 − α . When α = β = −1, we have
(2.5) V
1( b ∆|µ) = − 2
µ + 2 log 2 + O(µ) , whence reg V
1( b ∆) = 2 log 2.
3. Modified Schl¨ afli formula for n = 3. Because of symmetry, we only have
to consider the following 4 cases: (i) v
4∈ ∂D, (ii) v
3, v
4∈ ∂D, (iii) v
2, v
3, v
4∈ ∂D
and (iv) v
1, v
2, v
3, v
4∈ ∂D.
(1) Assume that v
4lies on ∂D and v
1, v
2, v
3∈ D. This is equivalent to saying that A(1, 2, 3) = 0, i.e. h1, 2i + h2, 3i + h3, 1i = π. Then V
1( b ∆
1,2), V
1( b ∆
2,3) and V
1( b ∆
3,1) diverge, while V
1( b ∆
1,4) V
1( b ∆
2,4), V
1( b ∆
3,4) are well defined. For j, k = 1, 2, 3, as µ tends to 0, the coefficient of hj, ki on the right hand side of (2.2) has a Laurent expansion
(3.2)
A(j, k) A(0, j, k)
−µ/2V
1( b ∆
j,k|µ)
= − 1 µ +
log 2 − 1
2 log 1 + α 1 − α + 1
2 log A(j, k) A(0, j, k)
+ O(µ) , i.e.
(3.3) C.T.
A(j, k) A(0, j, k)
−µ/2V
1( b ∆
j,k|µ)
= log 2 − 1
2 log 1 + α 1 − α + 1
2 log A(j, k) A(0, j, k) . Here α denotes −A
4,j,k0,j,k/p−A(j, k)A(0, j, k, 4). We set
W
j,k= A(j, k)(1 + α) A(0, j, k)(1 − α) . Then by taking the constant term of (2.2) in µ, we have
2dV
3( b ∆) = dh1, 2i log W
1,2+ dh2, 3i log W
2,3+ dh3, 1i log W
3,1(3.4)
+ dh1, 4i log W
1,4+ dh2, 4i log W
2,4+ dh3, 4i log W
3,4, for i, j = 1, 2, 3, since h1, 2i + h2, 3i + h3, 1i = π, i.e.
(3.5) W
i,j= A(0, i, j)
A(i, j) · p−A(i, j)A(0, i, j, 4) − A
4,i,j0,i,jp−A(i, j)A(0, i, j, 4) + A
4,i,j0,i,jand
(3.6) W
i,4= A
i,4,ji,4,k− p−A(i, 4)A(i, j, k, 4) A
i,4,ji,4,k+ p−A(i, 4)A(i, j, k, 4)
for the complement {j, k} = {1, 2, 3, 4} − {i, 4}. Since dh1, 2i = −dh1, 3i − dh2, 3i, (3.4) can be expressed as
2dV ( b ∆) = dh1, 3i log W
1,3/W
1,2+ dh2, 3i log W
2,3/W
1,2(3.7)
+ dh1, 4i log W
1,4+ dh2, 4i log W
2,4+ dh3, 4i log W
3,4.
We want to express the quantities W
1,3/W
1,2and W
2,3/W
1,2in terms of the
variables a
j,k, 1 ≤ j, k ≤ 4. By a conformal change of variables we may assume
that v
4= (0, 0, 1) ∈ ∂D ∩ F
1∩ F
2∩ F
3and that f
1= x
1, f
2= u
2,1x
1+ u
2,2x
2, (3.8)
f
j= u
j,1x
1+ u
j,2x
2+ u
j,3x
3+ u
j,0, for j = 3, 4 ,
where 1 = u
22,1+ u
22,2= u
23,1+ u
23,2= u
24,1+ u
24,2+ u
24,3− u
24,0and u
3,3+ u
3,0= 0.
We can further assume that u
2,2> 0, u
3,2< 0, u
3,3< 0 and u
4,3> 0. We then have a
0,1= a
0,2= 0 and
Lemma 3.1.
W
1,2= a
20,3A(1, 2, 4) A(1, 2, 3, 4) . P r o o f. Since
(3.9) 0 = A(0, 1, 2, 3, 4)
= A(1, 2, 3, 4) − a
20,3A(1, 2, 4) + 2a
0,3a
0,4A 1, 2, 3 1, 2, 4
− a
20,4A(1, 2, 3) , we have
(3.10) a
0,4= A(1, 2, 4)a
20,3− A(1, 2, 3, 4) 2a
0,3A
1,2,31,2,4from the equality A(1, 2, 3) = 0. Since A(1, 2)A(1, 2, 3, 4) − A
1,2,31,2,42= 0, we have A(0, 1, 2, 4) = A(1, 2, 4) − A(1, 2)a
20,4(3.11)
= − A(1, 2){a
20,3A(1, 2, 4) + A(1, 2, 3, 4)}
24a
20,3A
1,2,31,2,42, i.e.
p−A(1, 2)A(0, 1, 2, 4) = − A(1, 2){a
20,3A(1, 2, 4) + A(1, 2, 3, 4)}
2a
0,3A
1,2,31,2,4. (3.12)
Note that a
0,3> 0, A(1, 2) > 0, A(1, 2, 4) < 0, A
1,2,31,2,4> 0 and A(1, 2, 3, 4) < 0.
Again from (3.10),
(3.13) p−A(1, 2)A(0, 1, 2, 4) − A 4, 1, 2 0, 1, 2
= −a
0,3A(1, 2, 4)A(1, 2) A
1,2,31,2,4. In the same way
(3.14) p−A(1, 2)A(0, 1, 2, 4) + A 4, 1, 2 0, 1, 2
= − A(1, 2, 3, 4)A(1, 2) a
0,3A
1,2,31,2,4, whence Lemma 3.1 is proved.
Lemma 3.2.
W
1,3= a
20,3A(1, 2)A(1, 3, 4)
A(1, 3)A(1, 2, 3, 4) ,
(3.15)
W
2,3= a
20,3A(1, 2)A(2, 3, 4) A(2, 3)A(1, 2, 3, 4) . (3.16)
P r o o f. First remark a
0,3= u
3,0> 0, A
1,3,21,3,4= u
2,2u
3,2u
3,3(u
4,0+ u
4,3) < 0, A
1,21,3= u
2,2u
3,2< 0 and A
0,1,3,20,1,3,4= −u
2,2u
3,3(u
3,3u
4,2− u
3,2u
4,3) > 0. By the Jacobi identity
0 = A(0, 1, 2, 3, 4)A(0, 1, 3) (3.17)
= A(0, 1, 3, 4)A(0, 1, 2, 3) − A 0, 1, 3, 2 0, 1, 3, 4
2= − A(0, 1, 3, 4)A(1, 2)a
20,3− A 0, 1, 3, 2 0, 1, 3, 4
2since A(0, 1, 2, 3) = −a
20,3A(1, 2), whence
(3.18) A(0, 1, 3, 4) = − A
0,1,3,20,1,3,42a
20,3A(1, 2) . From (1.3) and the above,
(3.19) p−A(1, 3)A(0, 1, 3, 4) = s
A(1, 3) A(1, 2)
A
0,1,3,20,1,3,4a
0,3, where A
0,1,3,20,1,3,4equals
(3.20) 1
2 A 1, 3, 2 1, 3, 4
− a
20,3A
1,21,4A
1,2,31,2,4−
12A
1,21,3A(1, 2, 4) A
1,2,41,2,3, in view of the Jacobi identities A
1,21,3A
1,2,31,2,4= −A(1, 2)A
1,3,21,3,4and A(1, 2)A(1, 3) − A
1,21,32= 0. Hence (3.21) p−A(1.3)A(0, 1, 3, 4) + A 4, 1, 3
0, 1, 3
= s
A(1, 3) A(1, 2)
A
1,3,21,3,4a
0,3+ a
0,3A
1,2,31,2,4A(1, 2)
= − A
1,2,31,2,4A(1, 2)
− A(1, 3) a
0,3− a
0,3= A
1,2,31,2,4A(0, 1, 3) a
0,3A(1, 2) , since A
1,2,31,2,4= A
1,21,4A
1,21,3− A(1, 2)A
1,31,4and A(0, 1, 3) = A(1, 3) + a
20,3. Sim- ilarly
(3.22) p−A(1, 3)A(0, 1, 3, 4) − A 4, 1, 3 0, 1, 3
= −a
0,3A(1, 2)A(1, 3, 4)
A
1,2,41,2,3.
Now (3.21) and (3.22) imply
(3.23) p−A(1, 3)A(0, 1, 3, 4) − A
4,1,30,1,3p−A(1, 3)A(0, 1, 3, 4) + A
4,1,30,1,3= − a
20,3A(1, 2)
2A(1, 3, 4) A
1,2,41,2,32A(0, 1, 3)
= A(1, 2)A(1, 3, 4)a
20,3A(1, 2, 3, 4)A(0, 1, 3) , which proves (3.15); (3.16) follows by symmetry.
Corollary.
W
1,3/W
1,2= A(1, 2)A(1, 3, 4) A(1, 3)A(1, 2, 4) , (3.24)
W
2,3/W
1,2= A(1, 2)A(2, 3, 4) A(2, 3)A(1, 2, 4) . (3.25)
As a result we have
Proposition (modified Schl¨ afli formula).
2dV
3( b ∆) = dh1, 3i log(W
1,3/W
1,2) + dh2, 3i log(W
2,3/W
1,2) (3.26)
+ dh1, 4i log W
1,4+ dh2, 4i log W
2,4+ dh3, 4i log W
3,4,
where W
1,3/W
1,2and W
2,3/W
1,2are given by (3.24)–(3.25) and W
i,4are given by (3.6).
(2) Suppose that v
3, v
4∈ ∂D and v
1, v
2∈ D. Then A(1, 2, 3) = A(1, 2, 4) = 0, or equivalently h1, 2i + h2, 3i + h3, 1i = h1, 2i + h2, 4i + h4, 1i = π. One can choose as independent variables h1, 3i, h2, 3i, h1, 4i and h3, 4i, so that
2dV
3( b ∆) = dh1, 3i log(W
2,4W
1,3/W
1,2) + dh2, 3i log(W
2,4W
2,3/W
1,2) (3.27)
+ dh1, 4i log(W
1,4/W
2,4) + dh3, 4i log(W
3,4) .
We must express each coefficient on the right hand side as a function of a
j,k, 1 ≤ j, k ≤ 4. As functions of µ,
(3.28) C.T.
A(1, 2) A(0, 1, 2)
−µ/2V
1( b ∆
1,2|µ) − 2 log 2 = − log A(1, 2) A(0, 1, 2) = 0 , i.e. W
1,2= 1, since it is assumed that a
0,1= a
0,2= 0. As for W
1,3, W
2,3, Lemma 3.2 is valid. For W
1,4and W
2,4, similarly,
W
1,4= a
20,4A(1, 2)A(1, 4, 3) A(1, 4)A(1, 2, 3, 4) , (3.29)
W
2,4= a
20,4A(1, 2)A(2, 4, 3) A(2, 4)A(1, 2, 3, 4) . (3.30)
On the other hand, W
3,4equals (3.6). (3.10) reduces to 2a
0,3a
0,4A
1,2,31,2,4=
−A(1, 2, 3, 4). Hence
W
1,3W
2,4/W
1,2= − 1 4
A(1, 2)A(1, 3, 4)A(2, 3, 4) A(2, 4)A(1, 3)A(1, 2, 3, 4) , (3.31)
W
2,4W
2,3/W
1,2= − 1 4
A(1, 2)A(2, 3, 4)
2A(2, 4)A(2, 3)A(1, 2, 3, 4) , (3.32)
W
1,4/W
2,4= A(2, 4)A(1, 3, 4) A(1, 4)A(2, 3, 4) , (3.33)
W
3,4= A
3,4,13,4,2− p−A(3, 4)A(1, 2, 3, 4)
3,4,1
3,4,2
+ p−A(3, 4)A(1, 2, 3, 4) , (3.34)
since A
1,2,31,2,42= −A(1, 2)A(1, 2, 3, 4).
(3) We assume that v
2, v
3, v
4∈ ∂D, and v
1∈ D. Then A(1, 2, 3) = A(1, 2, 4)
= A(1, 3, 4) = 0, or equivalently h1, 2i + h2, 3i + h3, 1i = h1, 2i + h2, 4i + h4, 1i = h1, 3i + h3, 4i + h4, 1i = π. One can choose as independent variables h1, 2i, h1, 3i and h1, 4i. (3.7) reduces to
(3.35) 2dV
3( b ∆) = dh1, 2i log(W
1,2/(W
2,3W
2,4))
+dh1, 3i log(W
1,3/(W
2,3W
3,4)) + dh1, 4i log(W
1,4/(W
2,4W
3,4)) . By using the relation 2a
0,3a
0,4= −A(1, 2, 3, 4)/A
1,2,31,2,4, (3.16) and (3.30), we deduce (3.36) below. (3.37) and (3.38) are obtained by symmetry.
W
1,2/(W
2,3W
2,4) = − 4 A(2, 3)A(2, 4)A(1, 2, 3, 4) A(1, 2)A(2, 3, 4)
2, (3.36)
W
1,3/(W
2,3W
3,4) = − 4 A(2, 3)A(3, 4)A(1, 2, 3, 4) A(1, 3)A(2, 3, 4)
2, (3.37)
W
1,4/(W
3,4W
2,4) = − 4 A(3, 4)A(2, 4)A(1, 2, 3, 4) A(1, 4)A(2, 3, 4)
2. (3.38)
(4) Case where all the vertices v
1, v
2, v
3, v
4∈ ∂D. Then A(i, j, k) vanishes for any i, j, k, or equivalently hi, ji + hj, ki + hk, ii = π. One can choose the vertices as v
1= (ξ
1, ξ
2, ξ
3), v
2= (0, 1, 0), v
3= (0, 0, −1), and v
4= (0, 0, 1) respectively. The point (ξ
1, ξ
2, ξ
3) in the unit sphere is related to the complex number z = x + iy by stereographic projection:
(3.39) ξ
1= 2y
1 + |z|
2, ξ
2= 2x
1 + |z|
2, ξ
3= 1 − |z|
21 + |z|
2. Then from (2.2) and (2.5),
(3.40) dV
3( b ∆) = X
1≤i<j≤4
dhi, jiW
i,j,
where W
i,jequals A(0, i, j)/A(i, j). Actually W
1,2=
12W
1,3=
12W
1,4= 1, W
2,3=
1 + |z|
2, W
2,4= (1 + |z|
2)/|z|
2and W
3,4= 2(1 + |z|
2)/|1 − z|
2. Moreover, h1, 2i =
arg z, h2, 3i = arg z(z − 1) and h3, 1i = arg(1 − z). (3.4) becomes (3.41) dV
3( b ∆) = 2(log |z|d arg(z − 1) − log |z − 1|d arg z) , i.e. V
3( b ∆) is the Bloch–Wigner function represented by
(3.42) V
3( b ∆) = 1 i
dilog z − dilog z + log |z| log 1 − z 1 − z
.
This function and its polylogarithmic extension have been investigated by many authors (see [M1], [M2], [G2], [W], [Z]).
Summarizing all the results in Sections 1 and 3, we have
Theorem. For v
1, . . . , v
n+1∈ ∂D ∪ D, V
n( b ∆) has a hyperlogarithmic (higher logarithmic) expansion:
(3.43) V
n( b ∆) = X
∅⊂I1⊂...⊂Iν−2
A
R
∗
θ ∅ I
1θ I
1I
2. . . θ I
ν−3I
ν−2V
3( b ∆
Iν−2) for n = 2ν − 1, and
(3.44) V
n( b ∆) = X
∅⊂I1⊂...⊂Iν−1
A
R
∗
θ ∅ I
1θ I
1I
2. . . θ I
ν−2I
ν−1V
2( b ∆
Iν−1)
for n = 2ν, where V
3( b ∆
J) and V
2( b ∆
J) are given by (3.26), (3.27), (3.35), (3.41) respectively. V
2( b ∆
J) is given by (1.8). I
r= {i
1, . . . , i
r} denotes a subset of {1, 2, . . . , n + 1}.
4. Appendix. Appell’s hypergeometric integrals of type F
4and the hyperbolic volume. The integral
(4.1) J (λ) = R
∆
Φf
1λ1−1f
2λ2−1f
3λ3−1f
4λ4−1dt
0∧ dt
1∧ dt
2∧ dt
3= 1
p−A(1, 2, 3, 4)
R
y1≥0,y2≥0,y3≥0,y4≥0
exp[−
12 tyBy]
×y
λ11−1y
2λ2−1y
3λ3−1y
λ44−1dy
1∧ dy
2∧ dy
3∧ dy
4= 1 2
1
p−A(1, 2, 3, 4) Γ λ
1− λ
2+ λ
3+ λ
42
Γ (λ
3)
× R
η1≥0,η2≥0
η
1λ1−1η
λ23−1(b
4,2+ b
1,2η
1+ b
2,3η
2)
−λ2×(b
4,1η
1+ b
4,3η
2+ b
1,3η
1η
2)
−λ04dη
1∧ dη
2with 2λ
04= λ
1+ λ
2+ λ
4− λ
3, where B = ((b
r,s))
1≤r,s≤4denotes the inverse A
−1. By the definition we have the homogeneity
(4.2) J (λ|{b
r,s%
r%
s}) = %
−λ1 1%
−λ2 2%
−λ3 3%
−λ4 4J (λ|{b
r,s}) ,
for%
j∈ C
∗. One can choose %
rsuch that %
1%
2b
1,3= −1, %
1%
4b
1,4= %
2%
4b
2,4=
%
3%
4b
3,4= 1. For b
1,3= −1, b
1,4= b
2,4= b
3,4= 1, J (λ|{b
r,s}) has an integral expression similar to Appell’s hypergeometric function of type F
4(see [K1]):
(4.3) F
4(α, β, γ, γ
0| u, v) = X
l≥0,m≥0
(α)
l+m(β)
l+m(γ)
l(γ
0)
mu
lv
ml!m!
for u = −b
1,2, v = −b
2,3, α = λ
2, β = λ
3, γ = 1 + (λ
3+ λ
1− λ
2− λ
4)/2 and γ
0= λ
3− λ
1+ 1 respectively. They both satisfy the following holonomic system of partial differential equations (E ) (see [K3], Chap. XI):
(4.4) u(1 − u)R − v
2T − 2uvS
+{γ − (α + β + 1)u}P − (α + β + 1)vQ − αβJ = 0 , (4.5) v(1 − v)T − u
2R − 2uvS
+{γ
0− (α + β + 1)v}Q − (α + β + 1)uP − αβJ = 0 for R = ∂
2J/∂u
2, S = ∂
2J/∂u∂v, T = ∂
2J/∂v
2, P = ∂J/∂u and Q = ∂J/∂v.
The change of variables
(4.6) u = w
1w
2, v = (1 − w
1)(1 − w
2) ,
which we call the Burchnall–Chaundy transformation or simply B.C. transforma- tion has an integral representation associated with a line configuration (see [B2], and [K2] for an extension):
(4.7) F
4(α, β, γ, γ
0| w
1w
20, w
10w
2) = Γ (γ)Γ (γ
0)
Γ (α)Γ (β)Γ (γ − α)Γ (γ
0− β)
×
1
R
0 1
R
0
x
α−1y
β−1(1 − x)
γ−α−1(1 − y)
γ0−β−1(1 − xw
1)
α−γ−γ0(1 − yw
2)
β−γ−γ0×(1 − w
1x − w
2y)
γ+γ0−α−β−1dx ∧ dy , where we put w
01= 1 − w
1and w
02= 1 − w
2. However, we do not know whether J (λ) itself is given by a similar representation through the B.C. transformation.
The holonomic system (E ) has an alternative expression, i.e., the Gauss–Manin connection by using the additional integrals ϕ(i, j) and e ϕ(1, 2, 3, 4). Indeed, we e put
ϕ(i, j) = e R
Φ dτ f
if
j, (4.8)
ϕ(1, 2, 3, 4) = e R
Φ dτ
f
1f
2f
3f
4. (4.9)
Then as functions of the variables (a
i,j))
1≤i,j≤4, ϕ(∅), e ϕ(i, j), e ϕ(1, 2, 3, 4) satisfy e
a variational formula in closed form (Gauss–Manin connection (E
0)) (see [A3],
Proposition 2.4
p):
(4.10) d ϕ(∅) = e 1 2
X
i6=j
dhi, jiλ
iλ
jϕ(i, j) , e (4.11) A(i, j)d ϕ(i, j) e
= dA k, i, j l, i, j
λ
kλ
lϕ(1, 2, 3, 4) + da
i,jϕ(∅) e
+ λ
k− dA i, j k, j
ϕ(k, j) + dA e i, j k, i
ϕ(k, i) e
+ λ
l− dA i, j l, j
ϕ(l, j) + dA e i, j l, i
ϕ(l, i) e
, (4.12) A(1, 2, 3, 4)d ϕ (1, 2, 3, 4) = e 1
2 X
i6=j
(−1)
i+jdA k, i, j l, i, j
ϕ(i, j) e + 1
2 dA(1, 2, 3, 4){−1 + λ
1+ λ
2+ λ
3+ λ
4} ϕ(1, 2, 3, 4) , e with the fundamental relations
(4.13) 0 = λ
jϕ(1, 2, 3, 4) − e
4
X
k=1,k6=j
b
k,jϕ(j, k) , e
for each j, 1 ≤ j ≤ 4. Hence ϕ(1, 2, 3, 4), e ϕ(1, 4), e ϕ(2, 4) and e ϕ(3, 4) are expressed e by linear combinations of ϕ(1, 2), e ϕ(2, 3) and e ϕ(3, 1): e
2λ
4b
2,3ϕ(1, 4) e (4.14)
= (λ
2+ λ
3+ λ
4− 1)b
1,4ϕ(2, 3) + (λ e
2+ λ
3− λ
1− λ
4) ϕ(1, 3) e + (λ
2+ λ
3− λ
1− λ
4)b
3,4ϕ(1, 2) , e etc.
The volume V
3( b ∆) given by the formula
(4.15) y R
η1≥0,η2≥0
(1 + b
2,3η
1+ b
2,1η
2)
−1(η
1+ η
2− η
1η
2)
−1dη
1∧ dη
2is a special case of the hypergeometric integrals of Appell’s type F
4for α = β = γ = γ
0= 1. The equations (E
0) reduce to (3.41).
The B.C. transformation gives
(4.16) w, w = 1 + b
2,3− b
1,2± pB(1, 2, 3, 4) 2
for b
i,i= 0, b
1,3= −1, b
1,4= b
2,4= b
3,4= 1 and b
1,2= − 1 − ξ
22(1 + ξ
3) , b
2,3= − 1 − ξ
32(1 + ξ
3) .
B(1, 2, 3, 4) equals 1 + b
21,2+ b
22,3+ 2b
2,3+ 2b
1,2− 2b
1,2b
2,3= −ξ
12/(1 + ξ
3)
2= y
2.
On the other hand,
(4.17) z = ξ
2+ iξ
11 + ξ
3= 1 − 1 w . Hence the B.C. transformation
(4.18) ww = −b
1,2, (1 − w)(1 − w) = −b
2,3is the composite of the linear fractional transformation (4.17) and the correspon- dence (3.39) between the configuration matrix B and the point z ∈ C which rep- resents the vertex v
1.
References
[A1] K. A o m o t o, Fonctions hyper-logarithmiques et groupes de monodromie unipotents, J.
Fac. Sci. Univ. Tokyo 25 (1973), 149–156.
[A2] —, On structure of integrals of power product linear functions, Sci. Papers Col. Gen. Edu.
Univ. Tokyo 27 (1977), 49–61.
[A3] —, Configurations and invariant Gauss–Manin connections of integrals I , Tokyo J. Math.
5 (1982), 249–287; II, ibid. 6 (1983), 1–24.
[A4] —, Vanishing of certain 1-form attached to a configuration, ibid. 9 (1986), 453–455.
[A5] —, Analytic structure of Schl¨afli function, Nagoya Math. J. 68 (1977), 1–16.
[B1] A. A. B e i l i n s o n, A. V a r c h e n k o and V. S c h e c h t m a n, Projective geometry and K- theory , Algebra and Anal. 2 (1990), 78–130.
[B2] J. L. B u r c h n a l l and T. W. C h a u n d y, Expansions of Appell’s double hypergeometric functions, Quart. J. Math. 11 (1940), 249–270.
[G1] I. M. G e l f a n d and A. V. Z e l e v i n s k i, Algebraic and combinatorial aspect of general theory of hypergeometric functions, Funct. Anal. Appl. 20 (1986), 17–34.
[G2] A. B. G o n c h a r o v, The classical trilogarithm, algebraic K-theory of fields and Dedekind zeta functions, preprint, 1990.
[H1] R. H a i n, The geometry of the mixed Hodge structure on the fundamental group, in: Proc.
Sympos. Pure Math. 46, Amer. Math. Soc., 1987, 247–282.
[H2] R. H a i n and R. M a c P h e r s o n, Higher logarithms, Illinois J. Math. 34 (1990), 392–475.
[K1] J. K a n e k o, Monodromy group of Appell’s system (F4), Tokyo J. Math. 4 (1981), 35–54.
[K2] —, Selberg integrals and hypergeometric functions, preprint, 1990.
[K3] M. K a s h i w a r a and P. S c h a p i r a, Sheaves on Manifolds, Chap. XI, Springer, 1990.
[K4] R. K e l l e r h a l s, On the volume of hyperbolic polyhedra, Math. Ann. 285 (1989), 541–569.
[K5] —, The dilogarithm and volumes of hyperbolic polytopes, preprint.
[M1] J. M i l n o r, Hyperbolic geometry. The first 150 years, Bull. Amer. Math. Soc. 6 (1982), 9–24.
[M2] —, On polylogarithms, Hurwitz zeta functions, and the Kubert identities, Enseign. Math.
29 (1983), 281–322.
[V] A. V a r c h e n k o, Multidimensional hypergeometric functions and their appearance in con- formal field theory. Algebraic K-theory, algebraic geometry, etc., congress talk in Kyoto, 1990.
[W] Z. W o j t k o w i a k, A note on functional equations of polylogarithms, preprint, 1990.
[Z] D. Z a g i e r, Hyperbolic manifolds and special values of Dedekind zeta functions, Invent.
Math. 83 (1986), 285–301.