arxiv: v2 [math.nt] 17 Oct 2018

Transcription

1 DESSINS D ENFANTS, SURFACE ALGEBRAS, AND DESSIN ORDERS AMELIE SCHREIBER arxiv: v2 [math.nt] 17 Oct 2018 Abstract. We present a construction of an infinite dimensiona associative agebra which we ca a surface agebra associated in a unique way to a dessin d enfant. Once we have constructed the surface agebras we construct what we ca the associated dessin order, which can be constructed in such a way that it is the competion of the path agebra of a quiver with reations. We then prove that the center and (noncommutative) normaization of the dessin orders are invariant under the action of the absoute Gaois group G(Q/ Q). We then describe the projective resoutions of the simpe modues over the dessin order and show that one can competey recover the dessin with the projective resoutions of the simpe modues. Finay, as a coroary we are abe to say that cassifying dessins in an orbit of G(Q/ Q) is equivaent to cassifying dessin orders with a given normaization. Contents 1. Introduction 1 2. Quivers with Reations, Dessins D Enfants, and Combinatoria Embeddings 2 3. Media Quivers of Combinatoria Maps and Consteations 7 4. Surface Agebras 8 5. Dessin Orders Basic Invariants of G(Q/Q) Projective Resoutions of Simpe Modues More Exampes Concuding Remarks 22 References Introduction In the foowing artice we wi define an infinite dimensiona associative agebra which wi be associated to a dessin d enfant in a very natura, and unique way. These agebras, which we wi ca surface agebras, can be defined in terms of a combinatoria object determined by the dessin caed a quiver with reations. We wi review this terminoogy, and the terminoogy and definitions of dessins in Section 2. The surface agebras are an infinite dimensiona generaization of severa casses of finite dimensiona agebras which have been heaviy studied since at east as far back as the cassic paper by Ge fand and Ponomarev on the Indecomposabe Date: October 18, Mathematics Subject Cassification. Primary 11G32 16E05 Secondary 05E10 05E15. Key words and phrases. dessin d enfant, dessin order, surface agebra, cartographic group. 1

2 2 A. SCHREIBER Representations of the Lorentz Group [GP]. However, there is no information present in the iterature giving an expicit construction of an agebra associated to a dessin in this way, and the agebras we study generaize a wide cass of agebras, which are studied in many contexts for many purposes. There are many techniques which can be generaized and appied from these various areas of study, but much of what is needed for our appications is either not present in any expicit form or requires generaizations or speciaizations of severa ideas, and thus wi ony be obvious to those aready quite adept at such methods as representation theory of infinite dimensiona path agebras of quivers with reations, as we as their competed path agebras, moduar representation theory of finite groups and their Brauer trees, the theory of attices over orders, and of course, some basic famiiarity with dessins. Moreover, some of what is contained within wi be of interest from a purey representation theoretic perspective, so we wi review the necessary terminoogy, give expicit constructions, and severa exampes throughout. The artice is meant to be as sef contained as possibe, but basic references are provided as an introduction to some of the concepts in the various areas when a new technoogy is introduced. Once we have reviewed the necessary definitions, we wi define the surface agebras in Section 4. We wi then define what we ca a dessin order in Section 5, which is defined in terms of the dessin, and in terms of the surface agebra. We show that the surface agebras and dessin orders capture much information about the dessin, and provide new representation theoretic methods which can be appied to study dessins. In particuar, we define the center and (noncommutative) normaization of a dessin order, and show that these are invariant under the action of the absoute Gaois group G(Q/ Q) in Section 6. This resut foows directy from the fact that the surface agebras and dessin orders are defined in terms of dessins, therefore from the perspective of dessins, this invariant aone does not seem to provide any significant new resuts and can be shown to be equivaent to aready known invariants. However, we wi show how these two invariants are reated to a deeper connection between the surface agebra, the dessin order, and the dessin from which they are derived. In particuar, in Section 7 we wi show that the minima projective resoutions of the simpe modues over a dessin order are infinite periodic and have exacty two indecomposabe direct summands in every term of the resoution (after the projective cover of the simpe modue). With the description of the structure of the resoutions, we wi show that the minima projective resoutions of the simpe modues capture a of the combinatoria and topoogica information of the dessin. In fact, one ony needs the combinatoria information of the minima projective resoutions to recover the dessin in its entirety. We show such resoutions are easiy computed by hand and give severa exampes before ending with a few concuding remarks. 2. Quivers with Reations, Dessins D Enfants, and Combinatoria Embeddings In this section we wi set our notation and terminoogy for combinatoria embeddings of graphs and dessins. We wi use some basic combinatoria topoogy. Quivers, quivers with reations, and path agebras of such objects are then defined. These are standard constructions used in the representation theory of associative agebras Combinatoria Maps, Consteations, and Dessins. Let S n be the symmetric group on [n] = {1, 2, 3..., n}. Permutations wi act on the eft, so if σ S n, we wi say σ i = σ(i). For exampe, for σ = (1, 3, 2) S 3 we have σ(1) = 3, σ(2) = 1, σ(3) = 2. We wi define a k-consteation to be a sequence C = [g 1, g 2,..., g k ], g i S n, such that:

3 DESSINS D ENFANTS, SURFACE ALGEBRAS, AND DESSIN ORDERS 3 (1) The group G = g 1, g 2,..., g k generated by the g i acts transitivey on [n]. (2) The product k i g i = id is the identity. The consteation C has degree n in this case, and ength k. Our main interest wi be in 3-consteations C = [σ, α, φ], which we wi describe in detai momentariy. The group G = g 1, g 2,..., g k wi be caed the cartographic group or the monodromy group generated by C. Let P = P 1 (C). Let Σ be a compact Riemann surface. Suppose β : Σ P is a Beyi function. It is often usefu to visuaize Beyi functions as combinatoria maps on Σ. This construction pays a big part theoreticay since it gives a way of using agebraic and combinatoria methods to study Beyi functions, and it aso gives very concrete exampes which are usefu for deveoping intuition. Such combinatoria maps uniquey determine Σ as a Riemann surface or agebraic curve, and they uniquey determine the Beyi function β. In fact, the Riemann surface is determined over an agebraic number fied if and ony if its compex structure is obtained from such a combinatoria map. In particuar, we have Theorem 2.1. (Beyi s Theorem): A Riemann surface Σ admits a mode over the fied Q of agebraic numbers if and ony if there exists a covering f : Σ C unramified outside of {0, 1, }. In such a case, the meromorphic function f can be chosen in such a way that it wi be defined over Q. Definition 2.2. Let f be a Beyi function as in Beyi s theorem. Pace a back vertex at 1 P, and a white vertex at 0 P, and an edge on the rea interva [0, 1]. This gives a bipartite graph Γ P on the sphere. We define a dessin d enfant to be f 1 (Γ P ) := Γ Σ. It wi have the structure of a bipartite graph, ceuary embedded Γ Σ, in the surface Σ. There is a correspondence between 3-consteations C = [σ, α, φ] such that α is a fixed point free invoution, and graphs which are ceuary embedded in a cosed Riemann surface. In particuar, such consteations give a CW-compex structure on the surface Σ The Cockwise Cycic Vertex Order Construction. There are many equivaent ways of defining a graph on a Riemann surface. One of the simpest and probaby the most combinatoria ways is by consteations. There are at east two ways of viewing this construction. We present two here, which are in some sense dua to one another. Intuitivey, we foow the recipe: (1) First choose some positive integer r N to be the number of vertices of the graph, say Γ 0 = {x 1, x 2,..., x r }. (2) Then, to each vertex x i, we choose some number k i, of haf edges to attach to it, with the rue that once we have chosen k i for each x i, the sum r i=1 k i = 2n, must be some positive even integer. (3) We then choose a cockwise cycic ordering of the haf-edges around each vertex x i, i.e. some cycic permutation σ i of [k i ] = {1, 2,..., k i } for each x i. The cycic permutations σ i must a be disjoint from one another, and together they form a permutation of [2n]. (4) Once such a cycic ordering is chosen, we then define a guing of a of the haf edges. In particuar, we choose some fixed-point free invoution on the coection of a haf edges, which is a permutation in S 2n given by Γ 1 many 2-cyces. This defines α.

4 4 A. SCHREIBER Notation Meaning Γ Σ ceuary embedded graph Σ a Riemann surface, generay cosed Γ 0 the vertex set of a graph Γ Γ 1 the edge set of a graph Γ Γ 1 (x) the haf-edges around a vertex e(x) i a haf-edge in Γ 1 (x) attached to x Γ 0 e = { e, e} the vertices adjacent to e Γ 1 α k = (α i, α i+1 ) a 2-cyce of α (α i, α i+1 ) = (e(x) p, e(y) q ) gued haf-edges e(x) p and e(y) q α(e) = (e(x) p, e(y) q ) α as a map Γ 1 x Γ0 Γ 1 (x) We then have the usua Euer formua, φ α + σ = F E + V = χ(σ). Said a sighty different way, we define a pair [σ, α], where σ, α S 2n. The permutation σ = σ 1 σ 2 σ r is a coection of cycic permutations, one σ i for each vertex x i of our graph Γ = (Γ 0, Γ 1 ). So, perhaps in better notation, each σ x = (e(x) 1, e(x) 2,..., e(x) k(x) ), can be thought of as giving a cycic ordering of the haf edges. Denote the haf edges, Γ 1 (x) = {e(x) 1, e(x) 2,..., e(x) k(x) }, attached to each vertex x Γ 0 in our graph. The cyces σ x are a necessariy disjoint. We define how to gue pairs of haf edges, in order to get a connected graph Γ, via the permutation α. The permutation α is of the form α = α 1 α 2 α t = (α 1, α 2 )(α 3, α 4 ) (α 2n 1, α 2n ) = α(e) e Γ 1 and each (α i, α i+1 ) tes us to gue the two corresponding haf-edges. Here we can aso view α : Γ 1 x Γ0 Γ 1 (x) as a map from the edges Γ 1, to the haf-edges x Γ0 Γ 1 (x). So α(e) = (e(x) p, e(y) q ). Exampe 2.3. Let us iustrate this by a simpe exampe. As a permutation on the set of a haf edges, Γ 1 (x) Γ 1 (y) = {e(x) 1, e(x) 2, e(x) 3, e(y) 1, e(y) 2, e(y) 3 },

5 DESSINS D ENFANTS, SURFACE ALGEBRAS, AND DESSIN ORDERS 5 around two vertices Γ 0 = {x, y} we may identify σ, α Perm(Γ 1 (x) Γ 1 (y)) with permutations in S 6. Namey, et us define the identification σ = σ x σ y = (e(x) 1, e(x) 2, e(x) 3 ) (e(y) 1, e(y) 2, e(y) 3 ) (1, 2, 3)(4, 5, 6) S 6 and et α = (e(x) 1, e(y) 1 )(e(x) 2, e(y) 2 )(e(x) 3, e(y) 3 ) (1, 4)(2, 5)(3, 6) S 6. Then under this identification, the graph with two vertices Γ 0 = {x, y} {σ x, σ y } = {(1, 2, 3), (4, 5, 6)}, and six haf edges Γ 1 (x) Γ 1 (y) {1, 2, 3} {4, 5, 6}. may be represented by the foowing picture to hep visuaize this, σ = (1, 2, 3)(4, 5, 6) α = (1, 4)(2, 5)(3, 6) (1,4) 1 5 (1, 2, 3) (2, 5) 6 (4, 5, 6) (3,6) 2.3. The Poygon Construction. It is important at this point to make a few comments. Not every graph is panar, i.e. there may be no embedding on the sphere S 2 = P 1 without edge crossings. To see a second way this pays out with consteations, we now turn to the dua construction on faces. In the ast section, the permutations φ = ασ 1, defining the consteation C = [σ, α, φ] were quite negected in the construction. This is partiay because they are not stricty needed since σαφ = id = ασ 1 = φ. The previous construction focused on cycic orderings of the haf edges around each vertex, and guings of those haf edges to obtain a connected graph Γ. There is another way of constructing ceuar embeddings which comes from poygon presentations of surfaces. This is ikey more famiiar to the reader, and therefore more intuitive. The question might be asked, why not just use this more typica exampe. One answer woud be, the former construction is actuay quite standard in the iterature on combinatoria maps. A better answer however is, the combinatorics and the notation invoved in the previous (cockwise) cycic vertex ordering construction is much more convenient for ater constructions invoving media quivers, surface

6 6 A. SCHREIBER agebras, and the representation theory that foows. It wi be usefu, and sometimes more intuitive to have this second construction though. Let us begin with the foowing recipe: (1) Write φ as a product of disjoint cyces φ 1 φ 2 φ p (2) To each cyce φ i of ength m i we associate a m i -gon, oriented countercockwise. (3) Then we gue the sides of each poygon according to α so that the sides which are gued have opposite orientation. (4) From this guing we obtain a cycic order of edges σ = φ 1 α around each vertex. Note: α = α 1 since it is required to be an invoution. Aso, the vertices with cycic orderings are the corners of the poygons after guing. Exampe 2.4. Let us once again iustrate by exampe. Take C = [σ, α, φ] from the previous construction where σ = σ x σ y = (1, 2, 3)(4, 5, 6), α = α 1 α 2 α 3 = (1, 4)(2, 5)(3, 6). This impies φ = (162435). This is represented by a countercockwise oriented hexagon: y a x b f x φ y c e y d x The word associated to the poygon given by φ in most standard texts containing materia on poygon presentations of surfaces is abcde f (162435). The guing α = (1, 4)(2, 5)(3, 6), then says we must gue the faces: a d, b e, c f. Care must be taken to gue sides so that their orientations appose one another so that the surface obtained is oriented according to the countercockwise oriented face. The ceuary embedded graph that we obtain ives on a torus T 2. We can determine this purey via the combinatorics by computing χ(σ) = φ α + σ = φ Γ 1 + Γ 0 = = 0,

7 DESSINS D ENFANTS, SURFACE ALGEBRAS, AND DESSIN ORDERS 7 and since χ(σ) = 2g(Σ) 2 we have that the genus of Σ is g = 1. y x 3. Media Quivers of Combinatoria Maps and Consteations There is a very natura way of associating a ceuary embedded graph to a quiver, and a quiver to a ceuary embedded graph. In particuar, we can define a bijection of such objects. Definition 3.1. The way we do this is by choosing the quiver to be the directed media graph of the ceuary embedded graph. In particuar, for each face φ j of C = [σ, α, φ], we pace a vertex on the interior of each edge of the boundary of φ j. We then connect the vertices countercockwise with arrows. This forms the media quiver of the consteation, or equivaenty of the ceuary embedded graph. σ 2 σ 1 σ 2 φ 1 φ 3 φ 2 φ 4 Exampe 3.2. σ 2 σ 1 σ 2 As an exampe, we have the media quiver for a trianguation of a torus given by the consteation φ = (1, 2, 3)(4, 5, 6)(7, 8, 9)(10, 11, 12), α = (1, 5)(2, 12)(3, 4)(6, 7)(8, 10)(9, 11). It has face cyces given by φ = φ 1 φ 2 φ 3 φ 4, and the guing α identifies the top edges and bottom edges, as we as the eft and right side edges, in the typica way.

8 8 A. SCHREIBER 4. Surface Agebras We now introduce the surface agebras, which aong with their m-adic competions wi be the main objects of study in what foows. Let Q = (Q 0, Q 1, h, t) be a quiver, with the set of vertices Q 0, and the set of arrows Q 1. There are two maps, t, h : Q 1 Q 0 taking an arrow a Q 1 to its head ha, and tai ta. This is a refinement of the incidence map for an undirected graph, and we define a = { a, a} := {ta, ha}. In this case the order is not arbitrary as it woud be for undirected graphs. The path agebra of a quiver Q, denoted kq, over a fied k, is the k-vector space spanned by a oriented paths in Q. It is an associative agebra, and is finite dimensiona as a k-vector space if and ony if Q has no oriented cyces. There are trivia paths i Q 0, given by the vertices, and mutipication in the path agebra is defined by concatenation of paths, when such a concatenation exists. Otherwise the mutipication is defined to be zero. More precisey, if p and q are directed paths in Q, and hp = tq, then qp is defined as the concatenation of p and q. Note, we wi read paths from right to eft. Let A = kq. The vertex span A 0 = k Q 0, and the arrow span A 1 = k Q 1 are finite dimensiona subspaces. A 0 is a finite dimensiona commutative k-agebra, and A 1 is an A 0 -bimodue. The path agebra then has a grading by path ength, A = A 0 A 1 = A d. The path agebra A has primitive orthogona idempotents {e i } i Q0. Let A i, j = e j Ae i be the k- inear span of paths in Q, from vertex i to j. Let m = d=1 A d denote the arrow idea of Q, generated by the arrows Q 1. We wi define the compete path agebra to be A = A 0 A 1 = A d. We put the m-adic topoogy on A, with neighborhoods of 0 generated by m n. The eements of A are a forma inear combinations of paths, incuding infinite inear combinations. If φ : A A is an automorphism fixing A 0 then φ is continuous in the m-adic topoogy, and m is invariant under such agebra automorphisms. Definition 4.1. An idea in the path agebra A wi be a two sided idea generated by inear combinations of paths which share a common starting vertex and termina vertex in the quiver. The quotient path agebra of a quiver with reations wi be the quotient by this idea. Next et us turn to the specific quivers with reations of interest for our current purposes. Definition 4.2. We wi define a free surface agebra to be the path agebra of the media quiver of any combinatoria map C = [σ, α, φ]. Definition 4.3. Let Q = (Q 0, Q 1 ) be a finite connected quiver. Then we say the bound path agebra Λ = kq/i is a surface agebra if the foowing properties hod: (1) For every vertex x Q 0 there are exacty two arrows a, a Q 1 with ha = x = ha, and exacty two arrows b, b Q 1 such that tb = x = tb. (2) For any arrow a Q 1 there is exacty one arrow b Q 1 such that ba I, and there is exacty one arrow c Q 1 such that ac I. d=0 d=0

9 DESSINS D ENFANTS, SURFACE ALGEBRAS, AND DESSIN ORDERS 9 (3) For any arrow a Q 1 there is exacty one arrow b Q 1 such that b a I, and there is exacty one arrow c Q 1 such that ac I. (4) The idea I is generated by paths of ength 2. These wi be caed gente reations. Such quivers with reations are a very popuar cass of path agebras studied in the representation theory of associative agebras. Thus, given a quiver such that every vertex has in-degree and out-degree exacty 2, we may choose severa ideas I such that kq/i is a (gente) surface agebra. Such agebras are aways infinite dimensiona, but they retain many of the nice combinatoria and representation theoretic properties of finite dimensiona gente agebras. See for exampe the preprint [CB] and references therein for more background on the representation theory of infinite dimensiona string agebras (a cass of agebras which incudes gente surface agebras). The next Theorem indicates how this project started. Whie attempting to count certain indecomposabe modues over a cass of agebras, it was noticed that associating a graph to the agebras in an essentiay unique way, one coud appy Poya theory with some minor success. Later, it was discovered that the graph constructed for these purposes was simpy a dessin d enfant. In particuar, Theorem 4.4. There is a unique dessin C = [σ, α, φ] associated to each surface agebra A such that the foowing properties hod: (1) The quiver Q of the surface agebra is the directed media graph of C = [σ, α, φ]. (2) The cyces of the permutation φ are in one-to-one correspondence with cyces of (gente) zero reations I, as described by Definition??. (3) One can define an action of φ = φ 1 φ 2 φ s, on the cyces of reations I = I(φ 1 ), I(φ 2 ),..., I(φ s ) as a cycic permutation on the arrows of each cyce of reations I(φ j ). (4) One can partition the arrows of the quiver Q with respect to σ such that the nonzero simpe cyces of the quiver Q are in one-to-one correspondence with cyces σ i of σ. (5) One may define an action of σ on the partition Q 1 = {c(σ 1 ), c(σ 2 ),..., c(σ r ) } and thus on the arrow idea m of A, and on the k-vector space k Q 0 giving the arrow span of A. The action is again by cycicay permuting the arrows in each non-zero cyce c i = c(σ i ). (6) The permutation α determines how one may gue nonzero cyces, or equivaenty cyces of reations in order to obtain a (gente) surface agebra. (7) Let Q 1 (σ) = {c(σ 1 ), c(σ 2 ),..., c(σ r )} be the partition of Q 1 with respect to σ, and et Q 1 (φ) = {I(φ 1 ), I(φ 2 ),..., I(φ s )} be the partition with respect to φ. Let where V i = k c(σ i), and et k Q 1(σ) = V 1 V 2 V r k Q 1(φ) = W 1 W 2 W s where W j = k I(φ j). Then and action of the absoute Gaois group G(Q/Q) on the dessin C = [σ, α, φ] induces an action on the surface agebra and its quiver. In particuar, it induces an automorphism of the vector spaces k Q 1(σ) and k Q 1(φ), such that dim k V i = dim k g V i, and dim k W j = dim k g W j for any g G(Q/Q). Proof. The proof is simpe once one has seen the definition of the media quiver and the definition of a surface agebra is then very natura. It is reminiscent of the construction of the Brauer tree for bocks of group agebras in moduar representation theory. We simpy note that the idea of gente reations can be partitioned into disjoint cyces in the quiver. They may overap themseves. Likewise the nonzero cyces can be partitioned. Once this is done, if one simpy defines σ and φ to be the permutations of Q 1 giving these cyces, one gets a dessin. The permutation

10 10 A. SCHREIBER α can be computed from σαφ = id, and it simpy tes us how to gue the cyces (possiby to themseves in some paces). The statements concerning the actions of σ and φ and the induced automorphisms wi be refined in the foowing sections and proven there. They wi correspond to information given by the center and noncommutative normaization of the compete surface agebra, and the puback diagram defining a dessin order. Let us ook briefy at a few more exampes The Dihedra Ringe Agebra Ã(1). Exampe 4.5. Let σ = (1, 2), α = (1, 2), φ = (1)(2). Then the cosed surface agebra Λ(c) given by the consteation c 1 = [σ, α, ϕ] 0 is given by the graph with one vertex and one oop embedded in the sphere. In particuar Λ(c) = Ã(1) is given by the quiver x y and is isomorphic to k x, y / x 2, y 2. This is a cassic exampe from the representation theory of associative agebras. See for exampe Ringe s work [R1]. The genus in this case is then zero Ã(2). Exampe 4.6. Let c 2 = [σ, α, ϕ] 2 be given by σ = (1, 4)(2, 3)α = (1, 3)(2, 4), ϕ = (1, 2)(3, 4), then χ(c 2 ) = 2 and g(c 2 ) = 0. The embedded graph can be represented by the equator of the sphere with two vertices on it. The quiver which comes from this graph is 4.3. Ã(3). a 1 a b 2 b 1 Exampe 4.7. Let c 3 = [σ, α, ϕ] 3 be defined by σ = (1, 6, 2, 4, 3, 5), α = (1, 4)(2, 5)(3, 6), ϕ = (1, 2, 3)(4, 5, 6). Then we have χ(c 3 ) = = 0 so g(c 3 ) = 1. The graph embedded on the torus can be obtained by a guing of the square to obtain the torus, the quiver is then, Ã(4). 3 2 Exampe 4.8. Let c 4 = [σ, α, ϕ] 4 be given by σ = (1, 8, 3, 6)(2, 5, 4, 7), α = (1, 5)(2, 6)(3, 7)(4, 8), ϕ = (1, 2, 3, 4)(5, 6, 7, 8) χ(c 4 ) = so g(c 4 ) =

11 DESSINS D ENFANTS, SURFACE ALGEBRAS, AND DESSIN ORDERS Dessin Orders In this section we define the Dessin Orders which are naturay associated to a dessin, or equivaenty to its consteation or surface agebra. These are particuary usefu in defining invariants for the action of the absoute Gaois group on Dessins. The methods are adapted from cassica theory of orders, especiay Green orders, which were deveoped and defined in [R1], [RR], [Ro1, Ro2] in order to study bocks of group rings with cycic defect in moduar representation theory. It is uncear at this time what the connection between the two theories is beyond the obvious, and how deep it might run. We had originay intended to ony phrase this work in terms of path agebras, but once the technoogy of orders was discovered it was cear this woud provide additiona usefu toos with which to study dessins Definitions and Properties. Definition 5.1. Let R be a compete noetherian oca domain with fied of fractions K, and residue fied k. An R-Order Λ in a k-agebra A is a unita subring of A such that (1) K Λ = A, and (2) Λ is finitey generated as an R-modue. Let C = [σ, α, φ] be a consteation, and et Γ Σ be the associated graph ceuary embedded in the cosed Riemann surface Σ. Further, et n(i) = n i denote the ength of the cyce given by σ i. Remember, for a consteation C and the associated graph Γ the ength of the (nonzero) cyce in the gente media quiver Q(C), associated to σ i is just the order of the cyce σ i. (1) For each cyce σ i, i Γ 0 associated to the vertex i, we associate a oca order Ω i = Ω(σ i ), and a reguar principa idea ω i := ω 0 (σ i )Ω i = Ω i ω 0 (σ i ). (2) An agebra, or an order, is hereditary if no modue has a minima projective resoution greater than ength 1. This means the projective dimension of any modue is no greater than 1, and therefore the goba dimension is at most 1. The hereditary order associated to σ i is then given by Ω i ω i ω i ω i ω i Ω i Ω i ω i ω i ω i Ω i Ω i Ω i ω i ω i H i = Ω i Ω i Ω i Ω i ω i Ω i Ω i Ω i Ω i Ω i (3) Let Ω (k,k) i denote the (k, k) entry of Ω i in H i. (4) For each 1 k n i et ω i.. ω i Ω P i,k := i Ω i.. Ω i Ω i where the first entry equa to Ω i is the k th row. n(i)

12 12 A. SCHREIBER The modues {P i,k : 1 k n i } give a compete set of non-isomorphic indecomposabe projective (eft) H i -modues, with the natura incusions P i,1 P i,2 P i,ni 1 P i,ni P i,1. where the fina map is given by eft-mutipication by ω 0 (σ i ). If we identify P i,k with the edge e i k = e k(σ i ), where σ i = (e i 1, ei 2,..., ei n i ) is a cycic permutation, then the chain of incusions can be interpreted in terms of the cyce σ i. From the embedding Γ Σ given by the consteation C = [σ, α, φ], this can be interpreted as waking cockwise around the vertex of σ i. We wi take P i,k = P i,k+ni, but each e i k must be mutipied by the automorphism σ i after one trip around the cyce, i.e. there is some mutipication by a power of ω 0 (σ i ) invoved. In particuar, conjugation by ω 0 (σ i ) ω i := cycicay permutes the indecomposabe projective H i -modues P i,k, and it induces an automorphism of H i which we aso ca σ i. Now, for each cyce σ p, σ q S [2m] of σ, we fix an isomorphism Ω p /ω p Ω q /ω q. Identifying a such rings, et Ω = Ω i /ω i for a σ i Γ 0. Let π i : Ω i Ω be a fixed epimorphism with kerne ω i. Now, we have a pu-back diagram Ω p,q π p Ω p n i π q π p Ω q π q Ω. which is in genera different and non-isomorphic for different choices of π p and π q. Definition 5.2. Let H = σ i Γ 0 H i. Let e i k be an edge around σ i, and et α i, j k, = (e i k, e j ) be a 2-cyce of the fixed-point free invoution α of C = [σ, α, φ] giving the end vertices σ i and σ j of the edge e i k e j under the guing identifying the haf-edges e i k and e j. It is possibe that σ i = σ j if α i, j k, defines a oop at the vertex σ i in Γ. We repace the product Ω k i Ω j in H i H j with Ω i, j. This identifies the (k, k) entry of H i with the (, ) entry of H j, moduo ω. Doing this for a edges of Γ, we get the Dessin Order Λ := Λ(C) = Λ(Γ) associated to the consteation C, or equivaenty to the embedded graph Γ Σ. We wi ca the hereditary order σ i H i the normaization of the order Λ. Here H i is the hereditary order associated to σ i. Proposition 5.3. The indecomposabe projective Λ-modues are in bijection with the 2-cyces (e i k, e j ) = αi, j k,, of α S 2m for the consteation C = [σ, α, φ]. Equivaenty, the indecomposabe projectives are in bijection with the edges Γ 1. We abe them as P e for α i, j k, = e = (e i k, e j ) Γ 1 attached to the vertices σ i and σ j.

13 DESSINS D ENFANTS, SURFACE ALGEBRAS, AND DESSIN ORDERS Basic Exampes. Exampe 5.4. In the now cassic paper [GP], Ge fand and Ponomarev studied the indecomposabe representations of the Lorentz group and used a method now standard in the representation theory of so-caed string agebras, among other path agebras. In their study of Harish-Chandra modues, they studied the foowing agebra. I = ab, ba, Λ = kq/i, a x The dessin order is then k x, y /(xy, yx) k[[x, y]]/(xy), i.e. the competed path agebra of the quiver. Exampe 5.5. Let R have maxima idea m = m, with residue fied k = R/m, and fied of fractions K = R m. Let Γ be the genus zero graph, b σ 1 α 1 σ 2 α 2 σ 3 α 3 σ 4 given by the consteation C = [σ, α, φ] such that σ = (1)(2, 3)(4, 5)(6) = σ 1 σ 2 σ 3 σ 4, and α = (1, 2)(3, 4)(5, 6) = (e 1 )(e 2 )(e 3 ). We may take { (a11 ) ( ) ( ) b11 b H =, 12 c11 c, 12, ( ) } 4 d b 21 b 22 c 21 c 11 a i j, b i j, c i j, d i j R, b 12, c 12 m = H i. 22 We then have the congruences moduo m, a 11 b 11, b 22 c 11, c 22 d 11. We then have R R m R R Λ = R m R R R such that λ 11 = λ 22, λ 33 = λ 44, λ 55 = λ 66 with a equaities taken moduo m, i.e. the residues λ ii are equa in k = R/m. Notice, the equaities in k = R/m (i.e. equaities of residues moduo m) are given by α in the consteation C = [σ, α, φ]. Suppose in particuar that ( ) k[[x]] (x)k[[x]] H 1 H 4 k[[x]], H 2 H 3 k[[x]] k[[x]] Letting m i = (x) for i = 1,..., 4, we get a puback diagram Λ π 1 Λ/ rad(λ) = k 3 i=1 ι 1 H π 2 H / rad(h) = k 6

14 14 A. SCHREIBER where Ω i = k[[x]] for i = 1,..., 4 and ω i = (x) = rad(k[[x]]), so that rad(h 1 ) = k = rad(h 4 ) and rad(h 2 ) = k k = rad(h 3 ); and rad(h) = rad(λ). Then we get k[[x]] k[[x]] (x)k[[x]] k[[x]] k[[x]] Λ = k[[x]] (x)k[[x]] k[[x]] k[[x]] k[[x]] such that λ 11 = λ 22, λ 33 = λ 44, λ 55 = λ 66 with a equaities taken moduo m = (x) = ω i so that the residues λ ii are equa in k. The automorphisms given by σ on H 2 H 3 is ( ) 0 x 1 0 Further, this is exacty the competion of the surface agebra associated to the graph σ 1 α 1 σ 2 α 2 σ 3 α 3 σ 4 In particuar, we have the foowing quiver with reations a I = ba, cb, dc, ed, f e, a f, x g b y For concreteness of exampes, we wi take the dessin order Λ associated to a C = [σ, α, φ] to be the competed path agebra of the gente surface agebra associated to C as defined in Section 2. f d z 6. Basic Invariants of G(Q/Q) In this section we compute the center of dessin orders and surface agebras, as we as the (noncommutative) normaizations. We then prove that these are invariant under the action of the absoute Gaois group on dessins. Let C = [σ, α, φ] and et Λ be the associated dessin order. Denote by Z(Λ) the center, and N(Λ) the normaization. Theorem 6.1. Suppose two consteations C = [σ, α, φ] and C = [σ, α, φ ] ie in the same orbit under the action of G(Q/Q). Further, et Λ and Λ be their associated (competed) surface agebras. Then the foowing isomorphisms hod. (1) Z(Λ) Z(Λ ) (2) N(Λ) N(Λ ) Lemma 6.2. Suppose Q/I is the quiver with reations associated to the compete surface agebra Λ of a consteation C = [σ, α, φ], where σ = σ 1 σ 2 σ r. Then (1) and Z(Λ) k[[z 1, z 2,..., z r ]]/(z i z j ) i j e

15 DESSINS D ENFANTS, SURFACE ALGEBRAS, AND DESSIN ORDERS 15 (2) N(Λ) σ i i=1,...,r kã eq σ i where kã eq σ i is the competion of the hereditary agebra given by the quiver, a σi x 1 a 1 x σi x 2 kã eq σ i : x k+1 x k 1 a k+1 x k a k Proof. (1) Let σ i be the cyce of σ associated to the i th nonzero cyce in the quiver Q/I. Say σ i corresponds to the arrows {a 1, a 2,..., a n(i) }, where n i = σ i. Choosing a distinguished arrow, say a 1, et σ k i be identified with c k = a k a k 1 a 1 a n a n 1 a k+1, the cycic permutation of the arrows in the cyce of σ i. Let z i = n i k=1 c k. Then z i commutes with any arrow b Q 1. Indeed, bz i = b(c 1 + c c ni ) and = bc 1 + bc bc ni bc k = ba k a k 1 a 1 a n a n 1 a k+1 0 ha k = tb, b σ i b = a k+1. From this we gather bc k = c k b and therefore bz i = z i b. Thus, the subagebra k z 1, z 2,..., z r Λ, is commutative with a paths in Q/I, z i z j = 0 if and ony if i j, and so Z(Λ) k[[z 1, z 2,..., z r ]]/(z i z j ) i j. (2) This foows from the definitions. Proof. (Proof of Theorem 6.1): First, the cyce types of the consteation C = [σ, α, φ] are known invariants of the action of the absoute Gaois group. From the structure of Z(Λ) and N(Λ) given in the definition of dessin orders, normaizations, and from the previous Lemma, we can now see that Z(Λ) and N(Λ) are invariants of this action on Λ as we. Aone this does not seem to provide any significant resuts for dessins aside from a reinterpretation of the cyce types of [σ, α, φ] into representation theoretic anguage. We wi study how these invariants aong with projective resoutions of simpe modues recover the dessin entirey and how each encodes the information of [σ, α, φ]. These invariants give some interesting

16 16 A. SCHREIBER impications in the representation theory of the surface agebras and dessin orders as we, but which seem to be considered obvious to experts in representation theory. Exampe 6.3. Take Λ to be the competion of the surface agebra from the foowing quiver with reations I = ba, cb, dc, ed, f e, a f, a x g y b d The we have Z(Λ) k[[z 1, z 2, z 3, z 4 ]]/(z i z j ) i j, and f z e N(Λ) kã eq 1 kãeq 2 kãeq 2 kãeq Projective Resoutions of Simpe Modues We now turn to some more compicated resuts. Here we wi prove that projective resoutions of simpe modues over the dessin order Λ competey recover the dessin, without any other information required. We give an expicite description of such resoutions and we show cassifying dessin orders with given normaization is equivaent to cassifying dessins with given monodromy group. In this section we denote by P a compex of projective modues P 1 P 0 P 1 over some agebra Λ. Let Λ = Λ(C) be an order given by the consteation C = [σ, α, φ]. Theorem 7.1. (1) The indecomposabe projective modues P e = P i, j α have radica k, rad(p e ) = U(σ k+1 i ) U(σ +1 j ) where U(σ q p) P p,q Mod(H p ) is an indecomposabe uniseria Λ-modue and an indecomposabe projective H p -modue. (2) The minima projective resoution of the simpe modue S (α i, j k, ) = S (ei k, e j ) of Λ, corresponding to the vertex α i, j k, = (ei k, e j ) of Q (or equivaenty the edge of the same abeing in Γ(C) connecting vertex σ i and σ j in Γ), is infinite periodic. In particuar the period p of the minima resoution P (α i, j k, ) = P S (α i, j k, ) is exacty the east common mutipe, p(p (i, j)) = cm{ O φ (e i k ), O φ(e j ) }. where O φ (e i k ) and O φ(e j ) are the orbits under the action of φ of ei k and e j on the two anti-cyces (or reations in I) passing through the vertex α i, j k,. (3) The differentias in the minima projective resoution of the simpe modue S (α i, j k, ), dm : P m P m+1, P (α i, j k, ) : Pm P m+1 are given by mutipication by the matrix ( d m a(φm e i := k ) 0 ) 0 a(φ m e j ). where a(φ m e i k ) Q 1 is the arrow with ta = φ m e i k and ta(φm e j ) = φm e j.

17 DESSINS D ENFANTS, SURFACE ALGEBRAS, AND DESSIN ORDERS 17 (4) The syzygies Ω m (α i, j k, ) = ker(dm ) are of the form Ω m (α i, j k, ) = U(φm e i k )) U(φm e j )) The uniseria modues at the vertex φ m e i k and φm e j which are annihiated by eft mutipication by the arrows associated to P(φ m 1 i e i k ) P(φm i e i k ) and P(φm 1 i e j ) P(φ m i e j ) by definition of the reations I. This wi be usefu ater when expaining how to recover a graph embedded in a Riemann surface entirey in terms of the projective resoutions of the simpe modues. Proof. (1) First, α i, j k, = (e i k, e j ) = e, and with fixed abeing of the edges of Γ(C), we have e i k = σk 1 i e i 1, and e j = σ 1 j e j 1, given by the automorphism k σ i σ k i := So, σ i acts on the agebra Λ by eft mutipication of e i j 1 (and therefore ai j 1 ) by the arrow σ i a i j 1 = ai j in the quiver Q(Λ). Notice, this mutipication is aways nonzero since σ i = (e i 1, ei 2,..., ei n i ) is a cycic permutation around the vertex it corresponds to in Γ(C), and there is by definition a unique arrow by which σ acts on a given idempotent e i j 1 (and on ai j 1 ) ying on this cyce corresponding to the hereditary order H i in the puback diagram defining Λ(C). (2) Let P(α i, j j k, ) be the projective cover of S (αi, k, ). From the desription of the radica of P(α i, j k, ) as the two uniseria modues in H corresponding to the idempotents σ ei k and σ e j in H i and H j respectivey, the next term in the resoution is the direct sum of the two indecomposabe projective covers P(φ e i j k ) and P(φ e ) in Mod(Λ). Ceary the kerne of the covering P(φ e j ) U(φ e j ) is exacty the uniseria U(φ2 e j ), and its projective cover is P(φ 2 e j ). The kerne of this covering is U(φ3 e j ). This pattern continues aso for φe i k, and the terms Pm in the resoution are P(φ m e i k ) P(φm e j ). So the terms have indecomposabe direct summands which cyce through the orbit of e i k and e j under the action of φ. The orbits are anti-cyces in I, the idea of reations of the surface agebra, and the pace at which the two cyce meet up at α i, j k, = (e i k, e j ) is exacty p = cm{ O φ (e i k ), O φ(e j ). (3) Since the kerne of the cover of a uniseria P(α i, j k, ) U(ei k j ) is exacty U(σe ) and it is embedded in P(α i, j k, ) as a submodue via mutipication by the arrow a : ha = σei k, we get that the differentia is indeed, d m := (4) This now foows from (1) (3). ( a(φm e i k ) 0 0 a(φ m e j ) ).

18 18 A. SCHREIBER Coroary 7.2. Cassifying a 3-consteations with a fixed cyce types [λ 1, λ 2, λ 3 ] is equivaent to cassifying a dessin orders with the same normaization, or equivaenty a surface agebras with the same cyce decomposition with respect to σ or φ. In particuar, the resoutions of simpe modues over Λ competey encode the information given by [σ, α, φ]. The normaization competey encodes σ, and the puback diagram competey encodes the information given by α. Exampe 7.3. Let C = [σ, α, φ] be given by σ = (1, 4)(2, 3), α = (1, 3)(2, 4), φ = (1, 2)(3, 4), then χ(c) = 2 and g(c) = 0. The embedded graph can be represented by the equator of the sphere with two vertices on it. Or, if we embed it in the pane: α 1 =(1,3) φ 2 = (3, 4) σ 2 = (2, 3) φ 1 = (1, 2) σ 1 = (1, 4) The quiver which comes from this graph is α 2 =(2,4) α 1 = (1, 3) a 1 b 1 a 2 b 2 α 2 = (2, 4) The associated matrix data is λ 11 x λ λ Λ = 21 λ λ 33 x λ 34 λ i j k[[x]], λ 22 = λ 33 (mod x) 0 0 λ 43 λ 44 With normaization H = {( ) ( ) λ11 x λ 12 µ11 x µ } 12 λ λ 21 λ 22 µ 21 µ i j, µ k k[[x]] 22 and the puback diagram is given by the reation (1, 2) (2, 1), m = (2, 2). The projective resoution of the simpe S (α 1 ) has the foowing form a 1 0 a 2 0 a b 1 0 b 2 0 b 1 P(α 2 ) P(α 2 ) P(α 1 ) P(α 1 ) P(α 2 ) P(α 2 ) P(α 1 ) S (α 1 )

19 DESSINS D ENFANTS, SURFACE ALGEBRAS, AND DESSIN ORDERS More Exampes Let us iustrate once more by a few exampes. Exampe 8.1. We wi compute the center and normaization, and describe some of the projective resoutions of simpe modues of severa dessin orders corresponding to two dessins in the the same orbit of G(Q/ Q), and two others in a different orbit. We first compute the projective resoutions of the simpe modues, which give us the information for φ as we as α. Let us use the foowing shorthand for the indecomposabe projective modue P(e) corresponding to an edge of Γ, we identify e = (e i k, e j k ) = αi, j k,. Let C 1 = [σ, α, φ], where σ = (1)(2, 3)(4, 5)(6, 7, 8, 9)(10)(11)(12, 13)(14) α = (1, 2)(3, 4)(5, 6)(7, 10)(8, 11)(9, 12)(13, 14) σ 8 σ 7 σ 5 σ 4 σ 3 σ 2 σ 1 σ 6 and et S (e) = S (α 1 ) = S (1, 2) be the simpe modue at the edge e = (1, 2). Then the resoution has the foowing form (1, 2) (3, 4) (1, 2) (1, 2) (3, 4) (1, 2) (1, 2) S (1, 2) (7, 10) (8, 11) (7, 10) (7, 10) (5, 6) (7, 10) (3, 4) (5, 6) (13, 14) (13, 14) (9, 12) (13, 14) (8, 11) (9, 12) (8, 11) (8, 11) (3, 4) (1, 2) (5, 6) (3, 4) (9, 12) (5, 6) (13, 14) (9, 12) For C 2 = [σ, α, φ ], where σ = (1)(2, 3)(4, 5)(6, 7, 8, 9)(10, 13)(11)(12)(14) α = (1, 2)(3, 4)(5, 6)(7, 10)(8, 11)(9, 12)(13, 14) we have σ 7 σ 5 σ 4 σ 3 σ 2 σ 1 σ 8 σ 6 Now, the resoution of the simpe modue S (1, 2) has the foowing form, (1, 2) (3, 4) (1, 2) (1, 2) (3, 4) (1, 2) (1, 2) S (1, 2) (13, 14) (13, 14) (7, 10) (13, 14) (5, 6) (7, 10) (3, 4) (5, 6) (8, 11) (9, 12) (8, 11) (8, 11) (7, 10) (8, 11) (13, 14) (7, 10)

20 20 A. SCHREIBER (3, 4) (1, 2) (5, 6) (3, 4) (9, 12) (5, 6) (9, 12) (9, 12) Let C 3 correspond to, σ 7 σ 5 σ 4 σ 3 σ 2 σ 1 σ 8 σ 6 So, C 3 = [σ, α, φ ], where σ = (14)(1, 13)(2, 3)(4, 5)(6, 7, 8, 9)(10)(11)(12) α = (1, 2)(3, 4)(5, 6)(7, 10)(8, 11)(9, 12)(13, 14) The resoution of S (1, 2) is, (13, 14) (3, 4) (1, 2) (13, 14) (3, 4) (13, 14) (1, 2) S (1, 2) (5, 6) (8, 11) (3, 4) (7, 10) (1, 2) (7, 10) (13, 14) (5, 6) (8, 11) (5, 6) (8, 11) (9, 12) (7, 10) (9, 12) (7, 10) (8, 11) (3, 4) (13, 14) (5, 6) (13, 14) (9, 12) (1, 2) (9, 12) (3, 4) Now et C 4 correspond to, σ 7 σ 5 σ 4 σ 3 σ 2 σ 1 σ 8 σ 6 So, C 4 = [σ, α, φ ], where σ = (14)(1, 13)(2, 3)(4, 7, 5, 9)(6, 8)(10)(11)(12) α = (1, 2)(3, 4)(5, 6)(7, 10)(8, 11)(9, 12)(13, 14) Then we have the resoution of S (1, 2), (13, 14) (3, 4) (1, 2) (1, 2) (3, 4) (13, 14) (1, 2) S (1, 2) (7, 10) (8, 11) (3, 4) (5, 6) (1, 2) (7, 10) (13, 14) (7, 10) (8, 11) (9, 12) (8, 11) (9, 12) (5, 6) (5, 6) (7, 10) (8, 11) (3, 4) (13, 14) (9, 12) (13, 14) (9, 12) (1, 2) (5, 6) (3, 4)

21 DESSINS D ENFANTS, SURFACE ALGEBRAS, AND DESSIN ORDERS 21 In a four cases, for m = 1,..., 4, we have Z(Λ m ) k[[z 1,...z 8 ]]/(z i z j ) i j, and 4 ( ) 3 ( ) ( ) N(Λ m ) n=1 kã eq 1 However, it is known that C 1 and C 2 ie in a quadratic Gaois orbit, as do C 3 and C 4. In other words the center and normaization are necessariy isomorphic if two dessins ie in the same orbit, but an isomorphism does not impy they are in the same orbit. This is where the pu-back diagrams and the projective resoutions come in handy. In particuar, Let A(n) = kã eq n be the competion of the hereditary agebra A eq n. We mentioned in the definition of the pu-back diagrams defining dessin order that different choices of π p and π q may ead to nonisomorphic orders. This is where the information given by α ies, in the choices of π p and π q Ω p,q π p n=1 Ω p kã eq 2 kã eq 4 π q π p Ω q π q Ω. which is in genera different and non-isomorphic for different choices of π p and π q. In the case of competions of path agebras for the above four dessins, the diagrams are of the form where H = N(Λ m ). π 2 Λ m Λ m / rad(λ m ) = k 7 π 1 H m π p H / rad(h) = k 14 π q Exampe 8.2. Let us return to the consteation c 4 = [σ, α, ϕ] 4, given by σ = (1, 8, 3, 6)(2, 5, 4, 7), α = (1, 5)(2, 6)(3, 7)(4, 8), ϕ = (1, 2, 3, 4)(5, 6, 7, 8) χ(c 4 ) = , g(c 4 ) = 1. The symmetry of this dessin is refected in the projective resoutions. In particuar, they are a infinite periodic of period 4. Let us choose the foowing abeing, Let S (1, 5) = S (1) be the simpe modue corresponding to vertex 1 in the quiver with reations. Then the projective resoution has the foowing form S (1) P(1) P(2) P(2) P(3) P(3) P(4) P(4) P(1) P(1) P(2) P(2) The dessin can be embedded on the torus as foows,

22 22 A. SCHREIBER (1, 8, 3, 6) (2, 5, 4, 7) (1, 8, 3, 6) (1, 2, 3, 4) (5, 6, 7, 8) (1, 8, 3, 6) (2, 5, 4, 7) (1, 8, 3, 6) In our shorthand given in terms of α from previous exampes, the resoutions ooks ike, S (1, 5) (1, 5) (2, 6) (2, 6) (3, 7) (3, 7) (4, 8) (4, 8) (1, 5) (1, 5) (2, 6) (2, 6) The pu-back diagram for the dessin order is, Λ Λ/ rad(λ) = k 4 ( where H = kã eq 4 ) ( kã eq 4 ). H H / rad(h) = k 8 9. Concuding Remarks At this point the study of the reationship between dessins d enfants and what we have defined as dessin orders and surface agebras shoud be justifiabe and the representation theoretic and homoogica toos avaiabe once quivers and orders have been associated to a dessin in such a way are numerous. Many questions can be asked at this point which beg answers. In particuar, what information about the dessin is refected in the modue category of a dessin order? What about the derived category of the modue category? Ceary with ony the projective resoutions of the simpe modues we may competey recover the dessin without any other information. So in some sense, cassifying properties of dessins can be expected to have a reformuation in representation theoretic or homoogica terms. One might ask what dessins have derived equivaent dessin orders. What properties of symmetry of dessins are refected in the derived category? How does covering theory of dessins transate into the representation theory? We have some answers to some of these questions which we pan to incude in a foowup paper where we setup a covering theory and study automorphisms of surface agebras and dessin orders, and an associated action of the Artin braid group. References [CB] W. Crawey-Boevey Cassification of Modues for Infinite Dimensiona String Agebras, Preprint arxiv: v2. [GP] I.M Ge fand, V.A. Ponomarev. Indecomposabe Representations of the Lorentz Group. Uspehi Mat. Nauk 23 (1968) no. 2 (140), 3-60 [LZ] S. K. Lando, A. K. Zvonkin Graphs on Surfaces and their Appications, Appendix by D.B. Zagier, Springer- Verag Berin-Heideberg (2004). [R1] C.M. Ringe. Indecomposabe Representations of the Dihedra 2-Group. Math. Ann. 214, (1975), Springer- Verag.

23 DESSINS D ENFANTS, SURFACE ALGEBRAS, AND DESSIN ORDERS 23 [RR] C.M. Ringe, K. W. Roggenkamp Diagrammatic Methods in the Representation Theory of Orders. Journa of Agebra 60, (1979). [Ro1] K. W. Roggenkamp Bocks with cycic defect and Green-orders. Comm. Agebra 20 (1992), [Ro2] K. W. Roggenkamp Generaized Brauer Tree Orders. Cooquium Mathematicum Vo. 71 (1996) No 2 [Z] L. Zapponi What is...a Dessin D enfant?. Notices of the AMS (2003). E-mai address: ameie.schreiber.math@gmai.com