Skip to content

Stanley's Reciprocity Theorem

A reciprocity identity turning a rational cone's lattice-point generating function under variable inversion into the signed generating function of its relative interior.

Version
v1 · 2026-09-28 · History
Domain-specific #
12254
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Enumerative Combinatorics, Discrete Geometry, Polyhedral Geometry → Mathematics
Aliases
Stanley reciprocity for rational cones, Rational cone reciprocity theorem

Core Idea

Stanley's reciprocity theorem packages inclusion–exclusion across a cone's faces into one generating-function identity. The enumerator of all lattice points and that of interior lattice points become transforms of one another after variables are inverted.

The relative dimension supplies the sign, and relative interior is essential for cones not spanning the ambient space. Rationality, lattice, lineality/pointedness, and formal-versus-analytic interpretation determine the precise statement.

Structural Signature

Sig role-phrases:

  • Rational polyhedral cone — Defines the geometric region with lattice-compatible rays. It is carrier. Counterfactual: An arbitrary nonrational cone may lack the required rational series.
  • Ambient lattice — Defines the points being counted. It is discrete frame. Counterfactual: Changing lattice changes enumeration.
  • Generating function — Sums monomials for lattice points in the cone. It is enumerator. Counterfactual: A scalar count loses multigrading.
  • Relative interior — Removes proper faces within the cone's span. It is strict counterpart. Counterfactual: Ordinary ambient interior can be empty for lower dimension.
  • Variable inversion — Maps monomials x^a to x^{-a}. It is transformation. Counterfactual: Negating exponents is not geometric complement.
  • Dimension sign — Corrects orientation/parity in the identity. It is reciprocity factor. Counterfactual: Using ambient instead of cone dimension can give the wrong sign.

What It Is Not

  • It is not merely Ehrhart reciprocity.
  • It does not use ambient interior indiscriminately.
  • Variable inversion is a monomial operation.
  • The dimension in the sign must be declared.
  • Closest near-miss. Ehrhart reciprocity for polytopes follows through cone constructions; Stanley reciprocity is the cone generating-function identity itself.

Scope of Application

  • Enumerative combinatorics. Counts lattice points by monomials.
  • Polyhedral geometry. Uses cones and faces.
  • Ehrhart theory. Derives strict-versus-weak counts.
  • Commutative algebra. Interprets Hilbert-series reciprocity.

Clarity

State cone generators/inequalities, lattice, span and dimension, pointedness/lineality convention, multivariate monomials, relative interior, rational-function identity, inversion convention, and sign.

Manages Complexity

The theorem converts geometric boundary removal into algebraic inversion, linking face structure, parity, and rational enumeration.

Abstract Reasoning

  1. Specify cone and lattice.
  2. Form the closed-cone enumerator.
  3. Identify relative interior and dimension.
  4. Interpret the rational function under inversion.
  5. Apply the sign and verify conventions on examples.

Knowledge Transfer

The identity transfers only under compatible lattice, dimension, monomial, interior, and lineality conventions; a coordinate change must preserve integrality.

Examples

Canonical

For a pointed d-dimensional rational cone C, inversion of the rational lattice enumerator yields (−1)^d times the enumerator of relint(C), under the chosen monomial convention.

Mapped back: cone → rational pointed; lattice → declared; series → multivariate; interior → relative; transform → inversion; sign → dimension.

Applied / In Practice

Using ambient interior for a ray in R² gives an empty set and destroys the theorem; its relative interior along the ray is required.

Mapped back: cone dimension → 1; ambient → 2; correct interior → relative.

Structural Tensions

T1 — Closed Count versus Strict Count. Reciprocity extracts interior lattice points from a boundary-inclusive rational function.

Diagnostic: Are all proper faces handled by relative interior?

T2 — Analytic Series versus Formal Rational Identity. Expansions converge in different regions while the rational-function identity survives formally.

Diagnostic: Which interpretation of substitution is being used?

Structural–Framed Character

Stanley's Reciprocity Theorem is structural as signed inversion of cone enumerators.

Structural Core vs. Domain Accent

The core is cone, lattice, generating function, relative interior, inversion, and parity; combinatorics supplies rationality and face decomposition.

This entry presupposes Duality.

  • Approved root. No reviewed parent entails this theorem.

  • Related — Ehrhart reciprocity, rational cone, lattice-point enumerator, Hilbert series, and relative interior. They provide consequence, carrier, object, analogue, and boundary.

Relationships to Other Abstractions

Local relationship map for Stanley's Reciprocity TheoremParents 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.Stanley'sReciprocity TheoremDOMAINPrime abstraction: Duality — presupposesDualityPRIME

Current abstraction Stanley's Reciprocity Theorem Domain-specific

Parents (1) — more general patterns this builds on

  • Stanley's Reciprocity Theorem presupposes Duality Prime

    Stanley's Reciprocity Theorem presupposes Duality because the theorem's reciprocity identity pairs a cone's generating function with the signed generating function of its relative interior.

Hierarchy path (1) — routes to 1 parentless root

  • Stanley's Reciprocity Theorem → Duality

Neighborhood in Abstraction Space

Stanley's Reciprocity Theorem sits in a moderately populated region (47th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Algebraic Varieties & Topological Invariants (27 abstractions)

Nearest neighbors

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

Not to Be Confused With

  • Ehrhart reciprocity. Tell: Counts dilates of a polytope.
  • Combinatorial reciprocity. Tell: Is the broader family.
  • Fourier inversion. Tell: Is unrelated despite inversion language.
  • Cone duality. Tell: Maps cones rather than generating-function variables.

References

  • Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Stanley%27s_reciprocity_theorem (revision 1330576210).
  • Preserved source candidate: http://math.mit.edu/~rstan/pubs/pubfiles/22.pdf

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.