Powers of Ideals: Primary Decompositions, Artin-Rees Lemma and Regularity
|
|
- Myra Cunningham
- 6 years ago
- Views:
Transcription
1 Powers of Ideas: Primary Decompositions, Artin-Rees Lemma and Reguarity Irena Swanson Department of Mathematica Sciences, New Mexico State University, Las Cruces, NM (e-mai: Mathematics Subject Cassification (1991): 13C99, 13H99, 14D25 Let R be a Noetherian ring and I an idea in R. Then there exists an integer k such that for a n 1 there exists a primary decomposition I n = q 1 q s such that for a i, q i nk q i. Aso, for each homogeneous idea I in a poynomia ring over a fied there exists an integer k such that the Castenuovo-Mumford reguarity of I n is bounded above by kn. The reguarity part foows from the primary decompositions part, so the heart of this paper is the anaysis of the primary decompositions. In [S], this was proved for the primary components of height at most one over the idea. This paper proves the existence of such a k but does not provide a formua for it. In the paper [SS], Karen E. Smith and mysef find expicit k for ordinary and Frobenius powers of monomia ideas in poynomia rings over fieds moduo a monomia idea and aso for Frobenius powers of a specia idea first studied by Katzman. Expicit k for the Castenuovo-Mumford reguarity for specia ideas is given in the papers by Chander [C] and Geramita, Gimigiano and Pitteoud [GGP]. Another method for proving the existence of k for primary decompositions of powers of an idea in Noetherian rings which are ocay formay equidimensiona and anayticay unramified is given in the paper by Heinzer and Swanson [HS]. The primary decomposition resut is not vaid for a primary decompositions. Here is an exampe: et I be the idea (X 2, XY ) in the poynomia ring k[x, Y ] in two variabes X and Y over a fied k. For each positive integer m, I = (X) (X 2, XY, Y m ) is an irredundant primary decomposition of I. However, for each integer k there exists an integer m, say m = k + 1, such that (X, Y ) k (X 2, XY, Y m ). Hence the resut can ony The author was partiay supported by the NSF. 1
2 hod for some primary decompositions. Section 1 contains the necessary background and some reductions towards the proof of the main theorem on the primary decompositions. The reductions make it necessary to prove a version of the inear uniform Artin-Rees emma in the spirit of Huneke s paper [Hu]. This is done in Section 2. Section 3 contains the main resuts concerning the primary decompositions and the reguarity of powers of an idea. Section 4 contains severa more versions of the uniform Artin-Rees emma reating to powers of ideas and products of powers of various ideas and some reated questions. 1. Background We first make the observation that if φ : R S is a ring homomorphism and I an idea in S, then any primary decomposition I = q 1 q s of I gives a possiby redundant primary decomposition φ 1 (I) = φ 1 (q 1 ) φ 1 (q s ) of the contraction of I to R. Namey, each φ 1 (q i ) is primary to φ 1 ( q i ). In a our appications of this, φ wi be the incusion homomorphism: by the observation then any primary decomposition of an idea I in S contracts to a primary decomposition of the contraction IS R. In the proof of the first theorem to come, we need the foowing we-known emma: Lemma 1.1: If a prime idea in a Noetherian ring R is associated to some idea generated by a non zerodivisor, then it is associated to every idea generated by a non zerodivisor that it contains. and 4: With this we prove a generaization of Ratiff s theorem which is needed in Sections 3 Theorem 1.2: (Ratiff [R]) Let I 1,..., I d be ideas in a Noetherian ring R. Then the set n1,...,n d Ass (R/I n 1 1 In d d ) of a associated prime ideas of R/In 1 1 In d d over non negative integers, is finite. Proof: as the n i vary First we reduce to the case when a the ideas I i are principa and generated by non zerodivisors. This we may do by first passing to the extended Rees ring S = R[I i t, t 1 ]: if we can prove the resut for ideas I 1 S,..., I i 1 S, t 1 S, I i+1 S,..., I d S, then as primary decompositions of ideas in S contract to a primary decomposition in R and as I n 1 1 In i 1 i 1 t n i I n i+1 i+1 In d d S R = In 1 1 In d d, we are done. Thus we may assume that a the ideas I i are principa and generated by non zerodivisors. 2
3 To finish the proof of the theorem it now suffices to prove that when a the n i 1, Ass (R/I n 1 1 In d ) is contained in Ass (R/I 1 I d ). But this foows by the emma. d The main resuts of this paper are about inear properties of powers of an idea. The foowing resut of Katz and McAdam is the first step in this direction: Theorem 1.3: (Katz-McAdam [KM, (1.5)]) Let R be a Noetherian ring. For any idea I there exists an integer such that I n : J n = I n : J n+1 for a ideas J and a n 0. Actuay, Katz and McAdam prove the existence of such an integer depending on I and J, but their argument can be easiy extended to show that there is an independent of J. A proof of this generaization appeared in [S], but I incude it here for competeness: Proof: Let S = R[It, t 1 ], where t is an indeterminate over R. It is cear that I n : R J = (t n S : S J) R for a n and a ideas J of R. Thus it suffices to show that there exists an integer such that t n S : S J n = t n S : S J n+1 for a n and a ideas J of S. So by repacing R by S we may assume without oss of generaity that I is a principa idea generated by a reguar eement a. Now et (a) = q 1 q s be a primary decomposition of I = (a). Let be such that ( q i ) q i for a i = 1,..., s. We prove by induction on n that this works for a ideas J. First assume that n = 1. If J q i then by the choice of we have J q i. If, however, J q i, then q i : J = q i : J +1 = q i as q i is primary. Thus I : J = (q 1 : J ) (q s : J ) = (q 1 : J +1 ) (q s : J +1 ) = I : J +1, so we are done. Now et n 1. It is enough to show that I n : J n+1 I n : J n. Let x be an eement of I n : J n+1. Then x I n 1 : J n+1 and by induction assumption x ies in I n 1 : J (n 1). Let y be an eement of J (n 1) and z an eement of J +1. Then xy ies in I n 1, so xy = ba n 1 for some b. As yz is in J n+1, we get that xyz ies in I n, so xyz = ca n for some c. These two equations say that ca n = bza n 1, hence that ca = bz. Since z is an arbitrary eement of J +1, this says that b (a) : J +1. So by induction assumption for n = 1 we get that b (a) : J. Now et w be an eement of J. Then xyw = ba n 1 w (a n ). This hods for arbitrary y J (n 1) and arbitrary w J, so x I n : J n. In particuar, if R is a oca ring with maxima idea m and I is a prime idea of dimension one, then m kn I (n) I n, where I (n) denotes the n th symboic power of I. This answers a question of Herzog s in [He]. With this, we are ready for some reductions towards the main theorem: 3
4 Main Theorem: (see Theorem 3.4) For every idea I in a Noetherian ring R there exists an integer k such that for a n 1 there exists an irredundant primary decomposition I n = q 1 q s such that q i nk q i for a i. We start outining the proof here, but we compete it ony in Section 3. Let P be a prime idea associated to some R/I n. We want to prove that we can find an integer k, independent of n but possiby dependent on P, for which there exists a primary decomposition I n = q 1 q s such that whenever P = q i, then P nk q i. If we can find such a k for each P, then as there are ony finitey many such P (see Theorem 1.2), we have proved the theorem. Our strategy is to first ocaize at P : if we can prove that P nk R P q i R P, then certainy P nk q i R P R = q i. Thus we may assume that R is a oca ring and that P is the maxima idea of R. We may aso assume that the resut is aready known for Q-primary components, Q propery contained in P, as those components do not affect any possibe P -primary components. Let be the Katz-McAdam s constant for I, i.e., has the property that for a integers n and a ideas J, I n : J n = I n : J n+1. Thus in particuar if P is the maxima idea in the ring, I n : P n = I n : P n+1, and this is the intersection of a the primary components of I n not primary to P. To simpify notation we denote this idea as I <n>. Note that I n = I <n> (I n + P m ) for a arge integers m and that this intersection decomposes into a primary decomposition of I n. In order to prove the main theorem we have to bound the east possibe m above by a inear function in n. One way of accompishing this is to find some sort of inear Artin-Rees emma: namey, we want to find an integer k such that P m I <n> P m kn I <n> ( ) for a m kn and a n. If we can do that, then by the choice of for a m kn + n, P m I <n> P m kn n I n. Hence I n = I <n> (I n + P (k+)n ) gives a desired primary decomposition of I n. We prove the inear Artin-Rees statement (*) for specia I in Section 3 (see Theorem 3.3) where we then aso finish the proof of the main theorem for a I (see Theorem 3.4). 4
5 2. Artin-Rees Lemma (foowing [Hu]) The goa of this section is the foowing generaized Artin-Rees Lemma aong the ines of Huneke s Uniform bounds in Noetherian rings : (See Theorem 2.7.) Let R be a compete Noetherian oca ring with infinite residue fied. Let N M be finitey generated R modues. Then there exists an integer k such that for a a satisfying a technica condition to be described ater, for a proper ideas J in R and for a integers m k, aj m M N aj m k N. The case a = 1 was proved with ess restrictive hypotheses in [Hu, Theorem 4.12]. The case we need for the main theorem of this paper is when a = 1, M = R and N equas I <n> for some n. The integer k in the statement of the goa certainy depends on n. By using the statement for a arge set of eements a, we prove in Theorem 3.3 that for specia I we can bound k(n) above by a inear function in n. The connection between the statement and the promised inear bound for k(n) may not be immediatey obvious and we expain it in Section 3. This section is somewhat technica and the reader may skip the rest of it. Lemma 2.1: (Compare with [Hu, Proposition 2.2].) Let N K M be R modues and et a be an eement of R. Assume that there exist integers h and k such that for a ideas J in R, aj m M K aj m h K for a m h and aj m K N aj m k N for a m k. Then aj m M N aj m h k N for a m h + k. The proof is straightforward. An important consequence is Proposition 2.2: (Compare with [Hu, Proposition 2.2].) Let R be a Noetherian ring, a an eement of R and N M two finitey generated R modues. Assume that 0 = K 0 K 1 K t = M/N is a fitration of M/N such that K i /K i 1 = R/Pi, where P i is an idea of R. Let k i be an integer satisfying aj m P i aj m k i P i for a ideas J and a m k i. Then for a J and a m k k t, Proof: aj m M N aj m k 1 k t N. It suffices to prove that if M/N = R/P for some idea P in R, then aj m P aj m k P impies aj m M N aj m k N. By assumption M = N + xr for some x M such that N : R x = P. Then aj m M N = aj m N + aj m x N. Let y aj m x N. Write y = arx for some r J m. Then ar is an eement of aj m (N : R x) = aj m P aj m k P. Thus y = arx ies in 5
6 aj m k P x aj m k N. The foowing is a technica emma which wi aow us to concude the main resut for a ideas primary to the maxima ideas once we know the resut for any minima reduction: Lemma 2.3: (Compare with [Hu, Lemma 3.1].) Let J, L, and P be ideas in a ring R and et a be an eement of R. Suppose that (i) al m P aj m k P for a m k, (ii) L m P J m k P for a m k, and (iii) J m L m h + P for a m h + 1. Then aj m P aj m k h 1 P for a m k + h + 1. Proof: We first prove J m L m h + J m k h 1 P for a m h + k + 1. (#) If m = h + k + 1, this is just (iii). Now assume (#) for some m h + k + 1. Mutipy through by J and use (iii): J m+1 (JL m h + J m k h P ) (L m+1 h + P ). Let x J m+1. Write x = u + v = y + z for some u JL m h, v J m k h P, y L m+1 h and z P. Then u y = z v (JL m h + L m+1 h ) P L m h P J m h k P by (ii). Thus x = (u y) + y + v J m h k P + L m+1 h, which finishes the induction. Hence aj m P a(l m h + J m k h 1 P ) P al m h P + aj m k h 1 P aj m h k P + aj m k h 1 P. In the proof of the main resut of this section we proceed by induction on the dimension of M/N: important ingredients in the induction step are eements which may be thought of as Cohen-Macauayfiers. We denote their set as CM(R): Definition 2.4: (See [Hu, 2.11].) Let F : 0 F t f t Ft 1 F 1 f 1 F0 be a compex of finitey generated free R modues. We say that F satisfies the standard condition on rank if rank (f t ) = rank F t and for 1 i < t, rank (f i )+rank (f i+1 ) = rank F i. Let I(f i ) denote the idea generated by the rank-size minors of f i. We say that F satisfies the standard condition on height if ht (I(f i )) i for a i. 6
7 With this, we define CM(R) to be the set of a eements x R such that for a compexes F satisfying the standard rank and height conditions, xh i (F) = 0 for a i 1. Lemma 2.5: (Compare with [Hu, Lemma 3.3].) Let R be a Noetherian ring and P a prime idea in R. Let a and c be eements of R not contained in P such that the image of c in R/P ies in CM(R/P ). Let L be any idea in R generated by eements a 1,..., a d such that ht (a 1,..., a d )R/P = d. Then if there exists an integer k such that al m (P + cr) al m k (P + cr) for a m k, then aso for a m k. al m P al m k P Note that this emma does the inductive step: assuming the main resut of this section (Theorem 2.7) for a (N, M) such that dim(m/n) < dim(r/p ), we can prove it aso for the pair (P, R), but ony for the specia ideas L. However, Lemma 2.3, together with some more technicaities, takes care of the rest of the ideas. Proof of Lemma 2.5: First note that al m P = al m (P +cr) P al m k (P +cr) P = al m k P + al m k cr P. Thus it suffices to prove that al m k cr P ies in al m k P. First note that al m k cr P equas c(al m k P ). Thus by the choice of c it suffices to prove that alm k P al m k P ies in some H i(f) for some F satisfying standard rank and height conditions and for some i 1. First et G be a minima homogeneous free resoution of (X 1,..., X d ) m k in the poynomia ring T = Z[X 1,..., X d ]. Let the maps in the compex be caed g i. It is weknown that I(g i ) = (X 1,..., X d ) for a i (cf. the proof of Lemma 3.3 in [Hu]). Let G = G T R, where the map T R takes X i to a i. Let F be the same as G except that the ast map is composed with mutipication by a. Namey, F equas g t 1 F : 0 G t G t 1 G 1 = R (m k+d 1 m k 1 ) af 1 G0 = R 0, where the entries of (the matrix) f 1 are a the eements of a generating set of L m k. Note that H 0 (F ) = R/aL m k. We compare F with a free resoution H of R/aL m k : F : G 2 R (m k+d 1 m k 1 ) af 1 H : R 2 R (m k+d 1 m k 1 ) af 1 R 0 R 0 where the eftmost vertica arrow exists because G 2 is free and the second compex is exact. Now tensor both compexes with R R/P and set F to be F R R/P. We get a 7
8 surjective map from H 1 (F) = H 1 (F R R/P ) to H 1 (H R R/P ) = Tor R 1 (R/aL m k, R/P ) = al m k P al m k P. As by assumption F satisfies the standard conditions on height and rank, then ch 1 (F) = 0, so the emma is proved. Note that if P is the ony maxima idea of the ring, the conusion of the emma is triviay true with k = 1 for a a in the ring. However, the concusion of this emma is fase if a is an eement of P and P is not the maxima idea. For this reason we need to put restrictions on a in the main theorem (Theorem 2.7) of this section: Definition 2.6: Let R be a compete Noetherian oca ring and et N M be finitey generated R modues. We define the condition (C) inductivey on dimension of M/N: if dim(m/n) = 0, we say that a the eements of R satisfy the condition (C) with respect to the pair (N, M). Now suppose that M/N has positive dimension. We say that an eement a satisfies the condition (C) with respect to (N, M) if there exists a prime fitration 0 = K 0 K 1 K t = M/N of M/N (i.e., for each i, K i /K i 1 = R/Pi for some prime idea P i in R), such that a satisfies the condition (C) with respect to each (P i, R). It remains to define the condition (C) with respect to (P, R) where P is a nonmaxima prime idea in R. By [Hu, Proposition 4.5 (i)] and the Cohen Structure Theorem, CM(R/P ) is nonzero. We say that a satisfies the condition (C) with respect to (P, R) if a is not contained in P and if there exists an eement c of R whose image in R/P is nonzero in CM(R/P ) such that a satisfies the condition (C) with respect to (P + cr, R). Note that an eement satisfies the condition (C) with respect to (N, M) if and ony if it avoids a finite set of nonmaxima primes. Thus 1 satisfies (C) for a (N, M), and an eement a satisfies (C) with respect to (N, M) if and ony if a of its powers satisfy (C) with respect to (N, M). Note that by the Prime Avoidance Theorem there are aways eements satisfying (C) with respect to some (N, M) even in the maxima idea. With this we are ready to prove the main resut of this section: Theorem 2.7: (Compare with [Hu, Theorem 4.12].) Let R be a compete Noetherian oca ring with infinite residue fied. Let N M be finitey generated R modues. Then there exists an integer k such that for a proper ideas J in R, for any eement a in R satisfying condition (C) with respect to (N, M), and for a m k, aj m M N aj m k N. Proof: First note that it suffices to prove the theorem for ideas primary to the maxima idea m ony, because then for an arbitrary J we have: aj m M N a(j+m ) m M N a(j + m ) m k N (aj m k + m )N = aj m k N. Consider a prime fitration of M/N as in the definition of the condition (C). Note that 8
9 by the choice of P i, a satisfies the condition (C) with respect to a these (P i, R). Aso, for each of these P i m there exists some c i whose image is nonzero in CM(R/P i ), such that a aso satisfies the condition (C) with respect to (P i + c i R, R). Now we proceed as in [Hu, Theorem 3.4] using induction on dim(m/n). By using Proposition 2.2 and the given prime fitration of M/N, it suffices to prove that for each P i there exists an integer k such that for a m-primary ideas J and for a m k, aj m P i aj m k P i. If dim(r/p i ) = 0, then P i is the maxima idea m of R, and the theorem foows easiy with k = 1 for a a. Now assume that d = dim(r/p i ) > 0. We rename P i as P and c i as c. By induction on dimension there exists an integer k c such that for a a satisfying the condition (C) with respect to (N, M), for a m-primary ideas J and for a m k c, aj m (P + cr) aj m k c (P + cr). Aso, as in the proof of [Hu, Theorem 4.12], there exists an integer s and an eement t m \ P such that for a ideas J in R/P, t mutipies the integra cosure of J n R/P into J n s R/P. (In the notation of [Hu], t T s (R/P ). In fact, in this case T s (R/P ) = R/P by the Uniform Briançon-Skoda Theorem [Hu, Theorem 4.13].) We may assume either by induction with a = 1 or by using Huneke s [Hu, Theorem 4.12] that there exists an integer k t such that for a ideas J and for a m k t, J m (P + tr) J m k t (P + tr). We caim now that aj m P aj m k t k c s 1 P for a m k t + k c + s + 1 and for a m-primary ideas J. As R/P has an infinite residue fied, we may choose eements a 1,..., a d in J whose images in R/P generate a reduction of the image of J in R/P (see [NR, Section 5]). As we may assume that J is m-primary, ht (a 1,..., a d )R/P = d. Let L = (a 1,..., a d )R. Then by Lemma 2.5 al m P al m k c P aj m k c P (i) and (ii) for a a R satisfying condition (C) with respect to (N, M) and for a m k c. Now note that the integra cosures of JR/P and LR/P are the same, so by the choice of t, t(jr/p ) m (LR/P ) m s. Thus tj m (L m s + P ) (P + tr) = L m s (P + tr) + P L m s k t (P + tr) + P = L m s k t tr + P 9
10 Moduo P then tj m R/P L m s k t tr/p, so as t is not in P, J m R/P L m s k t R/P. Thus J m L m s k t + P (iii) for a m s + k t. Now we appy Lemma 2.3 to the dispayed equations (i), (ii) and (iii) to obtain that aj m P aj m k t k c s 1 P. Note that the assumptions in this theorem are overy restrictive. However, they hep keep the notation simpe and the statement is enough for the main theorem of the paper which is to be proved in the next section. 3. Primary decompositions and reguarity of powers of ideas We first appy the main theorem of the previous section (Theorem 2.7) to the case when M = R and N varies over powers of a specia idea: Theorem 3.1: Let R be a compete Noetherian oca ring with infinite residue fied and x an eement of R which is not a zerodivisor. Then there exists an integer k such that for any proper idea J of R, for a integers n, a m kn and any eement a in R which satisfies the condition (C) with respect to the pair ((x), R), Proof: aj m (x) n aj m kn (x) n. Let 0 = K 0 K 1 K t = R/(x) be a prime fitration of R/(x), i.e., each K i /K i 1 is isomorphic to R/P i for some prime idea P i in R. The P i may not be distinct, but to simpify notation we think of them as distinct. Note that for every integer n, R/(x) n has a prime fitration in which each P i occurs n times and no other prime ideas occur in the fitration. This foows by induction, using the fact that (x n )/(x n+1 ) = R/(x) and using the short exact sequences 0 (x) n /(x) n+1 R/(x) n+1 R/(x) n 0. By Theorem 2.7 there exists an integer k i such that for a proper ideas J in R and a integers m k i, aj m P i J m k i P i. Let k = i k i. Then by Proposition 2.2, for a proper ideas J, a given eements a in R, a n and a m kn, aj m (x) n aj m kn (x) n. This proof aso shows: 10
11 Proposition 3.2: Let x be a non zerodivisor in a compete Noetherian ring R. Then an eement a of R which satisfies the condition (C) with respect to the pair ((x), R) aso satisfies the condition (C) with respect to a ((x n ), R). A coroary is the promised uniform inear Artin-Rees emma for symboic powers: Theorem 3.3: Let I be a principa idea generated by a non zerodivisor in a Noetherian oca ring (R, P ). Let I <n> denote the intersection of a the primary components of I n which are not primary to P. Then there exists an integer k such that for a n and a m kn, P m I <n> P m kn I n. Proof: Let X be an indeterminate over R and S the competion of R[X] P R[X] in the P R[X]-adic topoogy. As S is faithfuy fat over R, I <n> S is the intersection of a primary components of I n S which are not primary to P S. Suppose that there exists an integer k such that P m S I <n> S P m kn I n S. Then P m I <n> P m S I <n> S R P m kn I n S R = P m kn I n, so we are done. Thus we may repace R by S and assume that R is a compete oca ring with infinite residue fied. Let a be an eement of R such that a satisfies the condition (C) with respect to (I, R), a ies in P but not in any other prime idea associated to any power of I, and a is a non zerodivisor. As a of these conditions on a just mean that a has to avoid finitey many prime ideas propery contained in P, then by the Prime Avoidance Theorem a exists. Thus by Theorem 3.1 there exists an integer k such that a P m I n a P m kn I n for a n,, and a m kn. As a is not contained in contained in any associated prime idea of I <n>, then I <n> = I n : a for a sufficienty arge. Thus as a is not a zerodivisor, the dispayed equation says that P m I <n> = P m (I n : a )(a P m I n ) : a P m kn I n. Now we can prove the main theorem: Theorem 3.4: For every idea I in a Noetherian ring R there exists an integer k such that for a n 1 there exists an irredundant primary decomposition I n = q 1 q s such that q i nk q i for a i. Proof: Suppose we can prove the theorem for the idea (t 1 ) in R[It, t 1 ]. Then as t n R[It, t 1 ] R = I n and as every primary decomposition of t n R[It, t 1 ] contracts to a primary decomposition of I n, we have aso proved the theorem for the idea I in R. Thus 11
12 without oss of generaity we may assume that I is a principa idea generated by a non zerodivisor x. As in the reductions at the end of Section 1, we may ocaize and assume that R is a Noetherian oca ring with maxima idea P and it then suffices to find an integer k and primary decompositions I n = q 1 q s such that whenever q i = P, then P nk q i. Set I <n> to be the intersection of those primary components of I n which are not primary to P. Then by Theorem 3.3 there exists an integer k such that for a n and for a m kn, P m I <n> P m kn I n. This means that I n equas I <n> (I n + P kn ), which gives a desired primary decomposition of I n. For genera ideas, it is very difficut to find the integer k which satisfies the theorem. For one thing, computing the embedded components of primary decompositions of arbitrary ideas is very difficut (see [EHV]). However, for monomia ideas in poynomia rings, computing primary decompositions is quite fast, see for exampe [STV]. It turns out that one can obtain k for monomia ideas even without any primary decomposition agorithms: in [SS] Smith and I prove that if I and J are monomia ideas in the poynomia ring K[x 1,..., x d ] over a fied K and if is the maximum of the degrees of eements in a minima monomia generating set, then for every integer n there exists a primary decomposition I n + J = q 1 q s such that q 2dn i q i for a i. Thus in this case, k = 2d, which is easiy computabe. For a more precise statement and for the anaogous resut for Frobenius powers of I moduo J, refer to [SS]. A consequence of the existence of the integer k in Theorem 3.4 is that we can bound the Castenuovo-Mumford reguarity of powers of ideas ineary in the powers. Namey, for every homogeneous idea I in a poynomia ring R = K[x 1,..., x d ] over a fied K there exists an integer k such that the reguarity of I n is bounded above by kn (see Theorem 3.6 beow). When dim(r/i) 1, Chander [C] and Geramita, Gimigiano and Pitteoud [GGV] found expicit formuas for upper bounds of the reguarity of I n. In higher dimensions, the obstruction to finding expicit bounds is precisey the ack of understanding in which degrees I n and the saturation of I n start agreeing (in our notation the saturation of I n is I <n> = m I n : (x 1,..., x d ) m ). We say that I is m-saturated if I and its saturation agree in degrees m and higher. Definition 3.5: Let I be a homogeneous idea in the poynomia ring R = K[x 1,..., x d ] over a fied K. Let 0 F d F 1 F 0 I 0 12
13 be a minima graded free resoution of I. Thus each F i = R( b ij ) for some integers b ij. We say that I is m-reguar if b ij i m for a i and a j. The (Castenuovo-Mumford) reguarity reg (I) of I is then defined to be the east integer m for which I is m-reguar. Theorem 3.6: Let I be a homogeneous idea in the poynomia ring R = K[x 1,..., x d ] of d variabes over a fied K. Then there exists an integer k such that reg (I n ) kn for a n. Proof: We proceed by induction on dim(r/i). If dim(r/i) = 0 (or 1 aso) this is true by [C] (or Theorem 1.1 in [GGP]). Thus we may assume that dim(r/i) > 0. Note that the hypotheses or the concusion of the theorem are unaffected if we repace K by an infinite fied extension. Thus we may assume that K is infinite to start with. Hence there exists a homogeneous eement h of degree 1 in R which avoids a the finitey many prime ideas different from (x 1,..., x d ) which are associated to the powers of I. By induction on the dimension then there exists an integer k 1 such that reg (I n +hr) k 1 n for a n. Aso, by Theorem 3.4 there exists an integer k 2 such that I n and the saturation I <n> of I n agree in degrees k 2 n and arger. Now et k = max{k 1, k 2 }. Then by assumptions I n is kn saturated and I n + h is kn-reguar. Now we use a emma of Bayer and Stiman ([BS, (1.8) Lemma]) which says that if h is a form of degree one in R which is not a zerodivisor on R moduo the saturation of J such that J is m-saturated and J + hr is m-reguar, then J is m-reguar. By appying that we get that I n is kn-reguar. 4. More uniform Artin-Rees emmas for powers of ideas Simiar techniques as in the proof of Theorem 3.4 show: Theorem 4.1: Let I be an idea in a Noetherian ring R. Then there exists an integer k such that for a ideas J in R, for a integers n and for a m kn, J m I n J m kn I n. Proof: As in the proof of Theorem 3.4 we may assume that I is principa and generated by a non zerodivisor. To prove that J m I n J m kn I n, it suffices to prove the incusion after ocaization at every prime idea associated to J m kn I n. By Theorem 1.2 there are ony finitey many such prime ideas, thus if we find a k for each one of them, we are done. Hence we may ocaize and assume that R is a Noetherian oca ring with, say, maxima idea P. As in the proofs in Section 3 we may pass to the competion of R[X] P R[X] in the P R[X]-adic topoogy, whence we may appy Theorem 3.1 to compete the proof. 13
14 Moreover, a simiar but messier proof shows that given ideas I 1,..., I in a Noetherian ring R, there exist integers k i, i = 1,...,, such that for a ideas J, a integers n i 1 and a m k 1 n k n, J m I n 1 1 In J m k 1n 1 k n I n 1 1 In. The ony new observation we need for this is that if x 1,..., x are non zerodivisors in R, then R/x n 1 1 xn R has a prime fitration in which each of the prime ideas occurring in a prime fitration of R/x i R occurs exacty n i times. And this can be easiy generaized to the foowing: Let I 1,..., I be ideas in a Noetherian ring R. Then there exist integers k i, i = 1,...,, such that I n 1 1 I n I n 1 1 I n 2 2 I n 1 1 I n 3 3 In 1 k n 1 I n In 2 k 1 (n 1 k n ) k n 2 I n 1 k n 1 I n This brings us to the muti-idea version of the uniform Artin-Rees emma: etc. Theorem 4.2: (Compare with [Hu, Theorem 4.12].) Let R be a Noetherian ring satisfying at east one of the foowing conditions: (i) R is essentiay of finite type over a Noetherian oca ring. (ii) R is a ring of positive prime characteristic p and is modue-finite over R p (R p is the subring generated by pth powers of eements of R). (iii) R is essentiay of finite type over Z. Then given any finitey generated R modues N M there exists an integer k such that for a integers, for a ideas J 1,..., J in R and a integers n i k, i = 1,...,, J n 1 1 J n M N J n 1 k 1 J n k N. Moreover, if R is a compete oca Noetherian ring with infinite residue fied and a satisfies the condition (C) with respect to (N, M), then aso (for a possiby different k) aj n 1 1 J n M N aj n 1 k 1 J n k N. In Section 2 we proved the specia case of this when = 1 and the ring is compete and oca. The proof proceeds as in Section 2 or as in [Hu], with some modifications: 1) As in Proposition 2.2, we may assume that M = R and N is a prime idea P in R. 2) As in the proof of Theorem 2.7 we may assume that each J i is primary to some maxima idea in R. 3) We define T (R) = {c R : t such that cj n 1 1 J n 14 J n 1 t 1 J n t for a ideas J i, a n i }
15 (Here, the overine above an idea stands for the integra cosure.) Then the natura generaizations of [Hu, Proposition 4.7] and [Hu, Theorem 4.10] (by using a muti-idea version of the Briançon-Skoda Theorem for Proposition 4.7 and a muti-rees ring for Theorem 4.10) show that for any R satisfying (i), (ii) or (iii), T (R/P ) is nonzero for a prime ideas P in R and, moreover, that T (R/P ) is nonzero. 4) As in the proof of [Hu, Theorem 4.12], CM(R/P ) is nonzero for every prime idea P in R. 5) (Compare with Lemma 2.3.) Let L 1,..., L, J 1,..., J, and P be ideas in R. For any -tupe (n 1,..., n ), J n stands for the idea J n 1 1 J n, and for any integer n, n stands for the -tupe (n,..., n). Let h and k be integers. Assume that (i) al m P al m k P for a m i k, (ii) L m P L m k P for a m i k, and (iii) J m L m h + P for a m i h + 1. Then aj m P aj m k h 1 P for a m i k + h ) A muti-idea version of Lemma 2.5 hods: Let eements a, c not ie in a prime idea P and assume that the image of c in R/P ies in CM(R/P ). Let L 1,..., L be any d- generated ideas in R such that for each i, i = 1,...,, ht (L i R/P ) = d. Suppose that for a given integer there exists an integer k such that for a integers m 1,..., m k, al m (P + cr) al m k (P + cr). Then for a m 1,..., m k, al m P al m k P. Now the proof proceeds as in Theorem 2.7, except that if the ring is not oca, we aso need to use some methods of the proof of [Hu, Theorem 3.4]. The coroary of this is that for every idea I in a Noetherian ring R there exists an integer k such that for a ideas J 1,..., J and a m 1,..., m k, J m I n J m kn I n. A natura foow-up, which was actuay my main motivation for studying these asymptotic properties of primary decompositions, is: Open Question: Given eements x 1,..., x in a Noetherian ring R of positive prime characteristic p, does there exist an integer k such that for a integers n there exists a primary decomposition (x pn 1,..., xpn ) = q 1 q s such that q i kµ( q i )p n q i? Here, µ( ) stands for the minima number of generators. In anaogy with the proof of Theorem 2.7, one may want to start with something ike 15
16 Theorem 1.2 for ideas (x pn 1,..., xpn ) as n varies. However, Katzman gave a counterexampe in [K]: if R is K[X, Y, t]/(xy (X + Y )(X + ty )), where K is a fied of characteristic p and X, Y, t are indeterminates, then the set n Ass (R/(X pn, Y pn )) is infinite. Nevertheess, Smith and I verified that the stated open question and the anaog of the Katz-McAdam s Theorem 1.3 do hod in this exampe (see [SS]). We aso proved that the stated open question has a positive answer when the x i are monomias and R is a poynomia ring moduo a monomia idea (see [SS] for precise statements). In genera, even the anaog of the Katz-McAdam theorem is an open question for ideas of the form (x pn 1,..., xpn ) as n varies. The foowing specia case is known: if the x i form a reguar sequence, a simiar argument as in Theorem 1.3, together with an argument from [HH, Theorem 4.5], gives: Proposition 4.3: Let R be a Noetherian ring and x 1,..., x s a reguar sequence in R. Let be as in Katz-McAdam s theorem for I = (x 1,..., x s ). Then for any n 1,..., n s 1 and any idea J, (x n 1 1,..., xn s s ) : J N = (x n 1 1,..., xn s s ) : J N+1, where N = ( n i ) s + 1. Acknowedgement: I thank Karen Smith for a the discussions regarding this materia and for a the suggestions which heped improve the carity of this presentation. 16
17 Bibiography [BS] D. Bayer and M. Stiman, A criterion for detecting m-reguarity, Invent. Math. 87 (1987), [C] K. A. Chander, Reguarity of the powers of an idea 1, preprint. [EHV] D. Eisenbud, C. Huneke and W. Vasconceos, Direct methods for primary decomposition, Invent. math. 110 (1992), [GGP] A. V. Geramita, A. Gimigiano and Y. Pitteoud, Graded Betti numbers of some embedded rationa n-fods, Math. Ann. 301 (1995), [HS] W. Heinzer and I. Swanson, Ideas contracted from 1-dimensiona overrings with an appication to the primary decomposition of ideas, preprint. [He] J. Herzog, A homoogica approach to symboic powers, in Commutative Agebra, Proc. of a Workshop hed in Savador, Brazi, 1988, Lecture Notes in Mathematics 1430, Springer-Verag, Berin, 1990, [HH] M. Hochster and C. Huneke, F-reguarity, test eements, and smooth base change, Trans. Amer. Math. Soc. 346 (1994), [Hu] C. Huneke, Uniform bounds in Noetherian rings, Invent. Math. 107 (1992), [KM] D. Katz and S. McAdam, Two asymptotic functions, Comm. in Ag. 17 (1989), [K] M. Katzman, Finiteness of e Ass F e (M) and its connections to tight cosure, preprint. [NR] D. G. Northcott and D. Rees, Reductions of ideas in oca rings, Proc. Cambridge Phi. Soc. 50 (1954), [R] L. J. Ratiff, Jr., On prime divisors of I n, n arge, Michigan Math. J. 23 (1976), [SS] Karen E. Smith and I. Swanson, Linear bounds on growth of associated primes for monomia ideas, preprint. [STV] B. Sturmfes, N. V. Trung and W. Voge, Bounds on degrees of projective schemes, Math. Annaen 302 (1995), [S] I. Swanson, Primary decompositions of powers of ideas, Commutative Agebra: Syzygies, Mutipicities, and Birationa Agebra: Proceedings of a summer research conference on commutative agebra hed Juy 4-10, 1992 (W. Heinzer, C. Huneke, J. D. Say, ed.), Contemporary Mathematics, Voume 159, Amer. Math. Soc., Providence, 1994, pp
Primary Decompositions of Powers of Ideals. Irena Swanson
Primary Decompositions of Powers of Ideals Irena Swanson 2 Department of Mathematics, University of Michigan Ann Arbor, Michigan 48109-1003, USA iswanson@math.lsa.umich.edu 1 Abstract Let R be a Noetherian
More informationPREPUBLICACIONES DEL DEPARTAMENTO DE ÁLGEBRA DE LA UNIVERSIDAD DE SEVILLA
EUBLICACIONES DEL DEATAMENTO DE ÁLGEBA DE LA UNIVESIDAD DE SEVILLA Impicit ideas of a vauation centered in a oca domain F. J. Herrera Govantes, M. A. Oaa Acosta, M. Spivakovsky, B. Teissier repubicación
More informationMIXING AUTOMORPHISMS OF COMPACT GROUPS AND A THEOREM OF SCHLICKEWEI
MIXING AUTOMORPHISMS OF COMPACT GROUPS AND A THEOREM OF SCHLICKEWEI KLAUS SCHMIDT AND TOM WARD Abstract. We prove that every mixing Z d -action by automorphisms of a compact, connected, abeian group is
More informationCONGRUENCES. 1. History
CONGRUENCES HAO BILLY LEE Abstract. These are notes I created for a seminar tak, foowing the papers of On the -adic Representations and Congruences for Coefficients of Moduar Forms by Swinnerton-Dyer and
More information(f) is called a nearly holomorphic modular form of weight k + 2r as in [5].
PRODUCTS OF NEARLY HOLOMORPHIC EIGENFORMS JEFFREY BEYERL, KEVIN JAMES, CATHERINE TRENTACOSTE, AND HUI XUE Abstract. We prove that the product of two neary hoomorphic Hece eigenforms is again a Hece eigenform
More informationThe Group Structure on a Smooth Tropical Cubic
The Group Structure on a Smooth Tropica Cubic Ethan Lake Apri 20, 2015 Abstract Just as in in cassica agebraic geometry, it is possibe to define a group aw on a smooth tropica cubic curve. In this note,
More informationK p q k(x) K n(x) x X p
oc 5. Lecture 5 5.1. Quien s ocaization theorem and Boch s formua. Our next topic is a sketch of Quien s proof of Boch s formua, which is aso a a brief discussion of aspects of Quien s remarkabe paper
More informationProblem set 6 The Perron Frobenius theorem.
Probem set 6 The Perron Frobenius theorem. Math 22a4 Oct 2 204, Due Oct.28 In a future probem set I want to discuss some criteria which aow us to concude that that the ground state of a sef-adjoint operator
More informationTIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH
TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH 1. Introduction Throughout our discussion, all rings are commutative, Noetherian and have an identity element. The notion of the tight closure
More informationGeneralized Bell polynomials and the combinatorics of Poisson central moments
Generaized Be poynomias and the combinatorics of Poisson centra moments Nicoas Privaut Division of Mathematica Sciences Schoo of Physica and Mathematica Sciences Nanyang Technoogica University SPMS-MAS-05-43,
More informationHomogeneity properties of subadditive functions
Annaes Mathematicae et Informaticae 32 2005 pp. 89 20. Homogeneity properties of subadditive functions Pá Burai and Árpád Száz Institute of Mathematics, University of Debrecen e-mai: buraip@math.kte.hu
More informationarxiv:math/ v2 [math.ag] 12 Jul 2006
GRASSMANNIANS AND REPRESENTATIONS arxiv:math/0507482v2 [math.ag] 12 Ju 2006 DAN EDIDIN AND CHRISTOPHER A. FRANCISCO Abstract. In this note we use Bott-Bore-Wei theory to compute cohomoogy of interesting
More informationMonomial Hopf algebras over fields of positive characteristic
Monomia Hopf agebras over fieds of positive characteristic Gong-xiang Liu Department of Mathematics Zhejiang University Hangzhou, Zhejiang 310028, China Yu Ye Department of Mathematics University of Science
More informationReichenbachian Common Cause Systems
Reichenbachian Common Cause Systems G. Hofer-Szabó Department of Phiosophy Technica University of Budapest e-mai: gszabo@hps.ete.hu Mikós Rédei Department of History and Phiosophy of Science Eötvös University,
More informationSEMIGROUPS OF VALUATIONS ON LOCAL RINGS, II
SEMIGROUPS OF VALUATIONS ON LOCAL RINGS, II STEVEN DALE CUTKOSKY, BERNARD TEISSIER Let (R, m R ) be a oca domain, with fraction fied K. Suppose that ν is a vauation of K with vauation ring (V, m V ) which
More informationSmall generators of function fields
Journa de Théorie des Nombres de Bordeaux 00 (XXXX), 000 000 Sma generators of function fieds par Martin Widmer Résumé. Soit K/k une extension finie d un corps goba, donc K contient un éément primitif
More informationORTHOGONAL MULTI-WAVELETS FROM MATRIX FACTORIZATION
J. Korean Math. Soc. 46 2009, No. 2, pp. 281 294 ORHOGONAL MLI-WAVELES FROM MARIX FACORIZAION Hongying Xiao Abstract. Accuracy of the scaing function is very crucia in waveet theory, or correspondingy,
More informationTHE ASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES OVER RINGS OF SMALL DIMENSION. Thomas Marley
THE ASSOCATED PRMES OF LOCAL COHOMOLOGY MODULES OVER RNGS OF SMALL DMENSON Thomas Marley Abstract. Let R be a commutative Noetherian local ring of dimension d, an ideal of R, and M a finitely generated
More informationTHE REACHABILITY CONES OF ESSENTIALLY NONNEGATIVE MATRICES
THE REACHABILITY CONES OF ESSENTIALLY NONNEGATIVE MATRICES by Michae Neumann Department of Mathematics, University of Connecticut, Storrs, CT 06269 3009 and Ronad J. Stern Department of Mathematics, Concordia
More informationSTABILISATION OF THE LHS SPECTRAL SEQUENCE FOR ALGEBRAIC GROUPS. 1. Introduction
STABILISATION OF THE LHS SPECTRAL SEQUENCE FOR ALGEBRAIC GROUPS ALISON E. PARKER AND DAVID I. STEWART arxiv:140.465v1 [math.rt] 19 Feb 014 Abstract. In this note, we consider the Lyndon Hochschid Serre
More informationTHE PARTITION FUNCTION AND HECKE OPERATORS
THE PARTITION FUNCTION AND HECKE OPERATORS KEN ONO Abstract. The theory of congruences for the partition function p(n depends heaviy on the properties of haf-integra weight Hecke operators. The subject
More informationPartial permutation decoding for MacDonald codes
Partia permutation decoding for MacDonad codes J.D. Key Department of Mathematics and Appied Mathematics University of the Western Cape 7535 Bevie, South Africa P. Seneviratne Department of Mathematics
More informationK a,k minors in graphs of bounded tree-width *
K a,k minors in graphs of bounded tree-width * Thomas Böhme Institut für Mathematik Technische Universität Imenau Imenau, Germany E-mai: tboehme@theoinf.tu-imenau.de and John Maharry Department of Mathematics
More informationOn the vanishing of Tor of the absolute integral closure
On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent
More informationUNIFORM CONVERGENCE OF MULTIPLIER CONVERGENT SERIES
royecciones Vo. 26, N o 1, pp. 27-35, May 2007. Universidad Catóica de Norte Antofagasta - Chie UNIFORM CONVERGENCE OF MULTILIER CONVERGENT SERIES CHARLES SWARTZ NEW MEXICO STATE UNIVERSITY Received :
More informationA FORMULA FOR THE -core OF AN IDEAL
A FORMULA FOR THE -core OF AN IDEAL LOUIZA FOULI, JANET C. VASSILEV, AND ADELA N. VRACIU Abstract. Expanding on the work of Fouli and Vassilev [FV], we determine a formula for the -core for ideals in two
More informationA Brief Introduction to Markov Chains and Hidden Markov Models
A Brief Introduction to Markov Chains and Hidden Markov Modes Aen B MacKenzie Notes for December 1, 3, &8, 2015 Discrete-Time Markov Chains You may reca that when we first introduced random processes,
More informationA UNIVERSAL METRIC FOR THE CANONICAL BUNDLE OF A HOLOMORPHIC FAMILY OF PROJECTIVE ALGEBRAIC MANIFOLDS
A UNIERSAL METRIC FOR THE CANONICAL BUNDLE OF A HOLOMORPHIC FAMILY OF PROJECTIE ALGEBRAIC MANIFOLDS DROR AROLIN Dedicated to M Saah Baouendi on the occasion of his 60th birthday 1 Introduction In his ceebrated
More informationSmoothness equivalence properties of univariate subdivision schemes and their projection analogues
Numerische Mathematik manuscript No. (wi be inserted by the editor) Smoothness equivaence properties of univariate subdivision schemes and their projection anaogues Phiipp Grohs TU Graz Institute of Geometry
More informationPRIME TWISTS OF ELLIPTIC CURVES
PRIME TWISTS OF ELLIPTIC CURVES DANIEL KRIZ AND CHAO LI Abstract. For certain eiptic curves E/Q with E(Q)[2] = Z/2Z, we prove a criterion for prime twists of E to have anaytic rank 0 or 1, based on a mod
More informationLecture 11. Fourier transform
Lecture. Fourier transform Definition and main resuts Let f L 2 (R). The Fourier transform of a function f is a function f(α) = f(x)t iαx dx () The normaized Fourier transform of f is a function R ˆf =
More informationarxiv: v1 [math.nt] 5 Mar 2019
arxiv:1903.01677v1 [math.nt] 5 Mar 2019 A note on Gersten s conjecture for ae cohomoogy over two-dimensiona henseian reguar oca rings Makoto Sakagaito Department of Mathematica Sciences IISER Mohai, Knowedge
More informationMath 711: Lecture of September 7, Symbolic powers
Math 711: Lecture of September 7, 2007 Symbolic powers We want to make a number of comments about the behavior of symbolic powers of prime ideals in Noetherian rings, and to give at least one example of
More informationQUADRATIC FORMS AND FOUR PARTITION FUNCTIONS MODULO 3
QUADRATIC FORMS AND FOUR PARTITION FUNCTIONS MODULO 3 JEREMY LOVEJOY AND ROBERT OSBURN Abstract. Recenty, Andrews, Hirschhorn Seers have proven congruences moduo 3 for four types of partitions using eementary
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationMARKOV CHAINS AND MARKOV DECISION THEORY. Contents
MARKOV CHAINS AND MARKOV DECISION THEORY ARINDRIMA DATTA Abstract. In this paper, we begin with a forma introduction to probabiity and expain the concept of random variabes and stochastic processes. After
More informationKOSZUL COMPLEX OVER SKEW POLYNOMIAL RINGS
KOSZUL COMPLEX OVER SKEW POLYNOMIAL RINGS JOSEP ÀLVAREZ MONTANER, ALBERTO F. BOIX, AND SANTIAGO ZARZUELA Dedicated to Professor Gennady Lyubeznik on the occasion of his 60th birthday Abstract. We construct
More informationMat 1501 lecture notes, penultimate installment
Mat 1501 ecture notes, penutimate instament 1. bounded variation: functions of a singe variabe optiona) I beieve that we wi not actuay use the materia in this section the point is mainy to motivate the
More informationarxiv: v1 [math.co] 25 Mar 2019
Functoria invariants of trees and their cones Nichoas Proudfoot and Eric Ramos Department of Mathematics, University of Oregon, Eugene, OR 97403 arxiv:1903.10592v1 [math.co] 25 Mar 2019 Abstract. We study
More informationUniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines is Strongly conp-complete
Uniprocessor Feasibiity of Sporadic Tasks with Constrained Deadines is Strongy conp-compete Pontus Ekberg and Wang Yi Uppsaa University, Sweden Emai: {pontus.ekberg yi}@it.uu.se Abstract Deciding the feasibiity
More informationarxiv: v1 [math.ac] 7 Feb 2009
MIXED MULTIPLICITIES OF MULTI-GRADED ALGEBRAS OVER NOETHERIAN LOCAL RINGS arxiv:0902.1240v1 [math.ac] 7 Feb 2009 Duong Quoc Viet and Truong Thi Hong Thanh Department of Mathematics, Hanoi University of
More informationarxiv: v1 [math.qa] 13 Jun 2014
Affine ceuarity of affine Brauer agebras Weideng Cui Abstract arxiv:1406.3517v1 [math.qa] 13 Jun 2014 We show that the affine Brauer agebras are affine ceuar agebras in the sense of Koenig and Xi. Keywords:
More informationXSAT of linear CNF formulas
XSAT of inear CN formuas Bernd R. Schuh Dr. Bernd Schuh, D-50968 Kön, Germany; bernd.schuh@netcoogne.de eywords: compexity, XSAT, exact inear formua, -reguarity, -uniformity, NPcompeteness Abstract. Open
More informationThe minimal components of the Mayr-Meyer ideals
The minimal components of the Mayr-Meyer ideals Irena Swanson 24 April 2003 Grete Hermann proved in [H] that for any ideal I in an n-dimensional polynomial ring over the field of rational numbers, if I
More informationOPERATORS WITH COMMON HYPERCYCLIC SUBSPACES
OPERATORS WITH COMMON HYPERCYCLIC SUBSPACES R. ARON, J. BÈS, F. LEÓN AND A. PERIS Abstract. We provide a reasonabe sufficient condition for a famiy of operators to have a common hypercycic subspace. We
More informationm-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p
m-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p JANET C. VASSILEV Abstract. We generalize the notion of m- full and basically full ideals in the setting of tight closure and demonstrate some
More informationSelmer groups and Euler systems
Semer groups and Euer systems S. M.-C. 21 February 2018 1 Introduction Semer groups are a construction in Gaois cohomoogy that are cosey reated to many objects of arithmetic importance, such as cass groups
More informationCourse 2BA1, Section 11: Periodic Functions and Fourier Series
Course BA, 8 9 Section : Periodic Functions and Fourier Series David R. Wikins Copyright c David R. Wikins 9 Contents Periodic Functions and Fourier Series 74. Fourier Series of Even and Odd Functions...........
More informationSeparation of Variables and a Spherical Shell with Surface Charge
Separation of Variabes and a Spherica She with Surface Charge In cass we worked out the eectrostatic potentia due to a spherica she of radius R with a surface charge density σθ = σ cos θ. This cacuation
More informationConvergence Property of the Iri-Imai Algorithm for Some Smooth Convex Programming Problems
Convergence Property of the Iri-Imai Agorithm for Some Smooth Convex Programming Probems S. Zhang Communicated by Z.Q. Luo Assistant Professor, Department of Econometrics, University of Groningen, Groningen,
More informationCompletion. is dense in H. If V is complete, then U(V) = H.
Competion Theorem 1 (Competion) If ( V V ) is any inner product space then there exists a Hibert space ( H H ) and a map U : V H such that (i) U is 1 1 (ii) U is inear (iii) UxUy H xy V for a xy V (iv)
More informationBASIC NOTIONS AND RESULTS IN TOPOLOGY. 1. Metric spaces. Sets with finite diameter are called bounded sets. For x X and r > 0 the set
BASIC NOTIONS AND RESULTS IN TOPOLOGY 1. Metric spaces A metric on a set X is a map d : X X R + with the properties: d(x, y) 0 and d(x, y) = 0 x = y, d(x, y) = d(y, x), d(x, y) d(x, z) + d(z, y), for a
More informationLOCAL COHOMOLOGY MODULES WITH INFINITE DIMENSIONAL SOCLES
LOCAL COHOMOLOGY MODULES WITH INFINITE DIMENSIONAL SOCLES THOMAS MARLEY AND JANET C. VASSILEV Abstract. In this paper we prove the following generalization of a result of Hartshorne: Let T be a commutative
More informationAn Extension of Almost Sure Central Limit Theorem for Order Statistics
An Extension of Amost Sure Centra Limit Theorem for Order Statistics T. Bin, P. Zuoxiang & S. Nadarajah First version: 6 December 2007 Research Report No. 9, 2007, Probabiity Statistics Group Schoo of
More information#A48 INTEGERS 12 (2012) ON A COMBINATORIAL CONJECTURE OF TU AND DENG
#A48 INTEGERS 12 (2012) ON A COMBINATORIAL CONJECTURE OF TU AND DENG Guixin Deng Schoo of Mathematica Sciences, Guangxi Teachers Education University, Nanning, P.R.China dengguixin@ive.com Pingzhi Yuan
More informationm-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 2, 2014 m-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p JANET C. VASSILEV ABSTRACT. We generalize the notion of m-full and basically
More informationA MATRIX OF LINEAR FORMS WHICH IS ANNIHILATED BY A VECTOR OF INDETERMINATES
A MATRIX OF LINEAR FORMS WHICH IS ANNIHILATED BY A VECTOR OF INDETERMINATES ANDREW R KUSTIN, CLAUDIA POLINI, AND BERND ULRICH ABSTRACT Let R = k[t 1,,T f ] be a standard graded poynomia ring over the fied
More informationNIKOS FRANTZIKINAKIS. N n N where (Φ N) N N is any Følner sequence
SOME OPE PROBLEMS O MULTIPLE ERGODIC AVERAGES IKOS FRATZIKIAKIS. Probems reated to poynomia sequences In this section we give a ist of probems reated to the study of mutipe ergodic averages invoving iterates
More informationarxiv:math/ v1 [math.ac] 4 Oct 2002
manuscripta mathematica manuscript No. (will be inserted by the editor) Alberto Corso Claudia Polini Bernd Ulrich Core of projective dimension one modules arxiv:math/0210072v1 [math.ac] 4 Oct 2002 Received:
More informationMATH 172: MOTIVATION FOR FOURIER SERIES: SEPARATION OF VARIABLES
MATH 172: MOTIVATION FOR FOURIER SERIES: SEPARATION OF VARIABLES Separation of variabes is a method to sove certain PDEs which have a warped product structure. First, on R n, a inear PDE of order m is
More informationWeek 6 Lectures, Math 6451, Tanveer
Fourier Series Week 6 Lectures, Math 645, Tanveer In the context of separation of variabe to find soutions of PDEs, we encountered or and in other cases f(x = f(x = a 0 + f(x = a 0 + b n sin nπx { a n
More informationNOISE-INDUCED STABILIZATION OF STOCHASTIC DIFFERENTIAL EQUATIONS
NOISE-INDUCED STABILIZATION OF STOCHASTIC DIFFERENTIAL EQUATIONS TONY ALLEN, EMILY GEBHARDT, AND ADAM KLUBALL 3 ADVISOR: DR. TIFFANY KOLBA 4 Abstract. The phenomenon of noise-induced stabiization occurs
More informationHAMILTON DECOMPOSITIONS OF ONE-ENDED CAYLEY GRAPHS
HAMILTON DECOMPOSITIONS OF ONE-ENDED CAYLEY GRAPHS JOSHUA ERDE, FLORIAN LEHNER, AND MAX PITZ Abstract. We prove that any one-ended, ocay finite Cayey graph with non-torsion generators admits a decomposition
More informationarxiv: v1 [math.nt] 23 Apr 2011
Square root Bound on the Least Power Non-residue using a Syvester-Vandermonde Determinant Michae Forbes Neera Kaya Raat Mitta Chandan Saha arxiv:044557v [mathn] 23 Apr 20 Abstract We give a new eementary
More informationC. Fourier Sine Series Overview
12 PHILIP D. LOEWEN C. Fourier Sine Series Overview Let some constant > be given. The symboic form of the FSS Eigenvaue probem combines an ordinary differentia equation (ODE) on the interva (, ) with a
More information4 1-D Boundary Value Problems Heat Equation
4 -D Boundary Vaue Probems Heat Equation The main purpose of this chapter is to study boundary vaue probems for the heat equation on a finite rod a x b. u t (x, t = ku xx (x, t, a < x < b, t > u(x, = ϕ(x
More informationSerre s theorem on Galois representations attached to elliptic curves
Università degi Studi di Roma Tor Vergata Facotà di Scienze Matematiche, Fisiche e Naturai Tesi di Laurea Speciaistica in Matematica 14 Lugio 2010 Serre s theorem on Gaois representations attached to eiptic
More informationVolume 13, MAIN ARTICLES
Voume 13, 2009 1 MAIN ARTICLES THE BASIC BVPs OF THE THEORY OF ELASTIC BINARY MIXTURES FOR A HALF-PLANE WITH CURVILINEAR CUTS Bitsadze L. I. Vekua Institute of Appied Mathematics of Iv. Javakhishvii Tbiisi
More informationCS229 Lecture notes. Andrew Ng
CS229 Lecture notes Andrew Ng Part IX The EM agorithm In the previous set of notes, we taked about the EM agorithm as appied to fitting a mixture of Gaussians. In this set of notes, we give a broader view
More informationarxiv: v1 [math.co] 12 May 2013
EMBEDDING CYCLES IN FINITE PLANES FELIX LAZEBNIK, KEITH E. MELLINGER, AND SCAR VEGA arxiv:1305.2646v1 [math.c] 12 May 2013 Abstract. We define and study embeddings of cyces in finite affine and projective
More informationThe Partition Function and Ramanujan Congruences
The Partition Function and Ramanujan Congruences Eric Bucher Apri 7, 010 Chapter 1 Introduction The partition function, p(n), for a positive integer n is the number of non-increasing sequences of positive
More informationEfficiently Generating Random Bits from Finite State Markov Chains
1 Efficienty Generating Random Bits from Finite State Markov Chains Hongchao Zhou and Jehoshua Bruck, Feow, IEEE Abstract The probem of random number generation from an uncorreated random source (of unknown
More informationPARTITION CONGRUENCES AND THE ANDREWS-GARVAN-DYSON CRANK
PARTITION CONGRUENCES AND THE ANDREWS-GARVAN-DYSON CRANK KARL MAHLBURG Abstract. In 1944, Freeman Dyson conjectured the existence of a crank function for partitions that woud provide a combinatoria proof
More informationOn nil-mccoy rings relative to a monoid
PURE MATHEMATICS RESEARCH ARTICLE On ni-mccoy rings reative to a monoid Vahid Aghapouramin 1 * and Mohammad Javad Nikmehr 2 Received: 24 October 2017 Accepted: 29 December 2017 First Pubished: 25 January
More informationarxiv: v1 [math.fa] 23 Aug 2018
An Exact Upper Bound on the L p Lebesgue Constant and The -Rényi Entropy Power Inequaity for Integer Vaued Random Variabes arxiv:808.0773v [math.fa] 3 Aug 08 Peng Xu, Mokshay Madiman, James Mebourne Abstract
More informationIntegrating Factor Methods as Exponential Integrators
Integrating Factor Methods as Exponentia Integrators Borisav V. Minchev Department of Mathematica Science, NTNU, 7491 Trondheim, Norway Borko.Minchev@ii.uib.no Abstract. Recenty a ot of effort has been
More informationFoliations and Global Inversion
Foiations and Goba Inversion E. Cabra Bareira Department of Mathematics Trinity University San Antonio, TX 78212 ebareir@trinity.edu January 2008 Abstract We consider topoogica conditions under which a
More informationTHE THREE POINT STEINER PROBLEM ON THE FLAT TORUS: THE MINIMAL LUNE CASE
THE THREE POINT STEINER PROBLEM ON THE FLAT TORUS: THE MINIMAL LUNE CASE KATIE L. MAY AND MELISSA A. MITCHELL Abstract. We show how to identify the minima path network connecting three fixed points on
More informationAn explicit Jordan Decomposition of Companion matrices
An expicit Jordan Decomposition of Companion matrices Fermín S V Bazán Departamento de Matemática CFM UFSC 88040-900 Forianópois SC E-mai: fermin@mtmufscbr S Gratton CERFACS 42 Av Gaspard Coriois 31057
More informationAn Exponential Lower Bound for Homogeneous Depth Four Arithmetic Formulas
An Exponentia Lower Bound for Homogeneous Depth Four Arithmetic Formuas Neeraj Kaya Microsoft Research India neeraa@microsoft.com Chandan Saha Indian Institute of Science chandan@csa.iisc.ernet.in Nutan
More informationAN INEQUALITY INVOLVING TIGHT CLOSURE AND PARAMETER IDEALS. Dedicated to the memory of Professor Nicolae Radu
AN INEQUALITY INVOLVING TIGHT CLOSURE AND PARAMETER IDEALS CĂTĂLIN CIUPERCĂ AND FLORIAN ENESCU Dedicated to the memory of Professor Nicolae Radu ABSTRACT. We establish an inequality involving colengths
More informationApproximated MLC shape matrix decomposition with interleaf collision constraint
Approximated MLC shape matrix decomposition with intereaf coision constraint Thomas Kainowski Antje Kiese Abstract Shape matrix decomposition is a subprobem in radiation therapy panning. A given fuence
More information4 Separation of Variables
4 Separation of Variabes In this chapter we describe a cassica technique for constructing forma soutions to inear boundary vaue probems. The soution of three cassica (paraboic, hyperboic and eiptic) PDE
More informationADELIC ANALYSIS AND FUNCTIONAL ANALYSIS ON THE FINITE ADELE RING. Ilwoo Cho
Opuscua Math. 38, no. 2 208, 39 85 https://doi.org/0.7494/opmath.208.38.2.39 Opuscua Mathematica ADELIC ANALYSIS AND FUNCTIONAL ANALYSIS ON THE FINITE ADELE RING Iwoo Cho Communicated by.a. Cojuhari Abstract.
More informationFactorization of Cyclotomic Polynomials with Quadratic Radicals in the Coefficients
Advances in Pure Mathematics, 07, 7, 47-506 http://www.scirp.org/journa/apm ISSN Onine: 60-0384 ISSN Print: 60-0368 Factoriation of Cycotomic Poynomias with Quadratic Radicas in the Coefficients Afred
More informationProduct Cosines of Angles between Subspaces
Product Cosines of Anges between Subspaces Jianming Miao and Adi Ben-Israe Juy, 993 Dedicated to Professor C.R. Rao on his 75th birthday Let Abstract cos{l,m} : i cos θ i, denote the product of the cosines
More informationSTABLE GRAPHS BENJAMIN OYE
STABLE GRAPHS BENJAMIN OYE Abstract. In Reguarity Lemmas for Stabe Graphs [1] Maiaris and Sheah appy toos from mode theory to obtain stronger forms of Ramsey's theorem and Szemeredi's reguarity emma for
More informationAlgorithms to solve massively under-defined systems of multivariate quadratic equations
Agorithms to sove massivey under-defined systems of mutivariate quadratic equations Yasufumi Hashimoto Abstract It is we known that the probem to sove a set of randomy chosen mutivariate quadratic equations
More informationThe ordered set of principal congruences of a countable lattice
The ordered set of principa congruences of a countabe attice Gábor Czédi To the memory of András P. Huhn Abstract. For a attice L, et Princ(L) denote the ordered set of principa congruences of L. In a
More informationOn Hilbert s 17th Problem for global analytic functions in dimension 3
Comment. Math. Hev. 83 (008), 67 100 Commentarii Mathematici Hevetici Swiss Mathematica Society On Hibert s 17th Probem for goba anaytic functions in dimension 3 José F. Fernando Abstract. Among the invariant
More informationRestricted weak type on maximal linear and multilinear integral maps.
Restricted weak type on maxima inear and mutiinear integra maps. Oscar Basco Abstract It is shown that mutiinear operators of the form T (f 1,..., f k )(x) = R K(x, y n 1,..., y k )f 1 (y 1 )...f k (y
More informationJENSEN S OPERATOR INEQUALITY FOR FUNCTIONS OF SEVERAL VARIABLES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Voume 128, Number 7, Pages 2075 2084 S 0002-99390005371-5 Artice eectronicay pubished on February 16, 2000 JENSEN S OPERATOR INEQUALITY FOR FUNCTIONS OF
More informationare left and right inverses of b, respectively, then: (b b 1 and b 1 = b 1 b 1 id T = b 1 b) b 1 so they are the same! r ) = (b 1 r = id S b 1 r = b 1
Lecture 1. The Category of Sets PCMI Summer 2015 Undergraduate Lectures on Fag Varieties Lecture 1. Some basic set theory, a moment of categorica zen, and some facts about the permutation groups on n etters.
More informationS. Dale Cutkosky Department of Mathematics, University of Missouri Columbia, MO 65211, USA
IRRATIONAL ASYMPTOTIC BEHAVIOUR OF CASTELNUOVO-MUMFORD REGULARITY S. Dale Cutkosky Department of Mathematics, University of Missouri Columbia, MO 65211, USA 1. Introduction Let I be an ideal sheaf on P
More informationOn the New q-extension of Frobenius-Euler Numbers and Polynomials Arising from Umbral Calculus
Adv. Studies Theor. Phys., Vo. 7, 203, no. 20, 977-99 HIKARI Ltd, www.m-hiari.com http://dx.doi.org/0.2988/astp.203.390 On the New -Extension of Frobenius-Euer Numbers and Poynomias Arising from Umbra
More informationarxiv:math/ v1 [math.ac] 19 Sep 2002 Ian M. Aberbach
EXTENSION OF WEAKLY AND STRONGLY F-REGULAR RINGS BY FLAT MAPS arxiv:math/0209251v1 [math.ac] 19 Sep 2002 Ian M. Aberbach 1. Introduction Throughout this paper all rings will be Noetherian of positive characteristic
More informationAnalysis of Emerson s Multiple Model Interpolation Estimation Algorithms: The MIMO Case
Technica Report PC-04-00 Anaysis of Emerson s Mutipe Mode Interpoation Estimation Agorithms: The MIMO Case João P. Hespanha Dae E. Seborg University of Caifornia, Santa Barbara February 0, 004 Anaysis
More informationare left and right inverses of b, respectively, then: (b b 1 and b 1 = b 1 b 1 id T = b 1 b) b 1 so they are the same! r ) = (b 1 r = id S b 1 r = b 1
Lecture 1. The Category of Sets PCMI Summer 2015 Undergraduate Lectures on Fag Varieties Lecture 1. Some basic set theory, a moment of categorica zen, and some facts about the permutation groups on n etters.
More informationRELATIONSHIP BETWEEN QUATERNION LINEAR CANONICAL AND QUATERNION FOURIER TRANSFORMS
Proceedings of the 04 Internationa Conference on Waveet Anaysis and Pattern ecognition, Lanzhou, 3-6 Juy, 04 ELATIONSHIP BETWEEN QUATENION LINEA CANONICAL AND QUATENION FOUIE TANSFOMS MAWADI BAHI, YUICHI
More informationMULTIPLICATIVE PROPERTIES OF THE MULTIPLICATIVE GROUP
MULTIPLICATIVE PROPERTIES OF THE MULTIPLICATIVE GROUP BRUNO KAHN Abstract. We give a few properties equivaent to the Boch-Kato conjecture (now the norm residue isomorphism theorem. Introduction The Boch-Kato
More information