Simple valuation ideals of order 3 in two-dimensional regular local rings
1
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
Let (R,m) be a 2-dimensional regular local ring with algebraically closed residue field R/m. Let K be the quotient field of R and v be a prime divisor of R, i.e., a valuation of K which is birationally dominating R and residually transcendental over R. Zariski showed that there are finitely many simple v-ideals m = P0 ⊃ P1 ⊃ · · · ⊃ Pt = P and all the other v-ideals are uniquely factored into a product of those simple ones [17]. Lipman further showed that the predecessor of the smallest simple v-ideal P is either simple or the product of two simple v-ideals. The simple integrally closed ideal P is said to be free for the former and satellite for the later. In this paper we describe the sequence of simple v-ideals when P is satellite of order 3 in terms of the invariant bv = |v(x) − v(y)|, where v is the prime divisor associated to P and m = (x, y). Denote bv by b and let b = 3k + 1 for k = 0, 1, 2. Let ni be the number of nonmaximal simple v-ideals of order i for i = 1, 2, 3. We show that the numbers nv = (n1, n2, n3) = (수식) and that the rank of P is (수식) =k+3. We then describe all the v-ideals from m to P as products of those simple v-ideals. In particular, we find the conductor ideal and the v-predecessor of the given ideal P in cases of b = 1, 2 and for b = 3k + 1, 3k + 2, 3k for k ≥ 1. We also find the value semigroup v(R) of a satellite simple valuation ideal P of order 3 in terms of bv.
Abstract
Let (R,m) be a 2-dimensional regular local ring with algebraically closed residue field R/m. Let K be the quotient field of R and v be a prime divisor of R, i.e., a valuation of K which is birationally dominating R and residually transcendental over R. Zariski showed that there are finitely many simple v-ideals m = P0 ⊃ P1 ⊃ · · · ⊃ Pt = P and all the other v-ideals are uniquely factored into a product of those simple ones [17]. Lipman further showed that the predecessor of the smallest simple v-ideal P is either simple or the product of two simple v-ideals. The simple integrally closed ideal P is said to be free for the former and satellite for the later. In this paper we describe the sequence of simple v-ideals when P is satellite of order 3 in terms of the invariant bv = |v(x) − v(y)|, where v is the prime divisor associated to P and m = (x, y). Denote bv by b and let b = 3k + 1 for k = 0, 1, 2. Let ni be the number of nonmaximal simple v-ideals of order i for i = 1, 2, 3. We show that the numbers nv = (n1, n2, n3) = (수식) and that the rank of P is (수식) =k+3. We then describe all the v-ideals from m to P as products of those simple v-ideals. In particular, we find the conductor ideal and the v-predecessor of the given ideal P in cases of b = 1, 2 and for b = 3k + 1, 3k + 2, 3k for k ≥ 1. We also find the value semigroup v(R) of a satellite simple valuation ideal P of order 3 in terms of bv.
참고문헌 (17)
- S. S. Abhyankar, "On the valuations centered in a local domain", Amer. J. Math, 78, pp.70~99 (1956)
- 홍주연, "Simple valuation ideals of order two in$2$-dimensional regular local rings", 대한수학회논문집, 20(3), pp.427~436 (2005), 대한수학회
- M. A. Hoskin, "Zero-dimensional valuation ideals associated with plane curve branches", Proc. London Math. Soc, 6(3), pp.70~99 (1956)
- C. Huneke, "Integrally closed ideals in two–dimensional regular local rings, Proc. Microprogram, in: Commutative Algebra", MSRI Publication Series, 15, pp.325~337 (1987)
- C. Huneke, "Birational extensions in dimension two and integrally closed ideals", J. Algebra, 115, pp.481~500 (1988)
- On complete ideals in regular local rings, in: Algebraic Geometry and Commutative Algebra, Collected Papers in Honor of Massayoshi Nagata, "J. Lipman", Academic Press, 203~231 (1988)
- J. Lipman, "Adjoints and polars of simple complete ideals in two-dimensional regular local rings", Bull. Soc. Math. Belgique, 45, pp.223~244 (1993)
- J. Lipman, "Proximity inequalities for complete ideals in two-dimensional regular local rings", Contemporary Math, 159, pp.293~306 (1994)
- S. Noh, "The value semigroups of prime divisors of the second kind on 2-dimensional regular local rings", Trans. Amer. Math. Soc, 336, pp.607~619 (1993)
- S. Noh, "Sequence of valuation ideals of prime divisors of the second kind in 2-dimensional regular local rings", J. Algebra, 158, pp.31~49 (1993)
- S. Noh, "Adjacent integrally closed ideals in dimension two", J. Pure and Applied Algebra, 85, pp.163~184 (1993)
- S. Noh, "Powers of simple complete ideals in two-dimensional reular local rings", Comm. Algebra, 23(8), pp.3127~3143 (1995)
- S. Noh, "Valuation ideals of order one in two-dimensional regular local rings", Comm. Algebra, 28(2), pp.613~624 (2000)
- S. Noh, "Valuation ideals of order two in 2-dimensional regular local rings", Math. Nachr, 261-262, pp.123~140 (2003)
- P. Ribenboim, "The Theory of Classical Valuations" (1999), Sringer-Verlag
- O. Zariski, "Polynomial ideals defined by infinitely near base points", Amer. J. Math, 60, pp.151~204 (1938)
- O. Zariski, "Commutative Algebra, Vol. 2" (1960), D. Van Nostrand