• 대한수학회보
• /
• 제34권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.

• 대한수학회보
• /
• 제45권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.

• 대한수학회지
• /
• 제48권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}}$.

• 대한수학회보
• /
• 제61권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.

• 대한수학회지
• /
• 제53권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.

• 한국수학사학회지
• /
• 제17권3호
• /
• pp.33-42
• /
• 2004

상수 ${\varrho}$는 미분적분학뿐만 아니라 실생활에서도 중요한 의미를 갖는 상수이다. 상수 ${\varrho}$의 개념은 1618년 출판된 네이피어의 논문 부록에 처음 나온다. 그 당시의 로그의 발전이 상수 ${\varrho}$를 이해하는 데 기여하였다. 1727년에 오일러가 상수 ${\varrho}$의 기호를 도입하며 명확한 정의와 함께 상수 ${\varrho}$에 대하여 연구하였다. 현재 고등학교에서 배우는 상수 ${\varrho}$의 개념을 정립하는 데 약 100년이 걸린 것이다. 상수 ${\varrho}$의 기원의 연구를 통해 현재 우리 시대에 행해지고 있는 많은 연구가 미래에 큰 의미를 부여할 수 있기를 기대한다.

• 대한수학회논문집
• /
• 제34권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.

• 대한수학회보
• /
• 제59권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)}.

• 대한수학회지
• /
• 제47권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.

• 대한수학회보
• /
• 제57권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) ∖ {𝔪}}.