Teoría de representación de coálgebras. Localización en coálgebras

  1. Navarro Garulo, Gabriel
Dirigida por:
  1. Pascual Jara Martínez Director/a

Universidad de defensa: Universidad de Granada

Fecha de defensa: 12 de diciembre de 2006

Tribunal:
  1. José Luis Bueso Montero Presidente/a
  2. Luis Miguel Merino González Secretario/a
  3. Juan Cuadra Díaz Vocal
  4. Manuel Saorín Castaño Vocal
  5. Stefaan Caenepeel Vocal

Tipo: Tesis

Resumen

El objetivo de la Teoría de Representación de Álgebras consiste en clasificar Álgebras, generalmente sobre un cuerpo algebraicamente cerrado, en función de su categoría de módulos, Históricamente los esfuerzos se han centrado en considera únicamente el caso finito-dimensional. En este sentido destacan los trabajos de Gabriel para traducir el problema al contexto de quivers o grafos orientados y de Auslander y Reiten que proporcionaron unas herramientas fundamental es para el estudio de los módulos de un álgebra. Sin embargo, dicha teoría no es válida si el álgebra es de dimensión infinita. A este respecto surge el concepto de coálgebra como una generalización de las Álgebras finito-dimensionales y permite una aproximación al caso general desde el punto de vista clásico. En la presente tesis doctoral se estudia l posibilidad de un resultado para coálgebras análogo al conocido teorema de Gabriel que describe las Álgebras básicas finito dimensionales como cocientes de Álgebras de caminos por un idea admisible. Para este propósito se utilizan la noción de coálgebra de caminos de un quiver con relaciones definida por Simson. Dado que se obtienen contraejemplos en ese sentido e, incluso, un criterio para decidir cuando una coálgebra admisible es la coálgebra de caminos de un quiver con relaciones, la clase a considera es reducida a las coalgebras tame. Para tratar este nuevo problema se considera la localización en categorías de comodulos, relacionando la propiedad de ser tame o wild de una coálgebra y sus coálgebras localizadas. Como consecuencia de dicho análisis se obtiene el siguiente resultado: Toda subcoálgebra admisible tame de una coálgebra de caminos de un quiver aciclico es el isomorfa a una coálgebra de caminos de un quiver con relaciones.