On compatibility of Koszul- and higher preprojective gradings

Basic Information

• Paper ID: 2411.13283
• Title: On compatibility of Koszul- and higher preprojective gradings
• Authors: Darius Dramburg (Uppsala University), Mads Hustad Sandøy (NTNU)
• Classification: math.RT (Representation Theory), math.RA (Rings and Algebras)
• Publication Date: October 17, 2025 (arXiv version v3)
• Paper Link: https://arxiv.org/abs/2411.13283

Abstract

This paper investigates the grading compatibility of higher preprojective algebras Πn+1(A) of n-hereditary algebras A that are simultaneously almost Koszul or Koszul algebras. For n-representation finite algebras A, the authors prove that if Πn+1(A) admits an almost Koszul grading, then A must be Koszul. For acyclic basic n-representation infinite algebras A, the authors prove that if Πn+1(A) admits a Koszul grading, then A must be Koszul. Consequently, the higher preprojective grading of (almost) Koszul algebras R = Πn+1(A) is isomorphic to a cutting of the (almost) Koszul grading in both cases. As an application, the authors prove that n-APR tilting preserves the Koszul property of n-representation infinite algebras.

Research Background and Motivation

Problem Background

1. Importance of Preprojective Algebras: Preprojective algebras play a crucial role in representation theory, originally constructed by Gelfand and Ponomarev, later given a combinatorial description by Dlab and Ringel. For a quiver Q, the preprojective algebra is defined as Π(Q) = kQ̄/(∑α∈Q₁ αα* - α*α).
2. Higher-Order Generalizations: Iyama and Oppermann generalized preprojective algebras to higher preprojective algebras within Iyama's framework of higher Auslander-Reiten theory: Πn+1(A) = TA Ext^n_A(D(A), A).
3. Interaction of Grading Structures: When an n-hereditary algebra A is Koszul, Πn+1(A) can simultaneously possess:
   • Higher preprojective grading from tensor degree
   • (n+1)-total grading from Grant-Iyama construction, making it an (almost) Koszul algebra

Core Problem

The key question posed by the authors (Question 2.24) is: Given an (almost) Koszul algebra R• with a higher preprojective grading on it, does there exist an automorphism mapping the higher preprojective grading to a "cutting" of the Koszul grading?

Research Motivation

1. Theoretical Refinement: Understanding compatibility relations between different grading structures
2. Inverse Problem: Grant-Iyama's work shows that Koszul A leads to (almost) Koszul Πn+1(A); this paper studies the inverse problem
3. Geometric Interpretation: In the n-representation tame case, grading compatibility is equivalent to the commutativity of two k*-actions on the affine variety Spec(Z(Πn+1(A)))

Core Contributions

1. Complete Characterization for n-Representation Finite Case: Proves that if Πn+1(A) admits an almost Koszul grading, then A must be Koszul (Proposition 4.2), and a higher preprojective cutting exists (Theorem 4.3).
2. Fundamental Version for n-Representation Infinite Case: For acyclic basic n-representation infinite algebras A, proves that if Πn+1(A) admits a Koszul grading, then A must be Koszul, and a cutting exists (Theorem 5.16).
3. Extension to Non-Basic Version: Provides analogous results for the non-basic case under additional assumptions (Theorem 5.17).
4. Koszul Property Preservation under n-APR Tilting: Proves that n-APR tilting preserves the Koszul property of n-representation infinite algebras (Corollary 5.18).
5. Development of Technical Tools: Establishes key technical results on graded radical relations and the action of nilpotent elements.

Detailed Methodology

Core Concept Definitions

Higher Preprojective Cutting

Definition 2.19: A higher preprojective grading •R on an (almost) Koszul algebra R• is called a cutting if:

1. The Koszul generating bimodule R₁ decomposes into preprojective homogeneous pieces: R₁ = ₀(R₁) ⊕ ₁(R₁)
2. The decomposition recovers the preprojective grading: ₀R = ⟨R₀ ⊕ ₀(R₁)⟩, ₁R is generated by ₁(R₁) as a ₀R-bimodule

Graded Basic Algebras

Definition 3.1: A locally finite non-negative graded algebra R• is called graded basic if the finite-dimensional algebra R₀ is basic.

Main Technical Approach

1. Analysis of Graded Radicals

Through the Wedderburn-Malcev theorem and interaction of grading structures:

• Proposition 5.2: For two locally finite-dimensional gradings R• and •R, we have top(R₀) ≃ top(₀R)
• Corollary 5.6: Under basic assumptions, if generators are nilpotent, then graded radical inclusion relations hold

2. Establishment of Nilpotency

Key Technical Result: For acyclic n-representation infinite algebras A, the bimodule HomA(A, τ⁻ₙ(A)) is generated by nilpotent elements (Corollary 5.11).

Proof Strategy:

• Utilize the structure of n-almost split sequences
• Analyze factorization of morphisms f: P → τ⁻ₙ(P)
• Use acyclicity of the Gabriel quiver to exclude certain direct summands

3. Transfer of Koszul Property

Proposition 5.14: If graded simple modules are isomorphic as ungraded modules and satisfy local finiteness conditions, then A is Koszul.

Key Points of Proof:

• Use minimal graded projective resolutions
• Establish generating relations in the Ext algebra
• Derive Koszulity of A from Koszulity of Πn+1(A)

Technical Innovations

1. Fine Analysis of Grading Structures: Establish relations between different gradings through comparison of graded radicals
2. Utilization of Nilpotency Conditions: Innovatively use nilpotency of generators as a bridge
3. Introduction of Geometric Perspective: Transform grading compatibility problems into commutativity of group actions on algebraic varieties
4. Basicification Reduction Technique: Develop systematic methods for reducing general cases to graded basic cases

Experimental Setup

Theoretical Verification Methods

As a pure mathematics theoretical paper, this work verifies results through:

1. Constructive Proofs: For existence results, provide explicit construction methods
2. Counterexample Analysis: Example 2.23 demonstrates that not all higher preprojective gradings are cuttings
3. Special Case Verification: Verify theory through concrete examples such as the Kronecker quiver

Key Examples

Example 2.23: Preprojective algebra of the Kronecker quiver

• Demonstrates that non-cutting higher preprojective gradings can be obtained through automorphisms
• Illustrates invariance of graded radicals
• Verifies necessity of main theorems

Main Results

Theorem Statements

n-Representation Finite Case

Theorem 4.3: Let R• be (p,n+1)-Koszul, with a higher preprojective grading •R such that A = ₀R is n-representation finite. Then there exists a higher preprojective cutting on R•, whose degree 0 part is isomorphic to A.

n-Representation Infinite Case

Theorem 5.16: Let R = R• be a graded basic Koszul algebra with R₁ generated by nilpotent elements. If there exists an acyclic higher preprojective grading •R, then there exists an automorphism mapping this grading to a higher preprojective cutting.

Theorem 5.17: Non-basic version, valid under the additional assumption R₀ ⊆ ₀R.

Application Results

Corollary 5.18: n-APR tilting preserves Koszulity. That is, if A is a basic n-representation infinite Koszul algebra and B is an n-APR tilt of A, then B is also Koszul.

Related Work

Historical Development

1. Classical Preprojective Algebras: Gelfand-Ponomarev (1979), Dlab-Ringel (1980) combinatorial construction
2. Homological Description: Baer-Geigle-Lenzing (1987) grading structures
3. Higher-Order Generalizations: Iyama-Oppermann (2013) higher Auslander-Reiten theory
4. Koszul Structures: Grant-Iyama (2020) (n+1)-total grading construction

Positioning of This Work

• Inverse Problem: Forms a dual relationship with Grant-Iyama's work
• Completeness: Answers the question posed in DG24a, Question 3.13
• Complementarity: Complements Thibault's Thi20 work on which Koszul algebras cannot be higher preprojective algebras

Conclusions and Discussion

Main Conclusions

1. Under appropriate conditions, the compatibility problem between Koszul gradings and higher preprojective gradings has an affirmative answer
2. The (almost) Koszulity of higher preprojective algebras is equivalent to the Koszulity of the original algebra
3. n-APR tilting preserves Koszulity, providing important tools for higher representation theory

Limitations

1. Acyclicity Assumption: The n-representation infinite case requires the assumption that the Gabriel quiver is acyclic
2. Basicness Assumption: Complete removal of the basicness assumption still requires additional conditions
3. Open Problems: Question 3.10 regarding automorphism adjustment of idempotents remains unresolved

Future Directions

1. Generalization: Remove acyclicity and basicness assumptions
2. Computational Aspects: Develop algorithms for explicitly computing cuttings
3. Geometric Applications: Further investigate geometric meaning of commutativity of group actions on algebraic varieties
4. Extended Applications: Generalize results to broader classes of algebras

In-Depth Evaluation

Strengths

1. Theoretical Depth: Establishes profound connections between two important grading structures
2. Technical Innovation: Develops new technical tools for handling grading compatibility
3. Completeness: Provides complete answers in both main cases
4. Application Value: The result on APR tilting preserving Koszulity has significant application potential

Weaknesses

1. Assumption Restrictions: Some results require relatively strong technical assumptions
2. Constructivity: While existence is proven, explicit construction methods are lacking
3. Computational Complexity: Practical verification of cutting conditions may be computationally complex

Impact

1. Theoretical Contribution: Provides new perspectives for higher representation theory and Koszul algebra theory
2. Methodological Value: Methods for analyzing grading structures have broad applicability
3. Future Development: Lays foundation for further research in related areas

Applicable Scenarios

1. Higher Auslander-Reiten Theory: Direct application to higher representation theory research
2. Koszul Algebra Research: Provides tools for studying grading structures of Koszul algebras
3. Algebraic Geometry: Study of geometric properties of graded rings
4. Homological Algebra: General study of graded homological structures

References

The paper contains rich references covering important works in preprojective algebras, Koszul algebras, higher Auslander-Reiten theory and related fields, demonstrating the authors' comprehensive mastery and deep understanding of relevant literature.