• Communications of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.835-840
• /
• 2021

In this paper, we compute the rational evaluation subgroup of the Hopf fibration S²ⁿ⁺¹ ↪ ℂP(n). We show that, for the Sullivan model 𝜙 : A → B, where A and B are the minimal Sullivan models of ℂP(n) and S²ⁿ⁺¹ respectively, the evaluation subgroup G_n(A, B; 𝜙) and the relative evaluation subgroup G^rel_n (A, B; 𝜙) of 𝜙 are generated by single elements.

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

• Journal of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.163-191
• /
• 2002

We introduce Clapp-Puppe type generalized Lusternik-Schnirelmann (co)category in a Quillen model category. We establish some of their basic properties and give various characterizations of them. As the first application of these characterizations, we show that our generalized (co)category is invariant under Quillen modelization equivalences. In particular, generalized (co)category is invariant under Quillen modelization equivalences. In particular, generalized (co)category of spaces and simplicial sets coincide. Another application of these characterizations is to define and study rational cocategory. Various other applications are also given.

• Journal of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.227-253
• /
• 2023

In this article, we generalize the results discussed in [6] by introducing a genus to generic fibers of Lefschetz fibrations. That is, we give families of relations in the mapping class groups of genus-1 surfaces with boundaries that represent rational homology disk smoothings of weighted homogeneous surface singularities whose resolution graphs are 3-legged with a bad central vertex.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.521-525
• /
• 2005

We give a necessary and sufficient condition of a rationally elliptic space X such that the Dold-Lashof classifying space Baut1X for fibrations with the fiber X is rank one. It is only when X has the rational homotopy type of a sphere or the total space of a spherical fibration over a product of spheres.

• Communications of the Korean Mathematical Society
• /
• v.25 no.2
• /
• pp.283-289
• /
• 2010

Approximate fibrations provide a useful class of maps. Fibrators give instant detection of maps in this class, and PL fibrators do the same in the PL category. We show that rational homology spheres with some additional conditions are codimension-k PL fibrators and PL manifolds with trivial homology groups in some range can be codimension-k (k > 2) PL fibrators.

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

Mirror symmetry for del Pezzo surfaces was studied in [3] where they suggested that the mirror should take the form of a Landau-Ginzburg model with a particular type of elliptic fibration. This argument came from symplectic considerations of the derived categories involved. This problem was then considered again but from an algebro-geometric perspective by Gross, Hacking and Keel in [8]. Their construction allows one to construct a formal mirror family to a pair (S, D) where S is a smooth rational projective surface and D a certain type of Weil divisor supporting an ample or anti-ample class. In the case where the self intersection matrix for D is not negative semi-definite it was shown in [8] that this family may be lifted to an algebraic family over an affine base. In this paper we perform this construction for all smooth del Pezzo surfaces of degree at least two and obtain explicit equations for the mirror families and present the mirror to dP₂ as a double cover of ℙ².

• Communications of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.991-1004
• /
• 2019

Firstly we consider preorders (not necessarily partial orders) on a canonical quotient of the set of the homotopy classes of continuous maps between two spaces induced by a certain equivalence relation ${\sim}_{{\varepsilon}R}$. Secondly we apply it to a classification of orientable fibrations over Y with fibre X. In the classification theorem of J. Stasheff [22] and G. Allaud [3], they use the set $[Y,\;Baut_1X]$ of homotopy classes of continuous maps from Y to $Baut_1X$, which is the classifying space for fibrations with fibre X due to A. Dold and R. Lashof [11]. In this paper we give a classification of fibrations using a preordered set (abbr., proset) structure induced by $[Y,\;Baut_1X]_{{\varepsilon}R}:=[Y,\;Baut_1X]/{\sim}_{{\varepsilon}R}$.

• Kyungpook Mathematical Journal
• /
• v.63 no.1
• /
• pp.131-139
• /
• 2023

Let V_k,n (ℂ) denote the complex Steifel and Gr_k,n (ℂ) the Grassmann manifolds for 1 ≤ k < n. In this paper, we compute, in terms of the Sullivan minimal models, the evaluation subgroups and, more generally, the relative evaluation subgroups of the fibration p : V_k,k+n (ℂ) → Gr_k,k+n (ℂ). In particular, we prove that G_* (Gr_k,k+n (ℂ), V_k,k+n (ℂ) ; p) is isomorphic to G^rel_* (Gr_k,k+n (ℂ), V_k,k+n (ℂ) ; p) ⊕ G_* (V_k,k+n (ℂ)).