Source author record

Youngsu Kim

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC

Catalog footprint

Research overview

4works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

A note on Itoh (e)-Valuation Rings of and Ideal

Let $I$ be a regular proper ideal in a Noetherian ring $R$ , let $e \ge 2$ be an integer, let $\mathbf T_e = R[u,tI,u^{\frac{1}{e}}]' \cap R[u^{\frac{1}{e}},t^{\frac{1}{e}}]$ (where $t$ is an indeterminate and $u =\frac{1}{t}$ ), and let $\mathbf r_e = u^{\frac{1}{e}} \mathbf T_e$ . Then the Itoh (e)-valuation rings of $I$ are the rings $(\mathbf T_e/z)_{(p/z)}$ , where $p$ varies over the (height one) associated prime ideals of $\mathbf r_e$ and $z$ is the (unique) minimal prime ideal in $\mathbf T_e$ that is contained in $p$ . We show, among other things: (1) $\mathbf r_e$ is a radical ideal if and only if $e$ is a common multiple of the Rees integers of $I$ . (2) For each integer $k \ge 2$ , there is a one-to-one correspondence between the Itoh (k)-valuation rings $(V^*,N^*)$ of $I$ and the Rees valuation rings $(W,Q)$ of $uR[u,tI]$ ; namely, if $F(u)$ is the quotient field of $W$ , then $V^*$ is the integral closure of $W$ in $F(u^{\frac{1}{k}})$ . (3) For each integer $k \ge 2$ , if $(V^*,N^*)$ and $(W,Q)$ are corresponding valuation rings, as in (2), then $V^*$ is a finite integral extension domain of $W$ , and $W$ and $V^*$ satisfy the Fundamental Equality with no splitting. Also, if $uW = Q^e$ , and if the greatest common divisor of $e$ and $k$ is $d$ , and $c$ is the integer such that $cd = k$ , then $QV^* = {N^*}^c$ and $[(V^*/N^*):(W/Q)] = d$ . Further, if $uW = Q^e$ and $k = qe$ is a multiple of $e$ , then there exists a unit $θ_{e} \in V^*$ such that $V^* = W[θ_{e},u^{\frac{1}{k}}]$ is a finite free integral extension domain of $W, QV^* = {N^*}^q, N^* = u^{\frac{1}{k}}V^*$ , and $[V^*:W] = k$ . (4) If the Rees integers of $I$ are all equal to $e$ , then $V^* = W[θ_e]$ is a simple free integral extension domain of $W, QV^* = N^* = u^{\frac{1}{e}}V^*$ , and $[V^*:W] = e = [(V^*/N^*):(W/Q)]$ .

preprint2016arXiv

Blowing Up Finitely Supported Complete Ideals in a Regular Local Ring

Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). We consider singularities of the normalization of the blow-up Proj R[It] of I. A theorem of Lipman implies that the ideal I has a unique factorization as a star-product of special star-simple complete ideals with possibly negative exponents for some of the factors. If the normalization of the projective model Proj R[It] is regular, we prove that it is the regular model obtained by blowing up the finite set of base points of I. Extending work of Lipman and Huneke-Sally in dimension 2, we prove that every local ring S on the normalization of Proj R[It] that is a unique factorization domain is regular. Moreover, if dim S is at least 2 and S dominates R, then S is an infinitely near point to R, that is, S is obtained from R by a finite sequence of local quadratic transforms.

preprint2016arXiv

Graded-irreducible modules are irreducible

We show that if a graded submodule of a Noetherian module cannot be written as a proper intersection of graded submodules, then it cannot be written as a proper intersection of submodules at all. More generally, we show that a natural extension of the index of reducibility to the graded setting coincides with the ordinary index of reducibility. We also investigate the question of uniqueness of the components in a graded-irreducible decomposition, as well as the relation between the index of reducibility of a non-graded ideal and that of its largest graded subideal.

preprint2013arXiv

On the Equality of Ordinary and Symbolic Powers of Ideals

We consider the following question concerning the equality of ordinary and symbolic powers of ideals. In a regular local ring, if the ordinary and symbolic powers of a one-dimensional prime ideal are the same up to its height, then are they the same for all powers? We provide supporting evidence of a positive answer for classes of prime ideals defining monomial curves or rings of low multiplicities.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Youngsu Kim

Research overview

Is this your work?

4 publications

A note on Itoh (e)-Valuation Rings of and Ideal

Blowing Up Finitely Supported Complete Ideals in a Regular Local Ring

Graded-irreducible modules are irreducible

On the Equality of Ordinary and Symbolic Powers of Ideals

See the researcher in context

Building this map preview