• Journal of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.143-165
• /
• 2023

For each connected and simply connected three-dimensional non-unimodular Lie group, we classify the left invariant Lorentzian metrics up to automorphism, and study the extent to which curvature can be altered by a change of metric. Thereby we obtain the Ricci operator, the scalar curvature, and the sectional curvatures as functions of left invariant Lorentzian metrics on each of these groups. Our study is a continuation and extension of the previous studies done in [3] for Riemannian metrics and in [1] for Lorentzian metrics on unimodular Lie groups.

• Honam Mathematical Journal
• /
• v.36 no.3
• /
• pp.637-645
• /
• 2014

We study 3-dimensional non-unimodular Lie groups with a left-invariant almost Kenmotsu structure.

• Journal of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.651-684
• /
• 2022

Let G be an arbitrary, connected, simply connected and unimodular Lie group of dimension 3. On the space 𝔐(G) of left-invariant Lorentzian metrics on G, there exists a natural action of the group Aut(G) of automorphisms of G, so it yields an equivalence relation ≃ on 𝔐(G), in the following way: h₁ ≃ h₂ ⇔ h₂ = 𝜙^*(h₁) for some 𝜙 ∈ Aut(G). In this paper a procedure to compute the orbit space Aut(G)/𝔐(G) (so called moduli space of 𝔐(G)) is given.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.951-960
• /
• 2010

We provide the set of left-invariant minimal unit vector fields on the semi-direct product $\mathbb{R}^n\;{\rtimes}_p\mathbb{R}$, where P is a nonsingular diagonal matrix and on the 7 classes of 4-dimensional solvable Lie groups of the form $\mathbb{R}^3\;{\rtimes}_p\mathbb{R}$ which are unimodular and of type (R).

• Communications of the Korean Mathematical Society
• /
• v.11 no.4
• /
• pp.1055-1059
• /
• 1996

We characterize the left invariant Riemannian metrics on SO(1,2) which give rise to 3- or 4-dimensional isometry groups.

• 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 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.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).