We compute explicitly up to Morita-equivalence the skew group algebra of a finite group acting on the path algebra of a quiver and the skew group algebra of a finite group acting on a preprojective algebra. These results generalize previous results of Reiten and Riedtmann for a cyclic group acting on the path algebra of a quiver and of Reiten and Van den Bergh for a finite subgroup of $\SL(\C X \oplus \C Y)$ acting on $\C[X, Y]$.
We give a class of finite subgroups $G<SL(n, k)$ for which the skew-group algebra $k[x_1,\ldots, x_n]\#G$ does not admit the grading structure of a higher preprojective algebra. Namely, we prove that if a finite group $G<SL(n, k)$ is conjugate to a finite subgroup of $SL(n_1, k)\times SL(n_2, k)$, for some $n_1, n_2\geq 1$, then the skew-group algebra $k[x_1,\ldots,x_n]\#G$ is not Morita equivalent to a higher preprojective algebra. This is related to the preprojective algebra structure on the tensor product of two Koszul bimodule Calabi-Yau algebras. We prove that such an algebra cannot be en…
Suppose that $Q$ is a finite quiver and $G\subseteq \Aut(Q)$ is a finite group, $k$ is an algebraic closed field whose characteristic does not divide the order of $G$. For any algebra $Λ=kQ/{\mathcal {I}}$, $\mathcal {I}$ is an arbitrary ideal of path algebra $kQ$, we give all the indecomposable $ΛG$-modules from indecomposable $Λ$-modules when $G$ is abelian. In particular, we apply this result to the deformed preprojective algebra $Π_{Q}^λ$, and get a reflection functor for the module category of $Π_{Q}^λG$. Furthermore, we construct a new quiver $Q_{G}$ and prove that $Π_{Q}^λG$ is Morita e…
In this article we study the properties of preprojective algebras of representation finite species. To understand the structure of a preprojective algebra, one often studies its Nakayama automorphism. A complete description of the Nakayama automorphism is given by Brenner, Butler and King when the algebra is given by a path algebra. We generalize this result to the species case. We show that the preprojective algebra of a representation finite species is an almost Koszul algebra. With this we know that almost Koszul complexes exist. It turns out that the almost Koszul complex for a representat…
This paper studies connections between the preprojective modules over the path algebra of a finite connected quiver without oriented cycles, the (+)-admissible sequences of vertices, and the Weyl group. For each preprojective module, there exists a unique up to a certain equivalence shortest (+)-admissible sequence annihilating the module. A (+)-admissible sequence is the shortest sequence annihilating some preprojective module if and only if the product of simple reflections associated to the vertices of the sequence is a reduced word in the Weyl group. These statements have the following app…
Let $Q$ be a tree-type quiver, $\mathbf{k} Q$ its path algebra, and $λ$ a nonzero element in the field $\mathbf{k}$. We construct irreducible morphisms in the Auslander-Reiten quiver of the transjective component of the bounded derived category of $\mathbf{k} Q$ that satisfy what we call the $λ$-relations. When $λ=1$, the relations are known as mesh relations. When $λ=-1$, they are known as commutativity relations. Using this technique together with the results given by Baer-Geigle-Lenzing, Crawley-Boevey, Ringel, and others, we show that for any tree-type quiver, several descriptions of its p…
Let $\mathcal{C}$ be a Hom-finite triangulated 2-Calabi-Yau category with a cluster tilting object. Under some constructibility assumptions on $\mathcal{C}$ which are satisfied for instance by cluster categories, by generalized cluster categories and by stable categories of modules over a preprojective algebra, we prove a multiplication formula for the cluster character associated with any cluster tilting object. This formula generalizes those obtained by Caldero-Keller for representation finite path algebras and by Xiao-Xu for finite-dimensional path algebras. It is analogous to a formula obt…
Quivers play an important role in the representation theory of algebras, with a key ingredient being the path algebra and the preprojective algebra. Quiver grassmannians are varieties of submodules of a fixed module of the path or preprojective algebra. In the current paper, we study these objects in detail. We show that the quiver grassmannians corresponding to submodules of certain injective modules are homeomorphic to the lagrangian quiver varieties of Nakajima which have been well studied in the context of geometric representation theory. We then refine this result by finding quiver grassm…
The goal of this paper is to prove that if Q is a connected non-Dynkin quiver then the preprojective algebra of Q over any field k is Koszul, and has Hilbert series 1/(1-Ct+t^2), where C is the adjacency matrix of the double of Q. (This result, in somewhat less general formulations, was previously obtained by Martinez-Villa and Malkin-Ostrik-Vybornov). We also prove a similar result for the partial preprojective algebra of any connected quiver Q, associated to a subset J of the set I of vertices of Q (by definition, this is the quotient of the path algebra of the double by the preprojective al…
We prove that all quiver Grassmannians for exceptional representations of a generalized Kronecker quiver admit a cell decomposition. In the process, we introduce a class of regular representations which arise as quotients of consecutive preprojective representations. Cell decompositions for quiver Grassmannians of these "truncated preprojectives" are also established. We also provide two natural combinatorial labelings for these cells. On the one hand, they are labeled by certain subsets of a so-called 2-quiver attached to a (truncated) preprojective representation. On the other hand, the cell…
Let $Q$ be an acyclic quiver, it is classical that certain truncations of the translation quiver $\mathbb Z Q$ appear in the Auslander-Reiten quiver of the path algebra $kQ$. The stable $n$-translation quiver $\mathbb Z|_{n-1} Q$ is introduced as a generalization of the $\mathbb Z Q$ construction in studying higher representation theory of algebras for an acyclic bound quiver $Q$. In this paper, we find conditions for a Hom-finite Krull-Schmidt $k$-category to be realized as the bound path category of a convex full subquiver of an stable $n$-translation quiver.We show that for $n$-slice algebr…
We study Serre structures on categories enriched in pivotal monoidal categories, and apply this to study Serre structures on two types of graded k-linear categories: categories with group actions and categories with graded hom spaces. We check that Serre structures are preserved by taking orbit categories and skew group categories, and describe the relationship with graded Frobenius algebras. Using a formal version of Auslander-Reiten translations, we show that the derived category of a d-representation finite algebra is fractionally Calabi-Yau if and only if its preprojective algebra has a gr…
We apply the notion of hyperfinite families of modules to the wild path algebras of generalised Kronecker quivers $kΘ(d)$. While the preprojective and postinjective component are hyperfinite, we show the existence of a family of non-hyperfinite modules in the regular component for some $d$. Making use of dimension expanders to achieve this, our construction is more explicit than previous results. From this it follows that no finitely controlled wild algebra is of amenable representation type.
We introduce and study a class of Iwanaga-Gorenstein algebras defined via quivers with relations associated with symmetrizable Cartan matrices. These algebras generalize the path algebras of quivers associated with symmetric Cartan matrices. We also define a corresponding class of generalized preprojective algebras. Without any assumption on the ground field, we obtain new representation-theoretic realizations of all finite root systems.
Let R be the skew group algebra of a finite group acting on the path algebra of a quiver. This article develops both theoretical and practical methods to do computations in the Morita reduced algebra associated to R. Reiten and Riedtmann proved that there exists an idempotent e of R such that the algebra eRe is both Morita equivalent to R and isomorphic to the path algebra of some quiver which was described by Demonet. This article gives explicit formulas for the decomposition of any element of eRe as a linear combination of paths in the quiver described by Demonet. This is done by expressing …
It is shown that, the quasi-Koszulities of algebras and modules are Morita invariance. A finite-dimensional $K$-algebra $A$ with an action of $G$ is quasi-Koszul if and only if so is the skew group algebra $A \ast G$, where $G$ is a finite group satisfying $\char K \nmid |G|$. A finite-dimensional $G$-graded $K$-algebra $A$ is quasi-Koszul if and only if so is the smash product $A # G^*$, where $G$ is a finite group satisfying $\char K \nmid |G|$. These results are applied to prove that, if a finite-dimensional connected quiver algebra is Koszul then so are its Galois covering algebras with fi…
The $n$-slice algebra is introduced as a generalization of path algebra in higher dimensional representation theory. In this paper, we give a classification of $n$-slice algebras via their $(n+1)$-preprojective algebras and the trivial extensions of their quadratic duals. One can always relate tame $n$-slice algebras to the McKay quiver of a finite subgroup of $\mathrm{GL}(n+1, \mathbb C)$. In the case of $n=2$, we describe the relations for the $2$-slice algebras related to the McKay quiver of finite Abelian subgroups of $\mathrm{SL}(3, \mathbb C)$ and of the finite subgroups obtained from em…
Suppose that $Q$ is a connected quiver without oriented cycles and $σ$ is an automorphism of $Q$. Let $k$ be an algebraically closed field whose characteristic does not divide the order of the cyclic group $\langleσ\rangle$. The aim of this paper is to investigate the relationship between indecomposable $kQ$-modules and indecomposable $kQ\#k\langleσ\rangle$-modules. It has been shown by Hubery that any $kQ\#k\langleσ\rangle$-module is an isomorphically invariant $kQ$-module, i.e., ii-module (in this paper, we call it $\langleσ\rangle$-equivalent $kQ$-module), and conversely any $\langleσ\rangl…
In this note we prove some structural properties of all the A1-homotopy invariants of corner skew Laurent polynomial algebras. As an application, we compute de mod-l algebraic K-theory of Leavitt path algebras using solely the kernel/cokernel of the incidence matrix. This leads naturally to some vanishing and divisibility properties of the algebraic K-theory of these algebras.
We classify $n$-hereditary monomial algebras in three natural contexts: First, we give a classification of the $n$-hereditary truncated path algebras. We show that they are exactly the $n$-representation-finite Nakayama algebras classified by Vaso. Next, we classify partially the $n$-hereditary quadratic monomial algebras. In the case $n=2$, we prove that there are only two examples, provided that the preprojective algebra is a planar quiver with potential. The first one is a Nakayama algebra and the second one is obtained by mutating $\mathbb A_3\otimes_k \mathbb A_3$, where $\mathbb A_3$ is …
We define cylindric generalisations of skew Macdonald functions when one of their parameters is set to zero. We define these functions as weighted sums over cylindric skew tableaux: fixing two integers n>2 and k>0 we shift an ordinary skew diagram of two partitions, viewed as a subset of the two-dimensional integer lattice, by the period vector (n,-k). Imposing a periodicity condition one defines cylindric skew tableaux as a map from the periodically continued skew diagram into the integers. The resulting cylindric Macdonald functions appear in the coproduct of a commutative Frobenius algebra,…
