• Journal of the Chungcheong Mathematical Society
• /
• v.18 no.2
• /
• pp.223-232
• /
• 2005

We study only free actions of finite groups G on the 3-dimensional nilmanifold, up to topological conjugacy which yields an infra-nilmanifold of type 2.

• Journal of the Chungcheong Mathematical Society
• /
• v.32 no.3
• /
• pp.365-381
• /
• 2019

We study free actions of finite nonabelian groups on 3-dimensional nilmanifolds with the first homology ${\mathbb{Z}}^2{\oplus}{\mathbb{Z}}_2$, up to topological conjugacy. We show that there exist three kinds of nonabelian group actions in ${\pi}_1$, two in ${\pi}_2$ or ${\pi}_{5,i}$(i = 1, 2, 3), one in the other cases, and clarify what those groups are.

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

Let $so(3)\tilde{\times}R^3$ be the 6-dimensional nilpotent Lie group with group operation (s, x)(t, y) = $(s+t+xy^t-yx^t,\;x+y)$. We prove that the maximal order of the holonomy groups of all infra-nilmanifolds with $so(3)\tilde{\times}R^3$-geometry is 16.

• Journal of Integrative Natural Science
• /
• v.14 no.3
• /
• pp.139-146
• /
• 2021

The purpose of this paper is to classify the torsion-free extensions 1→ℤ³→𝛱→ℤ_𝜱→1 with injective abstract kernel 𝜙 : ℤ_𝜱→Aut(ℤ³). From this classification, we handle the sufficient conditions so as to classify the crystallographic groups of Sol⁴_m,n.

• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1209-1251
• /
• 2015

The purpose of this paper is to classify all compact manifolds modeled on the 4-dimensional solvable Lie group $Sol_1^4$, and more generally, the crystallographic groups of $Sol_1^4$. The maximal compact subgroup of Isom($Sol_1^4$) is $D_4={\mathbb{Z}}_4{\rtimes}{\mathbb{Z}}_2$. We shall exhibit an infra-solvmanifold of $Sol_1^4$ whose holonomy is $D_4$. This implies that all possible holonomy groups do occur; the trivial group, ${\mathbb{Z}}_2$ (5 families), ${\mathbb{Z}}_4$, ${\mathbb{Z}}_2{\times}{\mathbb{Z}}_2$ (5 families), and ${\mathbb{Z}}_4{\rtimes}{\mathbb{Z}}_2$ (2 families).

• Journal of the Chungcheong Mathematical Society
• /
• v.31 no.4
• /
• pp.475-486
• /
• 2018

We study free actions of finite nonabelian groups on 3-dimensional nilmanifolds with the first homology ${\mathbb{Z}}^2{\bigoplus}{\mathbb{Z}}_2$ which yield an orbit manifold reversing fiber orientation, up to topological conjugacy. We show that those nonabelian groups are $D_4$(the dihedral group), $Q_8$(the quaternion group), and $C_8.C_4$(the $1^{st}$ non-split extension by $C_8$ of $C_4$ acting via $C_4/C_2=C_2$).

• Journal of the Chungcheong Mathematical Society
• /
• v.33 no.1
• /
• pp.113-132
• /
• 2020

We show that if a finite group G acts freely with homotopically trivial translations on a 3-dimensional nilmanifold 𝓝_p with the first homology ℤ² ⊕ ℤ_p, then either G is cyclic or there exist finite nonabelian groups acting freely on 𝓝_p which yield orbit manifolds homeomorphic to 𝓝/𝜋₃ or 𝓝/𝜋₄.