Generators for the Euclidean Picard Modular Groups

Although we only consider the cases d=2,7,11, the ring \mathcal{O}_2 represents those for the values of d with d\equiv2(mod\ 4) and the rings \mathcal{O}_7, \mathcal{O}_{11} represent those of the values d\equiv3(mod\ 4), the remaining case is the same as \mathcal{O}_1 which has been done in [FFP]. Observe that Isom(\mathcal{O}_d) is generated by the subgroup of translations

and the finite subgroup of order two

Then, to understand \Delta\subset Isom(\mathcal{O}_d), it suffices to determine which translations can be lifted. We divide into two cases to complete the proof.

(i) The case \mathcal{O}_d with d\equiv2(mod\ 4)

Suppose that \beta\in\mathcal{O}_d=\mathbb{Z}[i\sqrt{d}] and consider the translation \hat{T}_\beta by \beta in \mathbb{Z}[i\sqrt{d}] given above. The preimage of \hat{T}_\beta under \Pi_* has the form

This map is in PU(2,1;\mathbb{Z}[i\sqrt{d}]) if and only if |\beta|^2 is an even integer and t\in2\sqrt{d}\mathbb{Z} . Writing \beta=m+i\sqrt{d}n for m,n\in\mathbb{Z}, then we can obtain m\equiv0\ (mod\ 2) from the conditions |\beta|^2=m^2+dn^2\in2\mathbb{Z} and d\equiv2(mod\ 4). Therefore, we conclude that \Delta\subset Isom(\mathbb{Z}[i\sqrt{d}]) is of index 2. Also, the kernel of \Pi_* is generated by

which is a vertical translation of (0,2\sqrt{2}).

(ii) The case \mathcal{O}_d with d\equiv3(mod\ 4)

Suppose that \beta=m+n\frac{1+i\sqrt{d}}{2}\in\mathcal{O}_d with m,n\in\mathbb{Z} for d\equiv3(mod\ 4). By the same argument of (i), it only suffices to determine m,n such that |\beta|^2 is an integer. For d\equiv3(mod\ 4), it is easy to show that |\beta|^2=m^2+mn+n^2(d+1)/4\in\mathbb{Z} for any m,n\in\mathbb{Z}, which implies that \Delta=Isom(\mathcal{O}_d). Obviously, the kernel of \Pi_* is generated by a vertical translation of (0,2\sqrt{d}).

Those matrices are constructed by lifting generators of the subgroup \Delta\subset Isom(\mathcal{O}_2) with index 2 and also T^{(2)} is a generator of the kernel of the map \Pi_*. A fundamental domain can be constructed with side pairings as Figure 3.2, where the vertices of the prism are v_3^+=(-1+\sqrt{2}i/2,\sqrt{2}), v_2^+=(1+\sqrt{2}i/2,\sqrt{2}), v_1^+=(1-\sqrt{2}i/2,\sqrt{2}) for the upper cap of the prism and v_3^-=(-1+\sqrt{2}i/2,-\sqrt{2}), v_2^-=(1+\sqrt{2}i/2,-\sqrt{2}), v_1^-=(1-\sqrt{2}i/2,-\sqrt{2}) for the base. In particular, the points v_4^{\pm}, v_5^{\pm}, v_6^{\pm} are the middle points of the edges (v_1^{\pm},v_2^{\pm}), (v_2^{\pm},v_3^{\pm}) and (v_3^{\pm},v_1^{\pm}), respectively.

The actions of side-pairing maps on \mathfrak{R} are given by

We describe the side pairing in terms of the action on the vertice:

The presentation can be obtained following from the edge cycles of the fundamental domain.

Those matrices are constructed by lifting generators of Isom(\mathcal{O}_7) and also T^{(7)} is a generator of the kernel of the map \Pi_*. A fundamental domain can be constructed with side pairings as Figure 3.3, where the vertices of the prism are v_1^+=((1-i\sqrt{7})/4,\sqrt{7}), v_2^+=((3+i\sqrt{7})/4,\sqrt{7}), v_4^+=((-1+i\sqrt{7})/4,\sqrt{7}) for the upper cap of the prism and v_1^-=((1-i\sqrt{7})/4,-\sqrt{7}), v_2^-=((3+i\sqrt{7})/4,-\sqrt{7}), v_4^-=((-1+i\sqrt{7})/4,-\sqrt{7}) for the base. The points v_3^{\pm},v_5^{\pm} are the middle points of the edges (v_2^{\pm},v^{\pm}_4) and (v_4^{\pm},v^{\pm}_1). In particular, we introduce more three points w_1^+=((1-i\sqrt{7})/4,\sqrt{7}/2), w_2^-=((3+i\sqrt{7})/4,-\sqrt{7}/2) and w_3^+=((-1+i\sqrt{7})/4,\sqrt{7}/2). The actions of side-pairing maps on \mathfrak{R} are given by

We describe the side pairing in terms of the action on the vertice:

The presentation can be obtained following from the edge cycles of the fundamental domain.

Those matrices are constructed by lifting generators of Isom(\mathcal{O}_{11}) and also T^{(11)} is a generator of the kernel of the map \Pi_*. A fundamental domain can be constructed with side pairings as Figure 3.4, where the vertices of the prism are v_1^+=((1-i\sqrt{11})/4,\sqrt{11}), v_2^+=((3+i\sqrt{11})/4,3\sqrt{11}/2), v_3^+=((-1+i\sqrt{11})/4,2\sqrt{11}) for the upper cap of the prism and v_1^-=((1-i\sqrt{11})/4,-\sqrt{11}), v_2^-=((3+i\sqrt{11})/4,-\sqrt{11}/2), v_3^-=((-1+i\sqrt{11})/4,0) for the base. The points v_0^{\pm} are the middle points of the edges (v_1^{\pm},v^{\pm}_3). In particular, we introduce more three points w_1=((1-i\sqrt{11})/4,0), w_2=((3+i\sqrt{11})/4,\sqrt{11}/2) and w_3=((-1+i\sqrt{11})/4,\sqrt{11}). The actions of side-pairing maps on \mathfrak{R} are given by

We describe the side pairing in terms of the action on the vertice:

The presentation can be obtained following from the edge cycles of the fundamental domain.

Obviously, the image of \mathcal{B}_0 under an element in (\Gamma_d)_\infty has the largest radius \sqrt{2}. On the contrary, given an element G as the form (?) such that G(q_\infty)\neq q_\infty, then the isometric sphere of G has the largest radius which leads to g=1. So the centre of isometric sphere of G is G^{-1}(\infty)=(\bar{h},2\Im m\bar{j},0) in horospherical coordinates. Since \bar{h} and 2\Im m\bar{j}\in\mathcal{O}_d, we can take a Heisenberg translation T\in(\Gamma_d)_\infty mapping the origin to (\bar{h},2\Im m\bar{j}). Writing T'=GTI_0, we know that T' fixes \infty. We conclude explicitly that the isometric sphere of G is

which is the image of \mathcal{B}_0 under T.

It suffices to show there exists three points (v_1^+)^{(j)} (j=1,2,3) on the edges (v_1^+,v_1^-), (v_1^+,v_2^+) and (v_1^+,v_3^+) which lie in the intersection of the interiors of \mathcal{S}_0 and \mathcal{S}_1 such that the tetrahedron \mathbb{T}(v_1^+) with vertices v_1^+, (v_1^+)^{(1)}, (v_1^+)^{(2)}, (v_1^+)^{(3)} lies inside \mathcal{S}_1. By the same argument, we can also obtain other five tetrahedra \mathbb{T}(v_2^+), \mathbb {T}(v_3^+), \mathbb{T}(v_1^-), \mathbb {T}(v_2^-), \mathbb{T}(v_3^-) with apex v_2^+, v_3^+, v_1^-, v_2^-, v_3^- respectively such that \mathbb {T}(v_2^+)\in Int(T^{(2)}(\mathcal{S}_1)), \mathbb {T}(v_3^+)\in Int(R^{(2)}_1(\mathcal{S}_1)), \mathbb {T}(v_1^-)\in Int({T^{(2)}}^{-1}(\mathcal{S}_1)), \mathbb {T}(v_2^-)\in Int(\mathcal{S}_1) and \mathbb {T}(v_3^-)\in Int({T^{(2)}}^{-1}R^{(2)}_1(\mathcal{S}_1)). Moreover, the core part obtained by cutting off six the tetrahedra from the prism lies inside \mathcal{S}_0.

We shall prove the existence of the tetrahedron \mathbb {T}(v_1^+) and the others follow similarly. The edge joining v_1^+ and v_1^- is contained the complex line \zeta=1-\sqrt{2}i/2 which is given by points with Heisenberg coordinates

The edge joining v_1^+ and v_2^+ is given by points with Heisenberg coordinates

The edge joining v_1^+ and v_3^+ is given by points with Heisenberg coordinates

From (?) and (?), the points on the edge (v^+_1,v^-_1) lie in the intersection of the interiors of \mathcal{S}_0 and \mathcal{S}_1 if and only if

By an easy calculation, the inequalities (?) are equivalent to

Using the same argument as above, we obtain that the points on the edge (v^+_1,v^+_2) lie in the intersection of the interiors of \mathcal{S}_0 and \mathcal{S}_1 if and only if \Re e\zeta=1, and -\sqrt{\sqrt{2}-1}<\Im m\zeta<\delta_1, where \delta_1\approx-0.208 is the largest real root of the equation x^4+4x^2+4\sqrt{2}x+1=0. The points on the edge (v^+_1,v^+_3) lie in the intersection of the interiors of \mathcal{S}_0 and \mathcal{S}_1 if and only if \Re e\zeta=-\sqrt{2}\Im m\zeta and -2^{1/4}/\sqrt{3}<\Im m\zeta<\delta_2, where \delta_2\approx-0.264 is the largest real root of the equation 9x^4+12\sqrt{2}x^3+18x^2+8\sqrt{2}x+2=0.

In term of these, we choose three points as (v_1^+)^{(1)}=(1-\sqrt{2}i/2,1) on the edge (v^+_1,v^-_1), (v_1^+)^{(2)}=(1-i/2,\sqrt{2}) on the edge (v^+_1,v^+_2) and (v_1^+)^{(3)}=(\sqrt{2}/2-i/2,\sqrt{2}) on the edge (v^+_1,v^+_3), which are inside the intersection of the interiors of \mathcal{S}_0, \mathcal{S}_1 and also the vertex v_1^+ lies inside \mathcal{S}_1. Therefore the tetrahedron \mathbb {T}(v_1^+) with the vertices v_1^+, (v_1^+)^{(1)}, (v_1^+)^{(2)}, (v_1^+)^{(3)} lies inside \mathcal{S}_1 by Lemma 4.1.

It suffice to show that the prism \mathbf{\Sigma}_7 can be decomposed into several pieces as polyhedra such that each polyhedron lies inside a spinal sphere which is described in the proposition and the common face of two adjacent polyhedra lie in the intersection of the interior of two spinal spheres which contain these two polyhedra.

We need to add sixteen points on the faces of the prism \mathbf{\Sigma}_7 in order to decompose the prim into seven polyhedra, in Heisenberg coordinates, these are given by

We describe these polyhedra as follows:

(i) The tetrahedron \mathbb{T} with the vertice v^+_1, p_1, p_2, p_3;

(ii) The hexahedron \mathbb{H}_1 with the vertice v^+_1, v_2^+, p_2, p_3, p_4, p_5, p_6;

(iii) The pentahedron \mathbb{P}_1 with the vertice v_2^+, p_4, p_5, p_6, v^+_4, p_7;

(iv) The pentahedron \mathbb{P}_2 with the vertice v_1^-, p_8, p_9, p_{10}, p_{11}, p_{12};

(v) The hexahedron \mathbb{H}_2 with the vertice p_9, p_{10}, p_{11}, p_{12}, p_{13}, v_2^-, p_{14}, p_{15};

(vi) The pentahedron \mathbb{P}_3 with the vertice p_9, p_{10}, p_{14}, p_{15}, p_{16}, v_4^+;

(vii) The octahedron \mathbb{O} with the vertice p_1, p_2, p_3, p_5, p_6, p_7, p_8, p_9, p_{11}, p_{13}, p_{14}, p_{16}.

Note that the face (p_1,p_2,p_3) of \mathbb{T} and the face (p_2,p_3,p_5,p_6) of \mathbb{H}_1 are on the face (p_1,p_5,p_6) of \mathbb{O}; the common face (v^+_2,p_4,p_5,p_6) of \mathbb{H}_1 and \mathbb{P}_1 is a vertical plane; the face (p_9,p_{11},p_{13},p_{14}) of \mathbb{H}_2 is parallel to the base of the prism. Furthermore, the faces (p_9,p_{10},p_{11},p_{12}) and (p_9,p_{10},p_{14},p_{15}) are the trapeziums since the edge (p_9,p_{11}) is parallel to (p_{10},p_{12}) and the edge (p_9,p_{14}) is parallel to (p_{10},p_{15}).

By examining the location of the points and applying Lemma 4.1, we conclude that the tetrahedron \mathbb{T} is inside the spinal sphere R^{(7)}_1R^{(7)}_3R^{(7)}_2(\mathcal{S}_3); the hexahedron \mathbb{H}_1 is contained inside the spinal sphere R^{(7)}_2(\mathcal{S}_0); the pentahedron \mathbb{P}_1 is inside R^{(7)}_3R^{(7)}_2(\mathcal{S}_3); the pentahedron \mathbb{P}_2 is contained inside {R^{(7)}_2}^{-1}(\mathcal{S}_0); the hexahedron \mathbb{H}_2 is contained inside {R^{(7)}_2}^{-1}(\mathcal{S}_3); the pentahedron \mathbb{P}_3 is inside \mathcal{S}_2; the remaining octahedron \mathbb{O} is inside \mathcal{S}_0; see Figure 5.3 for viewing the decomposition of the prism.

Using the same argument of Proposition 5.2, we want to decompose the prism \mathbf{\Sigma}_{11} into several polyhedral cells. The difference is the complicated intersection of the spinal spheres, which leads that the prism is difficultly decomposed into several polyhedral cells each of which is contained in one spinal sphere. Observe that a union of interiors of several spinal spheres is a star-convex set if they have a non-empty interior intersection. We shall show that the collection of these spinal spheres can be separated into several parts such that each part contains certain polyhedral cell. All these polyhedral cells are defined by the star-disk as its boundary.

We first define a tetrahedron \mathbb{T} with vertices v_1^-,q_1,q_2,q_3, where

Observe that the points q_1,q_2,q_3 lie on the edges (v^+_1,v^-_1), (v^-_1,v_3^-) and (v_1^-,v_2^-), respectively. An easy calculation shows that this tetrahedron is contained inside R^{(11)}_1{R^{(11)}_3}^{-1}R^{(11)}_2(\mathcal{S}_0) by Lemma 4.1.

Next, we define a hexahedron \mathbb{H}_1 with vertices q_1,q_2,q_3,q_4,q_5,q_6,q_7,v^+_0 and another hexahedron \mathbb{H}_2 with vertices v_2^-,q_5,q_6,q_7,q_8,q_9, where

Observe that the points q_4,q_6,q_8,q_9 lie on the edges (v^+_1,v^-_1), (v^-_1,v_2^-), (v_2^+,v_2^-) and (v^-_2,v^-_3), respectively. The points q_5 lies on the interior of the base of the prism and q_7 lies on the interior of the face (v^+_1,v^-_1,v^-_2,v^+_2). Then we know the hexahedron \mathbb{H}_1 has the faces (q_1,q_2,q_3), (q_1,q_3,q_6,q_7,q_4), (q_1,q_2,v^+_0,q_4), (q_4,q_5,v^-_0), (q_4,q_5,q_7) and (q_5,q_6,q_7) and the hexahedron \mathbb{H}_2 has the faces (q_5,q_6,q_7), (q_5,q_7,q_8), (v^-_2,q_8,q_9), (q_5,q_8,q_9) (q_6,q_7,q_8,v^-_2) and (q_5,q_6,v^-_2,q_9). By examining the location of these points and Lemma 4.1, we conclude that the hexahedron \mathbb{H}_1 is contained inside {R^{(11)}_2}^{-1}(\mathcal{S}_0) and the hexahedron \mathbb{H}_2 is lied inside {R^{(11)}_3}^{-1}(\mathcal{S}_0).

We focus on describing other polyhedral cells in the decomposition of the prism \mathbf{\Sigma}_{11}. Let \mathcal{U}_1 denote the union of R^{(11)}_2(\mathcal{S}_0), R^{(11)}_1R^{(11)}_2(\mathcal{S}_0) and R^{(11)}_1R^{(11)}_3R^{(11)}_2(\mathcal{S}_0). We verify that q_{10}=(0.2-0.4i,2.4) is in the intersection of the interiors of these three spinal spheres, which implies that \mathcal{U}_1 is a star-convex set about q_{11}. Analogously, we know \mathcal{U}_2, denoted by the union of T^{(11)}(\mathcal{S}_0), R^{(11)}_3(\mathcal{S}_0), R^{(11)}_1R^{(11)}_2(\mathcal{S}_0) and R^{(11)}_3R^{(11)}_2(\mathcal{S}_0), is a star-convex set about q_{11}=(0.18+0.72i,4.8). This can be verified by examining the location of q_{12} which is in the intersection of the interiors of these four spinal spheres. We need to add the following points on the faces of the prism \mathbf{\Sigma}_{11}, each of which is in the intersection of the interiors of at least two spinal spheres.

Observe that the points q_{12},q_{20},q_{23} lie on the edges (v^+_1,v^-_1), (v^+_1,v^+_2) and (v^+_3,v^-_3) respectively and the points q_{17},q_{19} lie on the edge (v^+_2,v^-_2). Moreover, the points q_{13}, q_{14}, q_{15}, q_{22} lie on the interior of the face (v^+_1,v^-_1,v^-_3,v^+_3), the point q_{16} lies on the interior of the face (v^+_2,v^-_2,v^-_3,v^+_3), the point q_{18} lies on the interior of the face (v^+_1,v^-_1,v^-_2,v^+_2) and the points q_{21} lies on the interior of the top (v^+_1,v^+_2,v^+_3). We need to add other three points in the interior of the prism \mathbf{\Sigma}_{11} which are used to define the cone-polygon,

We verify the location of all these points as follows:

\bullet The point q_{12} is in the intersection of the interiors of R^{(11)}_1R^{(11)}_3R^{(11)}_2(\mathcal{S}_0) and \mathcal{S}_0;

\bullet The point q_{13} is in the intersection of the interiors of \mathcal{S}_0, R^{(11)}_1R^{(11)}_2(\mathcal{S}_0) and R^{(11)}_1R^{(11)}_3R^{(11)}_2(\mathcal{S}_0);

\bullet The point q_{14} is in the intersection of the interiors of \mathcal{S}_0, R^{(11)}_2(\mathcal{S}_0) and R^{(11)}_1R^{(11)}_2(\mathcal{S}_0);

\bullet The point q_{15} is in the intersection of the interiors of \mathcal{S}_0, R^{(11)}_2(\mathcal{S}_0), R^{(11)}_3(\mathcal{S}_0) and R^{(11)}_3R^{(11)}_2(\mathcal{S}_0);

\bullet The points q_{16},q_{19},q_{20} are in the intersection of the interiors of R^{(11)}_2(\mathcal{S}_0) and R^{(11)}_3(\mathcal{S}_0);

\bullet The point q_{17} is in the intersection of the interiors of \mathcal{S}_0 and R^{(11)}_2(\mathcal{S}_0);

\bullet The point q_{18} is in the intersection of the interiors of \mathcal{S}_0, R^{(11)}_2(\mathcal{S}_0) and R^{(11)}_1R^{(11)}_3R^{(11)}_2(\mathcal{S}_0);

\bullet The point q_{21} is in the intersection of the interiors of T^{(11)}(\mathcal{S}_0), R^{(11)}_2(\mathcal{S}_0) and R^{(11)}_3(\mathcal{S}_0);

\bullet The point q_{22} is in the intersection of the interiors of R^{(11)}_1R^{(11)}_2(\mathcal{S}_0), R^{(11)}_2(\mathcal{S}_0) and R^{(11)}_3(\mathcal{S}_0);

\bullet The point v^{+}_0 is in the intersection of the interiors of R^{(11)}_1R^{(11)}_2(\mathcal{S}_0), T^{(11)}(\mathcal{S}_0) and R^{(11)}_2(\mathcal{S}_0);

\bullet The point q_{23} is in the intersection of the interiors of \mathcal{S}_0, R^{(11)}_3(\mathcal{S}_0) and R^{(11)}_3R^{(11)}_2(\mathcal{S}_0);

\bullet The point q_{24} is in the intersection of the interiors of \mathcal{S}_0, R^{(11)}_2(\mathcal{S}_0), R^{(11)}_3(\mathcal{S}_0) and R^{(11)}_3R^{(11)}_2(\mathcal{S}_0);

\bullet The point q_{25} is in the intersection of the interiors of \mathcal{S}_0, R^{(11)}_2(\mathcal{S}_0), R^{(11)}_1R^{(11)}_2(\mathcal{S}_0) and R^{(11)}_1R^{(11)}_3R^{(11)}_2(\mathcal{S}_0);

\bullet The point q_{26} is in the intersection of the interiors of T^{(11)}(\mathcal{S}_0), R^{(11)}_2(\mathcal{S}_0), R^{(11)}_3(\mathcal{S}_0) and R^{(11)}_1R^{(11)}_2(\mathcal{S}_0).

In term of these, we denote by X_1 a closed polygonal chain joining in order with the points p_{12}, p_{13}, p_{14}, p_{15}, p_{16}, p_{17}, p_{18} and denote by X_2 a closed polygonal chain joining in order with the points p_{16}, p_{19}, p_{20}, p_{21}, v^+_0, p_{22}, p_{24}. So then we can define two cone-polygons \mathbb{D}_{q_{25}}(X_1) and \mathbb{D}_{q_{26}}(X_2). By examining the locations of these points, we show that \mathbb{D}_{q_{25}}(X_1) is in the intersection of the interiors of \mathcal{S}_0, \mathcal{U}_1 and \mathbb{D}_{q_{26}}(X_2) is in the intersection of the interiors of R^{(11)}_2(\mathcal{S}_0) and T^{(11)}(\mathcal{S}_0), R^{(11)}_1R^{(11)}_2(\mathcal{S}_0), R^{(11)}_3(\mathcal{S}_0), namely, the intersection of the interiors of \mathcal{U}_1 and \mathcal{U}_2. The remaining faces can be easily verified which are contained inside \mathcal{S}_0,\mathcal{U}_1 or \mathcal{U}_2 .

Finally, we define three polyhedral cells as follows:

(i) The polyhedral cell \mathbb{P}_1 is defined by the faces \mathbb{D}_{q_{25}}(X_1), \mathbb{D}_{q_{26}}(X_2), (v^+_1,q_{12},q_{18},q_{17},q_{19},q_{20}), (v_1^+,q_{12},q_{13},q_{14},q_{15},q_{22},v^+_0) and (v^+_1,q_{20},q_{21},v^+_0) as its boundary;

(ii) The polyhedral cell \mathbb{P}_2 is defined by the faces \mathbb{D}_{q_{26}}(X_2), (q_{15},q_{23},q_{24}), (v^+_1,q_{20},q_{21},v^+_0) (v^+_1,q_{12},q_{18},q_{17},q_{19},q_{20}), (v_1^+,q_{12},q_{13},q_{14},q_{15},q_{22},v^+_0) and (q_{23},q_{16},q_{24}) as its boundary;

(iii) The polyhedral cell \mathbb{P}_3 is defined by the faces \mathbb{D}_{q_{25}}(X_1), (q_4,q_5,q_7), (q_5,q_7,q_8), (q_4,q_5,v^-_0), (q_{15},q_{23},q_{24}), (q_8,q_9,v^-_3,q_{23},q_{16},q_{17}), (q_{23},q_{16},q_{24}), (q_4,q_7,q_8,q_{17},q_{18},q_{12}), (v^-_3,v^-_0,q_5,q_9) and (q_{12},q_{13},q_{14},q_{15},q_{23},v^-_3,v^-_0,q_4) as its boundary;

By Lemma 4.1 and the properties of star-convex of \mathcal{U}_1 and \mathcal{U}_2, we conclude that the polyhedral cell \mathbb{P}_1 contained inside \mathcal{U}_1; the polyhedral cell \mathbb{P}_2 contained inside \mathcal{U}_2; the polyhedral cell \mathbb{P}_3 is contained inside \mathcal{S}_0. This completes the proof.