• Journal of the Chungcheong Mathematical Society
• /
• v.10 no.1
• /
• pp.161-175
• /
• 1997

We classify free actions of finite abelian groups on the 3-dimensional nilmanifold, up to topological conjugacy. By the works of Bieberbach and Waldhausen, this classification problem is reduced to classifying all normal subgroups of almost Bieberbach groups of finite index, up to affine conjugacy.

• Journal of the Korean Mathematical Society
• /
• v.42 no.4
• /
• pp.795-826
• /
• 2005

We study free actions of finite abelian groups on 3­dimensional nilmanifolds. By the works of Bieberbach and Waldhausen, this classification problem is reduced to classifying all normal nilpotent subgroups of almost Bieberbach groups of finite index, up to affine conjugacy. All such actions are completely classified.

• Journal of the Korean Mathematical Society
• /
• v.43 no.5
• /
• pp.1065-1080
• /
• 2006

For 3-dimensional Bieberbach groups, we study the de-formation spaces in the group of isometries of $R^3$. First we calculate the discrete representation spaces and the automorphism groups. Then for each of these Bieberbach groups, we give complete descriptions of $Teichm\ddot{u}ller$ spaces, Chabauty spaces, and moduli spaces.

• Journal of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1411-1440
• /
• 2017

We study free actions of finite groups on 3-dimensional nil-manifolds with the first homology ${\mathbb{Z}}^2{\oplus}{\mathbb{Z}}_p$. By the works of Bieberbach and Waldhausen, this classification problem is reduced to classifying all normal nilpotent subgroups of almost Bieberbach groups of finite index, up to affine conjugacy.

• Journal of the Chungcheong Mathematical Society
• /
• v.13 no.2
• /
• pp.71-79
• /
• 2001

We study only free actions of finite abelian groups G on the 3-dimensional nilmanifold, up to topological conjugacy. we shall deal with only one out of 15 distinct almost Bieberbach groups up to Seifert local invariant.

• Journal of the Chungcheong Mathematical Society
• /
• v.14 no.2
• /
• pp.27-35
• /
• 2001

We shall deal with ten cases out of 15 distinct almost Bieberbach groups up to Seifert local invariant. In those cases we will show that if G is a finite abelian group acting freely on the standard nilmanifold, then G is cyclic, up to topological conjugacy.

• Journal of the Chungcheong Mathematical Society
• /
• v.19 no.4
• /
• pp.437-443
• /
• 2006

We study free actions of finite groups on the 3-dimensional nilmanifold for Type 1 and classify all such group actions, up to topological conjugacy. This work supplies missing one in [1, Theorem 3.11.].

• Journal of the Korean Mathematical Society
• /
• v.44 no.5
• /
• pp.1121-1137
• /
• 2007

There are 7 types of 4-dimensional solvable Lie groups of the form ${\mathbb{R}^3}\;{\times}_{\varphi}\;{\mathbb{R}}$ which are unimodular and of type (R). They will have left. invariant Riemannian metrics with maximal symmetries. Among them, three nilpotent groups $({\mathbb{R}^4},\;Nil^3\;{\times}\;{\mathbb{R}\;and\;Nil^4)$ are well known to have lattices. All the compact forms modeled on the remaining four solvable groups $Sol^3\;{\times}\;{\mathbb{R}},\;Sol_0^4,\;Sol_0^'4\;and\;Sol_{\lambda}^4$ are characterized: (1) $Sol^3\;{\times}\;{\mathbb{R}}$ has lattices. For each lattice, there are infra-solvmanifolds with holonomy groups 1, ${\mathbb{Z}}_2\;or\;{\mathbb{Z}}_4$. (2) Only some of $Sol_{\lambda}^4$, called $Sol_{m,n}^4$, have lattices with no non-trivial infra-solvmanifolds. (3) $Sol_0^{'4}$ does not have a lattice nor a compact form. (4) $Sol_0^4$ does not have a lattice, but has infinitely many compact forms. Thus the first Bieberbach theorem fails on $Sol_0^4$. This is the lowest dimensional such example. None of these compact forms has non-trivial infra-solvmanifolds.

• Journal of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.285-287
• /
• 2019

• Journal of the Chungcheong Mathematical Society
• /
• v.20 no.3
• /
• pp.223-230
• /
• 2007

We study free actions of finite groups on the 3-dimensional nilmanifold and classify all such group actions, up to topological conjugacy. This work generalize Theorem 3.10 of [1].