Tardes de Café y Álgebracuyo núcleo tiene dimensión proyectiva finita. Más aún, si...

1
Tardes de Café y Álgebra Un Seminario del Área de Álgebra, Departamento de Matemáticas, Universidad Autónoma Metropolitana, Unidad Iztapalapa Trimestre 19-0, Sesión 2 Pares de Cotorsión Cortados M. en C. Mindy Yaneli Huerta Pérez, Instituto de Matemáticas, UNAM Jueves 6 de Febrero de 2020 15:00 hrs., Salón AT-003, UAM-I Resumen: Dadas dos clases de objetos # y $ en un categoría abeliana, no siempre se obtiene que el par (#, $) forme un par de cotorsión completo. Por ejemplo, si # denota la clase de (−módulos izquierdos Gorenstein proyectivos, la clase $ queda completamente determinada siendo el 1−complemento ortogonal derecho (respecto a los grupos de extensión) de # y bajo ciertas condiciones extras (( sea un anillo +−Iwanaga Gorenstein, por ejemplo) podemos garantizar completitud. Sin embargo, si cambiamos $ por la clase de (−módulos con dimensión proyectiva finita, usando Teoría de Auslander-Buchweitz (Teoría AB), se puede probar que cada (−módulo , con dimensión proyectiva finita, tiene una precubierta Gorenstein proyectiva cuyo núcleo tiene dimensión proyectiva finita. Más aún, si consideramos las clases # y el 1−complemento ortogonal izquierdo de $, e intersectamos cada clase con los (−módulos de dimensión proyectiva finita, ambas intersecciones coinciden. Entonces, prestando atención sólo en la clase de (−módulos con dimensión proyectiva finita, (#, $) puede manejarse como un par de cotorsión izquierdo completo en esta subcategoría. En este trabajo, presentamos la noción de par de cotorsión cortado para dar una generalización de par de cotorsión completo. Por “generalización” nos referimos a, dado un par de clases de objetos en una categoría abeliana, estudiamos las propiedades de las respectivas clases para encontrar una subcategoría adecuada donde el par pueda ser manejado como un par de cotorsión completo en ella. Al final, presentamos algunas aplicaciones en Teoría de AB y caracterizamos algunos pares relacionados con la Conjetura de la dimensión finitista. Facebook: @tardescafeyalgebraUAMI Información: [email protected] Organizan: María José Arroyo Paniagua , Lizbeth Sandoval Miranda

Transcript of Tardes de Café y Álgebracuyo núcleo tiene dimensión proyectiva finita. Más aún, si...

Page 1: Tardes de Café y Álgebracuyo núcleo tiene dimensión proyectiva finita. Más aún, si consideramos las clases # y el 1−complemento ortogonal izquierdo de $, e intersectamos cada

Tardes de Café y Álgebra

Un Seminario del Área de Álgebra, Departamento de Matemáticas, Universidad Autónoma Metropolitana, Unidad Iztapalapa

Trimestre 19-0, Sesión 2

Pares de Cotorsión Cortados

M. en C. Mindy Yaneli Huerta Pérez, Instituto de Matemáticas, UNAM

Jueves 6 de Febrero de 2020 15:00 hrs., Salón AT-003, UAM-I

Resumen:

Dadas dos clases de objetos # y $ en un categoría abeliana, no siempre se obtiene que el par (#, $) forme un par de cotorsión completo. Por ejemplo, si # denota la clase de( −módulos izquierdos Gorenstein proyectivos, la clase $ queda completamente determinada siendo el 1 −complemento ortogonal derecho (respecto a los grupos de extensión) de # y bajo ciertas condiciones extras (( sea un anillo + −Iwanaga Gorenstein, por ejemplo) podemos garantizar completitud. Sin embargo, si cambiamos $ por la clase de ( −módulos con dimensión proyectiva finita, usando Teoría de Auslander-Buchweitz (Teoría AB), se puede probar que cada ( −módulo , con dimensión proyectiva finita, tiene una precubierta Gorenstein proyectiva cuyo núcleo tiene dimensión proyectiva finita. Más aún, si consideramos las clases # y el 1 −complemento ortogonal izquierdo de $, e intersectamos cada clase con los ( −módulos de dimensión proyectiva finita, ambas intersecciones coinciden. Entonces, prestando atención sólo en la clase de ( −módulos con dimensión proyectiva finita, (#, $) puede manejarse como un par de cotorsión izquierdo completo en esta subcategoría. En este trabajo, presentamos la noción de par de cotorsión cortado para dar una generalización de par de cotorsión completo. Por “generalización” nos referimos a, dado un par de clases de objetos en una categoría abeliana, estudiamos las propiedades de las respectivas clases para encontrar una subcategoría adecuada donde el par pueda ser manejado como un par de cotorsión completo en ella. Al final, presentamos algunas aplicaciones en Teoría de AB y caracterizamos algunos pares relacionados con la Conjetura de la dimensión finitista.

Facebook: @tardescafeyalgebraUAMI Información: [email protected]

Organizan: María José Arroyo Paniagua , Lizbeth Sandoval Miranda

Lizbeth UAM-I
15:00 a 16:00 hrs., Sala de Juntas de la Jefatura de Matemáticas,Oficina AT-324�