Introducci

on
En este trabajo plantearemos las bases para definir representaciones de arco
en una superficie de Riemann la cual es compacta con frontera no vaca y
puntos marcados respecto de una triangulacion dada de .
En el primer captulo recordaremos conceptos basicos sobre triangulaciones
de superfies y sus flips definidos por S. Fomin, M. Shapiro, D. Thurston en [3],
a dem
as de como asignar un carcaj con potencial a una triangulacion de .
En el segundo captulo recordaremos la definicion de mutacion de representaciones introducidas por H. Derksen, J. Weyman y A. Zelevinsky en [1] a demas
del concepto de representacion de arco introducidas por Labardini-Fragoso en
[6] para arcos en una triangulacion sin etiquetas de .
Por u
ltimo en el tercer captulo recordaremos los conceptos de triangulaciones etiquetadas introducidas en [3], a demas de el carcaj y el potencial de una
triangulaci
on etiquetada y Labardini-Fragoso prueba en [7] la compatibilidad
del flip con la mutaci
on de carcajes con potencial.
Pretendemos extender el concepto de representacion de arco definido por
Labardini-Fragoso en [6] para triangulaciones ideales a triangulaciones etiquetadas de una forma que sea compatible con mutaciones y respectivamente flip.
En particular, nuestras representaciones seran inescindibles.
Asumimos que el lector sea familiarizado con las nociones basicas de carcajes
con potencial y sus mutaciones. Ver por ejemplo [1].

Indice
1. Triangulaciones de Superficies y sus Flips.
1.1. El Potencial de una Triangulacion. . . . . . . . . . . . . . . . . .

3
5

2. Representaciones de Carcajes con Potencial.

2.1. Representaci
on de arco. . . . . . . . . . . . . . . . . . . . . . . .

7
8

3. Triangulaci
on Etiquetada.

11

1.

Triangulaciones de Superficies y sus Flips.

Recordemos algunos conceptos de H. Derksen, J. Weyman y A. Zelevinsky en

[1] y S. Fomin, M. Shapiro, D. Thurston en [3].
Definici
on 1.1. Una Superficie con frontera y puntos marcados es un par
(, M ), donde es una superficie de Riemman orientada, compacta, conexa
y con frontera, donde M es un conjunto finito de puntos en llamados puntos
marcados, tal que M 6= y tiene al menos un punto de M en cada componente
conexa de la frontera. A los puntos marcados en el interior de les llamaremos
pinchaduras.
NOTA:Siempre supondremos que no es:
1. Una esfera con menos de 5 pinchaduras.
2. Un monogon, digon, o un triangulo sin pinchaduras.
3. Un monogon con una pinchadura.
Entenderemos por un monogon (respectivamente digon, triangulo) como un disco con exactamente un(dos, tres) punto(s) marcado en la frontera.
Definici
on 1.2. Sea (, M ) una superficie con frontera y puntos marcados. Un
arco ordinario en (, M ) es una curva i que cumple lo siguiente:
1. Los puntos extremos de i son puntos en M .
2. i no se autointersecta, excepto en sus extremos, los cuales podran coincidir.
3. El interior relativo de i es disjunto de M y de la frontera de .
4. i no corta un monogon, ni un digon sin pinchaduras
Denotaremos al conjunto de clases de isotopa de arcos en (, M ) por Ao (, M )
y decimos que dos arcos son compatibles si en sus respectivas clases existen
arcos que no se intersectan en su interior.
Definici
on 1.3. Una triangulaci
on ideal de (, M ) es cualquier coleccion maximal de arcos compatibles dos a dos.
Un tri
angulo 4 se dice que es interior, si la interseccion de 4 con la frontera de
es vacia, o consta de puntos en M , ademas un triangulo se dice doblado si es
de la siguiente forma:

donde i es el lado doblado de 4.

Lo siguiente fue observado primeramente por Fock-Goncharov [2, Seccion 2],
Fomin-Shapiro-Thurston [3, Definicion 4.1] y Gekhtman-Shapiro-Vainshtein [4,
Secci
on 3.2].
Sea una triangulaci
on ideal de (, M ), consideramos un arco i que no es el
lado doblado de alg
un tri
angulo doblado, entonces existe un u
nico arco j tal
que = { {i}} {j} es una triangulacion ideal. Una observacion importante
es que no es posible hacr el flip del arco i en la figura anterior.
El objetivo en esta secci
on es asociar un carcaj con potencial a una superficie
que cumpla las hip
otesis mensionadas anteriormente.
Empezemos por asociar un carcaj a (, M ), en las piezas de rompecabezas se
define de la siguiente manera;

y con esto se puede extender a toda triangulacion , pues cada triangulacion se

puede obtener pegando estas piezas, ver [5, Figura 13];
El siguiente resultado es una consecuencia directa de los conceptos anteriores y
es de S. Fomin, M. Shapiro, y D. Thurston, ver [3, Proposicion 4.8].
Teorema 1.4. Sean y dos triangulaciones de (, M ). Si se obtiene de
mediante el flip en un arco i, entonces Q() = i (Q( )). Es decir, si y
son dos triangulaciones ideales de tal forma que est
an relacionadas por el flip
en el arco i, entonces los carcajes asociados a y est
an relacionados por la
mutaci
on en el vertice i.

1.1.

El Potencial de una Triangulaci

on.

En la secci
on anterior asociamos un carcaj a una triangulacion. La definicion del
siguiente potencial aparece en el [5] y fue introducido por Labardini-Fragoso.
Definici
on 1.5. Sea una triangulacion de (, M ) y RhhQ( )ii el algebra
completa de caminos, asociamos a un potencial S( ) RhhQ( )ii como sigue;
e )
1. Cada tri
angulo interior no doblado 4 de nos aporta un triangulo en Q(
orientado en el sentido de las manecillas del reloj, sea S 4 tal triangulo.
2. Si el tri
angulo interior no doblado tiene lados j, k, l tal como se muestra
en la figura siguiente;
b4

i
b5

b1

i
p

b2

a1

l
a

a2

b3

k
k
entonces definimos Te4 = b2 b3 b4 , por otro lado si es adyacente a menos de
dos tri
angulos doblados entonces Te4 = 0.
3. Si p es adyacente a exactamente un arco i de entonces i es el lado doblado
de alg
un tri
angulo doblado en (en el caso que k y l son arcos que no
pertenecen a la frontera), entonces Sep = ab1 b2 .

i
b2

b1

l
k

l
a2

a1
j
a

4. Si una pinchadura p es adyacente a mas de un arco, borrando todos los

lazos adyacentes a p que encierran al triangulo doblado, las flechas restantes forman un u
nico cclo ap1 , ..., apd alrededor de p orientado encontra de las manecillas del reloj definida por la orientacion de ,definimos
Sep = ap1 , ..., apd salvo equivalencia cclica.
e ) RhhQii de esta definido por:
El potencial no reducido S(
X
X
e )=
S(
(Se4 + Te4 ) +
Sep
4

pP

donde la primera suma corre sobre todos los triangulos interiores no doblados.
e ), S(
e )).
Finalmente definimos (Q( ), S( )) como la parte reducida de (Q(
El siguiente teorema es de Labardini-Fragoso y se pueden encontar en [5, Teorema 30], para la definici
on de equivalencia derecha para carcajes con potencial
ver [1, Definici
on 4.2].
Teorema 1.6. Sean y triangulaciones ideales de una superficie con puntos marcados (, M ). Si y est
an relacionadas por un flip en el arco i,
entonces los carcajes con potencial i (Q( ), S( )) y (Q( ), S( )) son equivalentes derechos, es decir que (Q( ), S( )) y (Q(), S()) est
an relacionados por la
mutaci
on de carcaj con potencial en el vertice i.

2.

Representaciones de Carcajes con Potencial.

Recordemos que para un carcaj con potencial (Q, S), una representaci
on nilpotente M de (Q, S) es dada por:
1. Una familia (Mi )iQ0 donde cada Mi es un Kespacio vectorial de dimensi
on finita.
2. Una familia (aM : Mt(a) Mh(a) )aQ1 de transformaciones Klineales
que son anuladas por {a (S)|a Q1 }, para el cual existe un entero 1 r
con la propiedad que la composicion a1M , ..., arM es identicamente cero
para cada rcamino a1 , ..., ar en Q.
Nota:El mapeo lineal (aM : Mt(a) Mh(a) )aQ0 inducido por la multiplicaci
on izquierda de a lo denotaremos por Ma y denotaremos por uM al mapeo lineal M M inducido por la multiplicacion de un elemento arbitrario
u RhhQii.
0

Definici
on 2.1. Sean (Q, S) y (Q , S ) carcajes con potencial en el mismo
0
0
0
0
conjunto de vertices, y sean M = (Q, S, M ) y M = (Q , S , M ) dos repre0
sentaciones. Una pareja (, ) es unaequivalencia derecha entre M y M si
satisface las siguientes condiciones:
0

1. : RhhQii RhhQ ii es una equivalencia derecha de carcajes con po0

0
tencial entre (Q, S) y (Q , S ).
0

2. : M M es un isomorfismo de espacios vectoriales que cumple

um = (u) para todo u RhhQii
Ahora toca el turno de definir el concepto de mutacion para representaciones;
Sea (Q, S) un carcaj con potencial, si fijamos un vertice j de tal manera que no
hay 2-cclos incidentes en j, denotaremos a1 , ..., as (analogo b1 , ..., bt ) las flechas
que terminan en j(an
alogamente empezando en j).
Tomando una representaci
on M = (Q, S, M ) y definiendo,
Min :=

s
M

Mt(ak ) , Mout :=

k=1

t
M

Mh(bl ) .

l=1

la multiplicaci
on por las flechas a1 , ..., as y b1 , ..., bt induce mapeos Klineales;

b1

a = aM = [a1 ...as ] : Min Mj , b = bM = ... : Mj Mout .

bt
para cada k y l sea ck,l : Mh(bl ) Mt(ak ) el mapeo lineal dado por la multiplicaci
on de la matriz cuyas entradas son [bl ak ] ([S]), entonces obtenemos un
mapeo lineal c = cM : Mout Min , dado que M es un P(Q, S) modulo
tenemos que ac = 0 = cb.
7

Por otro lado, definimos el espacio vectorial M i = Mi para i Q0 si i 6= j y

Mj =

Ker c
Ker a
Im c
Im b
Im c
M

Ahora definamos la acci

on en las flechas de
ej (Q) en M =

M i como sigue;

iQ0

si c es una flecha de Q no incidente en j entonces cM = cM y para cada k, l

tenemos [bl ak ]M = (bl ak )M = blm akm , ahora para definir la accion en las flechas
restantes elegimos un mapeo : Mout Ker c tal que la composicion es la
a
identidad en Ker c y un mapeo : Ker
on
Im c Ker a tal que la composici
es la correspondiente identidad. Entonces tenemos ;

a1

..

a = [b1 , ..., bt ] = c : Mout M j , . = b = [0 ] : Mj M in

0
as

con lo hecho en la parte anterior obtenemos la premutacion, y la mutacion es la

parte reducida.

2.1.

Representaci
on de arco.

Sean (, M ) una superficie con frontera, puntos marcados y con conjunto de

pinchaduras P . El concepto de representacion de arco lo introdujo LabardiniFragoso en [6, Secci
on 4], veamos mediante un ejemplo como calcular la representaci
on de (Q( ), S( )) asociada aun arco i para una trianulacion .
Sea un octa-gon (es decir, un disco con 8 puntos marcados en la frontera)
con dos pinchaduras, una triangulacion de (arcos de color verde) y Q( ) el
carcaj asociado a , como se muestra en la figura siguiente;

t1

g2

h1
m2

n2

a2
m

d1
m1
n1

g1

l1
q1

p2

a1
t

Q( ) =
a3

q3

b3

b2

s2

f2

r2

f1
q2

r1
s1

d2

p1

n
a4

q
p a5

b1

El potencial asociado es S( ) = a5 a4 a3 a2 a1 b3 b2 b1 + c + e.
Sea i el arco (rojo) al cual le queremos calcular la representacion. Para cada
vertice j de Q( ) asociamos el espacio vectorial K nj , donde nj es el n
umero
de veces que el arco i corta al arco j, y para cada flecha de Q( ) asociamos
la transformaci
on K-lineal T en su forma matricial de la siguiente manera;
Sean j1 , ..., jn y k1 , ..., km los puntos de corte del arco i con los arcos j y k
8

respectivamente, colocamos un 1 en la entrada ab de la matriz si y solo si el

segmente [ja , kb ] de i no corta a ning
un otro arco de la triangulacion, y cero si
corta a alg
un arco de la riangulacio
n.
Con lo anterior podemos ver que una representacion de i es la siguiente;

1
0

K2

0
1

I2

K2

I2

K2
I2

K3
K 24
2

3
0
1 5
0

I2
0

2
4

1
0
0

K2

0
1
0

K2

3
0
0 5
1

I2

K2

a la cual denotaremos por m(, i), pero la representacion anterior podra no ser
anulada por las derivadas, por lo cual necesitamos las 1-desviaciones (las flechas
azules), las cuales se codifican en las matrices desviacion cuyas filas y columnas
est
an indexadas por los cortes del arco i con el arco j, donde j es el arco en el
cual la 1-desviaci
on tiene su extremo final, esta matriz tiene 1s en la diagonal
y si nos fijamos en el corte de j en el cual el segmento [ja , kb ] de i no corta a
ningun otro arco de la triangulacion y kb es el punto inicial de una 1-desviacion,
la matriz de desviaci
on en la columna a tendra un 1 en la fila donde se encuentre
el extremo final de una 1-desviacion.
En vista de lo anterior sean;



1 1 0
1 1
D1 =
y D2 = 0 1 0
0 1
0 0 1
las matrices de desviaci
on asociadas a d1 y d2 . Definimos una nueva representaci
on M (, i) la cual solo va a diferir de m(, i) en la accion de las flechas
paralelas a las 1-desviaciones, es decir en nuestro caso la accion de c y e. En la
representaci
on M (, i) las acciones en dichas flechas estaran dadas por D1 Tc y
D2 Te , donde Tc y Te son las transformaciones lineales en m(, i). Por lo tanto
nuestra representaci
on M (, i) es:

1
0

K2

1
1

I2

K2

I2

K2
I2

K3
K 24
2

3
0
1 5
0

I2
0

2
4

1
0
0

K2

1
1
0

K2

3
0
0 5
1

I2

K2

Este caso est

a cubierto por la construccion de Labardini-Fragoso en [5] y basta
realizar un par de calculos para checar que la representacion es nilpotente y
cumple con las relaciones jacobianas.
Con la denifici
on anterior Labardini-Fragoso demostro en [6, Teorema 6.5] la
compatibilidad entre el flip y la mutacion de representaciones.

10

3.

Triangulaci
on Etiquetada.

En la primera secci
on de este trabajo recordamos lo que es el flip de un arco
en , pero solo para arcos que no son el lado doblado de un triangulo doblado,
ahora en el sentido de extender ese concepto a cualquier arco de la triangulacion
recordemos algunos conceptos de [3, Seccion 9.3].
En la siguiente definici
on pensaremos a cada arco de la triangulacion seccionado
en tres partes iguales, las cuales son, la parte central que consiste solo de interior
del arco y las otras dos partes son las que contiene a los extremos del arco, en
estas ultimas colocaremos las etiquetas.
Definici
on 3.1. Sea (,M) una superficie con puntos marcados y una triangulaci
on de . Un arco etiquetado es un arco tal que los extremos an sido etiquetados, ya sea plain o notched y que cumplen las siguientes condiciones:
i) El arco no corta a un monogon con una pinchadura.
ii) Sea i es un arco con extremos en la frontera de la superficie entonces ambas
etiquetas ser
an plain.
iii) Ambos extremos de un lazo tendran la misma etiqueta.
En la figura la etiqueta plainsera omitida, mientras que la etiqueta notched
estar
a representada por 1.
Notemos que cualquier triangulacion de una superficie la podemos ver como una
triangulaci
on etiquetada de la siguiente manera:
Si es un arco que no corta a un monogon con una pinchadura, entonces en
la triangulaci
on sera el mismo arco con etiqueta plain en ambos extremos,
por otro lado si es un lazo basado en un punto marcado a tal que existe un
punto marcado b en el interior, como se muestra en la figura siguiente;

entonces reemplazamos a por el arco etiquetado cuyos extremos son a y b y

sus etiquetas en el extremo a es plain y en el extremo b es notched y lo
denotaremos sin perdida de generalidad como .
11

Denotaremos al conjunto de todos los arcos etiquetados por A1 (, M ) y al

conjunto de arcos como Ao (, M ).
Los siguientes conceptos los introdujo Labardini-Fragoso en [7, Seccion 2].
Definici
on 3.2. Sea : P {1, 1} una funcion donde P es el conjunto de
pinchaduras, definimos la funci
on t : Ao (, M ) A1 (, M ) como sigue;
i) Si el arco i no es un lazo que encierra un monogon con una pinchadura,
la versi
on sin etiquetas de t (i) es i y es etiquetado notched si y solo si
el correspondiente punto marcado es un elemento de P y toma el valor
de 1 en dicho punto marcado.
ii) Sea i un lazo basado en un punto marcado q que encierra a un monogon
con una pinchadura, siendo p la pinchadura dentro del monogon, entonces
t (i) es el arco que conecta los puntos p y q y el extremo en q es etiquetado
con notchedsi y solo si q P y (q) = 1, ademas en la pinchadura p
es etiquetada notchedsi y solo si (p) = 1.
Sea una triangulaci
on de (, M ), definamos la signatura de como la funcion
: P {1, 1, 0} dada por:

1
1
(p) =

Si el extremo de cada arco incidente en p tienen etiqueta .

Si el extremo de cada arco incidente en p tienen etiqueta 1.
en otro caso.

Definici
on 3.3. Sea una triangulacion de (, M ), definamos la signatura
debil de como la funci
on:

1
Si (p) {0, 1}
(p) =
1
en otro caso.
Queremos definir el potencial para la triangulacion etiquetada, para eso solo
nos falta observar que de una triangulacion etiquetada podemos obtener una
triangulaci
on con arcos ordinarios de la siguiente manera;
i) Borramos todas las etiquetas en la pinchadura p con signatura no cero.
ii) Para cada pinchadura p, tal que la signatura es cero, reemplazamos el arco
etiquetado i el cual tiene etiqueta 1 en p, por el lazo que encierra a
la pinchadura p y al arco i.
A la triangulaci
on anterior la denotaremos o .
Definici
on 3.4. Sea una triangulaci
on etiquetada de (, M).
e ) RhhQ(
e )ii asociado a como;
i) Definimos el potencial no reducido S(
X
X
e ) = t ( (Se4 ( o ) + Te4 ( o )) +
S(
( (p)Sep ( o )))

pP

donde la primera suma corre sobre todos los triangulos interiores no doblados de o , y es la signatura debil de .
12

e ), S(
e )).
ii) Definimos (Q( ), S( )) como la parte reducida de (Q(
El siguiente resultado es de Daniel Labardini Fragoso y aparece primeramente
en [7, Teorema 8.1].
Teorema 3.5. Si y son triangulaciones etiquetadas de (, M ) relacionadas por el flip de un arco etiquetado i entonces los carcajes con potencial
i (Q( ), S( )) y (Q(), S()) son equivalentes derechos.
Con el objetivo de extender [6, Teorema 6.5] a un contexto mas general, lo
cual son las triangulaciones etiquetadas, nos vemos en la necesidad de definir
una representaci
on nilpotente en las triangulaciones etiquetadas que cumplan
con las relaciones jacobianas, para lo cual necesitamos analizar localmente las
posibles configuraciones que podran aparecer en .
De acuerdo con [5, Secci
on 3] las posibles configuraciones en que se podran
formar son las siguientes, donde los arcos de color rojo son los lados en el cual
se hizo el pegado con las piezas de rompecabezas ver [5, Figura 13]

13

14

15

Para arcos i que no son arcos etiquetados ya contamos con una posible definici
on y pensamos que no sera muy dificil extender nuestra definicion a arcos
etiquetados, para ejemplificar la definicion lo haremos con un ejemplo.
Sea un tetra-gon (es decir, un disco con cuatro puntos marcados en la frontera)
con dos pinchaduras, una triangulacion etiquetada (de color verde) y Q( ) el
carcaj asociado a como se muestra en la figura siguiente;

g2
c1 h1

a1
k1
a2

g1

Q( ) =

h2
b1

c2

b2

h3d

f1

e1

v
b

c3

a1

b1

a2

h
a3

f
e

b2

El potencial asociado es S( ) = a3 a2 a1 + u + v a2 b1 b2 .
Calculemos la representaci
on del arco i (el arco rojo en la figura anterior), sea
y las flechas del carcaj con extremo en el arco etiquetado y no etiquetado
16

respectivamente, observemos localmente como el arco i gira alrededor de la

pinchadura en a cual tenemos el arco etiquetado. Analizemos la manera que el
arco i corta al arco etiquetado.
Calculemos primeramente T , recorramos el arco i en contra de las manecillas
del reloj (i,e. recorramos i de c2 a c1 ) y T en su forma matricial esta dada
como sigue; primero nos olvidaremos del arco no etiquetado entonces colocamos
un 1 en la entrada a1 c2 y un 1 en la entrada a1 c1 , a demas notenmos
que la secci
on [c3 , k] corta al arco etiquetado entonces colocamos un 1 en
la entrada a2 c3 , por lo tanto se tiene;


1 1
0
T =
0 0 1
Ahora calculemos T , en este caso nos olvidaremos por un momento del arco
etiquetado, de la misma manera recorramos el arco i en ontra de las manecillas
del reloj, y colo camos un 1 en la entrada b1 c2 , a demas notemos que la seccion
[c3 , k] de i corta al arco no etiquetado en b2 entonces colocamos un 1 en la
entrada b2 c3 por lo cual tenemos que ;


0 1 0
T =
0 0 1
Para calcular Tu notemos que la seccion [a2 , k] de i no corta a ning
un otro arco
de la triangulaci
on, en cambio la seccion [aa , k] si lo hace entonces Tu = [0 1].
An
alogamente Tv y con un argumento similar se puede ver que T act
ua como la
transformaci
on lineal cero. Todas las demas transformaciones se calculan como
en la secci
on 2.1 de este trabajo.
Por lo tanto la representaci
on nos queda de la siguiente manera.
K2

K3

0
1

I3

1
0

0
0

K3

1
0

0
1 5
1

K2

K2

Basta hacer unos calculos para ver que satisface las relaciones jacobianas.
Esta definici
on se dedujo a partir de la definicion de Labardini-Fragoso al aplicar
la mutaci
on de representaciones para obtener la nuestra. Por eso pensamos que
tambien sera factible verificar que sean compatibles con mutaciones, y lo cual
seria nuestro resultado principal.

Dr. Christof Geiss H.

Dr. Octavio Mendoza H.

Dr. Raymundo Bautista R.

17

Referencias
[1] H. Derksen, J. Weyman y A. Zelevinsky. Quiver With Potential and Their
Representations I: Mutations. Selecta Math. 14 (2008), No. 1, 59-119. arXiv:0704.0649v4.
[2] V. V. Fock, A. B. Goncharov, Dual Teichmuler and Lamination Spaces. Handbook of Teichmuler theory, vol. I, 647-684, IRMA Lectures
in Mathematics and Theorical Physics 11, Eur. Math. Soc., 2007. arXiv:math.DG/0510312.
[3] S. Fomin, M. Shapiro, D. Thurston. Cluster Algebras and Triangulated Surfaces, Part I: Cluster Complexes. Acta Mathematica 201 (2008), 83-146.
arXiv:mathRa/0608367.
[4] M. Gekhtman, M. Shapiro, A. Vainstein. Cluster Algebras and WeilPatersson Forms. Duke Math. J. 127 (2005) 291311, math.QA/0309138.
[5] D. Labardini-Fragoso.Quivers with potentials associated to triangulated surfaces. Proc. London Mathematical Society (2009) 98 (3): 797-839. arXiv:0803.1328.
[6] D. Labardini-Fragoso. Quivers with potentials associated to triangulated surfaces, part II: Arc representations.arXiv:0909.4100.
[7] D. Labardini-Fragoso. Quiver With Potentials Associated to Triangulated
Surfaces, Part IV: Removing Boundary Assumptions.arXiv:1206.1798.

18

Temario

1.- Triangulaciones de Superficies y sus Flips.

2.- Representaciones de Carcaj con Potencial.

3.- Triangulaciones etiquetadas.

Vo. Bo. Vo. Bo.

________________________________ ___________________________________
Dr. Christof Geiss H. Dr. Octavio Mendoza H.

Vo. Bo.

________________________________ ___________________________________
Dr. Raymudo Bautista R. Salomn Domnguez de la C.