Bourbaki

Proposition 2

Tag 0DBL, permanent. Cite it as [Bourbaki, Tag 0DBL].

Commutative Algebra, chapter X, § 9. Modules dualisants

Let A be a noetherian ring, Ω\Omega a dualizing A-module. For every prime ideal pp of A, the ApA_p-module Ωp\Omega_p is dualizing.

Consider a saturated chain p⊂p1⊂…⊂prp \subset p_1 \subset \ldots \subset p_r of prime ideals of A such that the ideal prp_r is maximal. Reasoning by induction on rr, one may suppose that the Ap1A_{p_1}-module Ωp1\Omega_{p_1} is dualizing. Replacing A by Ap1A_{p_1} and pp by pAp1pA_{p_1}, one is reduced to the case where the ring A is local and where the chain p⊂mAp \subset m_A is saturated.

Put then d=dim⁡(A)=ht(mA)d = \dim(A) = \mathrm{ht}(m_A). One has dim⁡(Ap)=ht(p)=d−1\dim(A_p) = \mathrm{ht}(p) = d - 1 since A is a Macaulay ring (§ 2, No. 2, cor. of prop. 2). For every integer ii, the ApA_p-module ExtApi(κ(p),Ωp)\mathrm{Ext}^i_{A_p}(\kappa(p), \Omega_p) is isomorphic to ExtAi(A/p,Ω)p\mathrm{Ext}^i_A(A/p, \Omega)_p (§ 3, No. 2, prop. 2); it is therefore enough to prove that the A/pA/p-module ExtAi(A/p,Ω)\mathrm{Ext}^i_A(A/p, \Omega) vanishes for i≠d−1i \neq d - 1 and is of rank one for i=d−1i = d - 1.

Let xx be an element of mA−pm_A - p, and x‾\overline{x} its class in A/pA/p. Consider the exact sequence of A-modules

0→A/p→x‾A/p⟶A/(p+xA)→0. 0 \to A/p \xrightarrow{\overline{x}} A/p \longrightarrow A/(p + xA) \to 0 .

The A-module A/(p+xA)A/(p + xA) is of finite length since its support is reduced to mAm_A; since the A-module Ω\Omega is dualizing, one has ExtAi(A/(p+xA),Ω)=0\mathrm{Ext}^i_A(A/(p + xA), \Omega) = 0 for i≠di \neq d (§8§ 8, No. 5, example 3). It then follows from the exact sequence of extension modules associated with the sequence above and with Ω\Omega that the homothety of ratio xx in the A-module ExtAi(A/p,Ω)\mathrm{Ext}^i_A(A/p, \Omega) is surjective for i≠d−1i \neq d - 1, which implies that this module is zero (Nakayama lemma). In particular ExtAd(A/p,Ω)\mathrm{Ext}^d_A(A/p, \Omega) is zero, and one obtains an exact sequence

0→ExtAd−1(A/p,Ω)→xExtAd−1(A/p,Ω)⟶ExtAd(A/(p+xA),Ω)→0. 0 \to \mathrm{Ext}^{d-1}_A(A/p, \Omega) \xrightarrow{x} \mathrm{Ext}^{d-1}_A(A/p, \Omega) \longrightarrow \mathrm{Ext}^d_A(A/(p + xA), \Omega) \to 0 .

One has longA(ExtAi(A/(p+xA),Ω))=longA(A/(p+xA))\mathrm{long}_A(\mathrm{Ext}^i_A(A/(p + xA), \Omega)) = \mathrm{long}_A(A/(p + xA)) (loc. cit.); the proposition then follows from the following lemma, applied to the ring B=A/pB = A/p and the B-module M=ExtAd−1(A/p,Ω)M = \mathrm{Ext}^{d-1}_A(A/p, \Omega):

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.