Cyclic Contractions of Dimer Algebras Always Exist

We show that every nondegenerate dimer algebra A on a torus admits a cyclic contraction to a cancellative dimer algebra. This implies, for example, that A is Calabi-Yau if and only if it is noetherian; and that the center of A has Krull dimension 3.

A dimer algebra A = kQ/I is a quiver algebra whose quiver Q embeds into a compact surface, with relations I defined by a potential (see Definition 2.1); in this article we will assume that the surface is a torus. A dimer algebra is said to be nondegenerate if each arrow is contained in a perfect matching.
Let A = kQ/I and A = kQ /I be nondegenerate dimer algebras, and suppose Q is obtained from Q by contracting a set of arrows Q * 1 ⊂ Q 1 to vertices. This operation defines a k-linear map of path algebras ψ : kQ → kQ . If ψ(I ) ⊆ I , then ψ induces a k-linear map of dimer algebras, called a contraction, If, in addition, A is cancellative and ψ preserves the so-called cycle algebra, then ψ is called a cyclic contraction. An example of a cyclic contraction is given in Fig. 1. Cyclic contractions were introduced in [2], and have been an essential tool in the study of noncancellative dimer algebras. Our main result is the following.

Theorem 1.1 Every nondegenerate dimer algebra on a torus admits a cyclic contraction.
This theorem is important because it implies that the results of [2-4, 6, 8], which assume the existence of cyclic contractions, hold for every nondegenerate dimer algebra. For example, suppose A admits a cyclic contraction ψ : A → A ; then A is cancellative if and only if A is noetherian, if and only if its center Z is noetherian, if and only if A is a finitely generated Z-module [4,Theorem 1.1]. Furthermore, if A is non-cancellative, then Z is nonnoetherian of Krull dimension 3, generically Gorenstein, and contains precisely one closed point z 0 of positive geometric dimension [6,Theorem 1.1]. In this case, A is locally Morita equivalent to A away from z 0 , and the Azumaya locus of A coincides with the intersection of the Azumaya locus of A and the noetherian locus of Z [5, Theorem 1.1].
We emphasize two points regarding the structure of the map ψ : A → A and the cycle algebra S, assuming ψ is nontrivial.
• Consider the idempotent Although ψ itself is only a k-linear map and not an algebra homomorphism, the restriction to the subalgebra ψ : A → A is an algebra homomorphism. This restriction becomes an algebra isomorphism under localizations away from z 0 [5, Proposition 2.12.1].
• The cycle algebra S is isomorphic to the center of A , and is a depiction of the reduced Remark 1.2 In the context of a four-dimensional N = 1 abelian quiver gauge theory with quiver Q, the mesonic chiral ring is a commutative algebra generated by all the cycles in Q modulo the superpotential relations I . Theorem 1.1 then states, loosely, that every low energy non-superconformal dimer theory can be Higgsed to a superconformal dimer theory with the same mesonic chiral ring. (The mesonic chiral ring is not quite the same as the cycle algebra, however; see [5,Remark 3.15].) We give a brief outline of our proof of Theorem 1.1. To obtain a cyclic contraction of a dimer algebra A = kQ/I , we form a sequence of contractions starting with Q, where in each iteration a single arrow is contracted; an example is given in Fig. 2. Each contracted arrow δ has the property that each perfect matching D containing δ can be 'moved off' of δ and onto a different set of arrows D , in such a way that D and D are identical perfect matchings from the perspective of the cycles in the quiver. Since D can be transformed into D in this way, we call D a 'nonrigid perfect matching'. Furthermore, we say δ is a 'nonrigid arrow', since we may contract δ without changing the underlying cycle structure of A.
We then show that a perfect matching D is nonrigid if and only if it is simple, that is, Q \ D supports a simple representation of dimension vector (1, . . . , 1). Moreover, it was shown in [4] that if each arrow of a dimer algebra is contained in a simple matching, then it is cancellative (in fact, this is a necessary and sufficient condition for cancellativity). Therefore, by running the sequence of single arrow contractions until there are only rigid arrows remaining-in particular, until each arrow is contained in a simple matching-we end with a dimer algebra that is cancellative and has the same cycle structure as A.

Preliminary Definitions
Throughout, k is an algebraically closed field. Given a quiver Q, we denote by kQ the path algebra of Q, and by Q the paths of length . The idempotent at vertex i ∈ Q 0 is denoted e i , and the head and tail maps are denoted h, t : Q 1 → Q 0 . Multiplication of paths is read right to left, following the composition of maps. Definition 2.1 • A dimer quiver Q is a quiver whose underlying graph Q embeds into a real two-torus T 2 such that each connected component of T 2 \ Q is simply connected Fig. 2 (Example 4.6.) A maximal sequence of contractions as in (10). Each quiver is drawn on a torus. Q is a cancellative dimer quiver with a length 1 unit cycle, and the two blue loops are redundant generators for the dimer algebra A = kQ /I and bounded by an oriented cycle, called a unit cycle. 1 The dimer algebra A of Q is the quotient kQ/I , where I is the ideal I := p − q | ∃a ∈ Q 1 s.t. pa and qa are unit cycles ⊂ kQ, (2) and p, q are (possibly trivial) paths. • A and Q are non-cancellative if there are paths p, q, r ∈ A for which p = q, and pr = qr = 0 or rp = rq = 0; otherwise A and Q are cancellative.
• Since I is generated by binomials in the paths of Q, we also refer to the equivalence class p + I of a path p in Q as a path in A. If p and q are paths in Q (resp. A) that are equal modulo I , then we will write p ≡ q (resp. p = q).
In the literature, unit cycles are typically required to have length at least 2 or 3. However, we allow unit cycles to have length 1 since such cycles may form under a cyclic contraction. An example of a cancellative dimer algebra with a length 1 unit cycle is given in Example 4.6.
If a ∈ Q 1 is a unit cycle and pa is the complementary unit cycle containing a, then p equals the vertex e t(a) modulo I . The case where p has length 1 leads us to introduce the following definition. Definition 2.2 A length 1 path a ∈ Q 1 is an arrow if a is not equal to a vertex modulo I ; otherwise a is a pseudo-arrow.
The following well-known definitions are slightly modified under our distinction between arrows and length 1 paths.

Definition 2.3 •
A perfect matching D of Q is a set of arrows such that each unit cycle contains precisely one arrow in D. • A perfect matching D is simple if there is a cycle in Q \ D that passes through each vertex of Q (that is, the subquiver with arrow set Q 1 \ D supports a simple A-module of dimension 1 Q 0 ).
For each perfect matching D, consider the map defined by sending a path p to the number of arrow subpaths of p that are contained in D.
Note that if p, q ∈ Q ≥0 are paths satisfying t(p) = h(q), then n D (pq) = n D (p) + n D (q).
Furthermore, if p, p are paths satisfying p ≡ p , then n D (p) = n D (p ). In particular, n D induces a well-defined map on the paths of A.
Now consider a contraction of dimer algebras ψ : A → A , with A cancellative. Consider the polynomial ring k x D | D ∈ S generated by the simple matchings S of A . To each path p ∈ A , associate the monomial The map ψ is called a cyclic contraction if In this case, we call S the cycle algebra of A and A , and say ψ 'preserves the cycle algebra'. 2 Notation 2.4 Denote by P and P the set of perfect matchings of A and A , respectively. For each pair of vertices i, j ∈ Q 0 and i , j ∈ Q 0 , consider the k-linear maps 3 Let π : R 2 → T 2 be a covering map such that for some vertex i ∈ Q 0 , we have π −1 (i) = Z 2 . Denote by Q + := π −1 (Q) the infinite covering quiver of Q. For each path p in Q, denote by p + the path in Q + with tail in [0, 1) × [0, 1) ⊂ R 2 satisfying π(p + ) = p. Notation 2.5 By a cyclic subpath, we mean a cyclic subpath that is not equal to a vertex modulo I .
Consider the following sets of cycles in Q: • Let C be the set of cycles in Q. 4 • For u ∈ Z 2 , let C u be the set of cycles p ∈ C such that We denote the intersectionĈ ∩ C u ∩ C i , for example, byĈ u i . Note that although the lift of a cycle p inĈ has no cyclic subpaths, p itself may have cyclic subpaths. We similarly define the set of cycles C in Q .

Cycles That Avoid A Perfect Matching
Let A = kQ/I be a dimer algebra. Throughout this section, set σ := σ P and p :=η(p).
We introduce the following. In this section, we show that if Q is cycle-nondegenerate, then for each u ∈ Z 2 there is a cycle p ∈Ĉ u such that σ p.

Lemma 3.2 Suppose p and q are paths in Q for which
Then there is an m, n ≥ 0 such that pσ m t(p) ≡ qσ n t(p) and p = qσ n−m . For u ∈ Z 2 , set C u,n := p ∈ C u | σ n | p and σ n+1 p .
Let μ = μ(u) ≥ 0 be the smallest integer for which C u,μ = ∅. The main purpose of this section is to show that for every u ∈ Z 2 , we have μ(u) = 0. Fix u ∈ Z 2 \ 0.

Lemma 3.3 Let p and q be subpaths of cycles in
then p = q.
Proof Set p 1 := p and q 1 := q, and suppose (3) holds. Since p 1 , q 1 are subpaths of cycles in C u,μ , there are (possibly trivial) paths p 2 , q 2 such that p 2 p 1 and q 2 q 1 are cycles in C u,μ . Since p 2 p 1 is a cycle in C u , we have Let n 1 and n 2 be the respective maximum powers of σ that divide q 1 and p 1 . Assume to the contrary that n 1 < n 2 . Set s := n 2 − n 1 > 0. By Lemma 3.2, we have Since , not divisible by σ , such that Whence Thus the maximum power of σ that divides p 2 q 1 is μ − s < μ. But the cycle p 2 q 1 is in C u , contrary to the minimality of μ. Therefore n 1 ≥ n 2 . A similar argument shows that n 1 ≤ n 2 , and so n 1 = n 2 . Consequently, p 1 = q 1 by Eq. 4.
Proof By induction, it suffices to suppose p = p 2 p 1 . Since p 1 , p 2 are subpaths of cycles in C u,μ , there are paths q 1 , q 2 such that q 2 p 1 and p 2 q 1 are cycles in C u,μ t(p 1 ) . By Lemma 3.3, we have p 2 = q 2 (and p 1 = q 1 ). Thus Then there is a cyclic permutation q of a representative of p + I such that q + has a cyclic subpath r + . Clearly, q = p.
By Lemma 3.2, r = σ n for some n ≥ 1. Furthermore, σ = 1 since the set of perfect matchings P is nonempty. But then upon removing r from q we find that q, whence p, is not in C u,μ . Construction 3.6 Given a path p, denote by [p] the subquiver whose vertex and arrow sets are the vertex and arrow subpaths of p. To show that μ = 0, consider a maximal chain of subquivers and for 1 ≤ m ≤ N , there is a particular path s m such that The sequence of paths s 1 , s 2 , . . . , s N is defined inductively as follows. Fix n ≥ 1, and suppose that the sequence s 1 , s 2 , . . . , s n−1 has been defined. Consider the set S n of paths s ∈ Q ≥1 for which (i) the endpoints of s are in Q n−1 0 , and no other subpath of s lies in Q n−1 ; (ii) if there is a path p + in (Q n−1 ) + with endpoints t(s + ) and h(s + ), such that the interior of the compact region in R 2 bounded by p + and s + contains no arrows in (Q n−1 ) + , then t(s + ) = t(p + ) and h(s + ) = h(p + ).
Finally, let s n be a minimal element of S n with respect to <.
We now use the chain of subquivers (5) to construct a perfect matching D of Q that avoids the cycles in C u,μ .

Construction 3.7
For n ≥ 0, denote by D n the set of arrows a in Q 1 \ Q n 1 such that (1) the tail t(a) is in Q n 0 ; (2) a is not in a unit cycle that contains an arrow in D m for 0 ≤ m < n; and (3) a is the unique arrow in the unit cycles containing a that satisfies (1) and (2).
Note that D n is empty for sufficiently large n. Set

Proposition 3.8 Suppose Q is cycle-nondegenerate. Then D is a perfect matching of Q.
Proof By conditions (2) and (3) in Construction 3.7, each unit cycle of Q contains at most one arrow in D. Thus, to show that D is a perfect matching of Q, it suffices to show that each unit cycle also contains at least one arrow in D.
Let N ≥ 1 be the minimum integer for which Q N = Q N+1 . Assume to the contrary that there is a unit cycle σ i that does not have an arrow subpath in D. Then one of the following cases holds.
(1) σ i is a unit cycle of Q 0 .
(2) There is an n ≥ 1 such that σ i is a unit cycle of Q n that is not wholly contained in Q n−1 , and σ i does not contain precisely one arrow subpath in Q n 1 \ Q n−1 1 with tail in Q n−1 0 .
(a) σ i has no arrow subpath a ∈ Q n 1 \ Q n−1 1 for which t(a) ∈ Q n−1 0 . (b) σ i has at least two arrow subpaths a, c ∈ Q n 1 \ Q n−1 1 with t(a), t(c) ∈ Q n−1 0 . (3) σ i has at least two arrow subpaths a, c ∈ Q 1 \ Q N 1 with t(a), t(c) ∈ Q N 0 . We claim that each case is not possible.
Case (1): Q 0 cannot contain a unit cycle of Q by Lemmas 3.4 and 3.5.
Recall that s n is a minimal path in S n , and Q n = Q n−1 ∪ [s n ]. The following two subcases are shown in Fig. 3.

Case (2.a):
By assumption, σ i is a unit cycle of Q n that does not meet Q n−1 . Thus σ i may be formed from subpaths of s n . But then s + n has a proper nontrivial cyclic subpath t + . Let r be the path obtained by omitting t from s n . Since t + is a cycle and s n ∈ S n , we have r ∈ S n .
Since r is obtained by omitting t from s n , we have r | s n . Thus, if s n satisfies ( ), then r satisfies ( ). Whence r < s n . Furthermore, since Q is cycle-nondegenerate, t = 1. In particular, s n r. Therefore s n < r. But this contradicts the minimality of s n in S n with respect to <.

Case (2.b):
Since a, c are arrows in Q n 1 \ Q n−1 1 , both a and c are subpaths of s n . By assumption, t(a), t(c) ∈ Q n−1 0 , and so s n meets Q n−1 at a trivial subpath other than its endpoints. But then s n is not in S n , contrary to our choice of s n .

Case (3): Let A be the set of arrow subaths of
Since |A| ≥ 2, each arrow in A is not in D, by condition (3) of Construction 3.7. In particular, a ∈ D. Thus there is an arrow c ∈ A \ {a} and a path t + with endpoints t(a + ) and t(c + ), such that t is a subpath of s m(t(a)) . Let b, d ∈ Q ≥0 be paths such that Without loss of generality, suppose t(t + ) = t(a + ) and h(t + ) = t(c + ).
Then by Lemma 3.2, there is an ∈ Z such that t = ba σ .
Furthermore, ≥ −1 since ba is a subpath of a unit cycle. If = −1, then dc = 1 and t = 1, since dcba is a unit cycle. In particular, the cycle tdc satisfies tdc = t dc = 1. But then Q is cycle-degenerate, contrary to assumption. Thus ≥ 0. Therefore (6) implies that ba is in Q N since t is in Q N , by property ( ). However, it then follows that a is in Q N , contrary to assumption.
We have shown that each case is not possible. Therefore each unit cycle contains precisely one arrow in D, and so D is a perfect matching of Q.

Corollary 3.9
Suppose Q is cycle-nondegenerate. Then for each u ∈ Z 2 , the set of cycles C u,0 is nonempty.
So let u ∈ Z 2 \ 0, and set μ := μ(u). By Proposition 3.8, there is a perfect matching D such that each cycle p in C u,μ is supported on Q \ D. In particular, x D p. Whence, σ p. Therefore μ = 0. Example 3. 10 We demonstrate the construction of a perfect matching D that avoids the cycles in C (0,1) . Consider the subquiver Q + of a dimer quiver shown in Fig. 4.
(i) Q 0 is formed from the red arrows, and D 0 consists of the three brown arrows. (ii) We may choose s 1 to be the path formed from the red arrows, and s 2 to be the path formed from the blue arrows. Then D 1 = ∅, and D 2 consists of the single brown arrow. (iii) Alternatively, we may choose s 1 to be the cycle at i formed from the red arrows; s 2 to be the purple arrow; and s 3 to be the path formed from the blue arrows. Then

Proof of Main Theorem
Let A = kQ/I be a dimer algebra. To prove our main theorem, we introduce the following. • A perfect matching is rigid if it is not equivalent to another perfect matching.
• An arrow a is nonrigid if every perfect matching that contains a is equivalent to a perfect matching that does not contain a; otherwise a is rigid.
Note that an arrow is nonrigid if it is not contained in any perfect matching, and it is rigid if it is contained in a rigid perfect matching. In Proposition 4.8, we will show that rigidity characterizes simple matchings.

(1) no cycle of Q is contracted to a vertex; and
(2) Q is a cycle-nondegenerate dimer quiver.
(i) We first claim that Q is a dimer quiver. It suffices to show that no cycle in Q contracts to a vertex under ψ. Assume to the contrary that there is a (nontrivial) cycle p for which ψ(p) is a vertex. Since δ is the only contracted arrow, we have p = δ. Furthermore, δ is not equal to a vertex modulo I since it is an arrow, rather than a pseudo-arrow. Thus δ is contained in a perfect matching of Q, since Q is cycle-nondegenerate. But δ is a cycle of length 1. Therefore δ is rigid, contrary to assumption.
(ii) We claim that if D is a perfect matching of Q and x D δ (that is, δ is not contained in D), then ψ(D) is a perfect matching of Q . Consider a unit cycle σ j of Q . Each unit cycle of Q admits a ψ-preimage that is a unit cycle of Q. 5 Thus, there is a unit cycle σ i of Q such that ψ(σ i ) = σ j . Since D is a perfect matching, there is precisely one arrow subpath a of σ i that is in D. Furthermore, since D does not contain δ, we have a = δ. Whence ψ(a) is an arrow in σ j . Thus there is precisely one arrow subpath of σ j , namely ψ(a), that is in ψ(D).
Therefore ψ(D) is a perfect matching of Q .
(iii) We now claim that Q is cycle-nondegenerate. Let q be a cycle in Q . We want to show that q = 1. (iii.a) First suppose that q has a ψ-preimage p which is a cycle. Since Q is cyclenondegenerate, there is a perfect matching D ∈ P for which x D | p. If x D δ, then ψ(D) is a perfect matching of Q by Claim (ii). Thus y ψ(D) | q.
So suppose x D | δ. Since δ is nonrigid, there is a perfect matching D ∈ P equivalent to D that does not contain δ. In particular, x D | p. Furthermore, ψ(D ) is a perfect matching of Q , again by Claim (ii). Thus y ψ(D ) | q.
Therefore in either case, q = 1.
(iii.b) Finally, suppose that q does not have a ψ-preimage which is a cycle (in particular, q may not admit any ψ-preimage). Assume to the contrary that q = 1.
Since ψ contracts a single arrow, there is a cyclic permutation q of q, and a path s in Q, such that ψ(s) = q ; see Fig. 5. Then Let t be a path for which δt is a unit cycle; then ts is a cycle in Q. Let u ∈ Z 2 be such that ts ∈ C u . By Corollary 3.9, there is a cycle r in C u,0 . By Lemma 3.2, there is an m ∈ Z such that σ m r = ts.
Since r ∈ C u,0 , there is a perfect matching D ∈ P such that x D r. Thus x D ts by Eq. 9. Whence x D t. Consequently, x D | δ since δt is a unit cycle. Furthermore, δ is nonrigid, and so there is a perfect matching D ∈ P equivalent to D such that x D δ. Thus x D | t, again since δt is a unit cycle. Hence, n D (t) ≥ 1. Therefore, since D and D are equivalent, we have 0 = n D (r) = n D (ts) = n D (ts) = n D (t) + n D (s) ≥ 1. Let Q be a cycle-nondegenerate dimer quiver. By Proposition 4.3, we may consider a maximal sequence of k-linear maps of dimer path algebras where ψ j contracts one nonrigid arrow δ j of Q j . We claim that the composition ψ := ψ m · · · ψ 0 : kQ → kQ induces a cyclic contraction of dimer algebras In particular, A is cancellative and the cycle algebra is preserved. The following example demonstrates why it is necessary to define ψ by a sequence of contractions where only one nonrigid arrow is contracted at a time.
Example 4.5 Consider the two contractions of the non-cancellative dimer quiver Q given in Fig. 6. In each case, the contracted quiver Q is cancellative, and the arrows in Q and Q are labeled by their respectiveτ ψandτ -images. Furthermore, the arrows a, b ∈ Q 1 are both nonrigid. The cycle algebra is preserved in case (i), In contrast, the cycle algebra is not preserved in case (ii), This shows that, in general, the cycle algebra will not be preserved if more than one nonrigid arrow is contracted at a time. (In both cases, S is isomorphic to the conifold coordinate ring k [s, t, u, v] /(st − uv).) Example 4.6 Consider the cyclic contraction ψ : A → A defined by the maximal sequence of contractions given in Fig. 2. Q is a cancellative dimer quiver with a length 1 unit cycle. Observe that both loops, drawn in blue, are redundant generators for the dimer algebra A = kQ /I ; however, there is no (well-defined) contraction from A to A with the loops removed from Q .

Proposition 4.7 If a perfect matching is rigid, then it is simple.
Proof Let A be a dimer algebra, and let D be a perfect matching of Q which is not simple. We want to show that D is not rigid.
Let V be an A-module of dimension 1 Q 0 with support Q \ D. Fix a simple submodule S of V . Denote by Q S ⊂ Q the supporting subquiver of S, and by Q \ Q S the subquiver of Q obtained by removing the arrows in Q S .
Let α be the set of arrows in Q \ Q S whose tails lie in Q S , and let β be the set of arrows in Q \ Q S whose heads lie in Q S . (The sets α and β need not be disjoint.) ) Two contractions of the non-cancellative dimer quiver Q. Each quiver is drawn on a torus. In case (i) ψ is cyclic, and in case (ii) ψ is not cyclic since the cycle algebra is not preserved (i) We claim that α ⊆ D. Indeed, let a ∈ α. Then t(a) ∈ Q S 0 and a ∈ Q S 1 . Thus, since S is a simple submodule of V , we have aV = 0. Whence a ∈ D, proving our claim. So suppose [σ ] intersects Q S in a (possibly trivial) path; let p be such a path of maximal length. Then the head of p is the tail of an arrow a in [σ ] which belongs to α. Whence a belongs to D by Claim (i). Thus p is unique since D is a perfect matching.

Now consider the set of arrows
Let b be the arrow in [σ ] whose head is the tail of p. Then b is in β. Thus b belongs to D by Eq. 11. Furthermore, b is the unique arrow in [σ ] which belongs to D since p is unique.
Therefore in either case, [σ ] contains precisely one arrow in D .
(iii) We claim that D and D are equivalent perfect matchings. Let p be a cycle in A. If p is contained in Q S , then n D (p) = 0 = n D (p).
So suppose p is a cycle in Q that is not wholly contained in Q S . Then p must contain an arrow in β for each instance it enters the subquiver Q S , and must contain an arrow in α for each instance it exits Q S . Since p is a cycle, the number of times p enters Q S equals the number of times p exits Q S . It follows that n D (p) = n D (p).
Therefore D and D are equivalent.
(iv) Finally, we claim that D is not rigid. By Claim (iii) it suffices to show that D = D.
Since D is not simple, we have S = V . Whence α = β. Therefore D = D.

Proposition 4.8 If a perfect matching is simple, then it is rigid. Consequently, a perfect matching is simple if and only if it is rigid.
Proof Let A be a dimer algebra, and let D be a perfect matching of Q which is not rigid. We want to show that D is not simple. Assume to the contrary that D is simple. Then there is a cycle p that contains each arrow in Q 1 \ D. Whence, n D (p) = 0. Furthermore, since D is nonrigid, D is equivalent to a perfect matching D = D. In particular, Let a ∈ D \ D. Since a ∈ D, a is a subpath of p. Thus, since a ∈ D , we have n D (p) ≥ 1. But then 0 = n D (p) = n D (p) ≥ 1, a contradiction. Therefore D is not simple.
The equivalence of simple and rigid then follows from Proposition 4.7.

Proposition 4.9 If a dimer algebra is non-cancellative, then it has an arrow that is not contained in any simple matching.
Proof See [4, Corollary 3.5].

Theorem 4.10
The dimer algebra A , defined by the sequence (10), is cancellative.
Proof Recall that an arrow is nonrigid if it is not contained in any perfect matching; and rigidity is not defined for pseudo-arrows. Thus, since the sequence (10) is maximal, each arrow of Q is contained in a rigid perfect matching (though Q may contain pseudo-arrows, and therefore length 1 paths that do not belong to any perfect matching). But then each arrow of Q is contained in a simple matching, by Proposition 4.7. Therefore A is cancellative, by Proposition 4.9 matching.
If ψ : A → A is a contraction of dimer algebras and A has a perfect matching, then ψ does not contract an unoriented cycle of Q to a vertex [4,Lemma 3.9]. In the following, we prove the converse. where each ψ j contracts a single arrow of Q j . To show that ψ induces a k-linear map ψ : A → A , that is, ψ(I ) ⊆ I , it suffices to show that for each 0 ≤ j ≤ m, we have ψ j (I j ) ⊆ I j +1 . Fig. 7 The quiver of a degenerate dimer algebra, drawn on a torus Since g is a monomial in S , there is some u ∈ Z 2 such that g is theτ -image of a cycle q in C u . Furthermore, since σ g, we have q ∈Ĉ u by Lemma 4.12.
Now there exists a cycle p in C u,0 , by Corollary 3.9. Whence ψ(p) is in C u,0 , by Proposition 4.13. Thus, since A is cancellative, ψ(p) is inĈ u , by Lemma 4.12. Furthermore, since A is cancellative, any two cycles inĈ u have the sameτ -image, by [2,Proposition 4.20.2]. Hence g =τ (q) =τ ψ(p) ∈ S. Therefore S ⊆ S, and so S = S . Theorems 4.10 and 4.14 together imply that every cycle-nondegenerate, hence nondegenerate, dimer algebra admits a cyclic contraction.
Example 4.15 A dimer algebra for which Theorem 1.1 does not apply is given in Fig. 7. Its quiver contains no perfect matchings, and is thus degenerate.
The following corollary allows us to refer to the cycle of algebra of a dimer algebra.

Corollary 4.16
Every cycle-nondegenerate, hence nondegenerate, dimer algebra A has a cycle algebra S, and S is independent of the choice of cyclic contraction, up to isomorphism.
Proof Let A be cycle-nondegenerate. We have shown that A admits a cyclic contraction ψ : A → A , and thus A has a cycle algebra S. Recall the isomorphism in Eq. 1, Since the right-hand side is independent of A , S does not depend on ψ.
It was shown in [9, Theorem 1.3] that if Q is a nondegenerate dimer quiver, then a set of its arrows may be contracted to produce a cancellative dimer quiver Q with the same characteristic polygon. In future work, we hope to determine how this theorem is related to Theorem 1.1.