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.
- Papier-ID: 2411.13283
- Titel: On compatibility of Koszul- and higher preprojective gradings
- Autoren: Darius Dramburg (Uppsala University), Mads Hustad Sandøy (NTNU)
- Klassifizierung: math.RT (Darstellungstheorie), math.RA (Ringe und Algebren)
- Veröffentlichungsdatum: 17. Oktober 2025 (arXiv-Version v3)
- Papier-Link: https://arxiv.org/abs/2411.13283
Diese Arbeit untersucht die Graduierungskompatibilität von höheren präprojektiven Algebren Πn+1(A) für n-erbliche Algebren A, die gleichzeitig fast-Koszul oder Koszul sind. Für n-darstellungsendliche Algebren A zeigen die Autoren, dass wenn Πn+1(A) eine fast-Koszul-Graduierung tragen kann, dann muss A Koszul sein. Für azyklische fundamentale n-darstellungsunendliche Algebren A zeigen die Autoren, dass wenn Πn+1(A) eine Koszul-Graduierung tragen kann, dann muss A Koszul sein. Daraus folgt, dass die höhere präprojektive Graduierung von (fast-)Koszul-Algebren R = Πn+1(A) in beiden Fällen isomorph zu einem Schnitt einer (fast-)Koszul-Graduierung ist. Als Anwendung zeigen die Autoren, dass n-APR-Kippen die Koszul-Eigenschaft von n-darstellungsunendlichen Algebren bewahren.
- Bedeutung präprojektiver Algebren: Präprojektive Algebren spielen eine wichtige Rolle in der Darstellungstheorie, ursprünglich von Gelfand und Ponomarev konstruiert, später von Dlab und Ringel kombinatorisch beschrieben. Für einen Köcher Q ist die präprojektive Algebra definiert als Π(Q) = kQ̄/(∑α∈Q₁ αα* - α*α).
- Höhere Verallgemeinerung: Iyama und Oppermann verallgemeinerten präprojektive Algebren im Rahmen von Iyamas höherer Auslander-Reiten-Theorie zu höheren präprojektiven Algebren: Πn+1(A) = TA Ext^n_A(D(A), A).
- Wechselwirkung von Graduierungsstrukturen: Wenn die n-erbliche Algebra A Koszul ist, kann Πn+1(A) gleichzeitig haben:
- Die höhere präprojektive Graduierung aus dem Tensorgradus
- Die (n+1)-totale Graduierung aus der Grant-Iyama-Konstruktion, die sie zu einer (fast-)Koszul-Algebra macht
Das von den Autoren aufgeworfene Schlüsselproblem (Question 2.24) ist: Gegeben eine (fast-)Koszul-Algebra R• und eine höhere präprojektive Graduierung darauf, existiert ein Automorphismus, der die höhere präprojektive Graduierung auf einen "Schnitt" einer Koszul-Graduierung abbildet?
- Theoretische Vervollständigung: Verständnis der Kompatibilitätsbeziehungen zwischen verschiedenen Graduierungsstrukturen
- Umgekehrtes Problem: Die Arbeit von Grant-Iyama zeigt, dass Koszul von A zu (fast-)Koszul von Πn+1(A) führt; diese Arbeit untersucht das umgekehrte Problem
- Geometrische Interpretation: Im n-darstellungs-zahmen Fall ist die Graduierungskompatibilität äquivalent zur Kommutativität zweier k*-Wirkungen auf der affinen Varietät Spec(Z(Πn+1(A)))
- Vollständige Charakterisierung im n-darstellungsendlichen Fall: Beweis, dass wenn Πn+1(A) eine fast-Koszul-Graduierung tragen kann, dann muss A Koszul sein (Proposition 4.2), und es existiert ein höherer präprojektiver Schnitt (Theorem 4.3).
- Grundversion im n-darstellungsunendlichen Fall: Für azyklische fundamentale n-darstellungsunendliche Algebren A wird bewiesen, dass wenn Πn+1(A) eine Koszul-Graduierung tragen kann, dann muss A Koszul sein, und es existiert ein Schnitt (Theorem 5.16).
- Erweiterung auf nicht-fundamentale Version: Ähnliche Ergebnisse für den nicht-fundamentalen Fall unter zusätzlichen Annahmen (Theorem 5.17).
- Koszul-Eigenschaft unter n-APR-Kippen bewahrt: Beweis, dass n-APR-Kippen die Koszul-Eigenschaft von n-darstellungsunendlichen Algebren bewahren (Corollary 5.18).
- Entwicklung technischer Werkzeuge: Etablierung von Beziehungen zwischen Graduierungswurzeln, Wirkung nilpotenter Elemente und anderen Schlüsseltechniken.
Definition 2.19: Eine höhere präprojektive Graduierung •R auf einer (fast-)Koszul-Algebra R• heißt Schnitt, wenn:
- Das Koszul-erzeugende Bimodul R₁ zerlegt sich in präprojektive homogene Teile: R₁ = ₀(R₁) ⊕ ₁(R₁)
- Die Zerlegung stellt die präprojektive Graduierung wieder her: ₀R = ⟨R₀ ⊕ ₀(R₁)⟩, ₁R wird von ₁(R₁) als ₀R-Bimodul erzeugt
Definition 3.1: Eine lokal endlich nicht-negative graduierte Algebra R• heißt graduiert fundamental, wenn die endlich-dimensionale Algebra R₀ fundamental ist.
Durch das Wedderburn-Malcev-Theorem und die Wechselwirkung von Graduierungsstrukturen:
- Proposition 5.2: Für zwei lokal endlich-dimensionale Graduierungen R• und •R gilt top(R₀) ≃ top(₀R)
- Corollary 5.6: Unter fundamentalen Annahmen, wenn Erzeuger nilpotent sind, gelten Graduierungswurzel-Inklusionsbeziehungen
Schlüsseltechnisches Ergebnis: Für azyklische n-darstellungsunendliche Algebren A wird das Bimodul HomA(A, τ⁻ₙ(A)) von nilpotenten Elementen erzeugt (Corollary 5.11).
Beweisstrategien:
- Nutzung der Struktur von n-fast-zerfallenden Sequenzen
- Analyse der Faktorisierung von Morphismen f: P → τ⁻ₙ(P)
- Verwendung der Azyklizität des Gabriel-Köchers zum Ausschluss bestimmter direkter Summanden
Proposition 5.14: Wenn graduierte einfache Module als ungraduierte Module isomorph sind und lokal-endliche Bedingungen erfüllen, dann ist A Koszul.
Beweisspunkte:
- Verwendung minimaler graduierter projektiver Auflösungen
- Etablierung von Erzeugungsbeziehungen in der Ext-Algebra
- Ableitung der Koszul-Eigenschaft von A aus der Koszul-Eigenschaft von Πn+1(A)
- Feinanalyse von Graduierungsstrukturen: Etablierung von Beziehungen zwischen verschiedenen Graduierungen durch Vergleich von Graduierungswurzeln
- Nutzung von Nilpotenz-Bedingungen: Innovative Verwendung der Nilpotenz von Erzeugern als Brücke
- Einführung geometrischer Perspektive: Umwandlung des Graduierungskompatibilitätsproblems in ein Problem der Kommutativität von Gruppenwirkungen auf algebraischen Varietäten
- Fundamentalisierungstechnik: Entwicklung einer systematischen Methode zur Reduktion des allgemeinen Falls auf den graduiert-fundamentalen Fall
Als rein mathematisches Theoriepapier werden die Ergebnisse auf folgende Weise verifiziert:
- Konstruktive Beweise: Für Existenzergebnisse werden explizite Konstruktionsmethoden gegeben
- Gegenbeispielanalyse: Example 2.23 zeigt, dass nicht alle höheren präprojektiven Graduierungen Schnitte sind
- Verifikation von Spezialfällen: Verifizierung der Theorie durch konkrete Beispiele wie den Kronecker-Köcher
Example 2.23: Präprojektive Algebra des Kronecker-Köchers
- Zeigt, dass durch Automorphismen nicht-Schnitt-höhere präprojektive Graduierungen erhalten werden können
- Veranschaulicht die Invarianz von Graduierungswurzeln
- Verifiziert die Notwendigkeit der Haupttheoreme
Theorem 4.3: Sei R• eine (p,n+1)-Koszul-Algebra, und es existiere eine höhere präprojektive Graduierung •R, so dass A = ₀R n-darstellungsendlich ist. Dann existiert ein höherer präprojektiver Schnitt auf R•, dessen Grad-0-Teil isomorph zu A ist.
Theorem 5.16: Sei R = R• eine graduiert-fundamentale Koszul-Algebra, wobei R₁ von nilpotenten Elementen erzeugt wird. Wenn eine azyklische höhere präprojektive Graduierung •R existiert, dann existiert ein Automorphismus, der diese Graduierung auf einen höheren präprojektiven Schnitt abbildet.
Theorem 5.17: Nicht-fundamentale Version, gültig unter der zusätzlichen Annahme R₀ ⊆ ₀R.
Corollary 5.18: n-APR-Kippen bewahren die Koszul-Eigenschaft. Das heißt, wenn A eine fundamentale n-darstellungsunendliche Koszul-Algebra ist und B eine n-APR-Kippung von A ist, dann ist B auch Koszul.
- Klassische präprojektive Algebren: Gelfand-Ponomarev (1979), Dlab-Ringel (1980) kombinatorische Konstruktion
- Homologische Beschreibung: Baer-Geigle-Lenzing (1987) Graduierungsstruktur
- Höhere Verallgemeinerung: Iyama-Oppermann (2013) höhere Auslander-Reiten-Theorie
- Koszul-Struktur: Grant-Iyama (2020) (n+1)-totale Graduierungskonstruktion
- Umgekehrtes Problem: Bildet duale Beziehung zur Arbeit von Grant-Iyama
- Vollständigkeit: Beantwortet die in DG24a, Question 3.13 aufgeworfene Frage
- Komplementarität: Ergänzt die Arbeit von Thibault Thi20 über welche Koszul-Algebren keine höheren präprojektiven Algebren sein können
- Unter angemessenen Bedingungen hat das Kompatibilitätsproblem zwischen Koszul-Graduierung und höherer präprojektiver Graduierung eine positive Antwort
- Die (fast-)Koszul-Eigenschaft von höheren präprojektiven Algebren ist äquivalent zur Koszul-Eigenschaft der ursprünglichen Algebra
- n-APR-Kippen bewahren die Koszul-Eigenschaft und bieten wichtige Werkzeuge für die höhere Darstellungstheorie
- Azyklizitätsannahme: Der n-darstellungsunendliche Fall erfordert die Annahme, dass der Gabriel-Köcher azyklisch ist
- Fundamentalitätsannahme: Vollständige Beseitigung der Fundamentalitätsannahme erfordert zusätzliche Bedingungen
- Offene Probleme: Question 3.10 über Automorphismen idempotenter Elemente bleibt ungelöst
- Verallgemeinerung: Beseitigung von Azyklizitäts- und Fundamentalitätsannahmen
- Rechnerische Aspekte: Entwicklung von Algorithmen zur expliziten Berechnung von Schnitten
- Geometrische Anwendungen: Tiefere Untersuchung der geometrischen Bedeutung der Kommutativität von Gruppenwirkungen auf algebraischen Varietäten
- Verallgemeinerte Anwendungen: Erweiterung der Ergebnisse auf allgemeinere Algebraklassen
- Theoretische Tiefe: Etablierung tiefgreifender Verbindungen zwischen zwei wichtigen Graduierungsstrukturen
- Technische Innovation: Entwicklung neuer technischer Werkzeuge zur Behandlung von Graduierungskompatibilität
- Vollständigkeit: Vollständige Antworten in beiden Hauptfällen
- Anwendungswert: Das Ergebnis der Koszul-Eigenschaftsbewahrung unter APR-Kippen hat wichtiges Anwendungspotenzial
- Annahmebeschränkungen: Einige Ergebnisse erfordern relativ starke technische Annahmen
- Konstruktivität: Obwohl Existenz bewiesen wird, fehlen explizite Konstruktionsmethoden
- Rechenkomplexität: Die praktische Verifikation von Schnittbedingungen kann rechnerisch komplex sein
- Theoretischer Beitrag: Bietet neue Perspektiven für höhere Darstellungstheorie und Koszul-Algebratheorie
- Methodologischer Wert: Die Methoden der Graduierungsstrukturanalyse haben breite Anwendbarkeit
- Zukünftige Entwicklung: Legt Grundlagen für weitere Forschung in verwandten Bereichen
- Höhere Auslander-Reiten-Theorie: Direkte Anwendung auf Forschung in höherer Darstellungstheorie
- Koszul-Algebraforschung: Bietet Werkzeuge für die Untersuchung von Graduierungsstrukturen von Koszul-Algebren
- Algebraische Geometrie: Forschung zu geometrischen Eigenschaften graduierter Ringe
- Homologische Algebra: Allgemeine Forschung zu graduierten homologischen Strukturen
Das Papier enthält umfangreiche Literaturverzeichnisse, die wichtige Arbeiten in den Bereichen präprojektive Algebren, Koszul-Algebren, höhere Auslander-Reiten-Theorie und verwandten Feldern abdecken und die umfassende Beherrschung und tiefes Verständnis der relevanten Literatur durch die Autoren widerspiegeln.