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

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.3
• /
• pp.485-494
• /
• 2008

There are two well known reduction formulae for structural constants of the cohomology ring of Grassmannians, i.e., Littlewood-Richardson coefficients. Two reduction formulae are a conjugate pair in the sense that indexing partitions of one formula are conjugate to those of the other formula. A nice bijective proof of the first reduction formula is given in the authors' previous paper while a (combinatorial) proof for the second reduction formula in the paper depends on the identity between Littlewood-Richardson coefficients of conjugate shape. In this article, a direct bijective proof for the second reduction formula for Littlewood-Richardson coefficients is given. Our proof is independent of any previously known results (or bijections) on tableaux theory and supplements the arguments on bijective proofs of reduction formulae in the authors' previous paper.

• Journal of the Korean Mathematical Society
• /
• v.48 no.5
• /
• pp.953-967
• /
• 2011

We show that the characteristic function $1S_{\underline{\alpha}}$ of any Harder-Narasimhan strata $S{\underline{\alpha}}\;{\subset}\;Coh_X^{\alpha}$ belongs to the spherical Hall algebra $H_X^{sph}$ of a smooth projective curve X (defined over a finite field $\mathbb{F}_q$). We prove a similar result in the geometric setting: the intersection cohomology complex IC(${\underline{S}_{\underline{\alpha}}$) of any Harder-Narasimhan strata ${\underline{S}}{\underline{\alpha}}\;{\subset}\;{\underline{Coh}}_X^{\underline{\alpha}}$ belongs to the category $Q_X$ of spherical Eisenstein sheaves of X. We show by a simple example how a complete description of all spherical Eisenstein sheaves would necessarily involve the Brill-Noether stratas of ${\underline{Coh}}_X^{\underline{\alpha}}$.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.273-280
• /
• 2024

Let I be an ideal of a commutative Noetherian semi-local ring R and M be an R-module. It is shown that if dim M ≤ 2 and Supp_R M ⊆ V (I), then M is I-weakly cofinite if (and only if) the R-modules Hom_R(R/I, M) and Ext¹_R(R/I, M) are weakly Laskerian. As a consequence of this result, it is shown that the category of all I-weakly cofinite modules X with dim X ≤ 2, forms an Abelian subcategory of the category of all R-modules. Finally, it is shown that if dim R/I ≤ 2, then for each pair of finitely generated R-modules M and N and each pair of the integers i, j ≥ 0, the R-modules Tor^R_i(N, H^j_I(M)) and Extⁱ_R(N, H^j_I(M)) are I-weakly cofinite.

• Journal of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.331-346
• /
• 2016

The primary aim of this paper is to generalize a theorem of Hirzebruch for the complex 2-dimensional Bott manifolds, usually called Hirzebruch surfaces, to more general Bott towers of height n. To do so, we first show that all complex vector bundles of rank 2 over a Bott manifold are classified by their total Chern classes. As a consequence, in this paper we show that two Bott manifolds $B_n({\alpha}_1,{\ldots},{\alpha}_{n-1},{\alpha}_n)$ and $B_n({\alpha}_1,{\ldots},{\alpha}_{n-1},{\alpha}_n^{\prime})$ are isomorphic to each other, as Bott towers if and only if both ${\alpha}_n{\equiv}{\alpha}_n^{\prime}$ mod 2 and ${\alpha}_n^2=({\alpha}_n^{\prime})^2$ hold in the cohomology ring of $B_{n-1}({\alpha}_1,{\ldots},{\alpha}_{n-1})$ over integer coefficients. This result will complete a circle of ideas initiated in [11] by Ishida. We also give some partial affirmative remarks toward the assertion that under certain condition our main result still holds to be true for two Bott manifolds just diffeomorphic, but not necessarily isomorphic, to each other.

• Journal for History of Mathematics
• /
• v.17 no.3
• /
• pp.33-42
• /
• 2004

${\varrho}$ is the real constant number that appears not only in calculus but also in a real life. The concept of the number ${\varrho}$ first appeared in an appendix of Napier's work on logarithms in 1618. The early developments on the logarithm became part of an understanding of the number ${\varrho}$. In 1727, the number ${\varrho}$ was studied by Euler explicitly. It ton14 almost 100 years to understand the number ${\varrho}$ which we learn in high school nowadays. By studying the origin of the number ${\varrho}$, we can guess that many mathemetician's research in our time will have significant meaning in the future although it looks like just some calculations of cohomology or K-theory etc.

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

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.917-928
• /
• 2022

Let R be a commutative Noetherian ring and I an ideal of R. In this paper, we study colocalization of generalized local homology modules. We intend to establish a dual case of local-global principle for the finiteness of generalized local cohomology modules. Let M be a finitely generated R-module and N a representable R-module. We introduce the notions of the representation dimension r^I(M, N) and artinianness dimension a^I(M, N) of M, N with respect to I by r^I(M, N) = inf{i ∈ ℕ₀ : H^I_i(M, N) is not representable} and a^I(M, N) = inf{i ∈ ℕ₀ : H^I_i(M, N) is not artinian} and we show that a^I(M, N) = r^I(M, N) = inf{r^IR_𝔭 (M_𝔭,𝔭N) : 𝔭 ∈ Spec(R)} ≥ inf{a^IR_𝔭 (M_𝔭,𝔭N) : 𝔭 ∈ Spec(R)}. Also, in the case where R is semi-local and N a semi discrete linearly compact R-module such that N/∩_t>0I^tN is artinian we prove that inf{i : H^I_i(M, N) is not minimax}=inf{r^IR_𝔭 (M_𝔭,𝔭N) : 𝔭 ∈ Spec(R)＼Max(R)}.

• Journal of the Korean Mathematical Society
• /
• v.47 no.6
• /
• pp.1147-1165
• /
• 2010

In this paper we compare a torsion free sheaf F on $P^N$ and the free vector bundle $\oplus^n_{i=1}O_{P^N}(b_i)$ having same rank and splitting type. We show that the first one has always "less" global sections, while it has a higher second Chern class. In both cases bounds for the difference are found in terms of the maximal free subsheaves of F. As a consequence we obtain a direct, easy and more general proof of the "Horrocks' splitting criterion", also holding for torsion free sheaves, and lower bounds for the Chern classes $c_i$(F(t)) of twists of F, only depending on some numerical invariants of F. Especially, we prove for rank n torsion free sheaves on $P^N$, whose splitting type has no gap (i.e., $b_i{\geq}b_{i+1}{\geq}b_i-1$ 1 for every i = 1,$\ldots$,n-1), the following formula for the discriminant: $$\Delta(F):=2_{nc_2}-(n-1)c^2_1\geq-\frac{1}{12}n^2(n^2-1)$$. Finally in the case of rank n reflexive sheaves we obtain polynomial upper bounds for the absolute value of the higher Chern classes $c_3$(F(t)),$\ldots$,$c_n$(F(t)) for the dimension of the cohomology modules $H^iF(t)$ and for the Castelnuovo-Mumford regularity of F; these polynomial bounds only depend only on $c_1(F)$, $c_2(F)$, the splitting type of F and t.

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

Let I be an ideal of Noetherian local ring (R, m) and M an artinian R-module. In this paper, we study colocalization of local homology modules. In fact we give Colocal-global Principle for the artinianness and minimaxness of local homology modules, which is a dual case of Local-global Principle for the finiteness of local cohomology modules. We define the representation dimension r^I (M) of M and the artinianness dimension a^I (M) of M relative to I by r^I (M) = inf{i ∈ ℕ₀ : H^I_i (M) is not representable}, and a^I (M) = inf{i ∈ ℕ₀ : H^I_i (M) is not artinian} and we will prove that i) a^I (M) = r^I (M) = inf{r^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)} ≥ inf{a^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)}, ii) inf{i ∈ ℕ₀ : H^I_i (M) is not minimax} = inf{r^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R) ∖ {𝔪}}. Also, we define the upper representation dimension R^I (M) of M relative to I by R^I (M) = sup{i ∈ ℕ₀ : H^I_i (M) is not representable}, and we will show that i) sup{i ∈ ℕ₀ : H^I_i (M) ≠ 0} = sup{i ∈ ℕ₀ : H^I_i (M) is not artinian} = sup{R^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)}, ii) sup{i ∈ ℕ₀ : H^I_i (M) is not finitely generated} = sup{i ∈ ℕ₀ : H^I_i (M) is not minimax} = sup{R^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R) ∖ {𝔪}}.