BASES GENERICAS PARA ALGEBRAS DE CONGLOMERADO PROVENIENTES DE SUPERFICIES

SALOMON DOM INGUEZ DE LA CRUZ Resumen. Los lgebras de conglomerados provenientes de un dato a de Coxter tienen una base que consiste de ciertos elementos del dual de la base semicannica correspondiente. Esta base contiene o todos los monomios de conglomerado [7]. En un trabajo reciente de Geiss, Leclerc y Schrer [8] se demostr que esta los elementos o o de esta base se pueden describir como los valores genricos de un e carcter de conglomerado correspondiente a un potencial genrico a e asociado a este dato combinatorio. Aparte de los lgebras de conglomerado de este tipo los lgea a bras de conglomerado provenientes de supercies con pinchaduras, introducidas por Fomin, Shapiro y Thurston [6] son las ms esa tudiadas. Tambin se conoce carcajes con potencial genrico en e e muchos casos gracias a los trabajos de Labardini. En muchos casos los lgebras Jacobianas correspondientes son de tipo de representaa cin manso. Esto debe de permitir estudiar el anlogo de los bases o a genricas en estas situacin expl e o citamente. Se sabe que estos elementos son linealmente independientes y que pertenecen al lgebra a de conglomerado superior. Queremos ver, para cuales representantes de esta clase de lgebras de conglomerado obtenemos de esta a forma tambin una base. e

1.

Algebras de Conglomerado

Algebras de conglomerado fueron introducidas por Fomin y Zelevinsky con el n de crear una herramienta combinatoria para el estudio de bases cannicas y de fenmenos de positividad total. o o En palabras simples, son ciertas algebras conmutativas cuyas gene radores (las variables de conglomerado) estan agrupados en conglomerados que se denen de forma recursiva y la recursin genera a la vez o las relaciones. Los monomios de conglomerado son monomios en variables de conglomerado que pertenecen todas al mismo conglomerado. Se sabe que en muchas situaciones los monomios de conglomerado forman una familia linealmente independiente, y una de las preguntas centrales es como completarlos de forma natural a una base del lgebra de a conglomerado.
1

SALOMON DOM INGUEZ DE LA CRUZ

Sea G el grupo de Kac-Moody (maximal) asociado a una matriz de Cartan A generalizada simtrica, y B G su subgrupo de Borel e estndar, ver e.g. [9, VI]. Para cada elemento w del grupo de Weyl a se tiene un subgrupo de dimensin nito y unipotente N (w) de B. o El anillo de coordenadas C[N (w)] tiene una estructura de algebra de conglomerado natural, y parte del dual de la base semicannica de o U (n) forma una base Sw de C[N (w)] que contiene a los monomios de conglomerado [7]. Aqu U (n) es la envolvente universal de la parte , positiva n del lgebra de Lie de tipo Kac-Moody asociado a la matriz a de Cartan A arriba mencionada. Cabe mencionar que en [7] el estudio de la geometr de representaciones del algebra preproyectivo asociado a a la matriz de Cartan es crucial. 2. Bases Genericas

Por otro lado, mucho de la informacin relevante de un lgebra de o a conglomerado se puede recuperar del carcaj asociado Q y un potencial genrico S, o ms bien del lgebra Jacobiano P(Q, S), ver [4], [5]. e a a En un trabajo reciente [8] se logro en la situacin de Coxter arriba o mencionada, transferir la informacin geomtrica del algebra preproo e yectiva al lenguaje de carcajes con potencial. En particular se puede expresar la base dual semicannica en trminos de representaciones de o e un P(Q, S) determinado. Esto motiva la pregunta si una construccin o similar tambin puede producir una base con propiedades similares en e otras situaciones. Plamondon ha anunciado que efectivamente tales elementos forman una familia linealmente independiente en el lgebra de a conglomerado superior bajo hipoteses bastante generales. 3. Superficies con pinchaduras

Aparte de los algebra de conglomerado asociados a un dato Coxter (A, w) como en la seccin anterior hay una segunda clase de algebras o de conglomerado bien estudiada, [1],[2],[11]. Se trata de las lgebras de a conglomerado asociadas a una supercie riemanniana orientada (posiblemente con borde) M con una conjunto P de puntos marcados en la cerradura M de M . Estas algebras de conglomerado fueron introdu cidas en [6], motivadas por preguntas en la teor de Teichmller. Un a u poco simplicando, se puede decir que las variables de conglomerado corresponden a clases de arcos que conecten los puntos en P y conglomerados son triangulaciones de M , siendo P el conjunto de vrtices. e Estas lgebras tambin se pueden describir expl a e citamente en trminos e de carcajes con potenciales [10]. En los casos cuando P M \ (M ) =

 BASES GENERICAS

(es decir los puntos marcados no son pinchaduras) las algebras Jacobia nas P(Q, S) resultan ser gentiles [1] (en particular mansas). Tambin e hay otras familias de supercies donde la teor de representaciones a esta bien entendida. Nuestro proyecto consiste ahora en calcular en estos casos de supercies con puntos marcados bien entendidos (sin pinchaduras) expl citamente los candidatos a una base genrica. Esto debe ser factible pore que esencialmente se tienen que calcular caracter sticas de Euler de grassmanianas de carcaj para las representaciones de P(Q, S). En esta situacin (cuando P(Q, S) es gentil) hay muchas herramientas para o esto. Por ejemplo t picamente en esta situacin hay una accin de un o o toro sobre la grassmaniana de carcaj que permite reducir el clculo a de caracter stica de Euler a un problema combinatorio. Esto se debe a la descripcion de las representaciones, ya clsica [3], de los lgebras a a gentiles. Otro aspecto interesante es que la interseccin con la clase de lgebras o a de conglomerado proveniente con un dato de Coxter (A, w) no es vac a. Es decir que en algunos casos se debe de obtener a fuerzas un resultado positivo debido a los resultados mencionados en la seccin anterior. o Referencias
[1] I. Assem, Th. Brstle, G. Charbonneau-Jodoin, P.G. Plamondon: Gentle alu gebras arising from surface triangulations, arXiv:0903.3347v2[math.RT]. [2] Th. Brstle, Jie Zhang: On the Cluster Category of a Marked Surface, arXiv: u 1005.2422v1[math.RT] [3] M. Butler, C.R. Ringel: Auslander-Reiten sequences with few middle terms and applications to string algebras, Comm. Algebra 15 (1987), 145179 [4] H. Derksen, J. Weyman, A. Zelevinsky: Quivers with potentials and their representations I: Mutations, Selecta Math. (N.S.) 14 (2008), 59119. [5] H. Derksen, J. Weyman, A. Zelevinsky: Quivers with potentials and their representations II: Applications to cluster algebras, J. Amer. Math. Soc. 23 (2010), 749-790. [6] S. Fomin, M. Shapiro, D. Thurston: Cluster algebras and triangulated surfaces. Part I: Cluster complexes, Acta Math. 201 (2008), 83146. [7] Ch. Geiss, B. Leclerc, J. Schrer: Kac-Moody groups and cluster algebras, o arXiv:1001.3545v2[math.RT], aceptado en Adv. Math. [8] Ch. Geiss, B. Leclerc, J. Schrer: Generic bases for cluster algebras o and the Chamber Ansatz, arXiv:1004.2781v2[math.RT], aceptado en J. Amer. Math. Soc. [9] Sh. Kumar: Kac-Moody Groups, their Flag Varieities and Representation Theory, Progress in Math. 204, XV+606 pp., Birkhuser 2004. a [10] D. Labardini-Fragoso: Quivers with potentials associated to triangulated surfaces, Proc. London Math. Soc. 98 (2009), 797-839. [11] G. Musiker, R. Schier, L. Williams: Positivity for cluster algebras from surfaces, arXiv:0906.0748v1[math.CO]