Otro
The Auslander-Reiten Quiver of Equipped Posets of Finite Growth Representation Type, some Functorial Descriptions and Its Applications
Autor
Marín Gaviria, Isaías David
Institución
Resumen
The theory of representation of partially ordered sets or posets was introduced in the early 1970's as an effort to give an answer to the second Brauer-Thrall conjecture. Recall that one of the main goals of this theory is to give a complete description of the indecomposable objects of the category of representations of a given poset. Perhaps the most useful tool to obtain such classification are the algorithms of differentiation. For instance, Nazarova and Roiter introduced an algorithm known as the algorithm of differentiation with respect to a maximal point which allowed to Kleiner in 1972 to obtain a classification of posets of finite representation type. Soon afterwards between 1974 and 1977, this algorithm was used in 1981 by Nazarova and Zavadskij in order to give a criterion for the classification of posets of finite growth representation type. Actually, several years later, Zavadskij himself described the structure of the Auslander-Reiten quiver of this kind of posets, to do that, it was established that such an algorithm is in fact a categorical equivalence.
Since the theory of representation of posets was developed in the 1980's and 1990's for posets with additional structures, for example, for posets with involution or for equipped posets by Bondarenko, Nazarova, Roiter, Zabarilo and Zavadskij among others. It was necessary to define a new class of algorithms to classify posets with these additional structures. In fact, Zavadskij introduced 17 algorithms. Algorithms, I-V (and some additional differentiations) were used by him and Bondarenko to classify posets with involution, whereas algorithms I, VII-XVII were used to classify equipped posets. In particular, algorithms I, VII, VIII and IX were used to classify equipped posets of finite growth representation type without paying attention to the behavior of the morphisms of the corresponding categories. In other words, it was obtained a classification of the objects without proving that the algorithms used to tackle the problems are in fact categorical equivalences, therefore, the main problem of the theory of the algorithms of differentiation consists of giving a detailed description of the behavior of the morphisms under these additive functors, such description allows to give a deep understanding of the Auslander-Reiten quiver of the corresponding categories.
On the other hand, in the last few years has been noted a great interest in the application of the theory of representation of algebras in different fields of computer science, for example, in combinatorics, information security and topological data analysis. Ringel and Fahr, for instance, gave a categorification of Fibonacci numbers by using the 3-Kronecker quiver whereas representation of posets and the theory of posets have been used to analyze tactics of war and cyberwar. Besides, the theory of Auslander has been used to analyze big data via the homological persistent theory.
In this research, it is proved that the algorithms of differentiation VIII-X induce categorical equivalences between some quotient categories, giving a description of the Auslander-Reiten quiver of some equipped posets by using the evolvent associated to these kind of posets. In this work, ideas arising from the theory of representation of equipped posets are used to give a categorification of Delannoy numbers. Actually, such numbers are interpreted as dimensions of some suitable equipped posets. We also interpret the algorithm of differentiation VII as a steganographic algorithm which allows to generate digital watermarks, such an algorithm can be also used to describe the behavior of some kind of informatics viruses, in fact, it is explained how this algorithm describe the infection-detection process when a computer network is affected for this type of malware.
At last but not least, we recall that the theory of representation of equipped posets is a way to deal with the homogeneous biquadratic problem which is an open matrix problem, in this case, with respect to a pair of fields (F;G) with G a quadratic extension of the field F with respect to a polynomial of the form t^2 + q, q∈F. Actually, explicit solutions to this problem were given by Zavadskij who rediscovered in 2007 the Krawtchouk matrices introducing an interesting θ-transformation as well. In this research, such Krawtchouk matrices are used in order to give explicit solutions to non-linear systems of differential equations of the form X'(t)+AX^2 (t)=B, where X(t); X'(t); A and B are n×n square matrices. Tools arising from this solution are called in this work the Zavadskij calculus.
This research was partially supported by COLCIENCIAS convocatoria doctorados nacionales 727 de 2015. La teoría de representación de conjuntos parcialmente ordenados o posets fue introducida a principios de la década de 1970 como un esfuerzo por dar una respuesta a la segunda conjetura de Brauer-Thrall. Recuerde que uno de los objetivos principales de esta teoría es dar una descripción completa de los objetos indescomponibles de la categoría de representaciones de un poset dado. Quizás la herramienta más útil para obtener dicha clasificación son los algoritmos de diferenciación. Por ejemplo, Nazarova y Roiter introdujeron un algoritmo conocido como el algoritmo de diferenciación con respecto a un punto maximal que le permitió a Kleiner en 1972 obtener una clasificación de posets de tipo de representación finita. Poco después, entre 1974 y 1977, Zavadskij definió un algoritmo más general, el cual es el algoritmo I con respecto a un par de puntos convenientes, este algoritmo fue utilizado en 1981 por Nazarova y Zavadskij para dar un criterio para la clasificación de los posets de tipo de representación crecimiento finito. En realidad, varios años después, el propio Zavadskij describió la estructura del carcaj de Auslander-Reiten de este tipo de posets, para hacer eso, se estableció que tal algoritmo de hecho es una equivalencia categórica.
Dado que la teoría de representación de posets fue desarrollada en los años ochenta y noventa para posets con estructuras adicionales, por ejemplo, para posets con involución o para posets equipados, desarrollada por Bondarenko, Nazarova, Roiter, Zabarilo y Zavadskij, entre otros. Era necesario definir una nueva clase de algoritmos para clasificar posets con estas estructuras adicionales. De hecho, Zavadskij introdujo 17 algoritmos. Él y Bondarenko utilizaron los algoritmos I-V (y algunas diferenciaciones adicionales) para clasificar los posets con involución, mientras que los algoritmos I, VII-XVII se usaron para clasificar los posets equipados. En particular, los algoritmos I, VII, VIII y IX se usaron para clasificar posets equipados de tipo representación de crecimiento finito sin prestar atención al comportamiento de los morfismos de las categorías correspondientes. En otras palabras, se obtuvo una clasificación de los objetos sin probar que los algoritmos utilizados para abordar los problemas son de hecho equivalencias categóricas, por lo tanto, el principal problema de la teoría de los algoritmos de diferenciación consiste en dar una descripción detallada del comportamiento de los morfismos bajo estos funtores aditivos, tal descripción permite dar una comprensión profunda del carcaj de Auslander-Reiten de las categorías correspondientes.
Por otro lado, en los últimos años se ha observado un gran interés en la aplicación de la teoría de representación de álgebras en diferentes campos de la informática, por ejemplo, en combinatoria, seguridad de la información y análisis de datos topológicos. Ringel y Fahr, por ejemplo, dieron una clasificación de los números de Fibonacci utilizando el carcaj de 3 Kronecker, mientras que la representación de posets y la teoría de posets se han utilizado para analizar las tácticas de guerra y ciberguerra. Además, la teoría de Auslander se ha utilizado para analizar grandes datos a través de la teoría homológica persistente.
En esta investigación, se demuestra que los algoritmos de diferenciación VIII-X inducen equivalencias categóricas entre algunas categorías de cocientes, dando una descripción del carcaj de Auslander-Reiten de algunos posets equipados usando la evolvente asociado a este tipo de posets. En este trabajo, las ideas que surgen de la teoría de la representación de los postes equipados se utilizan para dar una clasificación de los números de Delannoy. De hecho, tales números se interpretan como dimensiones de algunos posets equipados adecuados. También interpretamos el algoritmo de diferenciación VII como un algoritmo esteganográfico que permite generar marcas de agua digitales, dicho algoritmo también se puede utilizar para describir el comportamiento de algún tipo de virus informáticos, de hecho, se explica cómo este algoritmo describe el proceso de infección-detección cuando una red informática se ve afectada por este tipo de malware.
Finalmente, pero no menos importante, recordamos que la teoría de representación de postes equipados es una forma de abordar el problema bicuadrático homogéneo, que es un problema abierto de matrices, en este caso, con respecto a un par de campos (F; G) con G una extensión cuadrática del campo F con respecto a un polinomio de la forma t^2+q, q∈F. En realidad, Zavadskij dio soluciones explícitas a este problema y redescubrió en 2007 las matrices de Krawtchouk introduciendo una interesante transformación θ. En esta investigación, tales matrices de Krawtchouk se usan para dar soluciones explícitas a sistemas no lineales de ecuaciones diferenciales de la forma X'(t)+AX^2 (t)=B, donde X(t); X'(t); A y B son matrices cuadradas de n×n. Las herramientas que surgen de esta solución se denominan en este trabajo el cálculo de Zavadskij.
Esta investigación fue parcialmente apoyada por COLCIENCIAS convocatoria doctorados nacionales 727 de 2015.