• Journal of the Korean Mathematical Society
• /
• v.56 no.3
• /
• pp.595-622
• /
• 2019

An ideal right-angled pentagon in hyperbolic 4-space ${\mathbb{H}}^4$ is a sequence of oriented geodesics ($L_1,{\ldots},L_5$) such that Li intersects $L_{i+1},\;i=1,\;{\ldots},\;4$, perpendicularly in ${\mathbb{H}}^4$ and the initial point of $L_1$ coincides with the endpoint of $L_5$ in the boundary at infinity ${\partial}{\mathbb{H}}^4$. We study the geometry of such pentagons and the various possible augmentations and prove identities for the associated quaternion half side lengths as well as other geometrically defined invariants of the configurations. As applications we look at two-generator groups ${\langle}A,B{\rangle}$ of isometries acting on hyperbolic 4-space such that A is parabolic, while B and AB are loxodromic.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.33-46
• /
• 2023

Geodesic orbit spaces are homogeneous Finsler spaces whose geodesics are all orbits of one-parameter subgroups of isometries. Such Finsler spaces have vanishing S-curvature and hold the Bishop-Gromov volume comparison theorem. In this paper, we obtain a complete description of invariant (α₁, α₂)-metrics on spheres with vanishing S-curvature. Also, we give a description of invariant geodesic orbit (α₁, α₂)-metrics on spheres. We mainly show that a Sp(n + 1)-invariant (α₁, α2)-metric on S⁴ⁿ⁺³ = Sp(n + 1)/Sp(n) is geodesic orbit with respect to Sp(n + 1) if and only if it is Sp(n + 1)Sp(1)-invariant. As an interesting consequence, we find infinitely many Finsler spheres with vanishing S-curvature which are not geodesic orbit spaces.

• Journal of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.307-330
• /
• 2013

If $m$ and $n$ are non-negative integers, then three new classes of abelian $p$-groups are defined and studied: the $m$, $n$-simply presented groups, the $m$, $n$-balanced projective groups and the $m$, $n$-totally projective groups. These notions combine and generalize both the theories of simply presented groups and $p^{w+n}$-projective groups. If $m$, $n=0$, these all agree with the class of totally projective groups, but when $m+n{\geq}1$, they also include the $p^{w+m+n}$-projective groups. These classes are related to the (strongly) n-simply presented and (strongly) $n$-balanced projective groups considered in [15] and the n-summable groups considered in [2]. The groups in these classes whose lengths are less than ${\omega}^2$ are characterized, and if in addition we have $n=0$, they are determined by isometries of their $p^m$-socles.