Existence of symmetric maximal noncrossing collections of k-element sets

We investigate the existence of maximal collections of mutually noncrossing k-element subsets of 1,…,n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\left\{ 1, \ldots , n \right\} $$\end{document} that are invariant under adding k(modn)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k\pmod n$$\end{document} to all indices. Our main result is that such a collection exists if and only if k is congruent to 0, 1 or -1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$-1$$\end{document} modulo n/GCD(k,n)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n/{\text {GCD}}(k,n)$$\end{document}. Moreover, we present some algebraic consequences of our result related to self-injective Jacobian algebras.


Introduction
Two subsets I and J of {1, . . . , n} are said to be noncrossing if there are no cyclically ordered a, b, c, d such that a, c ∈ I \ J and b, d ∈ J \ I . We are interested in maximal collections of mutually noncrossing sets of some fixed size k. In the case k = 2, such collections are maximal collections of noncrossing segments between n points on a circle, that is, triangulations of the n-gon. The case of general k can be tackled using the machinery of alternating strand diagrams and plabic graphs developed by Postnikov [11].
We call a collection of k-element subsets of {1, . . . , n} symmetric if it is invariant under adding k (mod n) to all indices. In a recent paper [10], Pasquali showed that symmetric maximal noncrossing collections naturally give rise to self-injective Jacobian algebras. More precisely, he showed that any maximal symmetric noncrossing collection for a pair (k, n) gives rise to a self-injective Jacobian algebra whose quiver with potential can be obtained from an embedding of the collection into the plane. Now a natural question is for which pairs (k, n) does there exist such a collection. In this paper, we answer this question by the following theorem.
Our proof goes via an explicit construction of a symmetric maximal noncrossing collection. It should be noted that there exist symmetric maximal noncrossing collections which do not arise in this way. In particular the problem of classifying all symmetric maximal noncrossing collections is, as far as we know, still open.
Our motivation for studying maximal noncrossing collections comes as mentioned above from algebra, specifically representation theory and cluster theory. In the following, we give a more detailed account of the connection between the combinatorics of maximal noncrossing collections and algebra. It turns out that the combinatorics of noncrossing sets corresponds to the cluster combinatorics of the homogeneous coordinate ring of the Grassmannian Gr C (k, n); see [14]. Every cluster consisting of Plücker coordinates corresponds to a maximal noncrossing collection, and both the cluster variables and the quiver corresponding to the cluster can be constructed from the collection (see [15]). Moreover, there is a categorification of this cluster structure using Cohen-Macaulay modules over an infinite dimensional algebra B = B(k, n) [7]. An indecomposable Cohen-Macaulay B-module is associated to every k-element subset of {1, . . . , n}, and the noncrossing condition corresponds to the vanishing of Ext 1 B between these modules. Thus a maximal noncrossing collection corresponds to a cluster tilting object in the category CM(B) of Cohen-Macaulay B-modules. It was shown in [3] that in fact the endomorphism ring of this cluster tilting module is a frozen Jacobian algebra. The cluster of Plücker coordinates corresponding to the collection gives the quiver with potential of this algebra.
One can also consider the analogous story in the stable category CM(B), which corresponds to taking a quotient by the idempotent corresponding to the frozen vertices. Then one gets a finite-dimensional Jacobian algebra and using the triangulated structure of CM(B) one can prove that is self-injective if and only if the corresponding maximal noncrossing collection is invariant under adding k to all indices (mod n). The operation of adding k modulo n is nothing but a planar rotation of the quiver (or of the boundary n-gon) by an angle of 2π k n . One reason to look at self-injective Jacobian algebras is that they are precisely the 3-preprojective algebras of 2-representation finite algebras [6].
These algebras have an automorphism called the Nakayama automorphism. One can consider the order of this automorphism (when it is finite), and all known examples have either small order or are in some sense very simple (roughly speaking, the number of vertices is linear in the order). A consequence of our result is: There exist infinitely many self-injective Jacobian algebras with a Nakayama automorphism of order d.
The paper is organized in the following way. The next section introduces the problem and gives the statement of our main theorem. In Sect. 2, we prove one direction of Theorem 1.6, using planar embeddings of noncrossing collections. Section 3 is devoted to setting up the notation for our constructions and proving some auxiliary results. In Sects. 4 and 5, we construct an explicit symmetric maximal noncrossing collection, first if k | n and then for general (k, n). This provides the other direction in the proof of Theorem 1.6. In Sect. 6, we compute an explicit example to illustrate our construction. Finally, in Sect. 7 we explain some algebraic consequences of our combinatorial result, in particular about existence of self-injective Jacobian algebras.

The problem
In the following, let 0 < k ≤ n be integers. A cyclically ordered set is a finite set X together with a bijection S X : X → X such that for all x, y ∈ X there is n ∈ Z such that S n X (x) = y. We think of S X as a "successor function." If X is a cyclically ordered set and ∅ = Q ⊆ X , there is an induced cyclic order S Q on Q. Indeed, for If X is cyclically ordered and x 1 , x 2 , . . . , x n ∈ X are distinct elements, we write With this we can now give the following definition: Definition 1.1 Let X be a cyclically ordered set. Two subsets I , J ⊆ X are said to be crossing if there exist a < • b < • c < • d ∈ X such that a, c ∈ I \ J and b, d ∈ J \ I . Otherwise I , J are said to be noncrossing.
We will always consider the cyclic order on We will often omit the reference to (k, n) when it is clear from the context.
Observe that this definition depends on k and n. In case these are ambiguous, we will spell out I = I n + k. We can now formally state the question which we address in this paper.

Question 1
For which (k, n) does there exist a maximal (k, n)-noncrossing collection which is symmetric? 4 It is worth pointing out that we look for symmetric collections which are maximal among all collections, not just among the symmetric ones.
It is easy to see that such collections do not exist for all choices of n and k. It turns out that the following condition is what we need.
Indeed, we have the following: We give a proof of Theorem 1.6 at the end of Sect. 5. The strategy is as follows: in Sect. 2 we will prove that Condition 1.5 is necessary, and in Sects. 4 and 5 we will explicitly construct a symmetric maximal noncrossing collection to show that Condition 1.5 is sufficient. Thus it is enough to study the case k ≤ n 2 . Our construction and result work for general k ≤ n, so we do not make this assumption.
To prove Theorem 5.4, we will in fact use a characterization of maximal noncrossing collections, which was first conjectured in [13] (see also [9]) and then proved in [15].

Remark 1.9
This implies that Question 1 is equivalent to: for which (k, n) does there exist a symmetric noncrossing collection of cardinality k(n − k) + 1? In Sects. 4 and 5, we will construct collections of noncrossing sets and prove that they are maximal by determining that they have the correct cardinality.

Necessity of Condition 1.5
The aim of this section is to prove the following statement: Proposition 2.1 If there exists a symmetric maximal (k, n)-noncrossing collection, then (k, n) must satisfy Condition 1.5.
The proof uses combinatorial tools developed in [15], in particular a planar CWcomplex which is associated to a noncrossing collection. We recall some details about its construction for convenience.
Let v 1 , . . . , v n be the vertices of a regular n-gon in R 2 centered at the origin, labeled in clockwise order. Let {e 1 , . . . , e n } be the standard basis of R n , and define a linear map p : Let now I be a maximal noncrossing (k, n)-collection. Denote by V the set i∈I v i . This defines an embedding of I as a discrete collection of points in R 2 . There is a way of defining edges and faces so that we get a CW-complex (I), which is also embedded in R 2 and has p(I) as its set of vertices [15,Proposition 9.4]. Faces of (I) are parametrized by some subsets of [n] of cardinality k − 1 and k + 1. Every edge is in the boundary of two faces, one corresponding to k −1 and one to k +1. Moreover, we have that (I) is homeomorphic to a disk [15, Theorem 9.12 and Theorem 11.1].
We will need the following lemma. Proof Observe that d is the order of the function ϕ : a → a + k on Z/nZ. Moreover, every element of Z/nZ has the same order under ϕ. Seeing I as a subset of Z/nZ, we get then that ϕ(I ) = I and so I is a union of ϕ-orbits. Since all ϕ-orbits have size d, we get the claim.
Since I is symmetric, we know that I = I n + k. Denoting by ρ the clockwise rotation by 2π k n centered at the origin, we have by definition This in turn implies that ρ( (I)) = (I). Observe that d = n/ GCD(k, n) is the order of ρ, and that 1 < d < n. In particular, observe that (I) must contain the origin since it is a disk. Let us look at the origin0 ∈ R 2 , which is the only fixed point of ρ. Three cases can happen: (1)0 = p(e I ) for some I ∈ I. Then I = I n + k, which implies that d divides |I | = k by Lemma 2.2. So Condition 1.5 is satisfied in this case.
(2)0 is not a vertex of (I), but it lies on an edge. This can only happen if d = 2, but in this case the two faces having0 on their boundary cannot be sent to each other by ρ since their parameters have different cardinalities. So this case does not occur. (3)0 is in the interior of a face F of (I). In this case, we must have that ρ(F) = F, which implies that the vertices of F are permuted by ρ. These lie on a circle centered at p(K ), where K is the label of F [3, Theorem 5.7(a)]. It follows that 0 must be the center of this circle, so0 = p(K ) and thus K = K n + k since ρ(0) =0. This implies that d divides |K | by Lemma 2.2. Since |K | is either k − 1 or k + 1 being the label of F, Condition 1.5 is satisfied.
So in all possible cases Condition 1.5 holds; hence, the claim is proved.

Setup and notation
In this section, we fix notation and prove some auxiliary results which we will need later. If X is cyclically ordered and a, b ∈ X , define the set For every i ∈ X , there is an associated linear order < i on X defined by There is a bijection between linear orders on X with this property on the one hand and elements i of X on the other hand. If I = [a, b] ⊆ X is a proper interval, the linear order associated to I is the order < a .
Lemma 3.1 Let I be a proper interval of X , and let < I be the linear order associated to I . If a, c ∈ I and b ∈ X are such that a < I b < I c, then b ∈ I .
Proof Immediate from the definition of interval and of < I .

Lemma 3.3 Let X be cyclically ordered, and let I be an interval of X . Let a
Proof If I = X then b ∈ I and we are done. Otherwise, let < I be the linear order associated to I . Assume a < I c.
In the same way, we obtain that d ∈ I if we assume that c < I a.
Lemma 3.4 Let X be a cyclically ordered set, I an interval of X , and J ⊆ X . Then I and J are noncrossing.

Construction: the case n = dk
In order to prove Theorem 1.6, we will construct a symmetric maximal (k, n)noncrossing collection whenever (k, n) satisfies Condition 1.5. The construction will be performed in two steps: first we will make the additional assumption that k | n, and in Sect. 5 we will show how one can get rid of this assumption. We first give a construction of a symmetric maximal noncrossing collection when n = dk and (k, dk) satisfies Condition 1.5. Observe that in this case we have GCD(k, n) = k, so n/ GCD(k, n) = d. By assumption, k = dp + c, with . Choose a total order a 1 < a 2 < · · · < a k on these congruence classes (for simplicity, we assume that We are interested in k-element sets, and it is easy to see that

Remark 4.1
There is a way of generating all the elements of B s , which we explain informally. We start with {a s }. We keep adding successors in P s until we have a kelement set I (which is an interval of P s ). This is our first set in B s . If it contains an element in a s which is not a s , then we can generate another set in B s by removing the last (in the order < a s of a s ) such element, and adding another element at the end of I . However, we cannot add an element of a s in this way, so if the next element we would add is in a s we skip it and add the next one instead. Thus we get another set in B s . Now if the latest set we constructed still has an element in a s which is not a s , we can remove the last such and add another element at the end and thus produce another set in B s . We can repeat this until we get a set I such that I ∩ a s = {a s }. Now we can start the whole construction again, beginning with S −1 P s (a s ), a s . We add successors until we have k elements, and then, we modify our resulting set by removing elements in a s and adding elements at the end. We get some more sets in B s in this way. Repeating this, starting with the various intervals [S −x P s (a s ), a s ], we get all the sets in B s . Observe that the last x we try is x = k − 1.

Example 4.2
Let us illustrate the construction with a concrete example. Let (k, n) = (7, 28), so that d = 4 and Condition 1.5 is satisfied (this does not play a role here). We fix a total order4 <6 <7 <2 <1 <3 <5 on the congruence classes modulo 7. We take s = 4, so that a s = 2 and P s = {1, 2, 3, 5, 8,9,10,12,15,16,17,19,22, 23, 24, 26}. In Fig. 1 Observe that they all contain 2 and that some of them but not all contain 9. The set L 4 consists of all the shifts of the 7 sets above by multiples of 7 modulo 28 and thus has 28 elements. The reader is invited to pick two sets in B 4 and check that they are noncrossing, and to do the same with two arbitrary sets in L 4 .
Our claim is that I is a symmetric maximal (k, n)-noncrossing collection. To prove this, we will show that it consists of mutually noncrossing sets and that |I| = k(n − k) + 1. Thus we will be able to conclude that the claim holds using Theorem 1.8. In this process, the only step that uses Condition 1.5 is checking the cardinality of the last nonempty L s .
Proof By symmetry, assume s < t. Since a s ∈ I for every I ∈ B s , every element in L s contains some a ∈ a s . On the other hand, no element in L t contains such an element a.   Proof We start by remarking that in the cases we consider we have |L s | = d|B s |.
Indeed, let I ∈ B s . Then J = I ∩ a s is an interval of a s . The sets I n + kx intersect a s in J n + kx, and the only case in which these d intervals of a s are not all distinct is when J = a s , that is when I is an interval of P s . Now, by the same argument, the d intervals I + kx of P s are all distinct unless I = P s . In particular, if |L s | = d|B s |, we must have |P s | = k. Since |P s | = d(k − s + 1), this can only happen (assuming Condition 1.5) if k = dp with p = k − s + 1. In particular, in the cases we consider in assertions (1)-(3), we must have |L s | = d|B s |. As a consequence, it suffices to compute the cardinality of B s .
To count the elements of B s , we will identify a suitable domain that makes the function (i, h) → I (i, h) injective, and count the elements of this domain.
Recall that to each pair (i, h) we can assign the pair (i, h * ), where h * is such that I (i, h) = I (i, h * ) and minimal with respect to this property.
On the other hand, if |P s,h | > k, we can recover i from the set I (i, h). This is because the set I (i, h) is an interval of P s,h , and i is its starting element.
If |P s,h | = k, then the sets I (i, h) are all equal to P s,h , so these cases will require special attention.
Let r = k − s + 1. Observe that there exists a unique bijection that preserves cyclic order from P s to [dr] such that a s is sent to r . Therefore we will assume in the following that P s = [dr].
It will be convenient to fix i ∈ [1, r ] and let h vary. We want to count, for a fixed i, how many sets I (i, h) there are such that h = h * (to avoid double counting). In other words, how many sets I (i, h) there are such that rh ∈ I (i, h). The set I (i, h) must contain the interval [i, rh], so from |I | = k we get k ≥ rh − i + 1. Setting • If k = dp + 1, then h = 1 and p = k − s.
• If k = dp, then h = d and p = k − s + 1.
To prove assertions (1) and (2), it is thus enough to show that To prove this, we write k = ar +b where a ∈ Z and 0 ≤ b < r . Then, for 0 ≤ j ≤ r −1, Thus we obtain It remains to prove assertion (3), so let us assume k = dp + 1. Now it is convenient to fix h and let i vary. For h ≥ 2, we have |P s,h | > k, which implies that we can recover i from the set I (i, h), which means that we can count as above and obtain r i=1 (γ i − 1) sets. On the other hand, we also get one additional set I (i, 1) = P s,1 when h = 1. The cardinality of B s is thus Observe that if h = d, the sets I (i, h) are actually intervals of P s . In particular, L s contains all the intervals of length k of P s .
Proof For s = k − p + 1, the set P s has cardinality dp. If k = dp − 1, then P s has k + 1 distinct k-element subsets, and they are all in L s since they are intervals of P s . If k = dp, then P s itself is its only k-element subset, and it is in L s since it is an interval of P s . Finally, if k = dp + 1, then P s has no k-element subsets.
Proof There are three cases to consider, depending on the congruence class of k modulo d. In each case, we will combine the results of Propositions 4.4 and 4.5.
Proposition 4.6 shows that I is a collection of k-element subsets of [n] which has the cardinality of a maximal noncrossing collection and recall that by construction I is symmetric. Thus it remains to prove that the sets in I are pairwise noncrossing.
We start with an immediate consequence of the discussion we already used to count the elements of L s : Lemma 4.7 Assume that I = I (i 1 , h 1 ) n + kx 1 = I (i 2 , h 2 ) n + kx 2 ∈ L s , with h 1 and h 2 chosen to be minimal. Assume moreover that I = P s . Then (i 1 , h 1 ) = (i 2 , h 2 ) and x 1 ≡ x 2 (mod n).
Proof First, we have that h 1 = h 2 = |I ∩ a s |. The set A = I ∩ a s is an interval of a s .
If A = a s , then I is a proper interval of P s , since it is not equal to P s by assumption. Then i 1 = i 2 is the minimal element of this interval. There is moreover a unique (modulo n) integer x such that i 1 ∈ [S x−1 a s (a s ), S x a s (a s )], and this has to coincide with both x 1 and x 2 .
If A = a s , then A has a minimal element which is equal to both S x 1 a s (a s ) and S x 2 a s (a s ), so we obtain that x 1 ≡ x 2 (mod n). Now i 1 and i 2 are both equal to the minimal element of [S x 1 −1 a s (a s ), S x 1 a s (a s )] ∩ I , so they coincide. In view of Lemma 4.7, we will often be able to reduce to considering only the case I = I (i, h) ∈ B s . In the rest of this section, we will always assume that the parameter h is chosen to be minimal.
Proof By Lemma 4.7, we can assume that I = I (i, h) ∈ B s . Thus I is an interval of P s,h , so by Lemma 3.3 we deduce that b or d has to lie in P s \ P s,h ⊆ a s .
The following two propositions show that the elements of I are noncrossing.  Proof Assume that I , J are crossing, that is, there exist a < • b < • c < • d ∈ P s with a, c ∈ I \ J and b, d ∈ J \ I . By applying Lemma 4.8 to first I and then J , we can without loss of generality assume a, b ∈ a s . By Lemma 4.7, we can assume that J = I ( j, h) ∈ B s . Observe that I = J by assumption, so |P s | > k and j is uniquely determined. Let us consider the linear order < j with minimal element j on P s . If d < j b, then by construction the interval [d, b] P s is contained in J . However, we have that a ∈ [d, b] P s \ J ; therefore, this cannot happen and we must then have b < j d. In particular c ∈ [b, d] P s ⊂ J ∪ a s , so we conclude that c ∈ a s .
We thus have that a, b, c ∈ a s , with a, c ∈ I . By construction, since I in L s , we must then have b ∈ I , a contradiction.

Construction: the general case
Now assume that (k, n) are integers which satisfy Condition 1.5. Set g = GCD(k, n) and d = n/g. Since GCD(k, dk) = k, Condition 1.5 is satisfied for (k, dk). We will first construct a symmetric maximal (k, dk)-noncrossing collection, then pick a suitable subcollection which will be in bijection with a maximal (k, n)-noncrossing collection.
Construct a symmetric maximal (k, dk)-noncrossing collection I as in Sect. 4 with this linear order as datum. Define Thus J is a collection of k-element subsets of A = g s=1 a s . Notice that A has a cyclic order, induced by that on [dk]. For an example of this construction see Sect. 6.
Observe that, for any s ∈ [g], the cardinality of a s is the order of k in Z/nZ, which is n/g = d. It follows that |A| = gd = n.
Since |A| = n, we conclude using Theorem 1.8 that J is maximal among all collections of noncrossing k-element subsets of A.

Now define a function F : [n] → A by
F(a + gx) = a + kx for a ∈ [g] and x = 0, . . . , d − 1. This is well defined and injective by the division algorithm on [n] and [dk] respectively. Since |A| = n, we conclude that F is bijective.
The function F is increasing, so it preserves the linear orders on [n] and A with minimum elements equal to 1. Since F(1) = 1, we conclude that S A (F(x)) = F(x+1) for all 1 ≤ x ≤ n − 1. But S A (g + k(d − 1)) = 1 = F(n + 1), which proves the claim.
We extend F to subsets of [n] and still call it F. It is a bijection between subsets of

Algebraic consequences
In this section, we illustrate some representation-theoretic consequences of Theorem 1.6.
There is a way of generating a quiver Q (i.e., a directed graph) embedded in R 2 , starting from a maximal (k, n)-noncrossing collection I. As a graph, Q is nothing but the 1-skeleton of the CW-complex (I) of Sect. 2. The edges are oriented such that the face to the right is the one whose label has size k − 1. As was observed in Sect. 2, this quiver is invariant under rotation by 2π k n if and only if I is symmetric. One can define a potential W on Q by taking the sum of all clockwise faces minus the sum of all anticlockwise faces. Thus (Q, W ) becomes a quiver with potential in the sense of [4]. By taking the boundary vertices (those corresponding to the intervals of [n]) as frozen, one can then define the frozen Jacobian algebra A [2, Definition 1.1].
The main result of [3] is

Remark 7.1
In [3] and [10], the focus is on Postnikov diagrams (or alternating strand diagrams). By [15,Theorem 11.1], there is a bijection between Postnikov diagrams and maximal noncrossing collections, so the two concepts are interchangeable. In this article, we focus on collections since constructing a maximal noncrossing collection explicitly is much easier than constructing a Postnikov diagram.
If we denote by e ∈ A the idempotent corresponding to the boundary vertices of Q, we have that A/Ae A ∼ = End CM(B) (T ) by [10, Lemma 6.5]. One can prove (see [10,Proposition 4.2]) that A/Ae A is self-injective if and only if T ∼ = T [2], which as we saw holds if and only if I is symmetric. The algebra = (I) = A/Ae A is the Jacobian algebra of the quiver with potential obtained from (Q, W ) by removing the boundary vertices. Observe that these correspond to the intervals of [n], which are part of all maximal noncrossing collections. Hence all the information carried by I is preserved by looking only at the sets in I which are not intervals.
The original motivation of this work was to find examples of self-injective Jacobian algebras. This interest stems in turn from higher dimensional Auslander-Reiten theory, in which these algebras play a role analogous to that of preprojective algebras of Dynkin quivers (see [6]). One consequence of Theorem 1.6 is that there exist many such algebras (which is a priori unclear, cf. [6, Question 10.1]). (k, n) be a pair satisfying Condition 1.5, and let B = B(k, n) be the algebra defined in [7, §3]. Then:

Corollary 7.2 Let
(1) there exists a cluster tilting module T ∼ = T [2] ∈ CM(B) whose indecomposable summands are rank one modules; (2) the algebra = End CM(B) (T ) is a self-injective Jacobian algebra; (3) a Nakayama automorphism of is induced by I → I − k.
Proof By Theorem 1.6, there exists a maximal (k, n)-noncrossing collection I = I n +k. Take T = I ∈I L I , then the statements follow from [10,Theorem 7.2].
Another interesting consequence of Theorem 1.6 comes from looking at the order of the Nakayama automorphism given in Corollary 7.2(3). Suppose we fix d and we want to construct examples of self-injective Jacobian algebras with Nakayama automorphism of order d. One possibility that works for every d ≥ 3 is to take a cluster tilted algebra [2,8]. A result by Ringel [12] classified the self-injective ones, and it turns out that for a fixed d there are at most two such algebras with Nakayama automorphism of order d. All the other examples presented in [6] have Nakayama automorphism of order 2 or 3 (for these, infinite families are given). Sporadic examples of order 4 and 5 have later been found by Herschend and Lakani independently. An example of a self-injective Jacobian algebra with Nakayama automorphism of order 2x +1 for any x ∈ Z >0 is constructed in [10] using Postnikov diagrams. As a corollary of our construction, we get: Corollary 7.3 Let d ∈ Z >1 . There exist infinitely many self-injective Jacobian algebras with a Nakayama automorphism of order d.
Proof Choose d ∈ Z >1 . There are infinitely many choices of (k, n) satisfying Condition 1.5 such that d = n/ GCD(k, n). Indeed, take for instance (k, n) ∈ (d, d 2 ), (2d, 2d 2 ), (3d, 3d 2 ), . . . . By Corollary 7.2, for each of these pairs there exists a self-injective Jacobian algebra with Nakayama automorphism of order equal to the order of a → a − k on Z/nZ, that is, d. They are pairwise non-isomorphic, since their quivers have different numbers of vertices.

Remark 7.4
One can also choose the families (k, n) ∈ {(d ± 1, d(d ± 1)), (2(d ± 1), 2d(d ± 1)), (3(d ± 1), 3d(d ± 1)), . . .} in the proof of Corollary 7.3, to get other infinite families of self-injective Jacobian algebras with Nakayama automorphism of order d. In the latter families, the Nakayama permutation acts freely on the vertices of the quiver, while in the family used in the proof there is a fixed vertex.