THORSTEN HOLM AND PETER JØRGENSEN
|
|
- Bertram Ray
- 5 years ago
- Views:
Transcription
1 SL 2 -TILINGS AND TRIANGULATIONS OF THE STRIP THORSTEN HOLM AND PETER JØRGENSEN Abstract SL 2 -tilings were introduced by Assem, Reutenauer, and Smith in connection with frieses and their applications to cluster algebras An SL 2 -tiling is a bi-infinite matrix of positive integers such that each adjacent 2 2 submatrix has determinant In this paper we define the class of SL 2 -tilings with enough ones It contains the previously known tilings as well as some which are new, and we show that it is in bijection with a certain class of combinatorial objects, namely good triangulations of the strip Introduction An SL 2 -tiling is a bi-infinite matrix of positive integers such that each adjacent 2 2 submatrix has determinant, see Figure SL 2 -tilings were introduced by Assem, Reutenauer, and Smith in [, sec ] They were explored by Bergeron and Reutenauer in [2] and [] and are closely related to cluster algebras, cluster categories, frieses, and quiver mutations There is also a link to the T-systems of theoretical physics, see [7, sec 22] Figure An SL 2 -tiling with enough ones It corresponds to the triangulation in Figure Mathematics Subject Classification 05E5, 3F60 Key words and phrases Arc, Conway Coxeter friese, Ptolemy formula, tiling, triangulation
2 2 THORSTEN HOLM AND PETER JØRGENSEN Figure 2 A good triangulation of the strip The purpose of this paper is to link SL 2 -tilings with triangulations of the strip, and, in the process, construct more SL 2 -tilings than known before A triangulation of the strip is a structure of the kind shown in Figure 2 Triangulations of the strip can be viewed as infinite simplicial complexes and are, in that sense, classic We first saw them mentioned explicitly in the context of cluster theory by Igusa and Todorov in [9, sec 43] The following is our main result Main Theorem There is a bijection between SL 2 -tilings with enough ones and good triangulations of the strip An SL 2 -tiling is said to have enough ones if each quadrant < i, > j and each quadrant > i, < j contains the value We use the notation < i, > j = { x, y Z Z x < i, y > j } and similarly for other inequality signs Note that we follow matrix convention when writing tilings, so the x-coordinate increases from top to bottom and the y-coordinate increases from left to right Hence < i, > j and > i, < j are quadrants to the top right, respectively bottom left A triangulation of the strip is called good if it satisfies the technical condition at the end of Definition 25 Informally, the condition says that, however far out one goes on the strip, either to the left or the right, the triangulation contains a crossing arc which is further out A crossing arc links the upper and lower edges of the strip One of the points of good triangulations is that their crossing arcs divide the strip into finite sections, each of which can be thought of as a triangulation of a finite polygon This will permit us to use the theory of Conway Coxeter frieses as introduced in [5] and [6] Using that theory, it is in fact easy to define a map Φ from good triangulations to SL 2 -tilings with enough ones, but it is harder to show that it is a bijection The idea to link SL 2 -tilings and triangulations of the strip came when we studied the cluster category introduced in [9, exam 443] We explain this briefly in Appendix A Let us round off the introduction with some remarks on earlier work The best previous result on existence of SL 2 -tilings is the following, see [, thm 3] It is a special case of our Main Theorem, see Remark 43
3 SL 2-TILINGS AND TRIANGULATIONS OF THE STRIP Figure 3 Crossing and non-crossing arcs Theorem Assem, Reutenauer, and Smith An infinite zig-zag path of ones in the plane can be extended to an SL 2 -tiling To explain the terminology, let us direct the reader s attention to Figure 7 The shaded path in the figure continues to infinity in each direction If it contains only the value, then it is an infinite zig-zag path of ones Note that neither end of the path must be a horizontal or vertical half line As shown by Bergeron and Reutenauer in [2, sec ], an SL 2 -tiling is tame in the sense that it has rank 2 when viewed as a matrix It was observed to us by Christophe Reutenauer that this takes a pleasantly concrete form in the present situation Let T be a good triangulation of the strip with associated SL 2 -tiling t = ΦT Let R j be the jth row of t Then ρ j R j = R j + R j+ where ρ j is the number of triangles in T which are incident with the jth vertex on the upper edge of the strip There is an analogous formula which links columns of t to vertices on the lower edge of the strip Note that the vertices are numbered according to Figure 3 We return to this observation in Remark 93 The paper is organised as follows: Section 2 gives rigorous definitions Section 3 is a brief reminder on Conway Coxeter frieses Section 4 constructs the map Φ from good triangulations of the strip to SL 2 -tilings with enough ones Sections 5 8 show a number of properties of SL 2 -tilings with enough ones Section 9 uses these properties to define a map Ψ from SL 2 -tilings with enough ones to good triangulations of the strip and shows that it is an inverse to Φ Appendix A explains the link to a cluster category by Igusa and Todorov 2 Definitions Definition 2 The vertices of the strip are the elements of two disjoint copies of Z denoted Z = {,, 0,, } and Z = {,, 0,, } A connecting arc is an element of Z Z, and an internal arc is an element p, q Z Z or p, q Z Z with p q 2 The word arc means connecting or internal arc Remark 22 We can interpret the arcs geometrically as isotopy classes of continuous curves in the plane; see Figure 3 which shows curves representing the connecting arc
4 4 THORSTEN HOLM AND PETER JØRGENSEN 2, 3 and the internal arcs, 4 and 0, 2 Note that the vertices along the upper and lower edges of the strip are numbered in opposite directions The geometric interpretation gives an obvious notion of when two arcs cross For instance, the arcs 2, 3 and, 4 cross, but the arcs 2, 3 and 0, 2 do not, see Figure 3 Crossing is defined formally as follows Definition 23 If i < j < k < l or j < i < l < k then i, k and j, l cross, and i, k and j, l cross If i < j < k then i, k and j, a cross, and i, k and a, j cross for each a If i < j, p < q or i > j, p > q then i, p and j, q cross Remark 24 Note that arcs which only meet at their end points do not cross; in particular, Figure 2 shows a set of pairwise non-crossing arcs Definition 25 A triangulation of the strip is a maximal collection T of pairwise noncrossing arcs The triangulation is called good if it satisfies that for each i, j Z Z we have Definition 26 An SL 2 -tiling t is a map such that for i, j Z Z p, q T for some p, q < i, > j and 2 p, q T for some p, q > i, < j Z Z i, j t ij {, 2, 3, } t ij t i+,j t i,j+ t i+,j+ The tiling t has enough ones if, for each i, j Z Z, we have = 22 t pq = for some p, q < i, > j and 23 t pq = for some p, q > i, < j We will occasionally write ti, j in place of t ij to avoid nested subscripts Remark 27 Recall that we follow matrix convention when writing tilings, so the x- coordinate increases from top to bottom and the y-coordinate increases from left to right Hence < i, > j and > i, < j are quadrants to the top right, respectively bottom left Remark 28 The similarity between equations 2 and 23 is not a coincidence: If T and t correspond under the bijection of our main theorem, then i, j T if and only if t ij = See Proposition 42
5 SL 2-TILINGS AND TRIANGULATIONS OF THE STRIP Figure 4 An SL 2 -tiling without enough ones continued in an obvious way The shaded cells can be Example 29 Not every SL 2 -tiling has enough ones as shown by the tiling in Figure 4 It is defined by continuing the pattern in the shaded cells in the obvious way, then filling in the rest of the cells using Equation 22 One shows directly that all resulting values are positive integers and that the tiling has only a single occurrence of 3 Reminder on Conway Coxeter frieses Conway Coxeter frieses were introduced by the eponymous authors We refer to them henceforth as frieses The main source is the companion papers [5] and [6], which are not always easy to cite as they provide only outline details We sometimes cite [3] instead Definition 3 A partial SL 2 -tiling defined on a subset D Z Z is a map D i, j t ij {, 2, 3, } satisfying Equation 22 when it makes sense In particular, let D be a diagonal band bounded by two parallel lines running northwest to southeast A friese is a partial SL 2 -tiling t defined on D such that t ij = for each i, j on the edges of D, see Figure 5 Note that D can be placed anywhere in the plane and that its vertical width, defined as the number of grid points on a vertical line segment from edge to edge of D, can be any positive integer Remark 32 Let P be an n + -gon with vertices 0,,, n and let D be a fixed diagonal band of vertical width n It is a main insight of [5] and [6] that there is a bijective correspondence between triangulations of P and frieses on D The correspondence is realised as follows:
6 6 THORSTEN HOLM AND PETER JØRGENSEN X,0 X2,0 Xn,0 Xn,0 Figure 5 A friese It is defined on a diagonal band D and each entry on the edges of D is In particular X, 0 = Xn, 0 = Each triangulation X of P gives rise to a map from diagonals of P to positive integers We let XA, B denote the value of the map on the diagonal which connects A and B The map is defined by iteration, as explained in [3, p 72]: Assign the value 0 to A and the value to each vertex of P which is connected to A by an edge of P or a diagonal in X If precisely two vertices of a triangle in X have been assigned values, say x and y, then the third vertex is assigned x + y At the end, each vertex of P has been assigned a value, and the value at B is XA, B Now fix a vertical line segment V from edge to edge of D The friese on D which corresponds to X has the following values on V, see also Figure 5: X, 0,, Xn, 0 This determines the whole friese, see 0 in [5] and [6] Definition 33 A fundamental region of a friese is the restriction of the friese to a triangle F of the form shown in Figure 6 Note that the fundamental region includes a diagonal of s along the base of F and a at its apex Remark 34 Consider a friese defined on a diagonal band D Let l be a descending diagonal line down the middle of D A fundamental region of the friese can be reflected
7 SL 2-TILINGS AND TRIANGULATIONS OF THE STRIP 7 F Figure 6 A fundamental region of a friese Figure 7 A covering of a friese by translated copies of the fundamental region and its reflection in l, and the fundamental region and its reflection can be translated along l The friese is covered by such translations as shown in Figure 7, see [6, 2] 4 From good triangulations of the strip to SL 2 -tilings Construction 4 Let T be a good triangulation of the strip We construct an SL 2 -tiling with enough ones, t = ΦT, as follows Let i, j Z Z be given and consider the arc i, j Choose arcs p, q, r, s T with p < i < r, s < j < q; this is possible according to Equation 2 Figure 8 shows the resulting situation Now {p,, r, s,, q } can be viewed as the vertices of a finite polygon P and the arcs situated between r, s and p, q can be viewed as the diagonals of P In particular, the arcs of T situated between r, s and p, q form a triangulation T P of P
8 8 THORSTEN HOLM AND PETER JØRGENSEN r i p s j q Figure 8 The arcs r, s and p, q define a finite polygon P which has i, j as a diagonal r r i p p s s j q q Figure 9 An alternative choice r, s and p, q Define t in terms of the map from Remark 32 by setting t ij = T P i, j 4 Proposition 42 Let T be a good triangulation of the strip Construction 4 gives a well-defined SL 2 -tiling t = ΦT with enough ones It has the property t ij = i, j T 42 Proof t is well-defined: The definition of t ij involves the choice of two arcs p, q, r, s T Another choice, say p, q, r, s T, gives another finite polygon Q with vertices { p,, r, s,, q }, and the arcs in T which are situated between r, s and p, q form a triangulation T Q of Q We must show T P i, j = T Q i, j 43 However, in the case shown in Figure 9 the triangulation T Q can be obtained from T P by gluing triangulated polygons to the edges r, s and p, q of P, so 43 follows from [3, lemmas and 2a] by induction The other possible cases have p, q and p, q interchanged and/or r, s and r, s interchanged; they are handled by the same means t is an SL 2 -tiling: The values of T P, are positive integers by Remark 32, so we just have to prove Equation 22 for i, j Z Definition 25 permits us to choose p, q, r, s T with p < i < i + < r, s < j < j + < q Then Equation 22 amounts to T P i, j T P i, j + T P i +, j T P i +, j + =,
9 SL 2-TILINGS AND TRIANGULATIONS OF THE STRIP 9 f e a a e f Figure 0 Schematic of crossing arcs enclosed in a quadrangle of arcs which is true since T P, defines a friese, see Remark 32 The biimplication 42: Follows from T P i, j = i, j T P, see [6, 32] t has enough ones: Follows from the last part of Definition 25 and the biimplication 42 Remark 43 It was shown in [, thm 3] that an infinite zig-zag path of ones in the plane can be extended to an SL 2 -tiling This is a special case of Construction 4: If T is a good triangulation of the strip which has only connecting arcs, then it is easy to see from Equation 42 that t = ΦT has a zig-zag path of ones It is also not hard to see that any zig-zag path can be obtained from such a T 5 Properties of SL 2 -tilings I: Ptolemy formulae The idea of this section is to think of an SL 2 -tiling t as a map i, j t ij from the set of connecting arcs to the set of positive integers We will define two other maps i, j c ij, i, j d ij from internal arcs to positive integers Taken together, t, c, and d can be thought of as a map χ from the set of all arcs to the set of positive integers We will show several instances of the Ptolemy formula χaχa = χeχe + χfχf when a, a are crossing arcs enclosed in a quadrangle of arcs e, f, e, f as shown schematically in Figure 0 Definition 5 Let t be an SL 2 -tiling and let i < j be integers Choose an integer a and set t ia t i,a+ t ai t aj c ij =, d ij = t ja t j,a+ t a+,i t a+,j
10 0 THORSTEN HOLM AND PETER JØRGENSEN l k j i Figure Crossing internal arcs i, k and j, l k j i a Figure 2 An internal arc i, k crossing a connecting arc j, a Remark 52 The determinants in Definition 5 are independent of the choice of a This follows from [, prop 2] because [2, prop ] implies that t is tame in the terminology of [2, sec ] Note that c i,i+ = d i,i+ = for i Z since t is an SL 2 -tiling Remark 53 Let u be a 2 n matrix and let i, j, k, l n be integers It is classic, and elementary to show, that we have the following Ptolemy formula u i u k u j u l = u i u j u k u l + u i u l u j u k u 2i u 2k u 2j u 2l u 2i u 2j This remark and the analogous one for n 2 matrices imply the following result, which says that the Ptolemy formula holds for crossing internal arcs such as the ones in Figure Proposition 54 Let t be an SL 2 -tiling, i < j < k < l integers Then u 2k u 2l u 2i u 2l c ik c jl = c ij c kl + c il c jk, d ik d jl = d ij d kl + d il d jk The following proposition says that the Ptolemy formula holds for an internal arc crossing a connecting arc as in Figure 2 It can be proved from Definition 5 by direct computation Proposition 55 Let t be an SL 2 -tiling If i < j < k and a are integers, then t ja c ik = t ia c jk + t ka c ij, t aj d ik = t ai d jk + t ak d ij The following proposition shows an easy consequence u 2j u 2k
11 SL 2-TILINGS AND TRIANGULATIONS OF THE STRIP j i p q Figure 3 Crossing connecting arcs i, p and j, q Proposition 56 Let t be an SL 2 -tiling, i < j integers Then c ij and d ij are positive integers Proof It is clear from Definition 5 that c ij and d ij are integers, so it remains to see that c ij, d ij > 0 We have c i,i+ = d i,i+ = > 0 by Remark 52 We proceed by induction on j i Since i < j < j +, Proposition 55 gives c i,j+ = t iac j,j+ + t j+,a c ij t ja = t ia + t j+,a c ij t ja for each a Z This expression is positive by induction since the values of t are positive by definition, and d ij is handled analogously Finally, we show that the Ptolemy formula holds for crossing connecting arcs as in Figure 3 This formula can be written by means of a determinant Proposition 57 Let t be an SL 2 -tiling, i < j and p < q integers Then t ip t iq = c ijd pq t jp t jq In particular, it follows from Proposition 56 that the determinant on the left hand side is a positive integer Proof If i, j are integers with i j 2, then i < j < j and Proposition 55 gives t j,a c ij = t ia c j,j + t ja c i,j for each integer a Combining with Remark 52 gives t ia = t j,a c ij t ja c i,j This equation remains true for i = j if we make the temporary assignment c ii = 0, so it holds for i < j Using this, a direct computation proves the proposition 6 Properties of SL 2 -tilings II: Forbidden values This section shows two consequences of the Ptolemy formulae of Section 5
12 2 THORSTEN HOLM AND PETER JØRGENSEN Proposition 6 Let t be an SL 2 -tiling, n a positive integer If i is fixed then t ij = n for at most finitely many values of j If j is fixed then t ij = n for at most finitely many values of i Proof Fix i and suppose that there is an increasing sequence of integers j < k < 6 with t ij = t ik = = n The two first terms in the sequence give t i,j t i,k d jk = = t i,j t i,k n n = nt i,j t i,k t ij t ik and since d jk > 0 by Proposition 56, this implies t i,j > t i,k Using the subsequent terms in 6 gives a string of inequalities t i,j > t i,k > Since the values of t are positive integers, this implies that the sequence 6 is only finitely long The case of a decreasing sequence of integers j > k > is handled analogously using t ik t ij d kj = t i+,k t i+,j This shows the first claim and the second one is shown using c jk and c kj Proposition 62 Let t be an SL 2 -tiling If t ij = then t does not have the value in the quadrants < i, < j and > i, > j Proof This is an easy consequence of the determinant in Proposition 57 being positive 7 Properties of SL 2 -tilings III: A link to Conway Coxeter frieses Let us remind the reader that Section 3 gave a few salient facts on frieses This section shows a link between frieses and SL 2 -tilings The following well-known lemma provides a converse to Remark 34 It is a consequence of 0 in [5] and [6] Lemma 7 Let D be a diagonal band and let F be a triangle inside D as shown in Figure 6 Let t be a partial SL 2 -tiling defined on F such that t ij is equal to along the base of F and at its apex, again as shown in Figure 6 Then there is a friese defined on D which agrees with t on F Proposition 72 Let t be an SL 2 -tiling, i j and p q integers such that i, j p, q and t jp = t iq =
13 SL 2-TILINGS AND TRIANGULATIONS OF THE STRIP 3 t ip t iq R t jp t jq Figure 4 t is an SL 2 -tiling with t jp = t iq = There is a friese agreeing with t on the rectangle R by Proposition 72 Then there is a friese as shown in Figure 4 which agrees with t on the rectangle R = i j, p q, where we use the notation i j, p q = { x, y Z Z i x j, p y q } Proof By Lemma 7, all we need is to take the restriction of t to R and extend it to a partial SL 2 -tiling, which is defined on a triangle F as in Figure 6 and has value on the base and at the apex of F We do so explicitly in Figure 5 The extension is accomplished by filling in two smaller triangles adjacent to R by using c and d from Definition 5 The extension is a partial SL 2 -tiling because it consists of positive integers by Proposition 56, and because all resulting adjacent 2 2 submatrices which make sense have determinant equal to The last claim follows from Propositions 54 and 55 It is elementary but tedious to check this and we omit the details 8 Properties of SL 2 -tilings IV: Zig-zag paths This section draws on the results of the two previous sections to show that if t is an SL 2 - tiling with enough ones, then there is a zig-zag path in the plane which contains all the i, j with t ij =, and has t ij = whenever the path has a corner at i, j The terminology is made precise in Proposition 82 The following proposition uses the notation for quadrants exemplified by Equation in the introduction, and a similar notation for half lines, for instance < j, p = { x, y Z Z x < j, y = p }
14 4 THORSTEN HOLM AND PETER JØRGENSEN c i,i+ c i,j c ij t ip t iq c j 2,j c j 2,j t j 2,p c j,j t j,p t jp t j,p+ t j,p+2 t jq d p,p+ d p,p+2 dpq d p+,p+2 d p+,q d q,q Figure 5 Restricting t to the rectangle R = i j, p q, then extending it to a triangle Proposition 8 Let t be an SL 2 -tiling with t jp = i If t has the value somewhere in the quadrant < j, > p, then it also has the value somewhere on the half line < j, p or somewhere on the half line j, > p, but not both ii If t has the value somewhere in the quadrant > j, < p, then it also has the value somewhere on the half line > j, p or somewhere on the half line j, < p, but not both Proof We only prove i as ii has an analogous proof The last part of i not both is immediate from Proposition 62 To show the first part of i, assume that it fails Then we have that t jp =, there is i, q < j, > p with t iq =, and t is different from on < j, p and on j, > p Choose i, q < j, > p as close as possible to j, p, that is, t jp = t iq = are the only occurrences of in the rectangle R = i j, p q 8
15 SL 2-TILINGS AND TRIANGULATIONS OF THE STRIP 5 t ip t i,p+ t iq ti+,p t i+,p+ t i+,q t jp t j,p+ t jq Figure 6 A fundamental region By Proposition 72 there is a friese v which agrees with t on R, as shown in Figure 4 The friese corresponds to a triangulation T P of a finite polygon P, see Remark 32 Consider the triangle F such that the restriction of v to F is the fundamental region shown in Figure 6 There is a bijective correspondence between diagonals in P and grid points in F, see [3, p 72] Note that in this context, the edges of P are considered to be diagonals and they correspond to the grid points along the base and at the apex of F Moreover, the diagonal corresponding to i, p crosses precisely the diagonals corresponding to the grid points inside the box in Figure 6 For x, y F we have that t xy = if and only if the diagonal corresponding to x, y is in T P, see [6, 32] By Equation 8, none of the t xy in the box are, so none of the corresponding diagonals are in T P Hence the diagonal corresponding to i, p must be in T P whence t ip =, but this contradicts Equation 8 Proposition 82 Let t be an SL 2 -tiling with enough ones There is a system of grid points x α, y α Z Z indexed by α Z with the following properties i t xy = x, y = x α, y α for some α ii For each α, either
16 6 THORSTEN HOLM AND PETER JØRGENSEN a x α+ < x α and y α+ = y α, or b x α+ = x α and y α+ > y α iii When α goes to or, there are infinitely many shifts between options a and b The system x α, y α is unique with these properties, up to adding a constant integer to α Proof Uniqueness is straightforward so we show existence Pick x 0, y 0 with tx 0, y 0 = Now suppose that x α, y α have been defined for α A such that tx α, y α = for each α To define x A+, y A+, note that tx A, y A = and that t has the value somewhere in the quadrant < x A, > y A by Definition 26 Proposition 8 says that either t has the value somewhere on the half line < x A, y A or 2 t has the value somewhere on the half line x A, > y A, but not both If occurs then let x A+ be maximal such that x A+ < x A and tx A+, y A = Set y A+ = y A If 2 occurs then let y A+ be minimal such that y A+ > y A and tx A, y A+ = Set x A+ = x A To define x A, y A, use an analogous method based on Proposition 82 Now consider properties i iii The definition of the x α, y α makes it clear that they satisfy ii and in i Property iii also holds, for if it failed then t would contradict Proposition 6 To see in property i, note that by iii, the x α, y α define an infinite zig-zag path in the plane, see Figure 7 At each corner of the zig-zag path, t has the value Each such corner prevents t from having the value in two whole quadrants by Proposition 62; these quadrants are also shown in Figure 7 Between them, the quadrants cover the whole plane except for the zig-zag path, so t xy = implies that x, y is on the zig-zag path In fact, we must even have x, y = x α, y α for some α, as claimed Namely, the construction shows that going from x A, y A to x A+, y A+ is the same as going to the next place on the zig-zag path where t has the value So the only x, y on the zig-zag path with t xy = are the x α, y α
17 SL 2-TILINGS AND TRIANGULATIONS OF THE STRIP 7 Figure 7 The values on the zig-zag path block the value outside the path 9 From SL 2 -tilings to good triangulations of the strip Construction 9 Let t be an SL 2 -tiling with enough ones We construct a good triangulation of the strip, T = Ψt, as follows Consider the x α, y α for α Z from Proposition 82, and start by including the connecting arcs x α, y α in T They are pairwise non-crossing by Proposition 82ii, and Proposition 82iii implies that T will satisfy the last part of Definition 25 We complete the construction of T by including further arcs for each value of α Z as follows: Consider an α Suppose that x α+ < x α and y α+ = y α as in Proposition 82iia; the alternative case x α+ = x α and y α+ > y α is handled analogously Figure 8 shows part of T as constructed so far x α x α x α+ + x α+ y α Figure 8 A part of T as constructed so far This part of T can be viewed as a finite polygon P with vertices x α+, x α+ +,, x α, x α, y α 9
18 8 THORSTEN HOLM AND PETER JØRGENSEN tx α+,y α tx α+ +,y α tx α,y α tx α,y α Figure 9 The restriction of t to the line segment x α+ x α, y α extends to a friese v on the diagonal band and we will construct a triangulation T P of P whose diagonals can be viewed as arcs which will be included in T To construct T P, note tx α, y α = and tx α+, y α = tx α+, y α+ = So Proposition 72 says that there is a friese v on a diagonal band D such that on the line segment v has the following values: x α+ x α, y α = { x, y Z Z x α+ x x α, y = y α }, tx α+, y α,, tx α, y α This is shown in Figure 9 There is a bijective correspondence between frieses on D and triangulations of P as explained in Remark 32 In the case at hand, the bijection says that a triangulation T P of P corresponds to a friese on D which has the following values on the line segment x α+ x α, y α : T P xα+, y α, TP xα+ +, y α,, Define T P by requiring that its friese agrees with v, that is, T P xα, y α, TP xα, y α T P x, y α = tx, yα for x α+ x x α 92
19 SL 2-TILINGS AND TRIANGULATIONS OF THE STRIP 9 Note that carrying out this construction for each α Z does indeed turn T into a maximal set of pairwise non-crossing arcs Namely, the connecting arcs x α, y α divide the strip into an doubly infinite sequence of finite polygons like P, and the construction includes a triangulation of each of these into T The following is a more precise version of the Main Theorem from the introduction Theorem 92 The maps Φ and Ψ from Constructions 4 and 9 are inverse bijections between the SL 2 -tilings with enough ones and the good triangulations of the strip Proof The proofs that Ψ Φ and Φ Ψ are the identity are closely related, so we only show the proof for Ψ Φ Let T be a good triangulation of the strip and write t = ΦT and U = Ψt We must show U = T Let x α, y α be the connecting arcs in T Equation 42 says that txy = if and only if x, y = x α, y α for some α Hence by Proposition 82 we can assume that the x α, y α are defined for α Z and have the properties listed in Proposition 82 Construction 9 implies that the connecting arcs x α, y α are also present in U Now consider the connecting arcs with indices α and α + Suppose that x α+ < x α and y α+ = y α as in Proposition 82iia; the alternative case x α+ = x α and y α+ > y α is handled analogously The connecting arcs in question are shown in Figure 8, and the part of the strip between them can be considered as a finite polygon P with the vertices listed in Equation 9 The arcs of T which are inside P give a triangulation T P of P Similarly, U gives a triangulation U P of P Since the connecting arcs divide the strip into finite polygons like P, it is enough to show T P = U P to finish the proof Equation 4 implies On the other hand, Equation 92 says So tx, y α = T P x, y α for xα+ x x α U P x, y α = tx, yα for x α+ x x α T P x, y α = UP x, y α for xα+ x x α That is, the frieses corresponding to T P and U P agree on the line segment x α+ x α, y α But this segment reaches from one edge of the frieses to the other, so the frieses are the same by 0 in [5] and [6] Hence T P = U P by 28 and 29 in [5] and [6] as desired
20 20 THORSTEN HOLM AND PETER JØRGENSEN Remark 93 We can now explain the observation by Christophe Reutenauer reproduced in the introduction Let T be a good triangulation of the strip and set t = ΦT Remark 52 and Proposition 55 give t ja c j,j+ = t j,a + t j+,a, that is, c j,j+ R j = R j + R j+ where R j denotes the jth row of t One can show that c j,j+ = T P j, j + when P is a suitable finite polygon containing j, j + as a diagonal, cf Construction 4 However, the right hand side of this equation is precisely the number of triangles in T P incident with the vertex j, see [5, Introduction] Hence it is the number of triangles of T incident with j Appendix A A link to a cluster category of Igusa and Todorov Igusa and Todorov introduced a certain cluster category in [9, exam 443], see also [9, sec 43] It will be denoted by C and it categorifies the strip: Its set of isomorphism classes of indecomposable objects, ind C, is in bijection with the set of arcs and there are non-trivial extensions between indecomposable objects a and b if and only if their arcs cross It is shown in [8] that if T is a good triangulation of the strip, then the arcs of T correspond to a set of indecomposable objects of C whose additive closure is a cluster tilting subcategory T By the Caldero Chapoton formula, such a T gives a cluster map ρ : obj C Qx t t ind T See [4, sec 4] for the definition of cluster maps and [0] for details of how the Caldero Chapoton formula works for cluster tilting subcategories with infinitely many isomorphism classes of indecomposable objects The methods of [0, sec 6] can be adapted to show that ρt = x t for t ind T, that the values of ρ are Laurent polynomials, and that each of these has positive integer coefficients in the numerator Hence, setting each x t equal to turns ρ into a map χ : obj C {, 2, 3, } One can obtain an SL 2 -tiling from χ Namely, given i, j Z Z, the arc i, j can be viewed as an indecomposable object of C and we set t ij = χi, j To see that this is an SL 2 -tiling, note that it follows from [9, lem 42] that in the triangulated category C we have i dim Ext +, j +, i, j = dim Ext i, j, i +, j + =
21 SL 2-TILINGS AND TRIANGULATIONS OF THE STRIP 2 Moreover, [9, prop 422] gives the Auslander Reiten triangle i, j i +, j i, j + i +, j + while there is a non-split distinguished triangle i +, j + 0 i, j by the formula Σ i +, j + = i, j, see [9, sec 42] Note that the connecting map of the second triangle is the identity morphism of i, j By properties M2 and M3 of cluster maps stated in [4, sec 4], the last three displayed formulae imply χ i +, j + χi, j = χ i +, j i, j + + χ0 whence t satisfies so t is an SL 2 -tiling = χ i +, j χ i, j + + t i+,j+ t ij = t i+,j t i,j+ + Further use of the methods of [0, sec 6] shows that t is in fact ΦT from Construction 4 However, it is not clear if the categorical methods can be used to show that Φ is injective or surjective Acknowledgement We are grateful to Christophe Reutenauer for the observation reproduced in the introduction and explained further in Remark 93, to David Smith for detailed comments to a preliminary version, and to two anonymous referees for a large number of useful suggestions Part of this work was carried out while Peter Jørgensen was visiting Hannover He thanks Thorsten Holm and the Institut für Algebra, Zahlentheorie und Diskrete Mathematik at the Leibniz Universität for their hospitality He also gratefully acknowledges financial support from Thorsten Holm s grant HO 880/5-, which is part of the research priority programme SPP 388 Darstellungstheorie of the Deutsche Forschungsgemeinschaft DFG References [] I Assem, C Reutenauer, and D Smith, Friezes, Adv Math , [2] F Bergeron and C Reutenauer, SL k -tilings of the plane, Illinois J Math , [3] D Broline, D W Crowe, and I M Isaacs, The geometry of frieze patterns, Geom Dedicata 3 974, 7 76 [4] A B Buan, O Iyama, I Reiten, and J Scott, Cluster structures for 2-Calabi-Yau categories and unipotent groups, Compositio Math , [5] J H Conway and H S M Coxeter, Triangulated polygons and frieze patterns, The Mathematical Gazette , [6] J H Conway and H S M Coxeter, Triangulated polygons and frieze patterns continued from p 94, The Mathematical Gazette , 75 83
22 22 THORSTEN HOLM AND PETER JØRGENSEN [7] P Di Francesco, The solution of the A r T-system for arbitrary boundary, Electron J Combin 7 200, #R89 [8] T Holm and P Jørgensen, Torsion pairs in the discrete cluster categories of Igusa and Todorov, in preparation [9] K Igusa and G Todorov, Continuous Frobenius categories, preprint 2 May 202 [0] P Jørgensen and Y Palu, A Caldero-Chapoton map for infinite clusters, Trans Amer Math Soc , [] C Reutenauer, Linearly recursive sequences and Dynkin diagrams, preprint 202 mathnt/204545v Institut für Algebra, Zahlentheorie und Diskrete Mathematik, Fakultät für Mathematik und Physik, Leibniz Universität Hannover, Welfengarten, 3067 Hannover, Germany address: holm@mathuni-hannoverde URL: School of Mathematics and Statistics, Newcastle University, Newcastle upon Tyne NE 7RU, United Kingdom address: peterjorgensen@nclacuk URL:
CONWAY-COXETER FRIEZES AND BEYOND: POLYNOMIALLY WEIGHTED WALKS AROUND DISSECTED POLYGONS AND GENERALIZED FRIEZE PATTERNS
CONWAY-COXETER FRIEZES AND BEYOND: POLYNOMIALLY WEIGHTED WALKS AROUND DISSECTED POLYGONS AND GENERALIZED FRIEZE PATTERNS CHRISTINE BESSENRODT Abstract. Conway and Coxeter introduced frieze patterns in
More informationSPARSENESS OF T-STRUCTURES AND NEGATIVE CALABI YAU DIMENSION IN TRIANGULATED CATEGORIES GENERATED BY A SPHERICAL OBJECT. 0.
SPARSENESS OF T-STRUCTURES AND NEGATIVE CALABI YAU DIMENSION IN TRIANGULATED CATEGORIES GENERATED BY A SPHERICAL OBJECT THORSTEN HOLM, PETER JØRGENSEN, AND DONG YANG Abstract. Let k be an algebraically
More informationarxiv: v2 [math.co] 11 Oct 2016
ON SUBSEQUENCES OF QUIDDITY CYCLES AND NICHOLS ALGEBRAS arxiv:1610.043v [math.co] 11 Oct 016 M. CUNTZ Abstract. We provide a tool to obtain local descriptions of quiddity cycles. As an application, we
More informationDerived equivalence classification of the cluster-tilted algebras of Dynkin type E
Derived equivalence classification of the cluster-tilted algebras of Dynkin type E Janine Bastian, Thorsten Holm, and Sefi Ladkani 2 Leibniz Universität Hannover, Institut für Algebra, Zahlentheorie und
More informationarxiv: v3 [math.rt] 14 Mar 2011
PTOLEMY DIAGRAMS AND TORSION PAIRS IN THE CLUSTER CATEGORY OF DYNKIN TYPE A n THORSTEN HOLM, PETER JØRGENSEN, AND MARTIN RUBEY arxiv:1010.1184v3 [math.rt] 14 Mar 2011 Abstract. We give a complete classification
More informationON THE RELATION BETWEEN CLUSTER AND CLASSICAL TILTING. 0. Introduction
ON THE RELATION BETWEEN CLUSTER AND CLASSICAL TILTING THORSTEN HOLM AND PETER JØRGENSEN Abstract. Let D be a triangulated category with a cluster tilting subcategory U. The quotient category D/U is abelian;
More informationHigher dimensional homological algebra
Higher dimensional homological algebra Peter Jørgensen Contents 1 Preface 3 2 Notation and Terminology 5 3 d-cluster tilting subcategories 6 4 Higher Auslander Reiten translations 10 5 d-abelian categories
More informationQuivers of Period 2. Mariya Sardarli Max Wimberley Heyi Zhu. November 26, 2014
Quivers of Period 2 Mariya Sardarli Max Wimberley Heyi Zhu ovember 26, 2014 Abstract A quiver with vertices labeled from 1,..., n is said to have period 2 if the quiver obtained by mutating at 1 and then
More informationA NEW COMBINATORIAL FORMULA FOR CLUSTER MONOMIALS OF EQUIORIENTED TYPE A QUIVERS
A NEW COMBINATORIAL FORMULA FOR CLUSTER MONOMIALS OF EQUIORIENTED TYPE A QUIVERS D. E. BAYLERAN, DARREN J. FINNIGAN, ALAA HAJ ALI, KYUNGYONG LEE, CHRIS M. LOCRICCHIO, MATTHEW R. MILLS, DANIEL PUIG-PEY
More informationSOPHIE MORIER-GENOUD, VALENTIN OVSIENKO AND SERGE TABACHNIKOV
SL (Z)-TILINGS OF THE TORUS, COXETER-CONWAY FRIEZES AND FAREY TRIANGULATIONS SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO AND SERGE TABACHNIKOV Abstract The notion of SL -tiling is a generalization of that
More informationREFLECTING RECOLLEMENTS. A recollement of triangulated categories S, T, U is a diagram of triangulated
REFLECTING RECOLLEMENTS PETER JØRGENSEN Abstract. A recollement describes one triangulated category T as glued together from two others, S and. The definition is not symmetrical in S and, but this note
More informationSTRONGNESS OF COMPANION BASES FOR CLUSTER-TILTED ALGEBRAS OF FINITE TYPE
STRONGNESS OF COMPANION BASES FOR CLUSTER-TILTED ALGEBRAS OF FINITE TYPE KARIN BAUR AND ALIREZA NASR-ISFAHANI Abstract. For every cluster-tilted algebra of simply-laced Dynkin type we provide a companion
More informationTRIANGULATED SUBCATEGORIES OF EXTENSIONS, STABLE T-STRUCTURES, AND TRIANGLES OF RECOLLEMENTS. 0. Introduction
TRIANGULATED SUBCATEGORIES OF EXTENSIONS, STABLE T-STRUCTURES, AND TRIANGLES OF RECOLLEMENTS PETER JØRGENSEN AND KIRIKO KATO Abstract. In a triangulated category T with a pair of triangulated subcategories
More informationAgain we return to a row of 1 s! Furthermore, all the entries are positive integers.
Lecture Notes Introduction to Cluster Algebra Ivan C.H. Ip Updated: April 4, 207 Examples. Conway-Coxeter frieze pattern Frieze is the wide central section part of an entablature, often seen in Greek temples,
More informationREALISING HIGHER CLUSTER CATEGORIES OF DYNKIN TYPE AS STABLE MODULE CATEGORIES. 1. Introduction
REALISING HIGHER CLUSTER CATEGORIES OF DYNKIN TYPE AS STABLE MODULE CATEGORIES THORSTEN HOLM AND PETER JØRGENSEN Abstract. We show that the stable module categories of certain selfinjective algebras of
More informationWIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES
WIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES MARTIN HERSCHEND, PETER JØRGENSEN, AND LAERTIS VASO Abstract. A subcategory of an abelian category is wide if it is closed under sums, summands, kernels,
More informationCluster algebras of infinite rank
J. London Math. Soc. (2) 89 (2014) 337 363 C 2014 London Mathematical Society doi:10.1112/jlms/jdt064 Cluster algebras of infinite rank Jan E. Grabowski and Sira Gratz with an appendix by Michael Groechenig
More informationREFLECTING RECOLLEMENTS
Jørgensen, P. Osaka J. Math. 47 (2010), 209 213 REFLECTING RECOLLEMENTS PETER JØRGENSEN (Received October 17, 2008) Abstract A recollement describes one triangulated category T as glued together from two
More informationTRIVIAL MAXIMAL 1-ORTHOGONAL SUBCATEGORIES FOR AUSLANDER 1-GORENSTEIN ALGEBRAS
J. Aust. Math. Soc. 94 (2013), 133 144 doi:10.1017/s1446788712000420 TRIVIAL MAXIMAL 1-ORTHOGONAL SUBCATEGORIES FOR AUSLANDER 1-GORENSTEIN ALGEBRAS ZHAOYONG HUANG and XIAOJIN ZHANG (Received 25 February
More informationHigher dimensional homological algebra
Higher dimensional homological algebra Peter Jørgensen Contents 1 Preface 3 2 Notation and Terminology 6 3 d-cluster tilting subcategories 7 4 Higher Auslander Reiten translations 12 5 d-abelian categories
More informationarxiv: v1 [math.co] 20 Dec 2016
F-POLYNOMIAL FORMULA FROM CONTINUED FRACTIONS MICHELLE RABIDEAU arxiv:1612.06845v1 [math.co] 20 Dec 2016 Abstract. For cluster algebras from surfaces, there is a known formula for cluster variables and
More informationCombinatorial aspects of derived equivalence
Combinatorial aspects of derived equivalence Sefi Ladkani University of Bonn http://guests.mpim-bonn.mpg.de/sefil/ 1 What is the connection between... 2 The finite dimensional algebras arising from these
More informationCLUSTER-TILTED ALGEBRAS OF FINITE REPRESENTATION TYPE
CLUSTER-TILTED ALGEBRAS OF FINITE REPRESENTATION TYPE ASLAK BAKKE BUAN, ROBERT J. MARSH, AND IDUN REITEN Abstract. We investigate the cluster-tilted algebras of finite representation type over an algebraically
More informationLecture 3: Tropicalizations of Cluster Algebras Examples David Speyer
Lecture 3: Tropicalizations of Cluster Algebras Examples David Speyer Let A be a cluster algebra with B-matrix B. Let X be Spec A with all of the cluster variables inverted, and embed X into a torus by
More informationMODULES OVER CLUSTER-TILTED ALGEBRAS DETERMINED BY THEIR DIMENSION VECTORS
MODULES OVER CLUSTER-TILTED ALGEBRAS DETERMINED BY THEIR DIMENSION VECTORS IBRAHIM ASSEM AND GRÉGOIRE DUPONT Abstract. We prove that indecomposable transjective modules over cluster-tilted algebras are
More informationDerived Canonical Algebras as One-Point Extensions
Contemporary Mathematics Derived Canonical Algebras as One-Point Extensions Michael Barot and Helmut Lenzing Abstract. Canonical algebras have been intensively studied, see for example [12], [3] and [11]
More informationWeighted locally gentle quivers and Cartan matrices
Journal of Pure and Applied Algebra 212 (2008) 204 221 wwwelseviercom/locate/jpaa Weighted locally gentle quivers and Cartan matrices Christine Bessenrodt a,, Thorsten Holm b,c a Institut für Algebra,
More informationCHARACTERIZATION OF NAKAYAMA m-cluster TILTED ALGEBRAS OF TYPE A n
J Indones Math Soc Vol 22, No 2 (2016), pp 93 130 CHARACTERIZATION OF NAKAYAMA m-cluster TILTED ALGEBRAS OF TYPE A n Faisal and Intan Muchtadi-Alamsyah Algebra Research Group Institut Teknologi Bandung,
More information2-FRIEZE PATTERNS AND THE CLUSTER STRUCTURE OF THE SPACE OF POLYGONS
-FRIEZE PATTERNS AND THE CLUSTER STRUCTURE OF THE SPACE OF POLYGONS SOPHIE MORIER-GENOUD, VALENTIN OVSIENKO, AND SERGE TABACHNIKOV Abstract We study the space of -frieze patterns generalizing that of the
More informationPowers of translation quivers. Coralie Ducrest Master in Mathematics
Powers of translation quivers Coralie Ducrest Master in Mathematics June 3, 008 Contents 1 Quiver representations 9 1.1 General principles........................ 9 1. Path algebras of finite representation
More informationBases for Cluster Algebras from Surfaces
Bases for Cluster Algebras from Surfaces Gregg Musiker (U. Minnesota), Ralf Schiffler (U. Conn.), and Lauren Williams (UC Berkeley) Bay Area Discrete Math Day Saint Mary s College of California November
More informationIntrinsic products and factorizations of matrices
Available online at www.sciencedirect.com Linear Algebra and its Applications 428 (2008) 5 3 www.elsevier.com/locate/laa Intrinsic products and factorizations of matrices Miroslav Fiedler Academy of Sciences
More informationTORSION CLASSES AND t-structures IN HIGHER HOMOLOGICAL ALGEBRA. 0. Introduction
TORSION CLASSES AND t-structures IN HIGHER HOMOLOGICAL ALGEBRA PETER JØRGENSEN Abstract. Higher homological algebra was introduced by Iyama. It is also known as n-homological algebra where n 2 is a fixed
More informationA Note on Tiling under Tomographic Constraints
A Note on Tiling under Tomographic Constraints arxiv:cs/8v3 [cs.cc] 9 Apr Marek Chrobak Peter Couperus Christoph Dürr Gerhard Woeginger February, 8 Abstract Given a tiling of a D grid with several types
More informationDimer models and cluster categories of Grassmannians
Dimer models and cluster categories of Grassmannians Karin Baur University of Graz Rome, October 18, 2016 1/17 Motivation Cluster algebra structure of Grassmannians Construction of cluster categories (k,n)
More informationDefinition 2.3. We define addition and multiplication of matrices as follows.
14 Chapter 2 Matrices In this chapter, we review matrix algebra from Linear Algebra I, consider row and column operations on matrices, and define the rank of a matrix. Along the way prove that the row
More informationDiscrete Geometry. Problem 1. Austin Mohr. April 26, 2012
Discrete Geometry Austin Mohr April 26, 2012 Problem 1 Theorem 1 (Linear Programming Duality). Suppose x, y, b, c R n and A R n n, Ax b, x 0, A T y c, and y 0. If x maximizes c T x and y minimizes b T
More informationThe Diamond Category of a Locally Discrete Ordered Set.
The Diamond Category of a Locally Discrete Ordered Set Claus Michael Ringel Let k be a field Let I be a ordered set (what we call an ordered set is sometimes also said to be a totally ordered set or a
More informationOn the Genus of the Graph of Tilting Modules
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 45 (004), No., 45-47. On the Genus of the Graph of Tilting Modules Dedicated to Idun Reiten on the occasion of her 60th birthday
More informationArithmetics of 2-friezes
DOI 0007/s080-02-0348-2 Arithmetics of 2-friezes Sophie Morier-Genoud Received: 0 September 20 / Accepted: 9 January 202 Springer Science+Business Media, LLC 202 Abstract We consider the variant of Coxeter
More informationDimension of the mesh algebra of a finite Auslander-Reiten quiver. Ragnar-Olaf Buchweitz and Shiping Liu
Dimension of the mesh algebra of a finite Auslander-Reiten quiver Ragnar-Olaf Buchweitz and Shiping Liu Abstract. We show that the dimension of the mesh algebra of a finite Auslander-Reiten quiver over
More informationA SURVEY OF CLUSTER ALGEBRAS
A SURVEY OF CLUSTER ALGEBRAS MELODY CHAN Abstract. This is a concise expository survey of cluster algebras, introduced by S. Fomin and A. Zelevinsky in their four-part series of foundational papers [1],
More informationA Characterization of (3+1)-Free Posets
Journal of Combinatorial Theory, Series A 93, 231241 (2001) doi:10.1006jcta.2000.3075, available online at http:www.idealibrary.com on A Characterization of (3+1)-Free Posets Mark Skandera Department of
More informationArithmetic properties of the adjacency matrix of quadriculated disks
Arithmetic properties of the adjacency matrix of quadriculated disks arxiv:math/00762v2 [mathco] 3 Aug 2003 Nicolau C Saldanha and Carlos Tomei December 22, 203 Abstract Let be a bicolored quadriculated
More informationDISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS
DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent
More informationCategories of noncrossing partitions
Categories of noncrossing partitions Kiyoshi Igusa, Brandeis University KIAS, Dec 15, 214 Topology of categories The classifying space of a small category C is a union of simplices k : BC = X X 1 X k k
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationAN AXIOMATIC CHARACTERIZATION OF THE GABRIEL-ROITER MEASURE
AN AXIOMATIC CHARACTERIZATION OF THE GABRIEL-ROITER MEASURE HENNING KRAUSE Abstract. Given an abelian length category A, the Gabriel-Roiter measure with respect to a length function l is characterized
More informationCLUSTER ALGEBRA ALFREDO NÁJERA CHÁVEZ
Séminaire Lotharingien de Combinatoire 69 (203), Article B69d ON THE c-vectors AND g-vectors OF THE MARKOV CLUSTER ALGEBRA ALFREDO NÁJERA CHÁVEZ Abstract. We describe the c-vectors and g-vectors of the
More information4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;
4 The path algebra of a quiver 41 Paths For definitions see section 21 (In particular: path; head, tail, length of a path; concatenation; oriented cycle) Lemma Let Q be a quiver If there is a path of length
More informationDECOMPOSITION OF TENSOR PRODUCTS OF MODULAR IRREDUCIBLE REPRESENTATIONS FOR SL 3 (WITH AN APPENDIX BY C.M. RINGEL)
DECOMPOSITION OF TENSOR PRODUCTS OF MODULAR IRREDUCIBLE REPRESENTATIONS FOR SL 3 (WITH AN APPENDIX BY CM RINGEL) C BOWMAN, SR DOTY, AND S MARTIN Abstract We give an algorithm for working out the indecomposable
More informationTHE GLOBAL DIMENSION OF THE ENDOMORPHISM RING OF A GENERATOR-COGENERATOR FOR A HEREDITARY ARTIN ALGEBRA
C. R. Math. Rep. Acad. Sci. Canada Vol. 30 (3) 2008, pp. 89 96 THE GLOBAL DIMENSION OF THE ENDOMORPHISM RING OF A GENERATOR-COGENERATOR FOR A HEREDITARY ARTIN ALGEBRA VLASTIMIL DLAB AND CLAUS MICHAEL RINGEL
More informationOne-point extensions and derived equivalence
Journal of Algebra 264 (2003) 1 5 www.elsevier.com/locate/jalgebra One-point extensions and derived equivalence Michael Barot a, and Helmut Lenzing b a Instituto de Matemáticas, UNAM, Mexico 04510 D.F.,
More informationENUMERATING m-clusters USING EXCEPTIONAL SEQUENCES
ENUMERATING m-clusters USING EXCEPTIONAL SEQUENCES KIYOSHI IGUSA Abstract. The number of clusters of Dynkin type has been computed case-by-case and is given by a simple product formula which has been extended
More informationarxiv: v2 [math.rt] 16 Mar 2018
THE COXETER TRANSFORMATION ON COMINUSCULE POSETS EMINE YILDIRIM arxiv:1710.10632v2 [math.rt] 16 Mar 2018 Abstract. Let J(C) be the poset of order ideals of a cominuscule poset C where C comes from two
More informationTHE CLASSIFICATION PROBLEM REPRESENTATION-FINITE, TAME AND WILD QUIVERS
October 28, 2009 THE CLASSIFICATION PROBLEM REPRESENTATION-FINITE, TAME AND WILD QUIVERS Sabrina Gross, Robert Schaefer In the first part of this week s session of the seminar on Cluster Algebras by Prof.
More informationarxiv: v2 [math.co] 30 May 2017
CLUSTER ALGEBRAIC INTERPRETATION OF INFINITE FRIEZES EMILY GUNAWAN, GREGG MUSIKER, AND HANNAH VOGEL arxiv:6.03052v2 [math.co] 30 May 207 Abstract. Originally studied by Conway and Coxeter, friezes appeared
More informationAisles in derived categories
Aisles in derived categories B. Keller D. Vossieck Bull. Soc. Math. Belg. 40 (1988), 239-253. Summary The aim of the present paper is to demonstrate the usefulness of aisles for studying the tilting theory
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More informationarxiv:math/ v1 [math.rt] 9 Apr 2006
AN AXIOMATIC CHARACTERIZATION OF THE GABRIEL-ROITER MEASURE HENNING KRAUSE arxiv:math/0604202v1 [math.rt] 9 Apr 2006 Abstract. Given an abelian length category A, the Gabriel-Roiter measure with respect
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationProblem 1. Let f n (x, y), n Z, be the sequence of rational functions in two variables x and y given by the initial conditions.
18.217 Problem Set (due Monday, December 03, 2018) Solve as many problems as you want. Turn in your favorite solutions. You can also solve and turn any other claims that were given in class without proofs,
More informationRUUD PELLIKAAN, HENNING STICHTENOTH, AND FERNANDO TORRES
Appeared in: Finite Fields and their Applications, vol. 4, pp. 38-392, 998. WEIERSTRASS SEMIGROUPS IN AN ASYMPTOTICALLY GOOD TOWER OF FUNCTION FIELDS RUUD PELLIKAAN, HENNING STICHTENOTH, AND FERNANDO TORRES
More informationUnmixed Graphs that are Domains
Unmixed Graphs that are Domains Bruno Benedetti Institut für Mathematik, MA 6-2 TU Berlin, Germany benedetti@math.tu-berlin.de Matteo Varbaro Dipartimento di Matematica Univ. degli Studi di Genova, Italy
More informationDefinability in the Enumeration Degrees
Definability in the Enumeration Degrees Theodore A. Slaman W. Hugh Woodin Abstract We prove that every countable relation on the enumeration degrees, E, is uniformly definable from parameters in E. Consequently,
More informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More informationLINEAR RECURRENCE RELATIONS FOR CLUSTER VARIABLES OF AFFINE QUIVERS. 1. Introduction
LINEAR RECURRENCE RELATIONS FOR CLUSTER VARIABLES OF AFFINE QUIVERS BERNHARD KELLER AND SARAH SCHEROTZKE Abstract. We prove that the frieze sequences of cluster variables associated with the vertices of
More informationarxiv: v1 [math.co] 25 Jun 2014
THE NON-PURE VERSION OF THE SIMPLEX AND THE BOUNDARY OF THE SIMPLEX NICOLÁS A. CAPITELLI arxiv:1406.6434v1 [math.co] 25 Jun 2014 Abstract. We introduce the non-pure versions of simplicial balls and spheres
More informationWe simply compute: for v = x i e i, bilinearity of B implies that Q B (v) = B(v, v) is given by xi x j B(e i, e j ) =
Math 395. Quadratic spaces over R 1. Algebraic preliminaries Let V be a vector space over a field F. Recall that a quadratic form on V is a map Q : V F such that Q(cv) = c 2 Q(v) for all v V and c F, and
More informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationBichain graphs: geometric model and universal graphs
Bichain graphs: geometric model and universal graphs Robert Brignall a,1, Vadim V. Lozin b,, Juraj Stacho b, a Department of Mathematics and Statistics, The Open University, Milton Keynes MK7 6AA, United
More informationMTH 309 Supplemental Lecture Notes Based on Robert Messer, Linear Algebra Gateway to Mathematics
MTH 309 Supplemental Lecture Notes Based on Robert Messer, Linear Algebra Gateway to Mathematics Ulrich Meierfrankenfeld Department of Mathematics Michigan State University East Lansing MI 48824 meier@math.msu.edu
More information5 Quiver Representations
5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )
More informationarxiv: v2 [math.rt] 27 Nov 2012
TRIANGULATED SUBCATEGORIES OF EXTENSIONS AND TRIANGLES OF RECOLLEMENTS PETER JØRGENSEN AND KIRIKO KATO arxiv:1201.2499v2 [math.rt] 27 Nov 2012 Abstract. Let T be a triangulated category with triangulated
More informationExtensions of covariantly finite subcategories
Arch. Math. 93 (2009), 29 35 c 2009 Birkhäuser Verlag Basel/Switzerland 0003-889X/09/010029-7 published online June 26, 2009 DOI 10.1007/s00013-009-0013-8 Archiv der Mathematik Extensions of covariantly
More informationEdge Isoperimetric Theorems for Integer Point Arrays
Edge Isoperimetric Theorems for Integer Point Arrays R. Ahlswede, S.L. Bezrukov Universität Bielefeld, Fakultät für Mathematik Postfach 100131, 33501 Bielefeld, Germany Abstract We consider subsets of
More informationUpper triangular matrices and Billiard Arrays
Linear Algebra and its Applications 493 (2016) 508 536 Contents lists available at ScienceDirect Linear Algebra and its Applications www.elsevier.com/locate/laa Upper triangular matrices and Billiard Arrays
More informationarxiv:math/ v1 [math.co] 13 Jul 2005
A NEW PROOF OF THE REFINED ALTERNATING SIGN MATRIX THEOREM arxiv:math/0507270v1 [math.co] 13 Jul 2005 Ilse Fischer Fakultät für Mathematik, Universität Wien Nordbergstrasse 15, A-1090 Wien, Austria E-mail:
More information1.8 Dual Spaces (non-examinable)
2 Theorem 1715 is just a restatement in terms of linear morphisms of a fact that you might have come across before: every m n matrix can be row-reduced to reduced echelon form using row operations Moreover,
More informationCluster Algebras. Philipp Lampe
Cluster Algebras Philipp Lampe December 4, 2013 2 Contents 1 Informal introduction 5 1.1 Sequences of Laurent polynomials............................. 5 1.2 Exercises............................................
More informationRESEARCH ARTICLE. An extension of the polytope of doubly stochastic matrices
Linear and Multilinear Algebra Vol. 00, No. 00, Month 200x, 1 15 RESEARCH ARTICLE An extension of the polytope of doubly stochastic matrices Richard A. Brualdi a and Geir Dahl b a Department of Mathematics,
More informationA Questionable Distance-Regular Graph
A Questionable Distance-Regular Graph Rebecca Ross Abstract In this paper, we introduce distance-regular graphs and develop the intersection algebra for these graphs which is based upon its intersection
More informationCentral Groupoids, Central Digraphs, and Zero-One Matrices A Satisfying A 2 = J
Central Groupoids, Central Digraphs, and Zero-One Matrices A Satisfying A 2 = J Frank Curtis, John Drew, Chi-Kwong Li, and Daniel Pragel September 25, 2003 Abstract We study central groupoids, central
More informationDimer models and cluster categories of Grassmannians
Submitted exclusively to the London Mathematical Society doi:10.1112/0000/000000 Dimer models and cluster categories of Grassmannians Karin Baur, Alastair King and Robert J. Marsh Abstract We associate
More informationA New Shuffle Convolution for Multiple Zeta Values
January 19, 2004 A New Shuffle Convolution for Multiple Zeta Values Ae Ja Yee 1 yee@math.psu.edu The Pennsylvania State University, Department of Mathematics, University Park, PA 16802 1 Introduction As
More informationThe Chromatic Number of Ordered Graphs With Constrained Conflict Graphs
The Chromatic Number of Ordered Graphs With Constrained Conflict Graphs Maria Axenovich and Jonathan Rollin and Torsten Ueckerdt September 3, 016 Abstract An ordered graph G is a graph whose vertex set
More informationTheorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.
5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field
More informationON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 4 (2004), #A21 ON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS Sergey Kitaev Department of Mathematics, University of Kentucky,
More informationNEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX. Oh-Jin Kang and Joohyung Kim
Korean J Math 20 (2012) No 2 pp 161 176 NEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX Oh-Jin Kang and Joohyung Kim Abstract The authors [6 introduced the concept of a complete matrix of grade g > 3 to
More informationLinear Algebra Notes. Lecture Notes, University of Toronto, Fall 2016
Linear Algebra Notes Lecture Notes, University of Toronto, Fall 2016 (Ctd ) 11 Isomorphisms 1 Linear maps Definition 11 An invertible linear map T : V W is called a linear isomorphism from V to W Etymology:
More informationClassical Complexity and Fixed-Parameter Tractability of Simultaneous Consecutive Ones Submatrix & Editing Problems
Classical Complexity and Fixed-Parameter Tractability of Simultaneous Consecutive Ones Submatrix & Editing Problems Rani M. R, Mohith Jagalmohanan, R. Subashini Binary matrices having simultaneous consecutive
More informationENUMERATION OF DOMINO TILINGS OF AN AZTEC RECTANGLE WITH BOUNDARY DEFECTS
ENUMERATION OF DOMINO TILINGS OF AN AZTEC RECTANGLE WITH BOUNDARY DEFECTS MANJIL P. SAIKIA Abstract. In this paper we enumerate domino tilings of an Aztec rectangle with arbitrary defects of size one on
More informationarxiv: v1 [math.rt] 11 Sep 2009
FACTORING TILTING MODULES FOR ALGEBRAIC GROUPS arxiv:0909.2239v1 [math.rt] 11 Sep 2009 S.R. DOTY Abstract. Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of
More informationchapter 12 MORE MATRIX ALGEBRA 12.1 Systems of Linear Equations GOALS
chapter MORE MATRIX ALGEBRA GOALS In Chapter we studied matrix operations and the algebra of sets and logic. We also made note of the strong resemblance of matrix algebra to elementary algebra. The reader
More informationELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS
ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need
More informationRANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA
Discussiones Mathematicae General Algebra and Applications 23 (2003 ) 125 137 RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA Seok-Zun Song and Kyung-Tae Kang Department of Mathematics,
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More informationA GEOMETRIC DESCRIPTION OF m-cluster CATEGORIES
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 360, Number 11, November 008, Pages 5789 5803 S 000-9947(08)04441-3 Article electronically published on May 8, 008 A GEOMETRIC DESCRIPTION OF m-cluster
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More information