This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Stanley–Reisner rings | |
|---|---|
| Name | Stanley–Reisner ring |
| Type | Commutative graded ring |
| Field | Commutative algebra, Algebraic combinatorics |
| Introduced by | Richard P. Stanley, Melvin Hochster, Gerhard Reisner |
| Year | 1970s |
Stanley–Reisner rings are graded commutative rings associated to finite simplicial complexes that encode combinatorial and topological data in algebraic form. Originating in work by Richard P. Stanley and building on ideas of Melvin Hochster and Gerhard Reisner, these rings bridge Commutative algebra, Algebraic geometry, and Algebraic topology by translating faces of simplicial complexes into monomial ideals and by linking homological invariants to combinatorial properties. They serve as central objects in studies related to the g-conjecture, the Upper bound conjecture, and connections between face enumeration and algebraic properties.
Given a finite set of vertices labelled by an index set, the Stanley–Reisner ring is defined as a quotient of a polynomial ring over a field by a squarefree monomial ideal determined by missing faces. The construction yields a standard graded algebra whose Hilbert function reflects the face numbers of the underlying simplicial complex. Fundamental properties connect the ring's Krull dimension, graded Betti numbers, and depth with topological invariants such as reduced homology groups; these relations are exploited in work by researchers affiliated with institutions like Princeton University, Massachusetts Institute of Technology, and Harvard University.
Start with a finite simplicial complex on vertex set V and consider the polynomial ring k[x_v : v in V] over a field k. The Stanley–Reisner ideal is the ideal generated by squarefree monomials corresponding to nonfaces; the quotient by this ideal yields the face ring. This algebraic construction is standard in texts influenced by methods from David Eisenbud, William Fulton, and Günter Ziegler, and it is implemented in computational packages developed at places like Massachusetts Institute of Technology and University of California, Berkeley.
The Hilbert series of the face ring encodes the f-vector and h-vector of the simplicial complex, linking combinatorial enumeration problems studied by Branko Grünbaum and Peter McMullen with algebraic growth rates. Krull dimension equals one plus the dimension of the complex, while depth and Cohen–Macaulayness provide algebraic characterizations of topological manifold-like behavior; these notions are central in theorems by Melvin Hochster and criteria attributed to Gerhard Reisner. Cohen–Macaulay face rings correspond to complexes with vanishing reduced homology in certain links, a theme present in works at Stanford University and University of Chicago.
Homological algebra techniques compute graded Betti numbers of the Stanley–Reisner ideal, relating to simplicial homology and local cohomology studied by Robin Hartshorne and Jean-Pierre Serre. Reisner's criterion gives a combinatorial test for the Cohen–Macaulay property in terms of reduced homology of links, connecting with duality principles such as Alexander duality familiar from Poincaré duality contexts and tools used by researchers at University of Michigan and University of Cambridge. The Alexander dual of the ideal translates combinatorial complements into algebraic duals, enabling applications in resolutions studied by scholars like Ezra Miller and Bernd Sturmfels.
Key examples include face rings of simplices, spheres, balls, and complexes arising from polytopes studied by Branko Grünbaum, Peter McMullen, and Victor Klee. The boundary complex of a simplicial polytope yields a Cohen–Macaulay ring by the Stanley–Reisner correspondence, and order complexes of posets associated to Richard P. Stanley's work produce rings whose algebraic invariants reflect poset topology investigated by Anders Björner. Other special cases appear from graphic complexes tied to graphs studied by Paul Erdős and László Lovász, and from cluster complexes related to Fomin–Zelevinsky cluster algebras.
Stanley–Reisner rings form a toolkit for attacking enumerative problems such as the g-theorem for simplicial polytopes, the Upper bound conjecture, and face enumeration inequalities advanced by Richard P. Stanley and Peter McMullen. In algebraic geometry, they model coordinate rings of projective toric varieties studied by David Cox and Gian-Carlo Rota's influence on combinatorial geometry is evident in applications linking Ehrhart theory and Hilbert series. Connections to tropical geometry developed by researchers at University of California, Berkeley and to mirror symmetry topics investigated at Institute for Advanced Study show the rings' broad applicability.
Generalizations include multigraded face rings, squarefree modules, and facet ideals introduced in literature by Ezra Miller, Vic Reiner, and Froberg; these extend the classical face ring to settings involving hypergraphs, monomial ideals, and Stanley decompositions studied by Jürgen Herzog and Takayuki Hibi. Related constructions include edge rings of graphs, toric face rings connected to toric varieties and Cox rings, and equivariant cohomology rings of moment-angle complexes investigated by groups at University of Warsaw and Max Planck Institute for Mathematics.