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 theory | |
|---|---|
| Name | Stanley–Reisner theory |
| Field | Combinatorics; Commutative algebra; Algebraic topology |
| Introduced | 1970s |
| Key figures | Richard P. Stanley; Gerald Reisner; David Eisenbud; Melvin Hochster |
| Related concepts | Simplicial complex; Stanley–Reisner ring; Cohen–Macaulay ring |
Stanley–Reisner theory is a framework linking combinatorial structures on simplicial complexes to algebraic properties of commutative rings via the Stanley–Reisner correspondence. It connects results from Richard P. Stanley, Gerald Reisner, David Eisenbud, Melvin Hochster, and others to translate combinatorial invariants into homological and algebraic invariants used in modern research in Princeton University, Harvard University, Massachusetts Institute of Technology, and other institutions. The theory underpins developments in enumerative combinatorics, algebraic geometry, and topological combinatorics explored at venues like the International Congress of Mathematicians and in journals associated with the American Mathematical Society and Springer Science+Business Media.
Stanley–Reisner theory arose from work by Gerald Reisner and Richard P. Stanley that connected simplicial complexes studied by researchers at University of Michigan and MIT to monomial ideals investigated by faculty at Harvard University and Princeton University. The correspondence interprets a simplicial complex studied in lectures at International Congress on Combinatorics as a quotient of a polynomial ring appearing in seminars at Institute for Advanced Study and Courant Institute. Foundational results influenced subsequent theorems by Melvin Hochster, Craig Huneke, and Giovanni Pemantle.
A finite simplicial complex with vertex set labeled by elements associated to constructions in Noetherian ring theory is encoded by its nonfaces via a squarefree monomial ideal as in expositions by David Eisenbud and W. V. D. Hodge-related seminars. The Stanley–Reisner ring is the quotient of a polynomial ring over a field studied in courses at University of California, Berkeley and Columbia University by the ideal generated by nonfaces; this quotient appears in lectures by Jean-Pierre Serre and Alexander Grothendieck on graded rings. Constructions used in the theory relate to methods in William Thurston's topology seminars and techniques from John Milnor and Raoul Bott in differential topology.
Algebraic invariants such as graded Betti numbers, projective dimension, and depth for the Stanley–Reisner ring are computed using resolutions popularized by David Eisenbud and studied in contexts at Institute of Pure and Applied Mathematics and Massachusetts Institute of Technology. Hochster's formula, attributed to Melvin Hochster, expresses Tor modules of the Stanley–Reisner ring in terms of reduced cohomology of induced subcomplexes, a result often discussed alongside work by Evgeny Golod and Irena Peeva. Connections to local cohomology and Castelnuovo–Mumford regularity are traced through seminars referencing David Mumford, Oscar Zariski, and Jean-Louis Koszul.
Cohen–Macaulayness for Stanley–Reisner rings, central to the theory, is characterized combinatorially by Reisner's criterion proved by Gerald Reisner with later algebraic proofs by Richard P. Stanley and applications by Melvin Hochster. The criterion equates vanishing of reduced homology of links—topics appearing in talks by John Milnor and Ralph Fox—with the Cohen–Macaulay property studied by researchers at University of Chicago and Institute for Advanced Study. Examples and counterexamples often reference constructions used by Günter Ziegler and Branko Grünbaum in polytope theory and discussions at International Congress of Mathematicians sessions.
Face enumeration of simplicial complexes yields f-vectors and h-vectors, invariants analyzed by Richard P. Stanley in the context of the g-conjecture and developed in collaboration with combinatorialists such as Gil Kalai and Louis Billera. The Dehn–Sommerville relations, linked to work by Max Dehn and Hermann Minkowski, constrain h-vectors for simplicial polytopes studied by Michael Perles and Peter McMullen. Stanley's application of commutative algebra to prove inequalities for h-vectors influenced research groups including those led by Gil Kalai and Richard Stanley at conferences organized by the American Mathematical Society.
Stanley–Reisner theory has broad applications in enumerative combinatorics as used by Richard P. Stanley and Björner in poset topology, in algebraic topology through links to simplicial homology studied by Henri Poincaré and J. H. C. Whitehead, and in commutative algebra with influence from David Eisenbud and Craig Huneke. It informs research on toric varieties examined by David A. Cox and William Fulton and intersects with discrete geometry through work by Miklós Bóna and Bernd Sturmfels. The theory continues to appear in collaborative projects at institutions like Institut des Hautes Études Scientifiques and in workshops sponsored by organizations including the National Science Foundation.