23/07/16 19:11:03.67 Gig56QD8.net
Construction of the domain F
We put H = {z ∈ C; Imz > 0}, T =
( 1+√
5
2
1－
√
5
2
1 1 )
, V = T(H2
)
and F = V/Z
2
. Here Z
2 acts on V by (
z1
z2
)
7→
(
z1 + 1
z2
)
and
(
z1
z2
)
7→
(
z1
z2 + 1 )
.
さすがにもう無理
23/07/16 19:11:03.67 Gig56QD8.net
Construction of the domain F
We put H = {z ∈ C; Imz > 0}, T =
( 1+√
5
2
1－
√
5
2
1 1 )
, V = T(H2
)
and F = V/Z
2
. Here Z
2 acts on V by (
z1
z2
)
7→
(
z1 + 1
z2
)
and
(
z1
z2
)
7→
(
z1
z2 + 1 )
.
さすがにもう無理