Abstract. Quasi-socle ideals, that is, ideals of the form I = Q : m q (q ≥ 2), with Q parameter ideals in a Buchsbaum local ring (A, m), are explored in connection to the question of when I is integral over Q and when the associated graded ring G(I) = n≥0 I n /I n+1 of I is Buchsbaum for all n 0, where A ( * ) denotes the length of the module. With this notation, the purpose of this article is to prove the following. The associated graded ring G(I) = n≥0 I n /I n+1 of I is a Buchsbaum ring withas A-modules for all i < d anddenotes the homogeneous component with degree n in the ith graded local cohomology module H i M (G(I)) of G(I) with respect to M . Thus, the quasi-socle ideals I = Q : m q behave very well, inside Buchsbaum rings also, under the conditions stated in Theorem 1.1. Notice that, because A is a Buchsbaum ring, the Hilbert coefficients e i Q (A) of the parameter ideal Q are given by the formulaand one has the equalityfor all n ≥ 0 (see [Sch, Korollar 3.2]), so that {e i Q (A)} 1≤i≤d are independent of the choice of Q and are invariants of A. The crucial point in Theorem 1.1 is the equality I 2 = QI; assertions (1), (2), and (3) a d = ab for some a ∈ m q and b ∈ m is rather technical, but at this moment, we do not know whether this additional condition is superfluous.We now briefly explain the background of Theorem 1.1. Our research dates back to works of A. Corso, C. Polini, C. Huneke, W. V. Vasconcelos, and the first author in which the socle ideals Q : m for parameter ideals Q in Cohen-Macaulay rings A were explored with the following result. provided that depth G(m) ≥ 2.Since Buchsbaum rings are very akin to Cohen-Macaulay rings, it seems quite natural to expect that similar results of the Cohen-Macaulay case, such as Theorem 1.3, should be true also in the Buchsbaum case after suitable modifications of the corresponding conditions, which we now report in Theorem 1.1.The proof of Theorem 1.1 is given in Section 2, which we divide into two parts. The first part shows that m q I = m q Q. The second part proves that I 2 = QI. Since A is not necessarily a Cohen-Macaulay ring, the equality I 2 = QI does not readily follow from the fact that m q I = m q Q. We carefully analyze this phenomenon in Section 2. A similar but more restricted result also holds true in the case where G(m) is a Buchsbaum ring with depth G(m) = 1, which we discuss in Section 3. In Section 4, we give exam- Let F denote the set of all the productswhere the family {f i } 1≤i≤q of elements in m \ m 2 is assumed to satisfy the conditions stated above. Let us writeWe put g j = 1≤k≤q,k =j f k for each 1 ≤ j ≤ q, and we choose g ∈ m \ m 2 so that g * , f * j is a regular sequence in G(m) for all 1 ≤ j ≤ q. Letwhence, for all 1 ≤ i ≤ d and 1 ≤ j ≤ q, we get Hence,and soWe may assume that k > 1 and that our assertion holds true for k − 1. Hence,Let y ∈ A, and assume thatThanks to Claim 1, we getWe need the following to show the equality I 2 = QI. Proof. The former assertion is proved exactly in the same way as [GSa3, Lemma 2.3], wher...
The aim of this article is to prove that, under certain conditions, an affine flat normal scheme that is of finite type over a local Dedekind scheme in mixed characteristic admits infinitely many normal effective Cartier divisors. For the proof of this result, we prove the Bertini theorem for normal schemes of some type. We apply the main result to prove a result on the restriction map of divisor class groups of Grothendieck-Lefschetz type in mixed characteristic. Dedicated to Prof. Gennady Lyubeznik on the occasion of his 60th birthday.The proof of the theorem is obtained as an immediate corollary of the Bertini type theorem for normal schemes in mixed characteristic. The hypothesis that A is unramified is forced in the proof of the local Bertini theorem in [15], where we needed to estimate
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.