Hochster’s Formula Overview

• Hochster’s Formula is a combinatorial result that expresses the multigraded pieces of local cohomology for Stanley–Reisner rings in terms of reduced homology of associated simplicial subcomplexes.
• It utilizes the interplay between combinatorial topology, commutative algebra, and homological algebra to concretely relate multidegree supports to topological invariants.
• Recent advances have extended the formula with sheaf-theoretic proofs and generalizations to Ext-modules and arbitrary squarefree modules, enhancing its computational and theoretical impact.

Hochster’s formula provides a precise combinatorial characterization of the multigraded pieces of local cohomology modules of Stanley–Reisner rings via topological invariants of associated simplicial subcomplexes. Recent advances have furnished concise sheaf-theoretic proofs and far-reaching generalizations to Ext-modules and arbitrary squarefree modules, continuing to position the formula as a central result in the interplay between combinatorial topology, commutative algebra, and homological algebra (Salas et al., 2024).

1. Combinatorial and Algebraic Foundations

Let $\Delta$ be a finite simplicial complex on the vertex set $[n]=\{1,2,\dots,n\}$. Define the restriction and link as

$$\Delta_F := \{ G\in\Delta \mid G\subseteq F \}, \quad \mathrm{link}_\Delta(F) := \{ G\in\Delta \mid F\cap G = \varnothing,\; F\cup G\in\Delta \}$$

for any $F\subseteq [n]$. The polynomial ring $S = k[x_1,\ldots,x_n]$ over a commutative ring $k$ is multigraded by assigning $\deg(x_i)=e_i \in \mathbb Z^n$. The Stanley–Reisner ideal of $\Delta$ is

$$I_{\Delta} = ( x_{i_1}\cdots x_{i_s} \mid \{i_1,\dots,i_s\}\notin\Delta ),$$

with associated Stanley–Reisner ring $k[\Delta] = S/I_{\Delta}$. The local cohomology with support in the maximal ideal $[n]=\{1,2,\dots,n\}$0 admits a multigraded decomposition: $[n]=\{1,2,\dots,n\}$1 where the support of $[n]=\{1,2,\dots,n\}$2 is $[n]=\{1,2,\dots,n\}$3. For any simplicial complex $[n]=\{1,2,\dots,n\}$4, its reduced homology over $[n]=\{1,2,\dots,n\}$5 is $[n]=\{1,2,\dots,n\}$6.

2. Statement and Variants of Hochster’s Formula

Hochster's formula relates the fine grading of local cohomology to reduced homology of restricted subcomplexes: $[n]=\{1,2,\dots,n\}$7 In the case of squarefree degrees ($[n]=\{1,2,\dots,n\}$8), the formula becomes

$[n]=\{1,2,\dots,n\}$9

Summing over faces $$\Delta_F := \{ G\in\Delta \mid G\subseteq F \}, \quad \mathrm{link}_\Delta(F) := \{ G\in\Delta \mid F\cap G = \varnothing,\; F\cup G\in\Delta \}$$0 yields: $$\Delta_F := \{ G\in\Delta \mid G\subseteq F \}, \quad \mathrm{link}_\Delta(F) := \{ G\in\Delta \mid F\cap G = \varnothing,\; F\cup G\in\Delta \}$$1 with nonzero summands only for $$\Delta_F := \{ G\in\Delta \mid G\subseteq F \}, \quad \mathrm{link}_\Delta(F) := \{ G\in\Delta \mid F\cap G = \varnothing,\; F\cup G\in\Delta \}$$2. Each graded component thus reflects the topology of a subcomplex determined combinatorially by the multidegree.

3. Elementary Sheaf-Theoretic Proof and Categorical Perspective

An elementary, self-contained proof—using algebraic sheaf theory—has been established by Sancho de Salas and Torres Sancho (Salas et al., 2024). Consider the Boolean poset $$\Delta_F := \{ G\in\Delta \mid G\subseteq F \}, \quad \mathrm{link}_\Delta(F) := \{ G\in\Delta \mid F\cap G = \varnothing,\; F\cup G\in\Delta \}$$3 of subsets of $$\Delta_F := \{ G\in\Delta \mid G\subseteq F \}, \quad \mathrm{link}_\Delta(F) := \{ G\in\Delta \mid F\cap G = \varnothing,\; F\cup G\in\Delta \}$$4 and exact adjoint functors: $$\Delta_F := \{ G\in\Delta \mid G\subseteq F \}, \quad \mathrm{link}_\Delta(F) := \{ G\in\Delta \mid F\cap G = \varnothing,\; F\cup G\in\Delta \}$$5 Stanley–Reisner rings correspond to $$\Delta_F := \{ G\in\Delta \mid G\subseteq F \}, \quad \mathrm{link}_\Delta(F) := \{ G\in\Delta \mid F\cap G = \varnothing,\; F\cup G\in\Delta \}$$6, where $$\Delta_F := \{ G\in\Delta \mid G\subseteq F \}, \quad \mathrm{link}_\Delta(F) := \{ G\in\Delta \mid F\cap G = \varnothing,\; F\cup G\in\Delta \}$$7 is the constant sheaf on $$\Delta_F := \{ G\in\Delta \mid G\subseteq F \}, \quad \mathrm{link}_\Delta(F) := \{ G\in\Delta \mid F\cap G = \varnothing,\; F\cup G\in\Delta \}$$8. The derived category setup provides a functorial isomorphism

$$\Delta_F := \{ G\in\Delta \mid G\subseteq F \}, \quad \mathrm{link}_\Delta(F) := \{ G\in\Delta \mid F\cap G = \varnothing,\; F\cup G\in\Delta \}$$9

for any complex $F\subseteq [n]$0 and pointwise perfect sheaf $F\subseteq [n]$1, using appropriate dualizing functors $F\subseteq [n]$2. For $F\subseteq [n]$3, $F\subseteq [n]$4 decomposes as a direct sum of constant sheaves over closures in $F\subseteq [n]$5, ultimately recovering the direct-sum statements of Hochster's formula upon passage to cohomology.

4. Generalizations to Ext and Squarefree Module Cohomology

Generalizations allow computations for a wider class of Ext and local cohomology modules:

• Ext-Modules for Injective Duals:

For $F\subseteq [n]$6 with $F\subseteq [n]$7 (injective $F\subseteq [n]$8), and pointwise perfect $F\subseteq [n]$9,

$S = k[x_1,\ldots,x_n]$0

where $S = k[x_1,\ldots,x_n]$1, $S = k[x_1,\ldots,x_n]$2, and $S = k[x_1,\ldots,x_n]$3 is a polynomial ring in variables indexed by $S = k[x_1,\ldots,x_n]$4. For $S = k[x_1,\ldots,x_n]$5 and $S = k[x_1,\ldots,x_n]$6, this collapses to Miyazaki's formula.

• Local Cohomology of General Squarefree Modules:

For any pointwise perfect $S = k[x_1,\ldots,x_n]$7,

$S = k[x_1,\ldots,x_n]$8

specializing to Hochster’s formula with $S = k[x_1,\ldots,x_n]$9. All squarefree $k$0-modules arise as $k$1 for suitable $k$2 [8].

• Ext with Torsion Modules:

For $k$3 pointwise perfect and $k$4,

$k$5

recovering and refining results previously obtained by Miyazaki.

5. Explicit Example: The Univariate Case

Let $k$6 and $k$7, so $k$8 and $k$9. Classically,

$\deg(x_i)=e_i \in \mathbb Z^n$0

with graded pieces

$\deg(x_i)=e_i \in \mathbb Z^n$1

Applying Hochster's formula for $\deg(x_i)=e_i \in \mathbb Z^n$2, $\deg(x_i)=e_i \in \mathbb Z^n$3 gives $\deg(x_i)=e_i \in \mathbb Z^n$4 contractible with $\deg(x_i)=e_i \in \mathbb Z^n$5, matching $\deg(x_i)=e_i \in \mathbb Z^n$6. For $\deg(x_i)=e_i \in \mathbb Z^n$7, $\deg(x_i)=e_i \in \mathbb Z^n$8 yields $\deg(x_i)=e_i \in \mathbb Z^n$9 via vanishing reduced homology, illustrating correspondence between the graded local cohomology and the reduced homology of subcomplexes determined by the multidegree.

6. Broader Impact and Applications

Hochster’s formula and its generalizations reveal deep ties between the homological properties of monomial ideals, combinatorial topology of simplicial complexes, and derived categorical structures. These results underpin explicit calculations of local cohomology, inform the study of face rings, and support categorical approaches to squarefree modules via equivalences constructed by Yanagawa [8]. Recent advances connect the formula to Ext-modules with various coefficients, further broadening its applicability to both algebraic and topological contexts (Salas et al., 2024).