• Communications of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.961-971
• /
• 2018

We determine the sets of homotopy minimal periods of all self-maps on the Klein bottle by using a single formula for homotopy minimal periods of maps on the infra-solvmanifolds of type (R). This provides an alternate but an easy proof for the main results of [12].

• Journal of the Korean Mathematical Society
• /
• v.38 no.6
• /
• pp.1107-1116
• /
• 2001

In this paper, we study the rationality of the Reidemeister zeta function of an endomorphism of a group extension. As an application, we give sufficient conditions for the rationality of the Reidemeister and the Nielsen zeta functions of selfmaps on an exponential solvmanifold or an infra-nilmanifold or the coset space of a compact connected Lie group by a finite subgroup.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.4
• /
• pp.909-919
• /
• 2020

The 4-dimensional solvable Lie group Sol₀⁴ does not admit a lattice. The purpose of this paper is two-fold. We study poly-crystallographic groups of Sol₀⁴, and then we study Nielsen fixed point theory on the spaces modeled on Sol₀⁴.

• Journal of the Korean Mathematical Society
• /
• v.55 no.2
• /
• pp.293-311
• /
• 2018

We study the homotopical minimal periods for maps on infra-solvmanifolds of type (R) using the density of the homotopical minimal period set in the natural numbers. This extends the result of [10] from flat manifolds to infra-solvmanifolds of type (R). We give some examples of maps on infra-solvmanifolds of dimension three for which the corresponding density is positive.

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

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.867-873
• /
• 2024

A pseudo-Riemannian solvmanifold is a solvable Lie group endowed with a left invariant pseudo-Riemannian metric. In this short note, we investigate the nilpotency of the Ricci operator of pseudo-Riemannian solvmanifolds. We focus on a special class of solvable Lie groups whose Lie algebras can be expressed as a one-dimensional extension of a nilpotent Lie algebra ℝD⋉n, where D is a derivation of n whose restriction to the center of n has at least one real eigenvalue. The main result asserts that every solvable Lie group belonging to this special class admits a left invariant pseudo-Riemannian metric with nilpotent Ricci operator. As an application, we obtain a complete classification of three-dimensional solvable Lie groups which admit a left invariant pseudo-Riemannian metric with nilpotent Ricci operator.

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