---
title: Hochster’s Formula Overview
url: https://www.emergentmind.com/topics/hochster-s-formula
type: topic
---

# Hochster’s Formula Overview

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 [2405.08432].

## 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 $m = (x_1,\ldots,x_n)$ admits a multigraded decomposition:
\[
H^i_m(k[\Delta]) = \bigoplus_{\alpha \in \mathbb Z^n} H^i_m(k[\Delta])_\alpha,
\]
where the support of $\alpha=(\alpha_1,\dots,\alpha_n)$ is $\mathrm{supp}(\alpha) = \{ i \mid \alpha_i \neq 0 \}$. For any simplicial complex $\Gamma$, its reduced homology over $k$ is $\widetilde H_j(\Gamma; k)$.

## 2. Statement and Variants of Hochster’s Formula

Hochster's formula relates the fine grading of local cohomology to reduced homology of restricted subcomplexes:
\[
H^i_m(k[\Delta])_\alpha \cong
\begin{cases}
\widetilde H_{|\mathrm{supp}(\alpha)|-i-1}(\Delta|_{\mathrm{supp}(\alpha)}; k),
& \text{if } \alpha_i\leq 0 \text{ for all } i; \\[2ex]
0, & \text{otherwise.}
\end{cases}
\]
In the case of squarefree degrees ($\alpha \in \{0,1\}^n$), the formula becomes
\[
H^i_m(k[\Delta])_{-1_F} \cong
\widetilde H_{|F|-i-1}(\Delta_F; k),
\qquad F = \mathrm{supp}(-1_F)\subseteq[n].
\]
Summing over faces $F\subseteq[n]$ yields:
\[
H^i_m(k[\Delta])
\cong \bigoplus_{F\subseteq[n]}
\widetilde H_{|F|-i-1}(\Delta_F; k),
\]
with nonzero summands only for $F\in\Delta$. 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 [2405.08432]. Consider the Boolean poset $A_n = P([n])$ of subsets of $[n]$ and exact adjoint functors:
\[
T^* : \mathrm{Sh}_k(A_n) \to S\text{-Mod},
\quad
T_+ : S\text{-Mod} \to \mathrm{Sh}_k(A_n).
\]
Stanley–Reisner rings correspond to $T^*(k_\Delta)$, where $k_\Delta$ is the constant sheaf on $\Delta\subseteq A_n$. The derived category setup provides a functorial isomorphism
\[
\mathbf R\!\mathrm{Hom}_S(M,T^*F) \simeq \mathbf R\!\mathrm{Hom}_{A_n}(D(F),T^!D(M)),
\]
for any complex $M\in D(S)$ and pointwise perfect sheaf $F\in D(\mathrm{Sh}(A_n))$, using appropriate dualizing functors $D(-)$. For $M=S/m$, $T^!D(M)$ decomposes as a direct sum of constant sheaves over closures in $A_n$, 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 $M \in D(S)$ with $D(M) = I[r]$ (injective $I$), and pointwise perfect $F$,
\[
\mathrm{Ext}^*_S(M, T^*F) \cong
\bigoplus_{p\in \mathrm{supp}(F)} H^{*+n+r-c_p}(U_p, F)
\otimes_k \mathrm{Hom}_S(R_{C_p}, I)(1_p),
\]
where $c_p = \dim C_p$, $U_p = \{q\in A_n \mid q \supseteq p\}$, and $R_{C_p}$ is a polynomial ring in variables indexed by $p$. For $M = S/m^\ell$ and $F = k_\Delta$, this collapses to Miyazaki's formula.

- **Local Cohomology of General Squarefree Modules:**  
For any pointwise perfect $F$,
\[
H^i_m(T^*F) \cong
\bigoplus_{p\in \mathrm{supp}(F)} H^{i-(n-c_p)}(U_p, F) \otimes_k H^n_m(R_{C_p}),
\]
specializing to Hochster’s formula with $F = k_\Delta$. All squarefree $S$-modules arise as $T^*(F)$ for suitable $F$ [8].

- **Ext with Torsion Modules:**  
For $F$ pointwise perfect and $\ell\ge1$,
\[
\mathrm{Ext}^i_S(S/m^\ell, T^*F) \cong
\bigoplus_{\substack{p\le q,\,q\in \mathrm{supp}(F)}}
H^{\dim C_q-\dim C_p-i}(U_q, F)
\otimes_k 
(R_{C_p}/m_p^{\ell-1})(1_{q-p}),
\]
recovering and refining results previously obtained by Miyazaki.

## 5. Explicit Example: The Univariate Case

Let $n=1$ and $\Delta = \{\varnothing, \{1\}\}$, so $k[\Delta]=k[x]$ and $m = (x)$. Classically,
\[
H^0_m(k[x]) = 0,\quad H^1_m(k[x]) \cong k[x,x^{-1}]/k[x],
\]
with graded pieces
\[
H^1_m(k[x])_{-j} \cong
\begin{cases}
k, & j \ge 1; \\
0, & j \le 0.
\end{cases}
\]
Applying Hochster's formula for $j\geq 1$, $F = \{1\}$ gives $\Delta|_{\{1\}}$ contractible with $\widetilde H_{-1}(\text{point})=k$, matching $H^1_m(k[x])_{-j}=k$. For $j=0$, $F = \varnothing$ yields $H^1_m(k[x])_0=0$ 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 [2405.08432].

Source: https://www.emergentmind.com/topics/hochster-s-formula