• Journal of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.1-13
• /
• 1999

Let G be the 3-dimensional Heisenberg group. A discrete subgroup of Isom(G), acting freely on G with non-compact quotient, must be isomorphic to either 1, Z, Z2 or the fundamental group of the Klein bottle. We classify all discrete representations of such groups into Isom(G) up to affine conjugacy. This yields an affine calssification of 3-dimensional non-compact infra-nilmanifolds.

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

• Kyungpook Mathematical Journal
• /
• v.61 no.2
• /
• pp.371-381
• /
• 2021

In this paper, we attempt to obtain sufficient conditions for the existence of tight wavelet frame sets in locally compact abelian groups. The condition is generated by modulating a collection of characteristic functions that correspond to a generalized shift-invariant system via the Fourier transform. We present two approaches (for stationary and non-stationary wavelets) to construct the scaling function for L²(G) and, using the scaling function, we construct an orthonormal wavelet basis for L²(G). We propose an open problem related to the extension principle for Riesz wavelets in locally compact abelian groups.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1757-1771
• /
• 2017

Let K be a field and G be a group of its automorphisms. It follows from Speiser's generalization of Hilbert's Theorem 90, [10] that any K-semilinear representation of the group G is isomorphic to a direct sum of copies of K, if G is finite. In this note three examples of pairs (K, G) are presented such that certain irreducible K-semilinear representations of G admit a simple description: (i) with precompact G, (ii) K is a field of rational functions and G permutes the variables, (iii) K is a universal domain over field of characteristic zero and G its automorphism group. The example (iii) is new and it generalizes the principal result of [7].

• Journal of the Korean Mathematical Society
• /
• v.37 no.2
• /
• pp.297-308
• /
• 2000

We survey results, obtained in the past three years, on characterizing bounded (and Kobayashi-hyperbolic) Reinhardt domains by their automorphism groups. Specifically, we consider the following two situations: (i) the group is non-compact, and (ii) the dimension of the group is sufficiently large. In addition, we prove two theorems on characterizing general hyperbolic complex manifolds by the dimensions of their automorphism groups.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.207-218
• /
• 2020

Some modular representations of reflection groups related to Weyl groups are considered. The rational cohomology of the classifying space of a compact connected Lie group G with a maximal torus T is expressed as the ring of invariants, H*(BG; ℚ) ≅ H*(BT; ℚ)^W(G), which is a polynomial ring. If such Lie groups are locally isomorphic, the rational representations of their Weyl groups are equivalent. However, the integral representations need not be equivalent. Under the mod p reductions, we consider the structure of the rings, particularly for the Weyl group of symplectic groups Sp(n) and for the alternating groups A_n as the subgroup of W(SU(n)). We will ask if such rings of invariants are polynomial rings, and if each of them can be realized as the mod p cohomology of a space. For n = 3, 4, the rings under a conjugate of W(Sp(n)) are shown to be polynomial, and for n = 6, 8, they are non-polynomial. The structures of H*(BT^n-1; 𝔽_p)^A_n will be also discussed for n = 3, 4.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1607-1620
• /
• 2023

In this paper, we mainly study the problem of the existence of homogeneous geodesics in sub-Finsler manifolds. Firstly, we obtain a characterization of a homogeneous curve to be a geodesic. Then we show that every compact connected homogeneous sub-Finsler manifold and Carnot group admits at least one homogeneous geodesic through each point. Finally, we study a special class of ℓ^p-type bi-invariant metrics on compact semi-simple Lie groups. We show that every homogeneous curve in such a metric space is a geodesic. Moreover, we prove that the Alexandrov curvature of the metric space is neither non-positive nor non-negative.

• Communications of the Korean Mathematical Society
• /
• v.12 no.3
• /
• pp.691-699
• /
• 1997

The following statement is known as the generalized Hilbert-Smith conjecture : If G is a compact group and acts effectively on a manifold, then G is a Lie group. In this paper we prove that the generalized Hilbert-Smith conjecture is equivalent to the following : A known, but has never been published before.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.4
• /
• pp.1193-1200
• /
• 2013

The center of the Lie group $SU(n)$ is isomorphic to $\mathbb{Z}_n$. If $d$ divides $n$, the quotient $SU(n)/\mathbb{Z}_d$ is also a Lie group. Such groups are locally isomorphic, and their Weyl groups $W(SU(n)/\mathbb{Z}_d)$ are the symmetric group ${\sum}_n$. However, the integral representations of the Weyl groups are not equivalent. Under the mod $p$ reductions, we consider the structure of invariant rings $H^*(BT^{n-1};\mathbb{F}_p)^W$ for $W=W(SU(n)/\mathbb{Z}_d)$. Particularly, we ask if each of them is a polynomial ring. Our results show some polynomial and non-polynomial cases.

• Journal of the Korean Mathematical Society
• /
• v.59 no.2
• /
• pp.367-377
• /
• 2022

Let G be a non-discrete locally compact abelian group, and 𝜇 be a transformable and translation bounded Radon measure on G. In this paper, we construct a Segal algebra S_𝜇(G) in L¹(G) such that the generalized Poisson summation formula for 𝜇 holds for all f ∈ S_𝜇(G), for all x ∈ G. For the definitions of transformable and translation bounded Radon measures and the generalized Poisson summation formula, we refer to L. Argabright and J. Gil de Lamadrid's monograph in 1974.