• Journal of the Chungcheong Mathematical Society
• /
• v.21 no.3
• /
• pp.371-376
• /
• 2008

Let $P(M,G,{\pi})=:P$ be a principal fibre bundle with structure Lie group G over a base manifold M. In this paper we get the following facts: 1. The tangent bundle TG of the structure Lie group G in $P(M,G,{\pi})=:P$ is a Lie group. 2. The Lie algebra ${\mathcal{g}}=T_eG$ is a normal subgroup of the Lie group TG. 3. $TP(TM,TG,{\pi}_*)=:TP$ is a principal fibre bundle with structure Lie group TG and projection ${\pi}_*$ over base manifold TM, where ${\pi}_*$ is the differential map of the projection ${\pi}$ of P onto M. 4. for a Lie group $H,\;TH=H{\circ}T_eH=T_eH{\circ}H=TH$ and $H{\cap}T_eH=\{e\}$, but H is not a normal subgroup of the group TH in general.

• Journal of the Korean Mathematical Society
• /
• v.55 no.3
• /
• pp.553-574
• /
• 2018

In this paper, we study harmonic maps and biharmonic maps on the principal G-bundle in Kobayashi and Nomizu and also the warped product $P=M{\times}_fF$ for a $C^{\infty}$(M) function f on M studied by Bishop and O'Neill, and Ejiri.

• Communications of the Korean Mathematical Society
• /
• v.14 no.1
• /
• pp.211-216
• /
• 1999

We study the anti-linear involutions on a real algebraic vector bundle with bundle with a compact real algebraic group action.

• Journal of the Chungcheong Mathematical Society
• /
• v.33 no.3
• /
• pp.365-374
• /
• 2020

Given a noncompact semisimple Lie group G and its maximal compact Lie subgroup K such that the right multiplication of each element in K gives an isometry on G, consider a principal bundle G → G/K, which is a Riemannian submersion. We study the infinitesimal holonomy isometries. Given a closed curve at eK in the base space G/K, consider the holonomy displacement of e by the horizontal lifting of the curve. We prove that the correspondence is continuous.

• Communications of the Korean Mathematical Society
• /
• v.9 no.4
• /
• pp.933-944
• /
• 1994

Let $\pi : P \to S^4$ be a principal G-bundle over $S^4$ whose the structure group G is a compact, connected, simple Lie group. Since $\pi_3(G) = \pi_4 (BG) = Z$, we can classify the principal bundle $P_k$ over $S^4$ by the map $S^4 \to BG$ of degree k. Atiyah and Jones [2] showed that $C_k = A_k/g^b_k$ is homotopy equivalent to $\Omega^3_k G \simeq \Omega^4_k BG$ where $A_k$ is the space of the all connections in $P_k$ and $g^b_k$ is the based gauge group which consists of all base point preserving automorphisms on $P_k$. Here $\Omega^nX$ is the space of all base-point preserving continuous map from $S^n$ to X. Let $M_k$ be the space of based gauge equivalence classes of all connections in $P_k$ satisfying the Yang-Mills self-duality equations, which we call the moduli space of G instantons.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.649-654
• /
• 1999

We consider the forgetful map from the group of equivariant self equivalences to the group of non-equivariant self equivalences. A sufficient condition for this forgetful map being a monomorphism is obtained. Several examples are given.

• Honam Mathematical Journal
• /
• v.2 no.1
• /
• pp.37-44
• /
• 1980

우리는 먼저 Principal G-bundle와 성질을 살피고 representation of G over C를 irreducible CG-space의 direct sum으로 표시하여 Schur's Lemma를 이용하면 E가 임의의 CG-space, ${\sigma}E=Hom_c(E{\sigma},E)$라 할 때 ${\oplus}_{\sigma}(E_{\sigma}{\otimes}{\sigma}E){\rightarrow}E$ 가 G-ismorphism이 됨을 알아본다. 본 논문의 목적은 이러한 결과를 이용하여 K(X)와 $K_G(X)$의 관계를 구명하는데 있다.

• Journal of the Korean Mathematical Society
• /
• v.45 no.3
• /
• pp.699-709
• /
• 2008

We study homology of the gauge group associated with the principal $G_2$ bundle over the four-sphere using the Eilenberg-Moore spectral sequence and the Serre spectral sequence with the aid of homology and cohomology operations.

• Journal of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1407-1419
• /
• 2021

The Iwasawa decomposition NAK of the Lie group G = SO₀(2, 1) with a left invariant metric produces Riemannian submersions G → N\G, G → A\G, G → K\G, and G → NA\G. For each of these, we calculate the curvature of the base space and the lifting of a simple closed curve to the total space G. Especially in the first case, the base space has a constant curvature 0; the holonomy displacement along a (null-homotopic) simple closed curve in the base space is determined only by the Euclidean area of the region surrounded by the curve.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.1-8
• /
• 1997

Let G be a finiteg oroup. We denote BG a classifying space of G, which a contractible universal principal G bundle EG. The stable type of BG does not determine G up to isomorphism. A simple example [due to N. Minami]is given by $Q_{4p} \times Z/2$ and $D_{2p} \times Z/4$ where ps is an odd prime, $Q_{4p} is the generalized quarternion group of order 4p and $D_{2p}$ is the dihedral group of order 2p. However the paper [6] gives us a necessary and sufficient condition for $BG_1$ and $BG_2$ to be stably equivalent localized et pp. The local stable type of BG depends on the conjegacy classes of homomorphisms from the p-groups Q into G. This classification theorem simplifies if G has a normal sylow p-subgroup. Then the stable homotopy type depends on the Weyl group of the sylow p-subgroup.