• Korean Journal of Mathematics
• /
• v.18 no.2
• /
• pp.175-183
• /
• 2010

The classical group completion theorem states that under a certain condition the homology of ${\Omega}BM$ is computed by inverting ${\pi}_0M$ in the homology of M. McDuff and Segal extended this theorem in terms of homology fibration. Recently, more general group completion theorem for simplicial spaces was developed. In this paper, we construct a symmetric monoidal 2-category ${\mathcal{A}}$. The 1-morphisms of ${\mathcal{A}}$ are generated by three atomic 2-dimensional CW-complexes and the set of 2-morphisms is given by the group of path components of the space of homotopy equivalences of 1-morphisms. The main part of the paper is to compute the homotopy type of the group completion of the classifying space of ${\mathcal{A}}$, which is shown to be homotopy equivalent to ${\mathbb{Z}}{\times}BAut^+_{\infty}$.

• Kyungpook Mathematical Journal
• /
• v.57 no.1
• /
• pp.145-161
• /
• 2017

If a virtual knot diagram can be transformed to another virtual one by a finite sequence of crossing changes, Reidemeister moves and virtual moves then the two virtual knot diagrams are said to be homotopic. There are infinitely many homotopy classes of virtual knot diagrams. We give necessary conditions by using polynomial invariants of virtual knots for two virtual knots to be homotopic. For a sequence S of crossing changes, Reidemeister moves and virtual moves between two homotopic virtual knot diagrams, we give a lower bound for the number of crossing changes in S by using the affine index polynomial introduced in [13]. In [10], the first author gave the q-polynomial of a virtual knot diagram to find Reidemeister moves of virtually isotopic virtual knot diagrams. We find how to apply Reidemeister moves by using the q-polynomial to show homotopy of two virtual knot diagrams.

• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1371-1385
• /
• 2019

Given a topological space X and a non-negative integer k, ${\varepsilon}^{\sharp}_k(X)$ is the set of all self-homotopy equivalences of X that do not change maps from X to an t-sphere $S^t$ homotopically by the composition for all $t{\geq}k$. This set is a subgroup of the self-homotopy equivalence group ${\varepsilon}(X)$. We find certain homotopic tools for computations of ${\varepsilon}^{\sharp}_k(X)$. Using these results, we determine ${\varepsilon}^{\sharp}_k(M(G,n))$ for $k{\geq}n$, where M(G, n) is a Moore space type of (G, n) for a finitely generated abelian group G.

• Communications of the Korean Mathematical Society
• /
• v.37 no.1
• /
• pp.259-267
• /
• 2022

We use L_∞ models to compute the rational homotopy type of the mapping space of the component of the natural inclusion i_n,k : ℂPⁿ ↪ ℂP^n+k between complex projective spaces and show that it has the rational homotopy type of a product of odd dimensional spheres and a complex projective space. We also characterize the mapping aut₁ ℂPⁿ → map(ℂPⁿ, ℂP^n+k; i_n,k) and the resulting G-sequence.

• Kyungpook Mathematical Journal
• /
• v.63 no.3
• /
• pp.373-411
• /
• 2023

Gompf proposed a conjecture on Cappell-Shaneson matrices whose affirmative answer implies that all Cappell-Shaneson homotopy 4-spheres are diffeomorphic to the standard 4-sphere. We study Gompf conjecture on Cappell-Shaneson matrices using various algebraic number theoretic techniques. We find a hidden symmetry between trace n Cappell-Shaneson matrices and trace 5 - n Cappell-Shaneson matrices which was suggested by Gompf experimentally. Using this symmetry, we prove that Gompf conjecture for the trace n case is equivalent to the trace 5 - n case. We confirm Gompf conjecture for the special cases that -64 ≤ trace ≤ 69 and corresponding Cappell-Shaneson homotopy 4-spheres are diffeomorphic to the standard 4-sphere. We also give a new infinite family of Cappell-Shaneson spheres which are diffeomorphic to the standard 4-sphere.

• East Asian mathematical journal
• /
• v.19 no.1
• /
• pp.113-120
• /
• 2003

We study how the second homotopy modules of group presentations are transformed by Tietze transformations and discuss some application.

• Journal of the Chungcheong Mathematical Society
• /
• v.9 no.1
• /
• pp.89-99
• /
• 1996

We introduce and study certain subgroups of homotopy groups which contain evaluation subgroups and use these subgroups to obtain a sequence similar to homotopy sequence of fibration. We use the sequence to calculate evaluation subgroups or generalized evaluation subgroups of some topological pair.

• Communications of the Korean Mathematical Society
• /
• v.12 no.1
• /
• pp.75-78
• /
• 1997

We show that if a simple $C^*$-algebra A satisfies certain $K_1$-group conditions, then two unitarily equivalent projections are homotopic. Also we show that the equivalence of projections determined by a dimension function is a homotopy.

• Journal of the Chungcheong Mathematical Society
• /
• v.6 no.1
• /
• pp.113-130
• /
• 1993

In this paper, we introduce certain subgroups $E^{Rel}_n$ (X, Y, K, G) of the relative homotopy groups ${\sigma}_n$(X, Y, K, G) of a transformation group and examine the algebraic properties of these groups.

• Journal of the Chungcheong Mathematical Society
• /
• v.5 no.1
• /
• pp.9-21
• /
• 1992

We define a certain subgroup $E_n$ (X, K, G) of the relative homotopy groups of a transformation group ${\sigma}_n$(X, K, G). The algebraic properties of these groups are examined.