Journal of Algebraic Combinatorics

, Volume 37, Issue 1, pp 1–9 | Cite as

Affine stratifications from finite misère quotients

Article

Abstract

Given a morphism from an affine semigroup to an arbitrary commutative monoid, it is shown that every fiber possesses an affine stratification: a partition into a finite disjoint union of translates of normal affine semigroups. The proof rests on mesoprimary decomposition of monoid congruences and a novel list of equivalent conditions characterizing the existence of an affine stratification. The motivating consequence of the main result is a special case of a conjecture due to Guo and the author on the existence of affine stratifications for (the set of winning positions of) any lattice game. The special case proved here assumes that the lattice game has finite misère quotient, in the sense of Plambeck and Siegel.

Keywords

Affine semigroup Lattice game Mesoprimary decomposition Misère quotient Monoid 

1 Introduction

Lattice games encode finite impartial combinatorial games—and winning strategies for them—in terms of lattice points in rational convex polyhedra [3]; see Sect. 4. The concept grew out of Plambeck’s theory of misère quotients [10], as developed by Plambeck and Siegel [11] (see also Siegel’s lecture notes [12], particularly Fig. 7 in Lecture 5 there). Their purpose was to provide data structures for recording and computing winning strategies of combinatorial games, such as octal games, under the misère play condition, where the last player to move loses. In that spirit, Guo and the author conjectured that the lattice points encoding the strategy of any lattice game have a particularly well-behaved presentation, called an affine stratification: a partition into a finite disjoint union of translates of affine semigroups [3, Conjecture 8.9]. The conjecture is as far from true as possible, in general, because lattice games support universal computation, as shown by Fink [2]. However, the most successful applications of misère quotients thus far have occurred when the quotient is finite, because of amenability to algorithmic computation. Bridging misère quotient theory and lattice games in the case of finite quotients is therefore one of the primary intents of this note, whose motivating result is the existence of affine stratifications for lattice games with finite misère quotients (Theorem 4.6).

The proof comes via a more general main result, of independent interest, on morphisms from affine semigroups to arbitrary commutative monoids: the fibers of such morphisms possess affine stratifications (Theorem 3.3). That result, in turn, follows from two additional results of independent interest. The first is a host of equivalent conditions characterizing the existence of an affine stratification (Theorem 2.7). The second is the existence of mesoprimary decomposition for congruences on finitely generated commutative monoids, a theory whose development occupies half of a full-length paper of its own [5]. One of the motivations for defining mesoprimary decomposition in the first place was its anticipated relevance to combinatorial game theory, via the results presented here and via potential further applications toward the existence of affine stratifications for the class of squarefree lattice games [3, Corrigendum] (which includes all octal games), where the affine stratification conjecture remains open.

Beyond mesoprimary decomposition and other more elementary theory of commutative monoids, the reasoning in this note involves elementary polyhedral geometry, including subdivisions and Minkowski sums, as well as combinatorial commutative algebra of finely graded modules over affine semigroup rings, particularly filtrations thereof.

2 Affine stratifications

The goal is to decompose certain sets of lattice points in polyhedra in particularly nice ways, following [3, Sect. 8], where this definition originates.

Definition 2.1

An affine stratification of a subset \(\mathcal{W}\subseteq \mathbb{Z}^{d}\) is a finite partition
$$\mathcal{W}= \biguplus_{i=1}^r W_i$$
of \(\mathcal{W}\) into a finite disjoint union of sets Wi, each of which is a finitely generated module for an affine semigroup Ai⊆ℤd; that is, Wi=Fi+Ai, where Fi⊆ℤd is a finite set and Ai is a finitely generated submonoid of the free abelian group ℤd of rank d.

For the coming sections, it will be helpful to specify, in Theorem 2.7, some alternative decompositions equivalent to affine stratifications. For that, we need four lemmas as stepping stones. In the first, a normal affine semigroup is the intersection of a rational polyhedral cone in ℝd with a sublattice of ℤd.

Lemma 2.2

Every affine semigroupA⊆ℤdpossesses an affine stratification in which each stratum is a translatefi+Aiof a normal affine semigroupAi⊆ℤd.

Proof

Let \({\overline{A}}= \mathbb{R}_{+} A \cap\mathbb{Z}A\) denote the saturation of A: the set of lattice points in the intersection of the real cone generated by A with the group generated by A. Then A contains a translate \(\mathbf{a}+ {\overline{A}}\) of its saturation by [9, Exercise 7.15]. Transferring this statement to the language of monoid algebras, the complex affine semigroup ring ℂ[A] has a ℂ[A]-submodule \(\mathbf{x}^{\mathbf{a}}\mathbb{C}[{\overline{A}}] \subseteq\mathbb {C}[A]\). The quotient \(M =\mathbb{C}[A]/\mathbf{x}^{\mathbf{a}}\mathbb{C}[{\overline{A}}]\) is a finitely generated ℤd-graded ℂ[A]-module. The module M is therefore toric, in the sense of [6, Definition 4.5], by [6, Example 4.7]. This means that M has a toric filtration 0=M0M1⊂⋯⊂M−1M=M, in which Mj/Mj−1 is, for each j, a ℤd-graded translate \(\mathbf{x}^{\mathbf{a}_{j}}\mathbb {C}[F_{j}]\) of the affine semigroup ring ℂ[Fj] for some face Fj of A and some aj∈ℤd. Transferring this statement back into the language of lattice points,
$$A = (\mathbf{a}+ {\overline{A}}) \uplus\biguplus_j (\mathbf{a}_j + F_j)$$
is a disjoint union of a translated normal affine semigroup \(\mathbf{a}+{\overline{A}}\) and a disjoint union of translates aj+Fj of faces of A. But dimM<dimℂ[A], since \(\dim\mathbf{x}^{\mathbf{a}}\mathbb{C}[{\overline{A}}] = \dim \mathbb{C}[A]\), so each face Fj that appears is a proper face of A. Therefore the proof is done by induction on dimℂ[A], the case of dimension 0 being trivial, since then A={0}. □

In the next lemma, keep in mind that the polyhedra need not be bounded.

Lemma 2.3

Any finite union of (rational) convex polyhedra in dcan be expressed as a disjoint union of finitely many sets, each of which is the relative interior of a (rational) convex polyhedron.

Proof

The polyhedra in the given union U are defined as intersections of finitely many halfspaces. The totality of all hyperplanes involved subdivide the ambient space into finitely many closed—but perhaps unbounded—polyhedral regions. This union of regions is a polyhedral complex (see [14, Sect. 5.1] for the definition) with finitely many faces, some of which may be unbounded. By construction, the relative interior of each face is either contained in U or disjoint from U, proving the lemma. □

The following will be used in the proofs of both Lemma 2.6 and Theorem 2.7.

Lemma 2.4

IfΠ=P+Cis a rational convex polyhedron in d, expressed as the Minkowski sum of a polytope Pand a cone C [14, Theorem 1.2], andΠis its relative interior, thenΠ∩ℤdandΠ∩ℤdare finitely generated modules forA=C∩ℤd.

Proof

Suppose that Π=⋂j{x∈ℝdϕj(x)≥cj} for rational linear functions ϕj and rational constants cj. The case of Π follows from that of Π itself: the lattice points in Π are the same as those in the closed polyhedron Πε=⋂j{x∈ℝdϕj(x)≥cj+ε} obtained from Π by moving each of its bounding hyperplanes inward by a small rational distance, where ε is less than any nonzero positive value of ϕj on ℤd for all j. (The rationality of ϕj guarantees that ϕj(ℤd) is a discrete subset of the rational numbers ℚ.)

Given the closed polyhedron Π, consider its homogenization [14, Sect. 1.5]: the closure \({\overline{\varPi}}\) of the cone over a copy of Π=Π×{1} placed at height 1 in ℝd+1=ℝd×ℝ. The intersection of \({\overline{\varPi }}\) with the first factor ℝd=ℝd×{0} is the cone C, and \({\overline{\varPi}}\cap\mathbb{Z}^{d} =A\) is a face of the affine semigroup \({\overline{A}}= {\overline{\varPi }}\cap\mathbb{Z}^{d+1}\). The intersection Π∩ℤd is isomorphic, as a module over A, to the intersection \(M = {\overline{\varPi}}\cap(\mathbb{Z}^{d} \times\{1\}) = {\overline{A}}\cap (\mathbb{Z}^{d} \times\{1\})\) with the copy of ℤd at height 1.

To conclude that M is finitely generated over A, it is enough (in fact, equivalent) to show that the vector space ℂ{M} over the field ℂ of complex numbers with basis M is finitely generated as a module over the affine semigroup ring ℂ[A]. This follows because \(\mathbb{C}\{M\} = \mathfrak{p}_{A}/\mathfrak {p}_{A}^{2}\) is finitely generated as a module over \(\mathbb{C}[{\overline{A}}]\) and naturally annihilated by the kernel \(\mathfrak{p}_{A}\) of the surjection \(\mathbb{C}[{\overline{A}}]\twoheadrightarrow\mathbb{C}[A]\). □

Remark 2.5

The ith power \(\mathfrak{p}_{A}^{i}\) of the prime ideal \(\mathfrak{p}_{A}\) in the preceding proof is the ideal \(\mathbb{C}[{\overline{A}}]_{>i}\) generated by all monomials whose exponent vectors in ℤd×ℤ have ℤ-coordinate strictly greater than i. This ideal is an irreducible monomial ideal by [7, Eq. (1) and Lemma 2.2] or [9, Theorem 11.13], since the quotient \(\mathbb{C}[{\overline{A}}]/\mathbb{C}[{\overline{A}}]_{>i}\) can be expressed as the \({\overline{A}}\)-graded part of the indecomposable injective \(\mathbb{C}\{i\mathbf{e}_{d+1} + A -{\overline{A}}\}\), where ed+1=0×1∈ℤd×ℤ is the last standard basis vector. In this guise, the preceding proof is inspired by (and based on) the proof of [1, Proposition 2.13].

Lemma 2.6

If\(\mathcal{W}\subseteq\mathbb{Z}^{d}\)is a finite union of sets Wi, each a translate of a normal affine semigroupAi=ℝ+AiLifor some sublatticeLi⊆ℤd, then\(\mathcal{W}\)can be expressed as such a union in whichLi=Lfor all iis a fixed sublattice of finite index in d.

Proof

Suppose that Ai=ℝ+AiLi is given for all i. Taking a direct sum with a complementary sublattice, we may assume that Li has finite index in ℤd for all i. Now set L=⋂iLi. Then \(A_{i} = \bigcup_{\lambda\in L_{i}/L} A_{i} \cap(\lambda+ L)\) is a finite union of sets obtained by intersecting a coset of L with Ai. Each such set Ai∩(λ+L) is a finitely generated module over AiL by Lemma 2.4. The desired union is therefore achievable using translates of the normal affine semigroups AiL. □

Theorem 2.7

The following are equivalent for a set\(\mathcal{W}\subseteq\mathbb {Z}^{d}\)of lattice points.
  1. 1.

    \(\mathcal{W}\)possesses an affine stratification.

     
  2. 2.

    \(\mathcal{W}\)is a finite (not necessarily disjoint) union of sets Wi, each of which is a finitely generated module for an affine semigroupAi⊆ℤd.

     
  3. 3.

    \(\mathcal{W}\)is a finite (not necessarily disjoint) union of sets Wi, each of which is a translatefi+Aiof an affine semigroupAi⊆ℤd.

     
  4. 4.

    \(\mathcal{W}\)is a finite (not necessarily disjoint) union of sets Wi, each of which is a translatefi+Aiof a normal affine semigroupAi⊆ℤd.

     
  5. 5.

    \(\mathcal{W}\)is a finite disjoint union of sets Wi, each of which is a translatefi+Aiof a normal affine semigroupAi⊂ℤd.

     
  6. 6.

    \(\mathcal{W}\)is a finite disjoint union of sets Wi, each of which is a translatefi+Aiof a (not necessarily normal) affine semigroupAi⊂ℤd.

     

Proof

By definition it follows that 1⇒2⇒3 and that 5⇒6⇒1. It therefore remains only to show that 3⇒4⇒5. The first of these implications is Lemma 2.2.

For the second, begin by choosing the union to satisfy the conclusion of Lemma 2.6. For each λ∈ℤd/L, let \(\mathcal{W}_{\lambda}= \mathcal{W}\cap(\lambda+ L)\) be the intersection of \(\mathcal{W}\) with the corresponding coset of L in ℤd. Then \(\mathcal {W}_{\lambda}\) is the intersection of λ+L with the union Uλ of those polyhedra fi+ℝ+Ai for which fiλ+L. By Lemma 2.3, it suffices to show that if W is the intersection of L with the relative interior of a polyhedron, then W possesses an affine stratification in which every stratum is a translate of a normal affine semigroup. Replacing L with ℤd, we may as well assume that L=ℤd. Lemma 2.4 implies that W is a finitely generated module over a normal affine semigroup A. Thus the vector space over ℂ with basis W constitutes a finitely generated ℤd-graded submodule M⊆ℂ[ℤd] over the affine semigroup ring ℂ[A]. The result now follows by a simpler version of the argument in the proof of Lemma 2.2, using a toric filtration: in the present case, dimension is not an issue, and Mj/Mj−1 is already a ℤd-graded translate of a normal affine semigroup ring, because every face of A is normal. □

Corollary 2.8

Fix a linear mapφ:ℤn→ℤd. If\(\mathcal{W}\subseteq \mathbb{Z}^{n}\)possesses an affine stratification then so does\(\varphi (\mathcal{W})\subseteq\mathbb{Z}^{d}\).

Proof

The image of any translate of an affine semigroup in ℤn is a translate of an affine semigroup in ℤd, so use a stratification of \(\mathcal{W}\) as in Theorem 2.7.6: nothing guarantees that the images of the strata are disjoint, but that is irrelevant by Theorem 2.7.3. □

Corollary 2.9

If each of finitely many given subsets of  dpossesses an affine stratification, then so does their union.

Proof

Use the equivalence of (for example) Theorem 2.7.1 and Theorem 2.7.2. □

Remark 2.10

The reason for choosing Definition 2.1 as the fundamental concept instead of the other conditions in Theorem 2.7 is that Definition 2.1 likely results in the most efficient data structure for algorithmic purposes; see [4].

3 Fibers of affine presentations of commutative monoids

This section serves as an elementary example of the theory of mesoprimary decomposition and as a bridge to combinatorial game theory in the presence of finite misère quotients considered in Sect. 4. The main observation in this section is that affine stratifications exist for fibers of affine presentations of arbitrary commutative monoids. The relevant statement in Theorem 3.3 requires no additional background, but its more detailed final claim invokes notions from mesoprimary decomposition [5]. The prerequisites for the statement are [5, Definitions 2.11 and 5.2]; the proofs—including the definition of universal group—also need [5], particularly Definitions 2.8, 3.10, 6.2, 6.5, and 8.1, Example 3.11, Corollary 6.6, and Theorem 8.3 there.

Lemma 3.1

To specify a prime congruence [5, Definition 2.11] on an affine semigroup it is equivalent to pick a face Fand subgroupL⊆ℤFof the universal group of F.

Proof

The face F is the set of elements of the ambient affine semigroup A whose images are not nil [5, Definition 2.8]. The subgroup L is the kernel of the group homomorphism obtained by localizing the monoid morphism FA/∼ along F [5, Definition 3.10], where ∼ is the prime congruence in question. □

Definition 3.2

A lattice L⊆ℤA is associated to a congruence ∼ on an affine semigroup A if ∼ has an associated prime congruence [5, Definition 5.2] specified by L⊆ℤF for some face F as in Lemma 3.1, and in this case F is an associated face of ∼.

Theorem 3.3

Ifφ:AQis a surjection of commutative monoids withAan affine semigroup, then every fiber of φpossesses an affine stratification. Moreover, the stratification can be chosen so that each of its affine semigroups isLAfor some intersectionLof associated lattices of the congruence defining φ.

The proof, included after Proposition 3.6, requires some preliminary results on affine stratifications in simpler situations than Theorem 3.3.

Lemma 3.4

IfMis an ideal in an affine semigroup A, thenMpossesses an affine stratification in which each stratum is a translatefi+Aiof a faceAiof A.

Proof

Use a toric filtration as in the proof of Lemma 2.2, where M there is replaced by the ℂ[A]-module ℂ{M} that has the ideal MA as a vector space basis over ℂ. □

Example 1

Every ideal in ℕn has a Stanley decomposition [13]: an expression as a finite disjoint union of translates of faces ℕJ of  ℕn for J⊆{1,…,n}; see [8, Sect. 2].

Lemma 3.5

Fix a normal affine semigroup A. The intersection (u+L)∩Mof any coset of a latticeL⊆ℤAwith an idealMAis a finitely generated module forLA.

Proof

The ideal M is finitely generated, and the intersection (u+L)∩(a+A) is finitely generated as a module over LA for any aA by Lemma 2.4. □

Proposition 3.6

IfLis the associated lattice of a mesoprimary congruence on an affine semigroup A, then every non-nil congruence class is a finite union of sets (a+L)∩A.

Proof

Let F be the associated face, and write Q for the quotient of A modulo the mesoprimary congruence. Since the localization morphism QQF along F is injective, it suffices to show that every element of QF, each viewed as a subset of the localization AF=A+ℤF, is a finite union of cosets of L. Under the action of ℤF on QF, the stabilizer of every non-nil element qQF is L; this is what semifreeness means in [5, Corollary 6.6]. Consequently, viewing q as a subset of AF, the intersection of q with any single coset of ℤF is a single coset of L. Hence the result follows from finiteness of the number of F-orbits [5, Corollary 6.6]. □

Proof of Theorem 3.3

Let ∼ be the congruence on A induced by φ. The fiber over the nil of Q, if there is one, is an ideal of A, which has an affine stratification by Lemma 3.4. To treat the non-nil fibers, fix a mesoprimary decomposition of ∼ [5, Theorem 8.3]. Let Li⊆ℤFi for i=1,…,r be the lattices associated to ∼ with corresponding associated faces Fi of A. Write \({\overline{Q}}_{i}\) for the quotient of A modulo the ith mesoprimary congruence in the decomposition.

Every class qQ is, as a subset of A, the intersection of the r mesoprimary classes \({\overline{q}}_{i} \in{\overline{Q}}_{i}\) containing q, because ∼ is the common refinement of its mesoprimary components. Furthermore, as long as q is not nil, at least one of the mesoprimary classes \({\overline{q}}_{i}\) is not nil. For any such non-nil class \({\overline{q}}_{i}\), Proposition 3.6 guarantees a finite set Ui such that \({\overline{q}}_{i} = \bigcup_{\mathbf{u}\in U_{i}}(\mathbf{u}+ L_{i}) \cap A\). Renumbering for convenience, assume that \({\overline{q}}_{i}\) is non-nil for ik and nil for i>k. Then \(q' := {\overline{q}}_{1} \cap\cdots \cap{\overline{q}}_{k}\) is the intersection with A of a finite union of cosets of the lattice L1∩⋯∩Lk, and \(q'' := {\overline{q}}_{k+1}\cap \cdots\cap{\overline{q}}_{r}\) is an ideal of A. Since q=q′∩q″, the result follows from Lemma 3.5. □

4 Lattice games and misère quotients

Fix a pointed rational convex polyhedron Π⊆ℝd with recession cone C of dimension d. The pointed hypothesis means that Π=P+C for some polytope (i.e., bounded convex polyhedron) P. Write Λ=Π∩ℤd for the set of integer points in Π. The following definitions summarize [3, Definition 2.3, Definition 2.9, and Lemma 3.5].

Definition 4.1

A finite subset Γ⊂ℤd∖{0} is a rule set if
  1. 1.

    there exists a linear function on ℝd that is positive on Γ∪C∖{0}; and

     
  2. 2.

    there is finite set FΛ such that every position pΛ has a Γ-path in Λto F: a sequence p=pr,…,p0Λ with p0F and pkpk−1∈Γ for k={1,…,r}.

     

For the next definition, it is important to observe that the rule set Γ induces a partial order ⪯ on Λ in which pq if qp lies in the monoid ℕΓ generated by Γ [3, Lemma 2.8]. An order ideal under this (or any) partial order ⪯ is a subset S closed under going down: pq and qSpS.

Definition 4.2

Fix a rule set Γ.
  • A game boardB is the complement in Λ of a finite Γ-order ideal in Λ called the set of defeated positions.

  • A lattice gameG=(Γ,B) is defined by a rule set Γ and a game board B.

  • The P-positions of G form a subset \(\mathcal{P}\subseteq B\) such that \((\mathcal{P}+ \Gamma ) \cap B = B \smallsetminus\mathcal{P}\).

  • An affine stratification of G is an affine stratification of its set of P-positions.

The P-positions of G are uniquely determined by the rule set and game board [3, Theorem 4.6].

Following Plambeck and Siegel [10, 11], every lattice game possesses a unique quotient that optimally collapses Λ while faithfully recording the interaction of the P-positions with its additive structure.

Definition 4.3

Two positions p,qB are indistinguishable, written pq, if
$$(p + C) \cap\mathcal{P}= p - q + (q + C) \cap\mathcal{P}.$$
In other words, \(p + r \in\mathcal{P}\Leftrightarrow q + r \in \mathcal{P}\) for all r in the recession cone C of B. The misère quotient of the lattice game with winning positions \(\mathcal{P}\) is the quotient Λ/∼ of the polyhedral set Λ modulo indistinguishability.

Geometrically, indistinguishability means that the P-positions in the cone above p are the same as those above q, up to translation by pq. It is elementary to verify that indistinguishability is an equivalence relation, and that it is additive, in the sense that pqp+rq+r for all rC∩ℤd. Thus, when B=Λ=C∩ℤd is a monoid, indistinguishability is a congruence, so the quotient of B modulo indistinguishability is again a monoid.

Lemma 4.4

Every fiber of the projectionΛΛ/∼ either consists ofP-positions or has empty intersection with \(\mathcal{P}\).

Proof

If pq, then by definition either p and q are both P-positions or neither is. □

Corollary 4.5

Fix a lattice gameG=(Γ,B) played on a cone, meaning that the game board is the complement of the defeated positions in a normal affine semigroup Λ. If the misère quotientΛ/∼ is finite, thenGadmits an affine stratification.

Proof

The set \(\mathcal{P}\) of P-positions is a union of fibers of the projection. If the quotient is finite, then the union is finite. Now apply Theorem 3.3. □

Although it is useful to record Corollary 4.5, which treats the case of finite misère quotient monoids, where the game is played on a cone, the extension to arbitrary finite misère quotients requires little additional work.

Theorem 4.6

Fix a lattice gameG=(Γ,B) played on a polyhedral setΛ=Π∩ℤd. If the misère quotientΛ/∼ is finite, thenGadmits an affine stratification.

Proof

The set \(\mathcal{P}\) of P-positions is a union of fibers of the projection ΛΛ/∼. Since the quotient is finite, the union is finite. Therefore it suffices to show that every fiber ΦΛ of the projection possesses an affine stratification.

The pointed hypothesis on Π implies that Λ=F+A, where F⊆ℤd is finite and A=C∩ℤd is a normal affine semigroup. The fiber Φ is a finite union Φ=⋃fFΦ∩(f+A). By Corollary 2.9, it therefore suffices to show that for each lattice point fF, every fiber of the map f+AΛ/∼ possesses an affine stratification. But the composite map Af+AΛ/∼ induces a congruence on A whose classes are the fibers, to which Theorem 3.3 applies. □

References

  1. 1.
    Dickenstein, A., Matusevich, L.F., Miller, E.: Combinatorics of binomial primary decomposition. Math. Z. 264(4), 745–763 (2010). arXiv:0803.3846 [math.AC] MathSciNetMATHCrossRefGoogle Scholar
  2. 2.
    Fink, A.: Lattice games without rational strategies. J. Comb. Theory, Ser. A 119, 450–459 (2012). arXiv:1106.1883 [math.CO] MathSciNetMATHCrossRefGoogle Scholar
  3. 3.
    Guo, A., Miller, E.: Lattice point methods for combinatorial games. Adv. Appl. Math. 46, 363–378 (2011). arXiv:0908.3473 [math.CO] [Corrigendum: ibid. 48 (2012), 269–271. arXiv:1105.5420 [math.CO]] MathSciNetMATHCrossRefGoogle Scholar
  4. 4.
    Guo, A., Miller, E.: Algorithms for lattice games. Int. J. Game Theory (2012). doi:10.1007/s00182-012-0319-9. arXiv:1105.5413 [math.AC] Google Scholar
  5. 5.
    Kahle, T., Miller, E.: Decompositions of commutative monoid congruences and binomial ideals. Preprint, 64 pages. arXiv:1107.4699 [math.AC]
  6. 6.
    Matusevich, L.F., Miller, E., Walther, U.: Homological methods for hypergeometric families. J. Am. Math. Soc. 18(4), 919–941 (2005). arXiv:math.AG/0406383 MathSciNetMATHCrossRefGoogle Scholar
  7. 7.
    Miller, E.: Cohen–Macaulay quotients of normal semigroup rings via irreducible resolutions. Math. Res. Lett. 9(1), 117–128 (2002). arXiv:math.AC/0110096 MathSciNetMATHGoogle Scholar
  8. 8.
    Miller, E.: Topological Cohen–Macaulay criteria for monomial ideals. In: Combinatorial Aspects of Commutative Algebra. Contemp. Math., vol. 502, pp. 137–155. Am. Math. Soc., Providence (2009). arXiv:0809.1458 [math.AC] CrossRefGoogle Scholar
  9. 9.
    Miller, E., Sturmfels, B.: Combinatorial Commutative Algebra. Graduate Texts in Mathematics, vol. 227. Springer, New York (2005) Google Scholar
  10. 10.
    Plambeck, T.E.: Taming the wild in impartial combinatorial games. Integers 5, G5 (2005) 36 pp. (electronic) arXiv:math.CO/0501315 MathSciNetGoogle Scholar
  11. 11.
    Plambeck, T.E., Siegel, A.N.: Misère quotients for impartial games. J. Comb. Theory, Ser. A 115, 593–622 (2008). arXiv:math.CO/0609825 MathSciNetMATHCrossRefGoogle Scholar
  12. 12.
    Siegel, A.N.: Misère games and misère quotients. Preprint. arXiv:math.CO/0612616 (2006)
  13. 13.
    Stanley, R.P.: Linear Diophantine equations and local cohomology. Invent. Math. 68, 175–193 (1982) MathSciNetMATHCrossRefGoogle Scholar
  14. 14.
    Ziegler, G.M.: Lectures on Polytopes. Graduate Texts in Mathematics, vol. 152. Springer, New York (1995) MATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC 2012

Authors and Affiliations

  1. 1.Mathematics DepartmentDuke UniversityDurhamUSA

Personalised recommendations