• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1149-1165
• /
• 2016

In this paper, we show that there exists no left invariant Riemannian metric h on the Heisenberg group H such that (H, h) is a symmetric Riemannian manifold, and there does not exist any H-invariant metric $\bar{h}$ on the Heisenberg manifold $H/{\Gamma}$ such that the Riemannian connection on ($H/{\Gamma},\bar{h}$) is a Yang-Mills connection. Moreover, we get necessary and sufficient conditions for a group homomorphism of (SU(2), g) with an arbitrarily given left invariant metric g into (H, h) with an arbitrarily given left invariant metric h to be a harmonic and an affine map, and get the totality of harmonic maps of (SU(2), g) into H with a left invariant metric, and then show the fact that any affine map of (SU(2), g) into H, equipped with a properly given left invariant metric on H, does not exist.

• Communications of the Korean Mathematical Society
• /
• v.28 no.3
• /
• pp.501-509
• /
• 2013

In this paper we give a definition of the Hodge type Laplacian ${\Delta}$ on a non-commutative manifold which is the smooth dense subalgebra of a $C^*$-algebra. We prove that the Laplacian on a quantum Heisenberg manifold is an elliptic operator in the sense that $({\Delta}+1)^{-1}$ is compact.

• Honam Mathematical Journal
• /
• v.38 no.2
• /
• pp.359-366
• /
• 2016

Let H be the 3-dimensional Heisenberg group, ($G=H{\times}S^1$, g) a product Riemannian manifold of Riemannian manifolds H and S with arbitrarily given left invariant Riemannian metrics respectively, and ${\Gamma}$ the discrete subgroup of G with integer entries. Then, on the Riemannian manifold ($M:=G/{\Gamma}$, ${\Pi}^*g=\bar{g}$), ${\Pi}:G{\rightarrow}G/{\Gamma}$, we evaluate the scalar curvature and the Ricci curvature.

• Journal of the Korean Mathematical Society
• /
• v.49 no.2
• /
• pp.343-356
• /
• 2012

In this paper, we consider the canonical cusps in complex hyperbolic surfaces. We will classify canonical cusps in complex hyper-bolic surfaces and find correspondence between them and 3-dimensiona nilpotent groups. This paper is a sequel of our paper [6].

• Journal of the Korean Mathematical Society
• /
• v.46 no.3
• /
• pp.513-521
• /
• 2009

We first introduce a complex hyperbolic space and a complex hyperbolic manifold. After defining the canonical horoball and the canonical cusp on the complex hyperbolic manifold, we estimate the volumes of canonical cusps of complex hyperbolic manifolds. Finally, we deal with cusped, complex hyperbolic 2-manifolds, and in particular, the ones with only one cusp.

• Kyungpook Mathematical Journal
• /
• v.46 no.3
• /
• pp.367-376
• /
• 2006

We investigate semi-symmetry and pseudo-symmetry of some 3-dimensional Riemannian manifolds: the D'Atri spaces, the Thurston geometries as well as the ${\eta}$-Einstein manifolds. We prove that all these manifolds are pseudo-symmetric and that many of them are not semi-symmetric.

• Communications of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.967-977
• /
• 2020

In this article, we find the necessary and sufficient condition for a proper biharmonic Frenet curve in the Lorentzian Sasakian space forms 𝓜³₁(H) except the case constant curvature -1. Next, we find that for a slant curve in a 3-dimensional Sasakian Lorentzian manifold, its ratio of "geodesic curvature" and "geodesic torsion -1" is a constant. We show that a proper biharmonic Frenet curve is a slant pseudo-helix with 𝜅² - 𝜏² = -1 + 𝜀₁(H + 1)𝜂(B)² in the Lorentzian Sasakian space forms x1D4DC³₁(H) except the case constant curvature -1. As example, we classify proper biharmonic Frenet curves in 3-dimensional Lorentzian Heisenberg space, that is a slant pseudo-helix.

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

• Honam Mathematical Journal
• /
• v.45 no.2
• /
• pp.300-315
• /
• 2023

In this article, we deal with the biharmonicity of a vector field X viewed as a map from a pseudo-Riemannian manifold (M, g) into its tangent bundle TM endowed with the Sasaki metric g_S. Precisely, we characterize those vector fields which are biharmonic maps, and find the relationship between them and biharmonic vector fields. Afterwards, we study the biharmonicity of left-invariant vector fields on the three dimensional Heisenberg group endowed with a left-invariant Lorentzian metric. Finally, we give examples of vector fields which are proper biharmonic maps on the Gödel universe.