Asignatura: Temas de Conjuntos Ordenados

Profesor: Agustı́n Moreno Cañadas

Estudiante: Julian David Mesa Bueno
Correo: judmesabu@unal.edu.co
Tema: El algoritmo de diferenciación DIII

Algoritmo de diferenciación DIII

Una de las primeras aproximaciones que se tuvo del algoritmo de diferenciación III fue en el trabajo ”An
Algorithm for partially ordered sets with an equivalence relation escrito por Zavadskij” En este se hizo una
aproximación funtorial por primera vez de este problema.

Los algoritmos de diferenciación son la herramienta más importante para poder clasificar posets tanto ordi-
narios como con estructuras adicionales. Por ejemplo Kleiner lo utilizo para deducir un criterio que clasificara
los posets de tipo de representación finita. Estos algoritmos de diferenciación son functores definidos para
reducir la dimensión de los objetos de las categorı́as involucradas en el procedimiento. En 1977 Zavadskij des-
cubrió una variante de este algoritmo, realizándolo sobre un par adecuado de puntos, y lo utilizo para estudiar
los posets de crecimiento finito.

En 1991 Zavadskij introdujo un aparato de diferenciación para posets que consiste en algoritmos de difer-
enciación DI, DII, DIII, DIV y DV este aparato fue utilizado por él y Bondarenko para clasificar posets con
involución y representación de crecimiento finito. Da una serie de casos en los cuales pueden ser aplicados estos
distintos tipo de algoritmos y da una pequeña caracterización funtorial de ellos.

En el trabajo: ”On the apparatus of differentiation DI–DV for posets, del profesor Agustin Moreno y Veron-
ica Cifuentes”: ”Las propiedades categóricas de los principales algoritmos de diferenciación fueron estudiadas
por Gabriel, Zavadskij entre otros. Zavadskij demostró propiedades categóricas del algoritmo de diferenciación
con respecto a un adecuado par de puntos en 1991 que describen también el carcaj Auslander-Reiten de posets
de finito tipo de representación de crecimiento”, mostrando que tanto Gabriel como Zavadskij fueron los grandes
precursores del desarrollo de estos tópicos que en la actualidad son muy aplicados por ejemplo para clasificar
grupos abelianos de rango finito, para analizar tácticas de guerra y particiones en números figurados, o a la
misma topologia de bases de datos entre otras.

Un morfismo f : U −→ V entre representaciones U, V ∈ repP es una transformación k-lineal f : U0 ßV0 tal

quef (Ux ) ⊂ Vx para cada x ∈ P. Si IndP denota un conjunto de representantes de las clases de isomorfismos
de representaciones indescomponibles de repP, entonces el poset P se dice de representación tipo finito si el
conjunto IndP es finito.

Diferenciación con respecto a un par de puntos adecuados (DI)

Zavadskij en 1977 introdujo la generalización del algoritmo de generazación de algoritmo a un punto máximo,
que puede ser aplicado a postes con al menos ancho dos.
Sea P un poset finito entonces un par de puntos (a, b) ∈ P se dice adecuado si:

P = aO + b4 + C

Donde C = {c1 < c2 < ... < cn } es una cadena (eventualmente vacia) incomparable con los puntos a, b

El POSET derivado es un subposet de L tal que:

−
P 0 = P(a,b) = P\C + {a + c1 , ..., a + cn } + {c1 b, ..., cn b} con a + ci = c+
i , ci b = ci

0
0
EL funtor de diferenciación D(a,b) : repP −→ repP(a,b) denotado por : repP −→ repP 0 es definida de la
siguiente manera para un objeto U = (U0 , Ux |x ∈ P) ∈ repP

1
 0
U0 = U0
0
Ua = Ua
0
Uc+ = Ua + Uci 1≤i≤n
i

Uc−i = Ub ∩ Uci
0
Ux = Ux , para algunos puntos x ∈ P
0
ϕ = ϕ, para cada morfismo lineal ϕ : U0 −→ V0

Note que:

0 0
K (a) = K (a, ci ) = k(a), 1≤i≤n
0 0
Si U, V son dos objetos fijos en R = repP, R = repP , entonces ellos denotan R = R(U, V ) y R0 =
R (U 0 , V 0 ), por lo tanto para ideales:
0

Ω = hk(a), K(a, c1 ), ..., K(a, cn )iR , Ω0 = hk(a)iR0 ,

Lemma: Sea P = aO + b4 + C un POSET con una pareja conveniente de puntos (a, b). Entonces el funtor
diferenciación:
0
D(a,b) : R −→ R
definida por las formulas descritas una relacion de equivalencia entre las categorias cociente:

∼ 0
R/Ω −→ R0 /Ω
Esta fue la clasica definición dada por Zavadskij: Ahora se daran las caracteristicas más generales del Algo-
ritmo de diferenciación DIII.

DIFERENCIACIÖN III:

Un par de puntos (a,b) de un POSET (P, θ) se dice adecuada para diferenciación III si P = aO + b4 , donde
a, b esson puntos equivalentes incomparables. En esta situación el POSET derivado (P , θ) se obtiene del poset
(P, θ) como sigue:
1) El punto a se remplaza por una cadena infinita decreciente a1 > a2 > ... y el punto b por una cadena
infinita creciente b1 < b2 , ...
29 Una relación a1 < b1 es agregada con sus relaciones inducidas:

b3

b2
b3

b1
III
P A B A P0
B
(a, b)
a a1

a∼b
a2 ai ∼ bi

a3

2
 3) θ0 se obtiene de θ por borrar la clase {a, b} y añadir la clase {an , bn }, n > 1
La figura ilustra el diagrama de Hasse para esta diferenciación.
Sean los subconjuntos A, B ⊂ P , donde A = aO − a; B = b4 − b. Entonces R y R0 denotan las siguientes
subcategorias de rep(P, θ) y rep(P 0 , θ0 ) respectivamente para n > 1:

n o
R = U ∈ rep(P, θ) tal que Ua+ ⊂ Ub+ ; Ua− = Ua+4 , Ua+ = UA− , UB+ = Ub−

Lo cual es equivalente a afirmar que:

R = U ∈ rep(P, θ) tal queα(a); β(b), γ + (a), γ − (b)



n o
R0 = U ∈ rep(P 0 , θ0 ) tal que Ua+1 ⊂ UB+ ; Ua−n = Ua+n+1

Se considera que las siguientes condiciones son también satisfechas por los objetos en R y R0 :

Ua+ = UA− = UA+ ∩ Ub+

Ua− = 0
0 0
UA− ∩ Ub1+ = Ua+
0
Ub− = Ua+
1
= UB+
0 0
−
Ubn+1 = Ubn+ para n ≥ 1

El algoritmo de diferenciación III 0 : R −→ R0 procede como se muestra a continuación:

U00 = U0
0
UK = UK , para k 6= (an , bn )
0 [n]
U(an ,bn )
= (UB+ , U0 ) ∩ U (a, b) + (0, Ua+ )
0
ϕ =ϕ para cualquier función lineal ϕ : U0 −→ V0

Sea λ ∈ k[x] un polinomio irreducible de un grado l ≥ 1 diferente de x. Se va a denotar por α(λ, n) un

indescomponible de la categoria R, dado por la colección de matrices {Mx : x ∈ P} con Mx = ∅ si x 6= a, b; Mb
es una matriz unitaria de orden ln y M es una matriz indescomponible en la forma normal de Frobenius (del
0
mismo orden) con polinomio caracteristico λn . En este caso α(x − 1, 1) = k(a, b) y (α(λ, n)) = k ln (A, b1 ). Los
objetos reducidos de la categoria R son los objetos sin sumandos directos (α(λ, n)) para todos los posibles λ, n.

Las siguientes identidades ocurren para representaciones α(λ, n) ∈ R , K(A, b1 ) ∈ R0 y morfismos ϕ : U −→

0
V ∈ R, ϕ : U 0 −→ V 0 ∈ R0

ϕ ∈ hα(λ, n)i si y sólo si ϕ ∈ [(UB+ , (VA+ ] = I

0 0
ϕ ∈ hk(A, b1 )i si y sólo si ϕ ∈ [(UB+ , (VA− ∪ Vb+1 ] = I 0

Si para U, V ∈ R fijos se asume la notación R(U, V ) = R, R0 (U 0 , V 0 ) = R0 el siguiente lema ocurre:

ˆ Lemma 1: R + I 0 = R0 , R ∩ I 0 = I

3
 ˆ Lemma 2:La correspondencia U −→ U ↓ determina una biyección natural del conjunto de todos los ob-
jetos reducidos de la categoria R sobre el conjunto de todos los objetos de la categoria R0 . Más aún,
la función inversa es determinada por la operación ↑, los indescomponibles va a indescomponibles y la
desigualdad dimU ↓ ≤ dimU siempre ocurre.

Para n ≥ 1 estos lemas permite generar una cierta caracterización con respecto a la estructura de morfismos
bajo la diferenciación III:

ˆ Lemma 3 Sea (P, θ) un POSET con involución con un par de puntos (a, b), adecuados en el sentido del
algortimo de diferenciación III. Entonces el funtor diferenciación:

D(a,b) : rep(P, θ) −→ rep(P 0 , θ0 )

definido por las fórmulas descritas induce una relación entre categorias cociente:

∼
R/τ −→ R0 /τ 0

donde:

R = rep (P, θ) tal que α(a); β(b), γ + (a), γ − (b) , R0 = rep {(P 0 , θ0 ) tal que α(a1 ); β(bn )}


y:

τ = hα(λ, n)iR , τ 0 = hk(a∇ , b1 )iR0

En particular el funtor induce mutuamente biyecciones inversas entre indescomponibles de la forma:

IndR\[α(λ, n)]
IndR0 \[k(a∇ , b1 )] = IndR̄0

ˆ Lemma 4 Si Γ(R) y Γ(R0 ) son los quivers de Gabriel de las categorias R y R0 entonces:

Gamma(R)\ [α(λ, n)] ∼ = Γ(R0 )\ k(a∇ , b1 )

 

Bibliografia

1 D. SIMSON, Linear representations of partially ordered sets and vector space categories, 1992
2 J. MORA, Morfimos en categorı́as de Representaciones de Posets Equipados, 2014
3 A. MORENO Y V. CIFUENTES On the apparatus of differentiation, 2019