• Journal of the Korean Mathematical Society
• /
• v.37 no.4
• /
• pp.645-655
• /
• 2000

We calculate the R(G)-algebra structure on the reduced equivariant K-groups of two-dimensional spheres on which a compact Lie group G acts as a reflection. In particular, the reduced equivariant K-groups are trivial if G is abelian, which shows that the previous Y. Yang's calculation in [8] is incorrect.

• Journal of the Korean Mathematical Society
• /
• v.40 no.5
• /
• pp.901-920
• /
• 2003

The notion of infinitely near singular points, classical in the case of plane curves, has been generalized to higher dimensions in my earlier articles ([5], [6], [7]). There, some basic techniques were developed, notably the three technical theorems which were Differentiation Theorem, Numerical Exponent Theorem and Ambient Reduction Theorem [7]. In this paper, using those results, we will prove the Finite Presentation Theorem, which the auther believes is the first of the most important milestones in the general theory of infinitely near singular points. The presentation is in terms of a finitely generated graded algebra which describes the total aggregate of the trees of infinitely near singular points. The totality is a priori very complex and intricate, including all possible successions of permissible blowing-ups toward the reduction of singularities. The theorem will be proven for singular data on an ambient algebraic shceme, regular and of finite type over any perfect field of any characteristics. Very interesting but not yet apparent connections are expected with many such works as ([1], [8]).

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.1297-1303
• /
• 2015

We study Samelson products on models of function spaces. Given a map $f:X{\rightarrow}Y$ between 1-connected spaces and its Quillen model ${\mathbb{L}}(f):{\mathbb{L}}(V){\rightarrow}{\mathbb{L}}(W)$, there is an isomorphism of graded vector spaces ${\Theta}:H_*(Hom_{TV}(TV{\otimes}({\mathbb{Q}}{\oplus}sV),{\mathbb{L}}(W))){\rightarrow}H_*({\mathbb{L}}(W){\oplus}Der({\mathbb{L}}(V),{\mathbb{L}}(W)))$. We define a Samelson product on $H_*(Hom_{TV}(TV{\otimes}({\mathbb{Q}}{\oplus}sV),{\mathbb{L}}(W)))$.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.479-484
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m and d = dim A. Then we say that I is a good ideal in A, if I contains a reduction $Q=(a_1,a_2,...,a_d)$ generated by d elements in A and $G(I)=\bigoplus_{n\geq0}I^n/I^{n+1}$ of I is a Gorenstein ring with a(G(I)) = 1-d, where a(G(I)) denotes the a-invariant of G(I). Let S = A[Q/a$_1$] and P = mS. In this paper, we show that the following conditions are equivalent. (1) $I^2$ = QI and I = Q:I. (2) $I^2S$ = $a_1$IS and IS = $a_1$S：sIS. (3) $I^2$Sp = $a_1$ISp and ISp = $a_1$Sp ：sp ISp. We denote by $X_A(Q)$ the set of good ideals I in $X_A(Q)$ such that I contains Q as a reduction. As a Corollary of this result, we show that $I\inX_A(Q)\Leftrightarrow\IS_P\inX_{SP}(Qp)$.