We choose coordinates on
and on such that
|
|
|
If is a subgroup of the fundamental group , then acts on
preserving , and
, and is a invariant subspace. For
any , we have , where , , and . Since is invariant, we obtain then
where ,
, and . Moreover, implies . Since
,
we have
, and .
Thus acts on
given by ,
,
for any and . This implies that
,
and where , and is the standard flat metric on induced by .
The -action on descents to a
-action on , which is a product action since the
-action is so. Moreover, is a
invariant set as is invariant under the
-action. If we denote the quotient map ,
then ,
,
, and
. Since
and
for
, we obtain that
|
|
|
for a constant
.
∎