Skip to content

Grothendieck Local Duality

Over a Noetherian local ring with a normalized dualizing complex, Matlis duals of maximal-ideal local cohomology are identified with completed Ext groups into that dualizing object.

Version
v1 · 2026-08-30 · History
Domain-specific #
1963
Origin domain
mathematics
Aliases
Local duality theorem, Grothendieck's local duality theorem

Core Idea

Grothendieck local duality translates local cohomology supported at the maximal ideal of a Noetherian local ring into Ext against a dualizing object, with Matlis duality and completion making the two sides meet. Let \((A,\mathfrak m,k)\) be a Noetherian local ring with normalized dualizing complex \(\omega_A^\bullet\), let \(E=E_A(k)\) be an injective hull of the residue field, and let \(K\) be a complex with coherent cohomology. In the Stacks Project convention, the cohomological form is

\[ \widehat{\operatorname{Ext}^{-i}_A(K,\omega_A^\bullet)} \cong \operatorname{Hom}_A\!\left(H^i_{\mathfrak m}(K),E\right), \]

where the hat denotes \(\mathfrak m\)-adic completion.[1]

The theorem is not merely a visual symmetry between two groups. It provides a natural, functorial translation between the derived functor of sections supported at \(\mathfrak m\) and a completed derived Hom into the dualizing complex. In the Cohen–Macaulay case, the dualizing complex reduces to a shifted canonical module and the degree reversal becomes the familiar \(d-i\).

Structural Signature

A valid local-duality invocation fixes these roles:

  • Noetherian local base: a ring \((A,\mathfrak m,k)\) with one declared maximal ideal and its residue field.
  • Support functor: local cohomology \(H^i_{\mathfrak m}(K)\), derived from sections annihilated locally by powers of \(\mathfrak m\).
  • Dualizing object: a normalized dualizing complex \(\omega_A^\bullet\), or a canonical module with dimension shift under Cohen–Macaulay hypotheses.
  • Matlis dual: \(D(-)=\operatorname{Hom}_A(-,E_A(k))\), converting \(\mathfrak m\)-torsion information into complete-module information.
  • Ext side: derived Hom from \(K\) into the dualizing object, with precise cohomological indexing.
  • Completion: \(\mathfrak m\)-adic completion on the Ext/derived-Hom side unless completeness or finite-module hypotheses make the simplification explicit.
  • Naturality: the isomorphism is compatible with maps of the input complex, so exact sequences and derived triangles translate systematically.
  • Hypothesis-controlled simplification: Cohen–Macaulay, Gorenstein, regular, and complete cases alter the dualizing object but not the theorem-family role.

At derived level, the Stacks statement is

\[ R\operatorname{Hom}_A(K,\omega_A^\bullet)^{\wedge} \simeq R\operatorname{Hom}_A(R\Gamma_{\mathfrak m}K,E[0]). \]

Taking cohomology yields the displayed module isomorphisms.[1]

What It Is Not

Local duality is not Matlis duality alone. Matlis duality relates suitable \(A\)-modules, especially Artinian modules and finitely generated complete modules, through \(\operatorname{Hom}_A(-,E)\). Grothendieck local duality uses that functor to identify local cohomology with Ext into a dualizing object.

It is not Serre duality, although it is a local algebraic analogue and part of the larger Grothendieck-duality program.[2] Serre duality concerns coherent sheaf cohomology on proper geometric spaces and a canonical bundle or dualizing sheaf. Local duality concerns support at the closed point of \(\operatorname{Spec}A\), local cohomology, completion, and injective hulls.

It is not the claim that every Noetherian local ring automatically has a dualizing complex. The theorem requires one or obtains one through additional hypotheses. It is also not a license to suppress completion, reverse indices informally, or replace the maximal ideal by an arbitrary ideal without invoking an appropriate generalized theorem.

Scope of Application

The home domain is commutative algebra, with direct use in local cohomology, canonical modules, Cohen–Macaulay and Gorenstein rings, depth and dimension theory, vanishing, and local algebraic geometry. Grothendieck's Harvard seminar and Hartshorne's treatments established local cohomology and local duality as a coherent theorem family; modern texts use it to connect depth, Ext, canonical modules, and geometric applications.[3][4]

For a Cohen–Macaulay local ring of dimension \(d\) with canonical module \(\omega_A\), the normalized dualizing complex is \(\omega_A[d]\) under cohomological conventions. For a finitely generated module \(M\), local duality becomes

\[ \widehat{\operatorname{Ext}^{d-i}_A(M,\omega_A)} \cong D(H^i_{\mathfrak m}(M)). \]

If \(A\) is complete, finitely generated Ext modules are already complete, and the hat can be omitted. If \(A\) is Gorenstein, \(\omega_A\cong A\), giving an Ext-into-the-ring formula.

Clarity

The theorem distinguishes three layers that are easy to collapse. Local cohomology detects the part of a module concentrated near the closed point and often produces Artinian modules. Matlis duality turns those modules into complete algebraic objects. The dualizing complex calibrates dimension and injective behavior so the result is computed as Ext. Omitting any layer changes the claim.

A reliable diagnostic is to write a ledger before applying the theorem: the ring, maximal ideal, residue field, injective hull, chosen normalization of the dualizing complex, input category, completion convention, and cohomological indexing. If the result claims \(H^i_{\mathfrak m}(M)^\vee\cong\operatorname{Ext}^{d-i}(M,A)\), one must additionally justify that the ring is Gorenstein of dimension \(d\) and handle completion.

Manages Complexity

Local cohomology is naturally computed through Čech complexes, derived torsion, or direct limits, and its modules are frequently not finitely generated. Ext against a dualizing object is often more accessible to resolutions, depth arguments, and finite-module techniques. Local duality transfers difficult support calculations to this Ext side without discarding the closed-point information.

Conversely, vanishing or nonvanishing of Ext can reveal local-cohomology degrees, depth, Cohen–Macaulayness, and canonical modules. The theorem therefore manages complexity bidirectionally: it converts large torsion modules into finite or completed objects for calculation, then returns their meaning as support and depth information.

Abstract Reasoning

Suppose \(A\) is Cohen–Macaulay of dimension \(d\) and \(M\) is a Cohen–Macaulay module of dimension \(t\). Then \(H^i_{\mathfrak m}(M)=0\) for \(i\neq t\). Local duality implies the corresponding completed Ext groups vanish except in degree \(d-t\), and

\[ D(H^t_{\mathfrak m}(M)) \cong \widehat{\operatorname{Ext}^{d-t}_A(M,\omega_A)}. \]

This Ext module is a canonical-module construction for \(M\) under standard hypotheses. The inference is licensed by both the duality and the Cohen–Macaulay vanishing pattern; local duality alone does not assert concentration in one degree.

The derived statement also predicts functorial exactness behavior. A distinguished triangle of inputs produces long exact sequences in local cohomology and, after the contravariant dual/Ext translation, corresponding exact information on the other side. Index and arrow direction must be tracked rather than inferred from the word “dual.”

Knowledge Transfer

Within commutative algebra, the role structure transfers from regular local rings to Cohen–Macaulay, Gorenstein, and general Noetherian local rings possessing dualizing complexes. The dualizing object changes from the ring itself to a canonical module or complex; the local-cohomology/Matlis-dual/Ext triangle persists.

Transfer to schemes and formal geometry proceeds through coherent duality, residual complexes, and local statements at points. It is not a metaphorical transfer: stalks, supports, derived completion, and dualizing complexes retain their mathematical roles. By contrast, calling any “local versus global” correspondence local duality discards the theorem's identity.

Examples

  1. Regular complete local ring. Let \(A=k[[x_1,\ldots,x_d]]\). It is Gorenstein with canonical module \(A\). Since \(A\) is Cohen–Macaulay, \(H^i_{\mathfrak m}(A)=0\) for \(i\neq d\), and local duality gives \(D(H^d_{\mathfrak m}(A))\cong A\).
  2. Residue field. In the same ring, \(H^0_{\mathfrak m}(k)=k\) and higher local cohomology of \(k\) vanishes. The theorem matches \(D(k)\cong k\) with \(\operatorname{Ext}^d_A(k,A)\cong k\).
  3. Cohen–Macaulay module. For a Cohen–Macaulay module \(M\) of dimension \(t\), the unique nonzero local-cohomology degree dualizes to \(\operatorname{Ext}^{d-t}_A(M,\omega_A)\), its canonical-module side.
  4. Non-complete boundary. Over a non-complete local ring, writing the Ext group without its \(\mathfrak m\)-adic completion can be false as stated. The completion is not typographic decoration.
  5. Non-Cohen–Macaulay boundary. Replacing the dualizing complex by one module can lose cohomological degrees. The complex formulation preserves the general theorem.[1]

Structural Tensions

  • Concrete module formula vs. general derived theorem. Canonical-module formulas are readable but require Cohen–Macaulay hypotheses; dualizing complexes cover the general case. Diagnostic: inspect the ring's Cohen–Macaulay status before collapsing \(\omega_A^\bullet\) to a shifted module.
  • Local torsion vs. completed finite data. Local cohomology can be Artinian and non-finite, while its dual naturally lives over the completion. Diagnostic: record the \(\mathfrak m\)-adic completion and module category on both sides.
  • Elegant degree reversal vs. convention risk. Shifts and cohomological signs vary among sources. Diagnostic: derive the \(d-i\) formula from the declared normalization rather than copying indices by analogy.
  • Structural analogy vs. theorem identity. Serre, Alexander, and Matlis dualities resemble local duality but have different endpoints and hypotheses. Diagnostic: require maximal-ideal support, Matlis dual, and Ext into a dualizing object.
  • Autonomy vs. Duality closure. The Duality prime names reversible structured correspondence but not local rings, completion, local cohomology, or dualizing complexes. Diagnostic: use the named theorem only when this full commutative-algebra role package is present.

Structural–Framed Character

Grothendieck Local Duality is strongly structural within homological commutative algebra. Local support, derived Hom, dualizing object, Matlis dual, completion, and degree translation form a stable mechanism. It is also highly framed: every role belongs to local-ring, module, and derived-category vocabulary, and small convention changes alter the displayed formula.

Structural Core vs. Domain Accent

The structural core is a natural dual correspondence that converts a support-derived invariant into a completed Ext-derived invariant. The domain accent supplies a Noetherian local ring, maximal ideal, residue-field injective hull, local cohomology, Matlis duality, dualizing complex, and \(\mathfrak m\)-adic completion. Removing those roles leaves the general prime Duality.

The candidate remains autonomous because its hypotheses and translation solve recurring depth, canonical-module, vanishing, and local-cohomology problems that the prime cannot settle.

Grothendieck Local Duality is a strict specialization of Duality: two derived invariant families are joined by a natural, information-preserving correspondence that licenses bidirectional inference. It relates to Local-to-Global Aggregation through local cohomology and sheaf-theoretic applications, but its defining movement is not aggregation from patches. Alexander Duality and Serre Duality are sibling theorem families, not parent nodes.

Relationships to Other Abstractions

Local relationship map for Grothendieck Local DualityParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.GrothendieckLocal DualityDOMAINPrime abstraction: Duality — is a kind ofDualityPRIME

Current abstraction Grothendieck Local Duality Domain-specific

Parents (1) — more general patterns this builds on

  • Grothendieck Local Duality is a kind of Duality Prime

    Grothendieck Local Duality is a strict specialization of Duality: two derived invariant families are joined by a natural, information-preserving correspondence that licenses bidirectional inference.

Hierarchy path (1) — routes to 1 parentless root

  • Grothendieck Local Duality → Duality

Neighborhood in Abstraction Space

Grothendieck Local Duality sits in a sparse region of the domain-specific corpus (86th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With

  • Matlis duality: the module-dual functor used inside the theorem, not the local-cohomology/Ext theorem itself.
  • Serre duality: coherent sheaf cohomology on proper geometric objects.
  • Grothendieck duality: the broader relative duality formalism for morphisms of schemes.
  • Alexander duality: complement/subspace topology with reduced homology and cohomology.
  • Local cohomology: one side of the correspondence, not the full duality.
  • Canonical module: the Cohen–Macaulay dualizing module used in a special form.

References

[1] The Stacks Project Authors, “The Local Duality Theorem,” Tag 0A81, especially Theorem 47.18.3 and Lemma 47.18.4, accessed 2026-08-29, https://stacks.math.columbia.edu/tag/0A81. registry ↩a ↩b ↩c

[2] Robin Hartshorne, Residues and Duality, Lecture Notes in Mathematics 20, Springer, 1966, DOI 10.1007/BFb0080482. registry ↩

[3] Robin Hartshorne, Local Cohomology: A Seminar Given by A. Grothendieck, Harvard University, Fall 1961, Lecture Notes in Mathematics 41, Springer, 1967, DOI 10.1007/BFb0073971. registry ↩

[4] Markus P. Brodmann and Rodney Y. Sharp, Local Cohomology: An Algebraic Introduction with Geometric Applications, 2nd ed., Cambridge University Press, 2013, DOI 10.1017/CBO9780511629204. registry ↩