# Affine stratifications from finite misère quotients

- 161 Downloads
- 1 Citations

## 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

*affine stratification*of a subset \(\mathcal{W}\subseteq \mathbb{Z}^{d}\) is a finite partition

*W*

_{i}, each of which is a

*finitely generated module*for an affine semigroup

*A*

_{i}⊆ℤ

^{d}; that is,

*W*

_{i}=

*F*

_{i}+

*A*

_{i}, where

*F*

_{i}⊆ℤ

^{d}is a finite set and

*A*

_{i}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 semigroup**A*⊆ℤ^{d}*possesses an affine stratification in which each stratum is a translate**f*_{i}+*A*_{i}*of a normal affine semigroup**A*_{i}⊆ℤ^{d}.

### Proof

*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=

*M*

_{0}⊂

*M*

_{1}⊂⋯⊂

*M*

_{ℓ−1}⊂

*M*

_{ℓ}=

*M*, in which

*M*

_{j}/

*M*

_{j−1}is, for each

*j*, a ℤ

^{d}-graded translate \(\mathbf{x}^{\mathbf{a}_{j}}\mathbb {C}[F_{j}]\) of the affine semigroup ring ℂ[

*F*

_{j}] for some face

*F*

_{j}of

*A*and some

**a**

_{j}∈ℤ

^{d}. Transferring this statement back into the language of lattice points,

**a**

_{j}+

*F*

_{j}of faces of

*A*. But dim

*M*<dimℂ[

*A*], since \(\dim\mathbf{x}^{\mathbf{a}}\mathbb{C}[{\overline{A}}] = \dim \mathbb{C}[A]\), so each face

*F*

_{j}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 *ℝ^{d}*can 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*+*C**is a rational convex polyhedron in *ℝ^{d}, *expressed as the Minkowski sum of a polytope P**and a cone C* [14, *Theorem *1.2], *and**Π*^{∘}*is its relative interior*, *then**Π*∩ℤ^{d}*and**Π*^{∘}∩ℤ^{d}*are finitely generated modules for**A*=*C*∩ℤ^{d}.

### Proof

Suppose that *Π*=⋂_{j}{**x**∈ℝ^{d}∣*ϕ*_{j}(**x**)≥*c*_{j}} for rational linear functions *ϕ*_{j} and rational constants *c*_{j}. 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**)≥*c*_{j}+*ε*} 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 *i*th 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 **e**_{d+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 W*_{i}, *each a translate of a normal affine semigroup**A*_{i}=ℝ_{+}*A*_{i}∩*L*_{i}*for some sublattice**L*_{i}⊆ℤ^{d}, *then*\(\mathcal{W}\)*can be expressed as such a union in which**L*_{i}=*L**for all i**is a fixed sublattice of finite index in *ℤ^{d}.

### Proof

Suppose that *A*_{i}=ℝ_{+}*A*_{i}∩*L*_{i} is given for all *i*. Taking a direct sum with a complementary sublattice, we may assume that *L*_{i} has finite index in ℤ^{d} for all *i*. Now set *L*=⋂_{i}*L*_{i}. 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 *A*_{i}. Each such set *A*_{i}∩(*λ*+*L*) is a finitely generated module over *A*_{i}∩*L* by Lemma 2.4. The desired union is therefore achievable using translates of the normal affine semigroups *A*_{i}∩*L*. □

### Theorem 2.7

*The following are equivalent for a set*\(\mathcal{W}\subseteq\mathbb {Z}^{d}\)

*of lattice points*.

- 1.
\(\mathcal{W}\)

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

*is a finite*(*not necessarily disjoint*)*union of sets W*_{i},*each of which is a finitely generated module for an affine semigroup**A*_{i}⊆ℤ^{d}. - 3.
\(\mathcal{W}\)

*is a finite*(*not necessarily disjoint*)*union of sets W*_{i},*each of which is a translate**f*_{i}+*A*_{i}*of an affine semigroup**A*_{i}⊆ℤ^{d}. - 4.
\(\mathcal{W}\)

*is a finite*(*not necessarily disjoint*)*union of sets W*_{i},*each of which is a translate**f*_{i}+*A*_{i}*of a normal affine semigroup**A*_{i}⊆ℤ^{d}. - 5.
\(\mathcal{W}\)

*is a finite disjoint union of sets W*_{i},*each of which is a translate**f*_{i}+*A*_{i}*of a normal affine semigroup**A*_{i}⊂ℤ^{d}. - 6.
\(\mathcal{W}\)

*is a finite disjoint union of sets W*_{i},*each of which is a translate**f*_{i}+*A*_{i}*of a*(*not necessarily normal*)*affine semigroup**A*_{i}⊂ℤ^{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 *f*_{i}+ℝ_{+}*A*_{i} for which *f*_{i}∈*λ*+*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 *M*_{j}/*M*_{j−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 *ℤ^{d}*possesses 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 F**and subgroup**L*⊆ℤ*F**of 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 *F*→*A*/∼ 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**φ*:*A*↠*Q**is a surjection of commutative monoids with**A**an affine semigroup*, *then every fiber of φ**possesses an affine stratification*. *Moreover*, *the stratification can be chosen so that each of its affine semigroups is**L*∩*A**for some intersection**L**of 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

*If**M**is an ideal in an affine semigroup A*, *then**M**possesses an affine stratification in which each stratum is a translate**f*_{i}+*A*_{i}*of a face**A*_{i}*of 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 *M*⊆*A* 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*)∩*M**of any coset of a lattice**L*⊆ℤ*A**with an ideal**M*⊆*A**is a finitely generated module for**L*∩*A*.

### Proof

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

### Proposition 3.6

*If**L**is 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 *Q*→*Q*_{F} along *F* is injective, it suffices to show that every element of *Q*_{F}, each viewed as a subset of the localization *A*_{F}=*A*+ℤ*F*, is a finite union of cosets of *L*. Under the action of ℤ*F* on *Q*_{F}, the stabilizer of every non-nil element *q*∈*Q*_{F} is *L*; this is what semifreeness means in [5, Corollary 6.6]. Consequently, viewing *q* as a subset of *A*_{F}, 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 *L*_{i}⊆ℤ*F*_{i} for *i*=1,…,*r* be the lattices associated to ∼ with corresponding associated faces *F*_{i} of *A*. Write \({\overline{Q}}_{i}\) for the quotient of *A* modulo the *i*th mesoprimary congruence in the decomposition.

Every class *q*∈*Q* 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 *U*_{i} 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 *i*≤*k* 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 *L*_{1}∩⋯∩*L*_{k}, 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

^{d}∖{

**0**} is a

*rule set*if

- 1.
there exists a linear function on ℝ

^{d}that is positive on Γ∪*C*∖{**0**}; and - 2.
there is finite set

*F*⊂*Λ*such that every position*p*∈*Λ*has a Γ*-path in Λ**to F*: a sequence*p*=*p*_{r},…,*p*_{0}∈*Λ*with*p*_{0}∈*F*and*p*_{k}−*p*_{k−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 *p*⪯*q* if *q*−*p* 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: *p*⪯*q* and *q*∈*S*⇒*p*∈*S*.

### Definition 4.2

A

*game board**B*is the complement in*Λ*of a finite Γ-order ideal in*Λ*called the set of*defeated positions*.A

*lattice game**G*=(Γ,*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

*p*,

*q*∈

*B*are

*indistinguishable*, written

*p*∼

*q*, if

*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 *p*−*q*. It is elementary to verify that indistinguishability is an equivalence relation, and that it is additive, in the sense that *p*∼*q*⇒*p*+*r*∼*q*+*r* for all *r*∈*C*∩ℤ^{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 of**P*-*positions or has empty intersection with *\(\mathcal{P}\).

### Proof

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

### Corollary 4.5

*Fix a lattice game**G*=(Γ,*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*, *then**G**admits 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 game**G*=(Γ,*B*) *played on a polyhedral set**Λ*=*Π*∩ℤ^{d}. *If the misère quotient**Λ*/∼ *is finite*, *then**G**admits 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 *Φ*=⋃_{f∈F}*Φ*∩(*f*+*A*). By Corollary 2.9, it therefore suffices to show that for each lattice point *f*∈*F*, every fiber of the map *f*+*A*→*Λ*/∼ possesses an affine stratification. But the composite map *A*→*f*+*A*→*Λ*/∼ induces a congruence on *A* whose classes are the fibers, to which Theorem 3.3 applies. □

### References

- 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.Fink, A.: Lattice games without rational strategies. J. Comb. Theory, Ser. A
**119**, 450–459 (2012). arXiv:1106.1883 [math.CO] MathSciNetMATHCrossRefGoogle Scholar - 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.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.Kahle, T., Miller, E.: Decompositions of commutative monoid congruences and binomial ideals. Preprint, 64 pages. arXiv:1107.4699 [math.AC]
- 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.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.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.Miller, E., Sturmfels, B.: Combinatorial Commutative Algebra. Graduate Texts in Mathematics, vol. 227. Springer, New York (2005) Google Scholar
- 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.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.Siegel, A.N.: Misère games and misère quotients. Preprint. arXiv:math.CO/0612616 (2006)
- 13.Stanley, R.P.: Linear Diophantine equations and local cohomology. Invent. Math.
**68**, 175–193 (1982) MathSciNetMATHCrossRefGoogle Scholar - 14.Ziegler, G.M.: Lectures on Polytopes. Graduate Texts in Mathematics, vol. 152. Springer, New York (1995) MATHCrossRefGoogle Scholar