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

• Communications of the Korean Mathematical Society
• /
• v.29 no.4
• /
• pp.569-579
• /
• 2014

We consider a condition under which the projectivization $P(E^k)$ of a complex k-bundle $E^k{\rightarrow}M$ over an even-dimensional manifold M can have the hard Lefschetz property, affected by [10]. It depends strongly on the rank k of the bundle $E^k$. Our approach is purely algebraic by using rational Sullivan minimal models [5]. We will give some examples.

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

• 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 (ℂ)).

• Korean Journal of Mathematics
• /
• v.6 no.2
• /
• pp.313-318
• /
• 1998

In this paper we prove two independent theorems concerning formality of a nilmanifold and a differential graded algebra using the well-known theorem of Deligne-Griffiths-Morgan-Sullivan. We first give a rational homotopy theoretic proof to the statement that a nilmanifold is formal if and only if it is a torus. And then we study some conditions with which formality of one dga implies formality of the other in an extension of dga's.

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

• Communications of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.1309-1320
• /
• 2023

Let f : X → Y be a map between simply connected CW-complexes of finite type with X finite. In this paper, we prove that the rational cohomology of mapping spaces map(X, Y ; f) contains a polynomial algebra over a generator of degree N, where N = max{i, π_i(Y)⊗ℚ ≠ 0} is an even number. Moreover, we are interested in determining the rational homotopy type of map(𝕊ⁿ, ℂP^m; f) and we deduce its rational cohomology as a consequence. The paper ends with a brief discussion about the realization problem of mapping spaces.