We investigate compatibility of gradings for an almost Koszul or Koszul algebra $R$ that is also the higher preprojective algebra $Î _{n+1}(A)$ of an $n$-hereditary algebra $A$. For an $n$-representation finite algebra $A$, we show that $A$ must be Koszul if $Î _{n+1}(A)$ can be endowed with an almost Koszul grading. For an acyclic basic $n$-representation infinite algebra $A$, we show that $A$ must be Koszul if $Î _{n+1}(A)$ can be endowed with a Koszul grading. From this we deduce that a higher preprojective grading of an (almost) Koszul algebra $R = Î _{n+1}(A)$ is, in both cases, isomorphic to a cut of the (almost) Koszul grading. Up to a further assumption on the tops of the degree $0$ subalgebras for the different gradings, we also show a similar result without the basic assumption in the $n$-representation infinite case. As an application, we show that $n$-APR tilting preserves the property of being Koszul for $n$-representation infinite algebras.
- ID del Artículo: 2411.13283
- Título: On compatibility of Koszul- and higher preprojective gradings
- Autores: Darius Dramburg (Uppsala University), Mads Hustad Sandøy (NTNU)
- Clasificación: math.RT (Teoría de Representaciones), math.RA (Anillos y Álgebras)
- Fecha de Publicación: 17 de octubre de 2025 (versión v3 en arXiv)
- Enlace del Artículo: https://arxiv.org/abs/2411.13283
Este artículo investiga la compatibilidad de graduaciones en álgebras preproyectivas superiores Πn+1(A) que son simultáneamente álgebras casi-Koszul o Koszul y n-hereditarias. Para álgebras A de n-representación finita, los autores demuestran que si Πn+1(A) puede dotarse de una graduación casi-Koszul, entonces A debe ser Koszul. Para álgebras A de n-representación infinita básicas y acíclicas, los autores demuestran que si Πn+1(A) puede dotarse de una graduación Koszul, entonces A debe ser Koszul. De esto se deduce que la graduación preproyectiva superior de un álgebra (casi) Koszul R = Πn+1(A) es isomorfa a un corte de la graduación (casi) Koszul en ambos casos. Como aplicación, los autores demuestran que el n-volteo APR preserva la propiedad Koszul de álgebras de n-representación infinita.
- Importancia de las álgebras preproyectivas: Las álgebras preproyectivas desempeñan un papel importante en la teoría de representaciones, construidas originalmente por Gelfand y Ponomarev, y posteriormente descritas combinatoriamente por Dlab y Ringel. Para un carcaj Q, el álgebra preproyectiva se define como Π(Q) = kQ̄/(∑α∈Q₁ αα* - α*α).
- Generalizaciones de orden superior: Iyama y Oppermann generalizaron las álgebras preproyectivas a álgebras preproyectivas superiores dentro del marco de la teoría de Auslander-Reiten de orden superior de Iyama: Πn+1(A) = TA Ext^n_A(D(A), A).
- Interacción de estructuras graduadas: Cuando un álgebra n-hereditaria A es Koszul, Πn+1(A) puede poseer simultáneamente:
- Una graduación preproyectiva superior proveniente del grado tensorial
- Una (n+1)-graduación total de la construcción Grant-Iyama, haciéndola un álgebra (casi) Koszul
La pregunta clave planteada por los autores (Pregunta 2.24) es: dado un álgebra (casi) Koszul R• y una graduación preproyectiva superior sobre ella, ¿existe un automorfismo que mapee la graduación preproyectiva superior a un "corte" de la graduación Koszul?
- Perfeccionamiento teórico: Comprender las relaciones de compatibilidad entre diferentes estructuras graduadas
- Problemas inversos: El trabajo de Grant-Iyama muestra que A Koszul implica Πn+1(A) (casi) Koszul; este artículo estudia el problema inverso
- Interpretación geométrica: En el caso n-representación mansa, la compatibilidad de graduaciones es equivalente a la conmutatividad de dos acciones de k* en la variedad afín Spec(Z(Πn+1(A)))
- Caracterización completa en el caso n-representación finita: Se demuestra que si Πn+1(A) puede dotarse de una graduación casi-Koszul, entonces A debe ser Koszul (Proposición 4.2), y existe un corte preproyectivo superior (Teorema 4.3).
- Versión fundamental en el caso n-representación infinita: Para álgebras A de n-representación infinita básicas y acíclicas, se demuestra que si Πn+1(A) puede dotarse de una graduación Koszul, entonces A debe ser Koszul, y existe un corte (Teorema 5.16).
- Extensión de versión no-básica: Se proporcionan resultados similares para el caso no-básico bajo supuestos adicionales (Teorema 5.17).
- Preservación de Koszul bajo n-volteo APR: Se demuestra que el n-volteo APR preserva la propiedad Koszul de álgebras de n-representación infinita (Corolario 5.18).
- Desarrollo de herramientas técnicas: Se establecen resultados técnicos clave sobre relaciones de raíces graduadas y la acción de elementos nilpotentes.
Definición 2.19: Una graduación preproyectiva superior •R en un álgebra (casi) Koszul R• se denomina corte si:
- El bimódulo generador Koszul R₁ se descompone en piezas preproyectivas homogéneas: R₁ = ₀(R₁) ⊕ ₁(R₁)
- La descomposición recupera la graduación preproyectiva: ₀R = ⟨R₀ ⊕ ₀(R₁)⟩, ₁R es generado por ₁(R₁) como bimódulo sobre ₀R
Definición 3.1: Un álgebra graduada no-negativa localmente finita R• se denomina graduada básica si el álgebra de dimensión finita R₀ es básica.
A través de la interacción del teorema de Wedderburn-Malcev y estructuras graduadas:
- Proposición 5.2: Para dos álgebras graduadas R• y •R localmente finitas, tenemos top(R₀) ≃ top(₀R)
- Corolario 5.6: Bajo supuestos básicos, si los generadores son nilpotentes, entonces las relaciones de raíces graduadas se mantienen
Resultado técnico clave: Para álgebras A de n-representación infinita acíclicas, el bimódulo HomA(A, τ⁻ₙ(A)) es generado por elementos nilpotentes (Corolario 5.11).
Estrategia de prueba:
- Utilizar la estructura de n-sucesiones casi-escindidas
- Analizar la factorización de morfismos f: P → τ⁻ₙ(P)
- Usar la aciclicidad del carcaj de Gabriel para excluir ciertos sumandos directos
Proposición 5.14: Si los módulos simples graduados son isomorfos como módulos sin graduar, y se satisfacen condiciones de finitud local, entonces A es Koszul.
Puntos clave de la prueba:
- Usar resoluciones proyectivas graduadas mínimas
- Establecer relaciones generadoras del álgebra Ext
- Deducir la propiedad Koszul de A a partir de la de Πn+1(A)
- Análisis fino de estructuras graduadas: Mediante comparación de raíces graduadas se establecen relaciones entre diferentes graduaciones
- Utilización de condiciones de nilpotencia: Uso innovador de la nilpotencia de generadores como puente
- Introducción de perspectiva geométrica: Transformación del problema de compatibilidad de graduaciones en conmutatividad de acciones de grupos en variedades algebraicas
- Técnica de reducción a lo básico: Desarrollo de un método sistemático para reducir casos generales a casos graduados básicos
Como artículo de teoría matemática pura, los resultados se verifican mediante:
- Pruebas constructivas: Para resultados de existencia, se proporcionan métodos de construcción explícitos
- Análisis de contraejemplos: El Ejemplo 2.23 muestra que no todas las graduaciones preproyectivas superiores son cortes
- Verificación de casos especiales: Mediante ejemplos concretos como el carcaj de Kronecker se verifica la teoría
Ejemplo 2.23: Álgebra preproyectiva del carcaj de Kronecker
- Demuestra que mediante automorfismos se pueden obtener graduaciones preproyectivas superiores que no son cortes
- Ilustra la invariancia de raíces graduadas
- Verifica la necesidad de los teoremas principales
Teorema 4.3: Sea R• una (p,n+1)-Koszul, con una graduación preproyectiva superior •R tal que A = ₀R es de n-representación finita. Entonces existe un corte preproyectivo superior en R•, cuya componente de grado 0 es isomorfa a A.
Teorema 5.16: Sea R = R• un álgebra Koszul graduada básica, con R₁ generado por elementos nilpotentes. Si existe una graduación preproyectiva superior acíclica •R, entonces existe un automorfismo que mapea esta graduación a un corte preproyectivo superior.
Teorema 5.17: Versión no-básica, válida bajo el supuesto adicional R₀ ⊆ ₀R.
Corolario 5.18: El n-volteo APR preserva la propiedad Koszul. Es decir, si A es un álgebra Koszul básica de n-representación infinita, y B es un n-volteo APR de A, entonces B también es Koszul.
- Álgebras preproyectivas clásicas: Construcciones combinatorias de Gelfand-Ponomarev (1979), Dlab-Ringel (1980)
- Descripción homológica: Estructuras graduadas de Baer-Geigle-Lenzing (1987)
- Generalizaciones de orden superior: Teoría de Auslander-Reiten de orden superior de Iyama-Oppermann (2013)
- Estructuras Koszul: Construcción de (n+1)-graduación total de Grant-Iyama (2020)
- Problemas inversos: Forma una relación dual con el trabajo de Grant-Iyama
- Completitud: Responde a la pregunta planteada en DG24a, Pregunta 3.13
- Complementariedad: Complementa el trabajo de Thibault Thi20 sobre qué álgebras Koszul no pueden ser álgebras preproyectivas superiores
- Bajo condiciones apropiadas, el problema de compatibilidad entre graduaciones Koszul y preproyectivas superiores tiene respuesta afirmativa
- La propiedad (casi) Koszul de álgebras preproyectivas superiores es equivalente a la propiedad Koszul del álgebra original
- El n-volteo APR preserva la propiedad Koszul, proporcionando una herramienta importante para la teoría de representaciones de orden superior
- Supuesto de aciclicidad: El caso n-representación infinita requiere que el carcaj de Gabriel sea acíclico
- Supuesto de basicidad: La eliminación completa del supuesto de basicidad requiere condiciones adicionales
- Problemas abiertos: La Pregunta 3.10 sobre ajustes de automorfismos de idempotentes permanece sin resolver
- Investigación de generalización: Eliminar los supuestos de aciclicidad y basicidad
- Aspectos computacionales: Desarrollar algoritmos para calcular explícitamente cortes
- Aplicaciones geométricas: Investigar más profundamente el significado geométrico de la conmutatividad de acciones de grupos en variedades algebraicas
- Extensión de aplicaciones: Generalizar resultados a clases de álgebras más generales
- Profundidad teórica: Establece conexiones profundas entre dos estructuras graduadas importantes
- Innovación técnica: Desarrolla nuevas herramientas técnicas para manejar compatibilidad de graduaciones
- Completitud: Proporciona respuestas completas en dos casos principales
- Valor de aplicación: El resultado de que el n-volteo APR preserva la propiedad Koszul tiene importantes perspectivas de aplicación
- Restricciones de supuestos: Algunos resultados requieren supuestos técnicos bastante fuertes
- Constructividad: Aunque se demuestra la existencia, faltan métodos de construcción explícita
- Complejidad computacional: La verificación práctica de condiciones de corte puede ser computacionalmente compleja
- Contribución teórica: Proporciona nuevas perspectivas para la teoría de representaciones de orden superior y la teoría de álgebras Koszul
- Valor metodológico: Los métodos de análisis de estructuras graduadas tienen amplia aplicabilidad
- Desarrollo futuro: Sienta las bases para investigaciones posteriores en campos relacionados
- Teoría de Auslander-Reiten de orden superior: Aplicación directa en investigación de teoría de representaciones de orden superior
- Investigación de álgebras Koszul: Proporciona herramientas para investigación de estructuras graduadas de álgebras Koszul
- Geometría algebraica: Investigación de propiedades geométricas de anillos graduados
- Álgebra homológica: Investigación general de estructuras homológicas graduadas
El artículo incluye referencias bibliográficas abundantes que abarcan trabajos importantes en álgebras preproyectivas, álgebras Koszul, teoría de Auslander-Reiten de orden superior y campos relacionados, reflejando el dominio completo y la comprensión profunda de la literatura relevante por parte de los autores.