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

• Journal of the Chungcheong Mathematical Society
• /
• v.36 no.4
• /
• pp.223-229
• /
• 2023

We prove that a rational homology disk smoothing of the singularity W_p,q,r is ℚ-Gorenstein by using its sandwiched structure.

• Journal of the Korean Mathematical Society
• /
• v.50 no.3
• /
• pp.493-507
• /
• 2013

We construct a new family of simply connected minimal complex surfaces of general type with $p_g$ = 1, $q$ = 0, and $K^2$ = 3, 4, 5, 6, 8 using a $\mathbb{Q}$-Gorenstein smoothing theory.

• Communications of the Korean Mathematical Society
• /
• v.32 no.3
• /
• pp.479-494
• /
• 2017

We construct various examples of simply connected minimal complex surfaces of general type with $p_g=0$ and $K^2=1,2$ using ${\mathbb{Q}}$-Gorenstein smoothing method.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.6
• /
• pp.1269-1274
• /
• 2010

As the sequel to our previous work [4], we construct a minimal complex surface of general type with $p_g=0$, $K^2=3$ and $H_1$ = $\mathbb{Z}/2\mathbb{Z}$ by using a rational blow-down surgery and $\mathbb{Q}$-Gorenstein smoothing the-ory.

• Journal of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.127-135
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m. Then we say that I is an equimultiple good ideal in A, if I contains a reduction Q = ( $a_1$, $a_2$,ㆍㆍㆍ, $a_{s}$ ) generated by s elements in A and G(I) =(equation omitted)$_{n 0}$ $I^{n}$ / $I^{n＋1}$ of I is a Gorenstein ring with a(G(I)) = 1 - s, where s = h $t_{A}$ I and a(G(I)) denotes the a-invariant of G(I). Let $X_{A}$$^{s}$ denote the set of equimultiple good ideals I in A with h $t_{A}$ I = s, R(I) = A [It] be the Rees algebra of I, and $K_{R(I)}$ denote the canonical module of R(I). Let a I such that $I^{n＋l}$ = a $I^{n}$ for some n$\geq$0 and $\mu$$_{A}$(I)$\geq$2, where $\mu$$_{A}$(I) denotes the number of elements in a minimal system of generators of I. Assume that A/I is a Cohen-Macaulay ring. We show that the following conditions are equivalent. (1) $K_{R(I)}$(equation omitted)R(I)＋as graded R(I)-modules. (2) $I^2$ = aI and aA : I$\in$ $X^1$$_{A}$._{A}$./.