[Paper Review] Monic monomial representations I Gorenstein-projective modules

Xiu-Hua Luo, Pu Zhang|arXiv (Cornell University)|Oct 17, 2015

Algebraic structures and combinatorial models33 references3 citations

TL;DR

This paper introduces monic representations of quiver quotients $(Q,I)$ over a $k$-algebra $A$, where $I$ is generated by monomial relations, and establishes that a $Λ = A \otimes_k kQ/I$-module is Gorenstein-projective if and only if it is a monic representation satisfying condition (G). The result generalizes earlier work on monic modules when $I=0$, and characterizes when monic modules coincide with projective or Gorenstein-projective modules via properties of $A$. The key contribution is an inductive construction of Gorenstein-projective modules using quiver representations and the (G) condition.

ABSTRACT

For a $k$-algebra $A$, a quiver $Q$, and an ideal $I$ of $kQ$ generated by monomial relations, let $Λ: = A\otimes_k kQ/I$. We introduce the monic representations of $(Q, I)$ over $A$. We give properties of the structural maps of monic representations, and prove that the category ${ m mon}(Q, I, A)$ of the monic representations of $(Q, I)$ over $A$ is a resolving subcategory of ${ m rep}(Q, I, A)$. We introduce the condition ${ m(G)}$. The main result claims that a $\m$-module is Gorenstein-projective if and only if it is a monic module satisfying ${ m(G)}$. As consequences, the monic $\m$-modules are exactly the projective $\m$-modules if and only if $A$ is semisimple; and they are exactly the Gorenstein-projective $\m$-modules if and only if $A$ is selfinjective, and if and only if ${ m mon}(Q, I, A)$ is Frobenius.

Motivation & Objective

• To define monic representations of quiver quotients $(Q,I)$ over a $k$-algebra $A$ when $I$ is generated by monomial relations.
• To establish that the category of such monic representations forms a resolving subcategory of the representation category ${\rm rep}(Q,I,A)$.
• To introduce condition (G) and prove that a $Λ = A \otimes_k kQ/I$-module is Gorenstein-projective if and only if it is monic and satisfies (G).
• To characterize when monic $Λ$-modules coincide with projective or Gorenstein-projective $Λ$-modules, in terms of properties of $A$.

Proposed method

• Define monic representations of $(Q,I)$ over $A$ using structural maps $X_p$ that satisfy specific image and kernel conditions.
• Prove that the category ${\rm mon}(Q,I,A)$ of monic representations is a resolving subcategory of ${\rm rep}(Q,I,A)$ via closure under kernels of admissible epimorphisms.
• Introduce condition (G) as a necessary and sufficient condition for a monic representation to be Gorenstein-projective.
• Use a bimodule description of Gorenstein-projective modules over triangular extensions to prove the main characterization.
• Leverage the structure of path algebras and monomial relations to analyze image and kernel relations across quiver paths.
• Apply induction and diagram chasing arguments on path decompositions to verify the (G) condition and kernel/image identities.

Experimental results

Research questions

• RQ1 When is a $Λ = A \otimes_k kQ/I$-module Gorenstein-projective, given that $I$ is generated by monomial relations?
• RQ2 What conditions on the algebra $A$ ensure that all monic $Λ$-modules are Gorenstein-projective?
• RQ3 Under what conditions do monic $Λ$-modules coincide with projective $Λ$-modules?
• RQ4 How does the category ${\rm mon}(Q,I,A)$ relate to the Frobenius property and the Gorenstein-projective category?
• RQ5 What role does condition (G) play in characterizing Gorenstein-projective modules in this quiver-theoretic framework?

Key findings

• A $Λ$-module is Gorenstein-projective if and only if it is a monic representation of $(Q,I)$ over $A$ and satisfies condition (G).
• The monic $Λ$-modules are exactly the projective $Λ$-modules if and only if $A$ is semisimple.
• The monic $Λ$-modules are exactly the Gorenstein-projective $Λ$-modules if and only if $A$ is self-injective.
• The category ${\rm mon}(Q,I,A)$ is Frobenius if and only if $A$ is self-injective.
• The category ${\rm mon}(Q,I,A)$ is a resolving subcategory of ${\rm rep}(Q,I,A)$, and its objects are precisely the monic representations satisfying (G) that are Gorenstein-projective.
• The proof relies on analyzing image and kernel relations along paths in the quiver, particularly using the injectivity of $X_{\alpha}X_p$ when $\alpha p \notin I$ and the decomposition of elements in kernels via path images.