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

We investigate when the .product of two smooth manifolds admits a weakly Lagrangian embedding. Assume M, N are oriented smooth manifolds of dimension m and n,. respectively, which admit weakly Lagrangian immersions into $C^m$ and $C^n$. If m and n are odd, then $M\;{\times}\;N$ admits a weakly Lagrangian embedding into $C^{m+n}$ In the case when m is odd and n is even, we assume further that $\chi$(N) is an even integer. Then $M\;{\times}\;N$ admits a weakly Lagrangian embedding into $C^{m+n}$. As a corollary, we obtain the result that $S^n_1\;{\times}\;S^n_2\;{\times}\;...{\times}\;S^n_k$, $\kappa$>1, admits a weakly Lagrang.ian embedding into $C^n_1+^n_2+...+^n_k$ if and only if some ni is odd.

• Honam Mathematical Journal
• /
• v.21 no.1
• /
• pp.157-169
• /
• 1999

For a k-connected inverse system $({\scr{X}},\;*)=((X_{\lambda},\;*),p_{{\lambda}{{\lambda}}^{\prime}},\;{\Lambda})$ of pointed topological spaces and pointed preserving weak fibrations, inducting epimorphic chain maps, over a directed set, we show that the homotopy group ${\pi}_k(lim{\scr{X}},\;*)$ of the inverse limit is isomorphic to the integral homology group $$H_k(lim{\scr{X}};\mathbb{Z})$. Using the result of S. $Marde{\check{s}}i{\acute{c}}$, we prove that the group of pure extension $Pext(colimH^n({\scr{X}},\;A)$ is isomorphic to the group of extension $Ext({\Delta}({\lambda}),\;Hom(H^n({\scr{X}}),\;A))$.

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

Let ${\pi}:E{\rightarrow}B$ be a Serre fibration with fibre F. We prove that if the inclusion map $i:F{\rightarrow}E$ has a left homotopy inverse r and ${\pi}:E{\rightarrow}B$ admits a cross section ${\rho}:B{\rightarrow}E$, then $G_n(E,F){\cong}{\pi}_n(B){\oplus}G_n(F)$. This is a generalization of the case of trivial fibration which has been proved by Lee and Woo in [8]. Using this result, we will prove that ${\pi}_n(X^A){\cong}{\pi}_n(X){\oplus}G_n(F)$ for the function space $X^A$ from a space A to a weak $H_*$-space X where the evaluation map ${\omega}:X^A{\rightarrow}X$ is regarded as a fibration.

• Communications of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.279-286
• /
• 2019

Complex Grassmann manifolds $G_{n,k}$ are a generalization of complex projective spaces and have many important features some of which are captured by the $Pl{\ddot{u}}cker$ embedding $f:G_{n,k}{\rightarrow}{\mathbb{C}}P^{N-1}$ where $N=\(^n_k\)$. The problem of existence of cross sections of fibrations can be studied using the Gottlieb group. In a more generalized context one can use the relative evaluation subgroup of a map to describe the cohomology of smooth fiber bundles with fiber the (complex) Grassmann manifold $G_{n,k}$. Our interest lies in making use of techniques of rational homotopy theory to address problems and questions involving applications of Gottlieb groups in general. In this paper, we construct the Sullivan minimal model of the (complex) Grassmann manifold $G_{n,k}$ for $2{\leq}k<n$, and we compute the rational evaluation subgroup of the embedding $f:G_{n,k}{\rightarrow}{\mathbb{C}}P^{N-1}$. We show that, for the Sullivan model ${\phi}:A{\rightarrow}B$, where A and B are the Sullivan minimal models of ${\mathbb{C}}P^{N-1}$ and $G_{n,k}$ respectively, the evaluation subgroup $G_n(A,B;{\phi})$ of ${\phi}$ is generated by a single element and the relative evaluation subgroup $G^{rel}_n(A,B;{\phi})$ is zero. The triviality of the relative evaluation subgroup has its application in studying fibrations with fibre the (complex) Grassmann manifold.

• The Pure and Applied Mathematics
• /
• v.12 no.1
• /
• pp.47-55
• /
• 2005

For topological spaces X, Y and the function f : X → Y, it induces a function gr(f) : X → X x Y defined as gr(f)(χ) = (χ, f(χ)), for every χ ∈ X. It deals with some preliminary investigations relating to the behavior of functions and its graph functions. It has also been found that continuous functions are homotopic if and only if their graph functions are homotopic.

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

Using a base-point free version of the infinite symmetric product we define a fibrewise infinite symmetric product for any fibration $E\;\longrightarrow\;B$. The construction works for any commutative ring R with unit and is denoted by $R_f(E)\;l\ongrightarrow\;B$. For any pointed space B let $G_I(B)\;\longrightarrow\;B$ be the i-th Ganea fibration. Defining $M_R-cat(B):= inf{i\midR_f(G_i(B))\longrihghtarrow\;B$ admits a section} we obtain an approximation to the Lusternik-Schnirelmann category of B which satisfies .g.a product formula. In particular, if B is a 1-connected rational space of finite rational type, then $M_Q$-cat(B) coincides with the well-known (purely algebraically defined) M-category of B which in fact is equal to cat (B) by a result of K.Hess. All the constructions more generally apply to the Ganea category of maps.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.4
• /
• pp.809-817
• /
• 1998

We investigate when the product of two smooth manifolds admits a weakly Lagrangian embedding. Prove that, if $M^m$ and $N^n$ are smooth manifolds such that M admits a weakly Lagrangian embedding into ${\mathbb}C^m$ whose normal bundle has a nowhere vanishing section and N admits a weakly Lagrangian immersion into ${\mathbb}C^n$, then $M \times N$ admits a weakly Lagrangian embedding into ${\mathbb}C^{m+n}$. As a corollary, we obtain that $S^m {\times} S^n$ admits a weakly Lagrangian embedding into ${\mathbb}C^{m+n}$ if n=1,3. We investigate the problem of whether $S^m{\times}S^n$ in general admits a weakly Lagrangian embedding into ${\mathbb} C^{m+n}$.

• Honam Mathematical Journal
• /
• v.37 no.1
• /
• pp.135-147
• /
• 2015

Owing to the notion of a normal adjacency for a digital product in [8], the study of product properties of digital topological properties has been substantially done. To explain a normal adjacency of a digital product more efficiently, the recent paper [22] proposed an S-compatible adjacency of a digital product. Using an S-compatible adjacency of a digital product, we also study product properties of digital topological properties, which improves the presentations of a normal adjacency of a digital product in [8]. Besides, the paper [16] studied the product property of two digital covering maps in terms of the $L_S$- and the $L_C$-property of a digital product which plays an important role in studying digital covering and digital homotopy theory. Further, by using HS- and HC-properties of digital products, the paper [18] studied multiplicative properties of a digital fundamental group. The present paper compares among several kinds of adjacency relations for digital products and proposes their own merits and further, deals with the problem: consider a Cartesian product of two simple closed $k_i$-curves with $l_i$ elements in $Z^{n_i}$, $i{\in}\{1,2\}$ denoted by $SC^{n_1,l_1}_{k_1}{\times}SC^{n_2,l_2}_{k_2}$. Since a normal adjacency for this product and the $L_C$-property are different from each other, the present paper address the problem: for the digital product does it have both a normal k-adjacency of $Z^{n_1+n_2}$ and another adjacency satisfying the $L_C$-property? This research plays an important role in studying product properties of digital topological properties.