# On quiver Grassmannians and orbit closures for representation-finite algebras

- 1.1k Downloads
- 1 Citations

## Abstract

We show that Auslander algebras have a unique tilting and cotilting module which is generated and cogenerated by a projective–injective; its endomorphism ring is called the projective quotient algebra. For any representation-finite algebra, we use the projective quotient algebra to construct desingularizations of quiver Grassmannians, orbit closures in representation varieties, and their desingularizations. This generalizes results of Cerulli Irelli, Feigin and Reineke.

### Keywords

Quiver Grassmannian Representation variety Auslander algebra Tilting theory### Mathematics Subject Classification

Primary 16G60 Secondary 14L30 14M15## 1 Introduction

Starting from a finite-dimensional module *M* over a finite-dimensional associative algebra *A* one can obtain an algebraic variety either by forming the so-called quiver Grassmannian \({ Gr}_A \left( {\begin{array}{c}M\\ \underline{d}\end{array}}\right) \) parameterizing submodules of *M* of dimension vector \(\underline{d}\), or by taking the orbit closure \(\overline{\mathcal {O}_M}\) associated to *M* in the representation variety parameterizing all *A*-modules of the same dimension vector as *M*. In the situation where *A* is the path algebra of a Dynkin quiver, Cerulli Irelli, Feigin and Reineke constructed desingularizations of quiver Grassmannians [7] and realized orbit closures as affine quotient varieties [8]. One would like to generalize these constructions to other algebras, and Keller and Scherotzke [14] and Scherotzke [21] obtained some results in the cases when *A* is an iterated tilted algebra of Dynkin type or a self-injective algebra of finite representation type. In this paper we generalize to the case when *A* is an arbitrary finite-dimensional algebra of finite representation type. We again construct desingularizations of quiver Grassmannians and realize orbit closures as affine quotient varieties. For the latter, our construction unifies the work of Cerulli Irelli, Feigin and Reineke with a construction of closures of conjugacy classes used by Kraft and Procesi [16] to prove their normality. In addition, we construct desingularizations of orbit closures.

In order to study a Dynkin quiver *Q*, a certain algebra (denoted \(\tilde{\varLambda }_Q\) or \(B_Q\)) has been introduced independently by Hernandez and Leclerc [12] and by Cerulli Irelli, Feigin and Reineke. We generalize this to an algebra \(B=B_A\), which we call the *projective quotient algebra*, associated to any finite-dimensional algebra *A* of finite representation type. We begin by discussing this algebra. We write *A*-\(\mathrm{Mod}\) for the category of (left) *A*-modules and *A*-\(\mathrm{mod}\) for the category of finite-dimensional modules. Let \(\mathcal {Q}\) be the category whose objects are surjective morphisms \(f:P\rightarrow X\) in *A*-\(\mathrm{mod}\) with *P* projective, and whose morphisms from \(f:P\rightarrow X\) to \(f^{\prime } :P^{\prime } \rightarrow X^{\prime }\) are given by pairs \((t,s)\in \mathrm{Hom}_A(P,P^{\prime }) \times \mathrm{Hom}_A(X, X^{\prime } )\) such that \(f^{\prime } t = s f\). We can consider \(\mathcal {Q}\) as a category of complexes with two terms, and define \(\mathcal {H}\) to be the corresponding homotopy category. Assuming that *A* has finite representation type, the category \(\mathcal {H}\) has only finitely many indecomposable objects, and we set *G* to be the direct sum of them. Thus *G* is an additive generator for \(\mathcal {H}\). The projective quotient algebra for *A* is defined to be \(B = \mathrm{End}_{\mathcal {H}}(G)^{op}\).

There is another characterization of the projective quotient algebra which shows how natural it is. Recall that if *A* has finite representation type, its Auslander algebra is \(\mathrm{End}_A(E)^{op}\), where *E* is the direct sum of one copy of each indecomposable *A*-module. Auslander [1] characterized the algebras which arise this way as those of global dimension \(\le 2\) and dominant dimension \(\ge 2\). In the same spirit we have the following. (All tilting and cotilting modules are assumed to be classical, so with projective dimension \(\le 1\) and injective dimension \(\le 1\) respectively.)

### Lemma 1.1

Let \(\varGamma \) be a finite-dimensional algebra and let \(\mathcal {C}\) be the class of modules generated and cogenerated by a projective–injective \(\varGamma \)-module. Then \(\varGamma \) is an Auslander algebra if and only if it has global dimension \(\le 2\) and \(\mathcal {C}\) contains a tilting module. In this case there is a unique basic tilting module \(T \in \mathcal {C}\) and it is also a cotilting module.

### Proof

Suppose \(\varGamma \) has global dimension \(\le 2\). If \(Y\in \mathcal {C}\) then there are exact sequences \(0\rightarrow X\rightarrow I\rightarrow Y\rightarrow 0\) and \(0\rightarrow Y\rightarrow P\rightarrow Z\rightarrow 0\) with *I* injective and *P* projective (in fact both projective–injective), and from the resulting long exact sequences it is easy to see that \(\mathrm{proj.dim}~Y\le 1\), \(\mathrm{inj.dim}~Y \le 1\) and \(\mathrm{Ext}^1(Y,Y)=0\). Thus any module *Y* in \(\mathcal {C}\) is a partial tilting and cotilting module, so has \(\le n\) non-isomorphic indecomposable summands, where *n* is the number of simple \(\varGamma \) modules, and it has exactly *n* if and only if *Y* is tilting or equivalently cotilting.

If \(\varGamma \) is an Auslander algebra, then the dominant dimension condition gives a map \(\theta :Q^{\prime }\rightarrow Q^{{\prime }{\prime }}\) between projective–injective modules with \(\mathrm{ker}\, \theta \cong \varGamma \). Then \(Y = Q^{\prime }\oplus \mathrm{Im}\,\theta \in \mathcal {C}\) is a tilting module.

Conversely, if there is a tilting module *Y* in \(\mathcal {C}\) then \(\varGamma \) embeds in a direct sum of copies of *Y*, so in a projective–injective module. Thus there is an exact sequence \(0\rightarrow \varGamma \rightarrow Q\rightarrow U\rightarrow 0\) with *Q* projective–injective. Then it is easy to see that \(\mathrm{proj.dim}\, U \le 1\) and applying \(\mathrm{Hom}(U,-)\) to the first exact sequence for *Y* above gives \(\mathrm{Ext}^1(U,Y)=0\). Thus, since *Y* is a cotilting module, *U* is cogenerated by *Y*, so it too embeds in a projective–injective. It follows that \(\varGamma \) has dominant dimension \(\ge 2\), so is an Auslander algebra. \(\square \)

Now let *A* be an algebra of finite representation type. By the lemma, its Auslander algebra \(\varGamma \) has a uniquely determined basic tilting and cotilting module *T* which is generated and cogenerated by a projective–injective module.

### Theorem 1.2

The projective quotient algebra *B* for *A* is isomorphic to the algebra \(\mathrm{End}_\varGamma (T)^{op}\).

*A*is basic. Thus

*A*is a direct summand of

*E*, and also \(A\rightarrow 0\) is a direct summand of

*G*in the category \(\mathcal {H}\), and we denote by \(e\in B\) the projection onto this summand. Then \(eBe \cong \mathrm{End}_{\mathcal {H}}(A\rightarrow 0)^{op} \cong A\), and we treat this as an identification. There is a recollementwhere

*e*also denotes the functor sending a

*B*-module

*M*to the

*A*-module

*eM*, and there is an associated intermediate extension functor

*c*. We define \(\mathrm{D}(-) = \mathrm{Hom}_K(-,K)\).

### Theorem 1.3

*A*-modules

*X*,

*Y*.

We use this result together with standard properties of intermediate extension functors to obtain our geometric results. Henceforth let *K* be an algebraically closed field. Still *A* is a basic algebra of finite representation type, and let \(e_1,\dots ,e_n\) be a complete set of primitive orthogonal idempotents in *A*. The dimension vector of an *A*-module *N* is \(\underline{d}= (\dim ~e_i N) \in \mathbb {N}_0^n\). Let \(e_1,\dots ,e_m\) be a complete set of orthogonal idempotents in *B*, with the first \(n\le m\) being the corresponding idempotents for *A*. Dimension vectors for *B* are given by pairs \((\underline{d},\underline{r})\) with \(\underline{d}\in \mathbb {N}_0^n\) and \(\underline{r}\in \mathbb {N}_0^{m-n}\).

Let *M* be an *A*-module. Recall that \({ Gr}_A \left( {\begin{array}{c}M\\ \underline{d}\end{array}}\right) \) is a projective variety, possibly with singularities. If *N* is an *A*-module of dimension \(\underline{d}\), then there is a map of varieties from the set of injective maps in \(\mathrm{Hom}_A(N,M)\) to the Grassmannian, whose image is the set of submodules isomorphic to *N*. We denote it \(\mathcal {S}_{[N]}\); it is locally closed and if non-empty it is irreducible. Note that \({ Gr}_A \left( {\begin{array}{c}M\\ \underline{d}\end{array}}\right) \) may have several irreducible components, but using that *A* has finite representation type, they are of the form \(\overline{\mathcal {S}_{[N_i]}}\) for some *A*-modules \(N_1,\dots ,N_\ell \). We consider \(\mathcal {S}_{[c(N_i)]} \subseteq { Gr}_B \left( {\begin{array}{c}c(M)\\ \underline{d}, \underline{r}_i\end{array}}\right) \), where \((\underline{d},\underline{r}_i)\) is the dimension vector of \(c(N_i)\). A *desingularization* of a variety *X* is a birational projective morphism from a smooth variety to *X*. Our first geometric application is the following.

### Theorem 1.4

*e*induces a desingularization

Modules of any given dimension vector \(\underline{d}\in \mathbb {N}_0^n\) are parameterized by a variety \(\mathrm{R}_A(\underline{d})\) and the group \(\mathbf {Gl}_{\underline{d }}\) acts with the orbits being the isomorphism classes. We write \(\mathcal {O}_M\) for the orbit corresponding to a module *M*. Our second geometric application is as follows.

### Theorem 1.5

If *K* has characteristic zero and *M* is an *A*-module, then \(\overline{\mathcal {O}_M}\) is isomorphic to the affine quotient variety \(\mathrm{R}_B(\underline{d},\underline{r})/\!\!/\mathbf {Gl}_{\underline{r}}\) where \((\underline{d},\underline{r})\) is the dimension vector of *c*(*M*), and also to \(\overline{\mathcal {O}_{c(M)}} /\!\!/\mathbf {Gl}_{\underline{r}}\).

Associated to the recollement there is a stability notion for *B*-modules. We denote by \(\mathrm{R}_B(\underline{d},\underline{r})^s\) the open subset of stable modules in \(\mathrm{R}_B(\underline{d},\underline{r})\) and by \(\mathrm{R}_B(\underline{d},\underline{r})^s / \mathbf {Gl}_{\underline{r}}\) the corresponding geometric quotient (the GIT moduli space of stable *B*-module). Using this we obtain another desingularization.

### Theorem 1.6

*K*has characteristic zero and

*M*is an

*A*-module, then the natural map

## 2 Recollements

*recollement*of abelian categories is a diagramconsisting of three abelian categories and six functors satisfying the following conditions.

- (1)
\((q,i), (i,p), (\ell , e) , (e, r)\) are adjoint pairs of functors.

- (2)
The natural transformations \(\rho :er \rightarrow \mathrm{id}_{\mathcal {C}}, \lambda :\mathrm{id}_{\mathcal {C}} \rightarrow e\ell \) are isomorphisms.

- (3)
The natural transformations \(P:\mathrm{id}_{\mathcal {A}} \rightarrow pi\) and \(Q :qi\rightarrow \mathrm{id}_{\mathcal {A}}\) are isomorphisms.

- (4)
The functor

*i*is an embedding onto the full subcategory of \(\mathcal {B}\) with objects*b*such that \(eb =0\).

*i*and

*e*are exact, and the conditions (2) and (3) are equivalent to the fully faithfulness of \(\ell \),

*r*and

*i*.

### 2.1 The intermediate extension functor

*intermediate extension functor*given by

*N*in \(\mathcal {B}\) set \(e(N):= M\). Then there are two adjoint maps \(\alpha _N:\ell (M)\rightarrow N, \;\beta _N:N\rightarrow r(M)\) and the following diagram commutesThe following lemma summarizes results in [17, §4] and [10, Proposition 4.4].

### Lemma 2.1

- (1)
\(ec(M)\cong M\) naturally in

*M*. - (2)Let
*N*be in \(\mathcal {B}\) with \(e(N)\cong M\). Then*c*(*M*) is a subquotient of*N*. More precisely, from the above diagram we get short exact sequenceswith \(e(\mathrm{ker}\beta _N)=0 = e(\mathrm{coker}(j))\).$$\begin{aligned} 0\rightarrow \mathrm{ker}\beta _N&\rightarrow N \rightarrow \mathrm{Im}\beta _N\rightarrow 0\\ 0\rightarrow c(M)&\xrightarrow {j} \mathrm{Im}\beta _N \rightarrow \mathrm{coker}(j)\rightarrow 0 \end{aligned}$$ - (3)
Let

*N*be in \(\mathcal {B}\) with \(e(N)\cong M\). Then, \(N\cong c(M)\) if and only if*N*has no non-zero subobjects or quotients in \(\mathcal {A}\). - (4)
The functor

*c*preserves epimorphisms and monomorphisms. - (5)If \(\mathcal {B}\) is a category with sums and products in which the natural mapis monic for all indexed sets of objects \(\{ N_{\alpha }\}\), then$$\begin{aligned} \bigoplus _{\alpha } N_{\alpha } \rightarrow \prod _{\alpha } N_{\alpha } \end{aligned}$$
*c*commutes with direct sums. - (6)The functor
*c*maps simples in \(\mathcal {C}\) to simples in \(\mathcal {B}\). There is a bijection between sets of isomorphisms classes of simplesgiven by sending a simple$$\begin{aligned} \{ simples~ in ~\mathcal {A}\} \sqcup \{ simples~ in~ \mathcal {C}\} \rightarrow \{ simples~ in~ \mathcal {B}\} \end{aligned}$$*N*in \(\mathcal {A}\) to*i*(*N*) and a simple*M*in \(\mathcal {C}\) to*c*(*M*). - (7)There are short exact sequences of natural transformations$$\begin{aligned} 0\rightarrow ip\ell \rightarrow \ell \rightarrow c \rightarrow 0, \quad 0\rightarrow c\rightarrow r \rightarrow iqr \rightarrow 0 \end{aligned}$$

The next lemma is essentially in [10].

### Lemma 2.2

- (1)
\(\mathrm{Hom}_{\mathcal {B}} (c(M), F) \rightarrow \mathrm{Hom}_{\mathcal {C}} (ec(M), e(F)) \cong \mathrm{Hom}_{\mathcal {C}} (M, e(F))\) and

- (2)
\(\mathrm{Hom}_{\mathcal {B}} (F,c(M)) \rightarrow \mathrm{Hom}_{\mathcal {C}} (e(F), ec(M)) \cong \mathrm{Hom}_{\mathcal {C}} (e(F), M)\)

*c*is fully faithful and preserves indecomposable objects.

### Proof

*c*is fully faithful, it preserves indecomposables. \(\square \)

### 2.2 Stable and costable objects

Associated to a recollement there are the notions of stable and costable objects (see [13, §2.6, §4.8] for the case of Kan extensions). We consider a recollement as above with intermediate extension functor *c*. We characterize stable and costable objects in the following two lemmas. For an additive functor \(f:\mathcal {S}\rightarrow \mathcal {T}\) we denote by \(\mathrm{ker}f\) the full subcategory in \(\mathcal {S}\) whose objects are send to zero under *f*.

### Lemma/Definition 2.3

*F*in the middle category \(\mathcal {B}\) is

*stable*(or \(e\)-

*stable*) if one of the following equivalent conditions is fulfilled

- (1)
\(\mathrm{Hom}_{\mathcal {B}} (G, F) =0\) for every object

*G*with \(e(G)=0\). - (2)
The natural map \(F\rightarrow re(F)\) is a monomorphism.

- (3)
Every non-zero subobject \(F^\prime \subset F\) fulfills \(e(F^\prime )\ne 0\).

- (4)
\(F\in \mathrm{ker}p\).

*F*is stable, then there is a (natural) monomorphism \( c e(F)\rightarrow F\) (compare Lemma 2.1 part (2)).

### Proof

*F*fulfills (1). Let \(F^\prime \subset F\) be a non-zero subobject (if it exists). By (1) it follows that \(e(F^\prime )\ne 0\), so (3) is fulfilled. Assume

*F*fulfills (3). Let \(F^\prime \subset F\) be the kernel of the map \(F\rightarrow re(F)\). Since \(e\) is exact, we get \(e(F^\prime )=0\), so by (3) it follows \(F^\prime =0\). Therefore, (2) is fulfilled. Assume

*F*fulfills (2). Let

*G*be an object with \(e(G)=0\). Using (2) we get a monomorphism

*ip*(

*F*). So, if \(F \rightarrow re(F)\) is a monomorphism, then \(ip (F)=0\) and since

*i*is fully faithful, it follows \(p(F)=0\). \(\square \)

### Lemma/Definition 2.4

*H*in the middle category \(\mathcal {B}\) is

*costable*(or \(e\)-

*costable*) if one of the following equivalent conditions is fulfilled

- (1)
\(\mathrm{Hom}_{\mathcal {B}} (H,G) =0\) for every

*G*with \(e(G)=0\). - (2)
The natural map \(\ell e(H) \rightarrow H\) is an epimorphism.

- (3)
Every non-zero quotient object \(H\twoheadrightarrow H^\prime \) fulfills \(e(H^\prime ) \ne 0\).

- (4)
\(H\in \mathrm{ker}~q\).

*H*is costable, then there is a (natural) epimorphism \(H\rightarrow ce(H)\) (compare Lemma 2.1 part (2)).

### Proof

*H*fulfills (1). Let \(H^\prime \) be a non-zero quotient of

*H*. By (1) we get \(e(H^\prime )\ne 0\) and (3) is fulfilled. Assume

*H*fulfills (3). Let \(H^\prime \) be the cokernel of the map \(\ell e(H) \rightarrow H\). Since

*e*is exact, we get \(e(H^\prime )=0\), so by (3) it follows \(H^\prime =0\). Assume

*H*fulfills (2). Let

*G*be an object with \(e(G)=0\). Using (2) we get a monomorphism

*iq*(

*H*). So, if it is an epimorphism, then \(iq (H)=0\) and since

*i*is fully faithful, it follows \(q(H)=0\). \(\square \)

### Definition 2.5

We say *F* is *bistable* if it is stable and costable.

*F*is bistable if and only if \(F\cong ce(F)\). Now, every recollement of abelian categories with middle term \(\mathcal {B}\) is determined by its associated TTF-triple, which is a triple \((\mathcal {X}, \mathcal {Y}, \mathcal {Z})\) of subcategories of \(\mathcal {B}\) such that \((\mathcal {X}, \mathcal {Y})\) and \((\mathcal {Y}, \mathcal {Z})\) are torsion pairs, compare e.g. [19]. For our given recollement, the TTF-triple is

### 2.3 Functor categories

We are interested in *Krull–Schmidt categories*, by which we mean a small additive *K*-category \(\mathcal {R}\) with finite-dimensional Hom sets and split idempotents. We denote by \( \widehat{\mathcal {R}}\) the category of *K*-linear contravariant functors \(\mathcal {R}\rightarrow K\text {-}\mathrm{Mod}\). If *X* is an object in \(\mathcal {R}\), then there is a representable functor \(\mathrm{Hom}_{\mathcal {R}}(-,X)\), and by Yoneda’s Lemma, for any functor \(F\in \widehat{\mathcal {R}}\) one has \(\mathrm{Hom}_{ \widehat{\mathcal {R}}}(\mathrm{Hom}_{\mathcal {R}}(-,X),F) \cong F(X)\). It follows that representable functors are projective objects in \( \widehat{\mathcal {R}}\). Moreover projective objects which are isomorphic to representable functors are said to be *finitely generated*. The functor \(D\mathrm{Hom}_{\mathcal {R}}(X,-)\) is an injective object of \( \widehat{\mathcal {R}}\), and injective objects of this form are said to be *finitely cogenerated*.

*K*-linear functor \(f:\mathcal {S}\rightarrow \mathcal {R}\) of Krull–Schmidt categories induces a restriction functor \( \widehat{\mathcal {R}}\rightarrow \widehat{\mathcal {S}}\). Using tensor products over categories, and the usual hom-tensor adjointness, one obtains left and right adjoints \(\ell ,r: \widehat{\mathcal {S}}\rightarrow \widehat{\mathcal {R}}\) given by

### Lemma 2.6

*i*is given by composition with the natural functor \(\mathcal {R}\rightarrow \mathcal {R}/\mathcal {S}\).

## 3 The categories \(\mathcal {Q}\) and \(\mathcal {H}\) and two auxiliary recollements

Let *A* be a basic finite-dimensional *K*-algebra and let \(e_1,\dots ,e_n\) be a complete set of primitive orthogonal idempotents in *A*. Since *A* is basic, the modules \(P_i = Ae_i\) are a complete set of non-isomorphic indecomposable projective *A*-modules and their tops \(S_i\) are a complete set of non-isomorphic simple *A*-modules.

### 3.1 The category \(\mathcal {Q}\) of quotients of projectives and a first auxiliary recollement

Let \(\mathcal {Q}\) be the category defined as in the introduction. Let \(\mathcal {E}\) be the full subcategory of \(\mathcal {Q}\) consisting of the objects \(1:P\rightarrow P\), and let \({\mathcal {P}}\) be the full subcategory of \(\mathcal {Q}\) consisting of the objects \(0:P\rightarrow 0\). The following is clear.

### Lemma 3.1

- (1)
a projective cover \(f_U:P_U \rightarrow U\) of a non-projective indecomposable

*A*-module*U*, - (2)
indecomposables in \(\mathcal {E}\), so of the form \(1:P_i\rightarrow P_i\) for \(1\le i\le n\),

- (3)
indecomposables in \(\mathcal {P}\), so of the form \(0:P_i \rightarrow 0\) for \(1\le i\le n\).

### Remark 3.2

Clearly \(\mathcal {Q}\) is a full subcategory of the category \(\mathcal {T}\) whose objects are the morphisms \(f:Y\rightarrow X\) in *A*-\(\mathrm{mod}\) and whose morphisms are given by commutative diagrams. Now \(\mathcal {T}\) is abelian, indeed it is equivalent to the category of finite-dimensional modules for the algebra of \(2\times 2\) upper triangular matrices with entries in *A*. It is not difficult to see that \(\mathcal {Q}\) is functorially finite and extension-closed in \(\mathcal {T}\). Thus it is an exact category and, by [2, Theorem 2.4], the category \(\mathcal {Q}\) has Auslander–Reiten sequences. It is easy to see that the indecomposable Ext-projectives are the objects of the form \(1:P_i\rightarrow P_i\) and \(0:P_i\rightarrow 0\), and the indecomposable Ext-injectives are the objects of the form \(f_{I_i}:P_{I_i}\rightarrow I_i\) and \(0:P_i\rightarrow 0\), where \(I_i\) is the injective envelope of \(S_i\).

*A*-module structure.

### Theorem 3.3

### Proof

For the moment let \(\ell ^{\prime }\), \(r^{\prime }\) and \(c^{\prime }\) be defined by the formulas in the statement of the theorem. Since *P* is finitely generated and projective, \(\ell ^{\prime }\) is right exact and commutes with direct sums. Thus, to show it agrees with the left adjoint, it suffices to check this on the free module *A*, that is, \(\mathrm{Hom}_{\mathcal {Q}}(\ell ^{\prime }(A),F)\cong \mathrm{Hom}_A(A,e^{\prime }(F))\). This follows from Yoneda’s Lemma, since we have \(\ell ^{\prime }(A) \cong \mathrm{Hom}_{\mathcal {Q}}(-,(A\rightarrow 0))\).

Now the isomorphism between \(\mathrm{Im}(\mathrm{Hom}_A(P,M)\rightarrow \mathrm{Hom}_A(\mathrm{ker}f,M))\) and \(\mathrm{coker}(\mathrm{Hom}_A(X,M) \rightarrow \mathrm{Hom}_A(P,M))\) gives the result for \(c^{\prime }\). \(\square \)

### 3.2 The homotopy category \(\mathcal {H}\) and a second auxiliary recollement

*A*-\(\mathrm{Mod}\) is given by evaluating a functor in \( \widehat{\mathcal {E}}\) on the object \((1:A\rightarrow A)\).

### Lemma 3.4

A representable functor \(\mathrm{Hom}_{\mathcal {Q}}(-,(P\rightarrow X))\) is sent by the functor \(q_0: \widehat{\mathcal {Q}}\rightarrow \widehat{\mathcal {H}} \) to the representable functor \(\mathrm{Hom}_{\mathcal {H}}(-,(P\rightarrow X))\).

### Proof

### Lemma 3.5

If \((\theta ,\phi )\) is a morphism in \(\mathcal {Q}\) and \(\theta \) is a split monomorphism, then \((\theta ,\phi )\) induces a monomorphism in \(\mathcal {H}\).

### Proof

Say \((\theta ,\phi )\) is a morphism from \(f:P\rightarrow X\) to \(f^{\prime }:P^{\prime }\rightarrow X^{\prime }\), and let \(r:P^{\prime }\rightarrow P\) be a retraction for \(\theta \), so \(r \theta = 1_P\). Take a morphism in \(\mathcal {H}\) from an object \(f^{{\prime }{\prime }}:P^{{\prime }{\prime }}\rightarrow X^{{\prime }{\prime }}\) to \(f:P\rightarrow X\), and let it be represented by a morphism \((\theta ^{\prime },\phi ^{\prime })\) in \(\mathcal {Q}\). If the composition with \((\theta ,\phi )\) is zero in \(\mathcal {H}\), then in \(\mathcal {Q}\) the composition \((\theta \theta ^{\prime },\phi \phi ^{\prime })\) factors through an object in \(\mathcal {E}\), say as \((\alpha ,\beta )\) from \(f^{{\prime }{\prime }}:P^{{\prime }{\prime }}\rightarrow X^{{\prime }{\prime }}\) to \(1:Q\rightarrow Q\) composed with \((\alpha ^{\prime },\beta ^{\prime })\) from \(1:Q\rightarrow Q\) to \(f^{\prime }:P^{\prime }\rightarrow X^{\prime }\). Then \((\theta ^{\prime },r \alpha ^{\prime } \beta )\) defines a map from \(f:P^{{\prime }{\prime }}\rightarrow X^{{\prime }{\prime }}\) to \(1:P\rightarrow P\), and its composition with the map (1, *f*) from \(1:P\rightarrow P\) to \(f:P\rightarrow X\) is equal to \((\theta ^{\prime },f r \alpha ^{\prime } \beta )\). But \((\theta ^{\prime },\phi ^{\prime })\) is also a morphism from \(f^{{\prime }{\prime }}:P^{{\prime }{\prime }}\rightarrow X^{{\prime }{\prime }}\) to \(f:P\rightarrow X\), and since these two maps have the same first component, and \(f^{{\prime }{\prime }}\) is surjective, they must be equal, \((\theta ^{\prime },f r \alpha ^{\prime } \beta ) = (\theta ^{\prime },\phi ^{\prime })\). This shows that \((\theta ^{\prime },\phi ^{\prime })\) is the zero map in \(\mathcal {H}\), as required. \(\square \)

### Lemma 3.6

If *G* is a functor in \(\widehat{\mathcal {H}} \) and \(i_0(G)\) is finitely presented in \( \widehat{\mathcal {Q}}\), then \(\mathrm{proj.dim}_{ \widehat{\mathcal {Q}}} i_0(G) \le 2\). Also *G* is finitely presented in \(\widehat{\mathcal {H}} \) and \(\mathrm{proj.dim}_{\widehat{\mathcal {H}} } G \le 2\).

### Proof

*s*be a section for \(\theta ^{\prime }\) and

*r*a retraction for \(\theta \) with \(1_{P^{\prime }} = \theta r + s \theta ^{\prime }\). Then \(\alpha -shg = \theta \alpha ^{\prime }\) for some \(\alpha ^{\prime }:Q\rightarrow P\) and \(\beta - f^{\prime }sh = \phi \beta ^{\prime }\) for some \(\beta ^{\prime }:M\rightarrow X\), which actually has image contained in \(\mathrm{Im}(f)\) since

*g*is an epimorphism, we have \(\beta ^{\prime } = fr\). Then, up to a morphism factoring through a projective, \((\alpha ,\beta )\) comes from the map \((\alpha ^{\prime },\beta ^{\prime })\) from \(g:Q\rightarrow M\) to \(f_0:P\rightarrow \mathrm{Im}(f)\).

Now, because the map from *P* to \(P^{\prime }\) is a split monomorphism, the map from \(f_0:P\rightarrow \mathrm{Im}(f)\) to \(f^{\prime }:P^{\prime }\rightarrow X^{\prime }\) induces a monomorphism in \(\mathcal {H}\), and it follows that the sequence is exact on the left, too. \(\square \)

## 4 The main recollement

### 4.1 Projective dimension

### Lemma 4.1

For *A*-modules *M*, we have a natural isomorphism \(r^{\prime }(M) \cong i_0 r(M)\) and a natural epimorphism \(\ell ^{\prime }(M) \rightarrow i_0 \ell (M)\).

### Proof

*M*an

*A*-module, the functor \(r^{\prime }(M)\) vanishes on objects in \(\mathcal {E}\) (this follows from the explicit description of \(r^{\prime }\) given in Theorem 3.3), so it is equal to \(i_0 r(M)\) for some functor \(r:A\text {-}\mathrm{Mod}\rightarrow \widehat{\mathcal {H}} \). Now for \(G\in \widehat{\mathcal {H}} \) we have

*r*is the adjoint of

*e*.

*M*in

*A*-\(\mathrm{Mod}\) and \(F\in \widehat{\mathcal {H}} \), using that \(e = e^{\prime } i_0\) we have

*A*-module

*M*, the map

### Lemma 4.2

*c*is given by the same formula as \(c^{\prime }\), that is,

### Proof

For an *A*-module *M*, recall that \(c^{\prime }(M)\) is the image of the map from \(\ell ^{\prime }(M)\) to \(r^{\prime }(M)\). Now, using that \(i_0\) is exact, this factors as \( \ell ^{\prime }(M) \twoheadrightarrow i_0 \ell (M) \twoheadrightarrow i_0 c(M) \hookrightarrow i_0 r(M) = r^{\prime }(M). \) \(\square \)

### Lemma 4.3

*M*be a finite-dimensional left

*A*-module and let \(p:Q\rightarrow M\) be a projective cover. Then \(c(M)\) has a projective resolution

### Proof

### 4.2 Rigidity

In general, we do not know when intermediate extension functors map all modules to rigid modules but in our situation, we can prove this statement, generalizing [7, Theorem 5.6].

### Theorem 4.4

We have \(\mathrm{Ext}^1_{\widehat{\mathcal {H}} }(c(M), c(N) )=0\) for finite-dimensional left *A*-modules *M*, *N*.

### Proof

We observe the following special property that \(c\) maps injectives to injectives and projectives to projectives. More precisely, one has

### Lemma 4.5

*M*be an

*A*-module.

- (1)
If

*M*is injective, then \(c(M)=r(M)\) is injective in \(\widehat{\mathcal {H}} \). - (2)
If

*M*is projective, then \(c(M)=\ell (M) \) is projective in \(\widehat{\mathcal {H}} \).

### Proof

*M*is injective, then

*e*is exact and

*M*is injective, so

*r*(

*M*) is injective.

(2) It suffices to prove this for *M* a finitely generated projective module (or even for \(M=A\)). In this case it follows from the projective resolution of *c*(*M*) since one can take \(Q=M\) and the first term is zero. \(\square \)

We remark that \(c^{\prime }\) sends injectives to injectives, but it need not send projectives to projectives.

### 4.3 Injective dimension

*A*-modules are defined by \(\nu (M) = D\mathrm{Hom}_A(M,A)\) and \(\nu ^-(M) = \mathrm{Hom}_A(DM,A)\). They define inverse equivalences between the category of finite-dimensional projective

*A*-modules and the category of finite-dimensional injective

*A*-modules. For any modules

*X*and

*Y*there is a functorially defined map

*X*is a finite-dimensional projective module.

### Lemma 4.6

*A*-modules

*P*and \(P^{\prime }\).

### Proof

One can reduce to the case when \(P=P^{\prime }=A\). \(\square \)

### Lemma 4.7

If *M* is a finite dimensional left *A*-module, then \(c(M)\) is finitely copresented in \(\widehat{\mathcal {H}} \) and we have \(\mathrm{inj.dim}_{\widehat{\mathcal {H}} } (c(M)) \le 1\).

### Proof

*h*sends a map in the left hand space, which can be identified with \(\mathrm{Hom}(\nu ^- I,\mathrm{ker}f)\) to the map obtained by first composing with the inclusion \(\mathrm{ker}f\rightarrow P\) to get a map \(\nu ^-I\rightarrow P\), then applying \(\nu \) to get a map \(I \rightarrow \nu P\), and then composing with the inclusion \(M\rightarrow I\) to get a map \(M\rightarrow \nu P\), as required. The sequence is exact in the middle because a map \(\nu ^- I\rightarrow \mathrm{ker}f\) is sent to 0 by

*h*if and only if the map \(I\rightarrow \nu P\) factors through the map \(I\rightarrow J\) (using that

*J*is injective), so if and only if the map \(\nu ^- I\rightarrow P\) factors through \(\nu ^- I \rightarrow \nu ^- J\), which is the condition for the map from \(\nu ^- I\rightarrow 0\) to \(P\rightarrow X\) to come from a map from \(\nu ^- J\rightarrow \tau ^- M\) to \(P\rightarrow X\). The sequence is easily seen to be exact on the left. Now the dual of

*h*is the composition along the top of the diagramThe diagram commutes—the middle square commutes by dualizing the triangle in the previous lemma. The composition along the bottom can also be factorized as \( \mathrm{Hom}(P,M)\rightarrow \mathrm{Hom}(\mathrm{ker}f,M) \hookrightarrow \mathrm{Hom}(\mathrm{ker}f,I) \) so the image of the dual of

*h*is isomorphic to the image of the map \(\mathrm{Hom}(P,M)\rightarrow \mathrm{Hom}(\mathrm{ker}f,M)\), which is \(c(M)(P\rightarrow X)\). Thus, dualizing the original sequence, we get an exact sequence

### 4.4 Stable and costable functors

We want to characterize stable and costable objects for our main recollement.

### Lemma 4.8

*F*in \(\widehat{\mathcal {H}} \). The following are equivalent.

- (1)
*F*is stable. - (2)
There is an injective

*A*-module*I*such that*F*is a subfunctor of \(c(I)\). - (3)
There is an

*A*-module*M*such that*F*is a subfunctor of \(c(M)\).

### Proof

(3) implies (1) because submodules of stable modules are stable. Assume *F* fulfills (1). Let *I* be an injective hull of \(e(F)\). We apply the left exact functor \(r\) and get a monomorphism \(re(F) \rightarrow r(I)\). By Lemma 4.5 we have \(r(I) =c(I)\) and by Lemma 2.3, we have a monomorphism \(F\rightarrow re(F)\). Composition gives a monomorphism \(F\rightarrow c(I)\) and (2) is fulfilled. Now, (2) implies clearly (3). \(\square \)

### Lemma 4.9

*H*in \(\widehat{\mathcal {H}} \). The following are equivalent.

- (1)
*H*is costable. - (2)
There is a projective

*A*-module*P*such that*H*is a quotient of \(c(P)\). - (3)
There is a

*A*-module*M*such that*H*is a quotient of \(c(M)\).

We remark the following.

### Lemma 4.10

If \( 0\rightarrow F\rightarrow c(M) \rightarrow H \rightarrow 0 \) is a short exact sequence in \(\widehat{\mathcal {H}} \), with *M* an *A*-module, then *F* is stable, \(c(M)\) is bistable and *H* is costable. If \(\mathrm{inj.dim}~F\le 2\) or \(\mathrm{proj.dim}~H \le 2\), then \( \mathrm{Ext}^2_{\widehat{\mathcal {H}} }(F,F)=0=\mathrm{Ext}^2_{\widehat{\mathcal {H}} }(H,H)\).

### Proof

## 5 The projective quotient algebra

Let *A* be a basic finite-dimensional algebra as in Sects. 3 and 4. We now suppose that *A* has finite representation type. In this case \(\mathcal {H}\) has only finitely many indecomposable objects up to isomorphism, those of the form \(P_U\rightarrow U\), where *U* is a non-projective indecomposable *A*-module and \(P_U\) is a projective cover, and those of the form \(P_i\rightarrow 0\). We denote by *G* the direct sum of all these indecomposable objects and define \(B = B_A = \mathrm{End}_{\mathcal {H}}(G)^{op}\). It is a finite-dimensional basic algebra, and \(\mathcal {H}\) is equivalent to the category of finitely generated projective *B*-modules. Now the object \(A\rightarrow 0\) in \(\mathcal {H}\) is the direct sum of the objects \(P_i \rightarrow 0\), so it is a summand of *G*, and \(e\in B\) is the projection of *G* onto this summand. Then \(eB e \cong \mathrm{End}_{\mathcal {H}}(A\rightarrow 0)^{op} \cong \mathrm{End}_A(A)^{op} \cong A\). There is an equivalence of categories between \(\widehat{\mathcal {H}} \) and *B*-\(\mathrm{Mod}\), by evaluating functors at *G*, and the functor *e* in the main recollement given at the start of Sect. 4 is identified with the functor *B*-\(\mathrm{Mod}\) \(\rightarrow \) *A*-\(\mathrm{Mod}\), \(M\mapsto e M\). Therefore the main recollement can be identified with the recollement of *B*-\(\mathrm{Mod}\) given by the idempotent *e*, see for example [17, §2]. This is the recollement discussed in the introduction to the paper after Theorem 1.2.

Recall that *E* is the direct sum of all indecomposable *A*-modules and the Auslander algebra is \(\varGamma = \mathrm{End}_A(E)^{op}\). We define \(C=c(E)\). Since *c* is fully faithful, we have \(\mathrm{End}_B(C)^{op} \cong \varGamma \).

### Lemma 5.1

The projective quotient algebra *B* has global dimension at most 2 and the module *C* is a tilting and cotilting module.

### Proof

By Lemma 3.6, any finite-dimensional *B*-module has projective dimension \(\le 2\), giving the global dimension claim. The number of indecomposable summands of *C* is equal to the number of indecomposable *A*-modules, which is also the number of indecompsable objects in \(\mathcal {H}\), so the number of simple *B*-modules. Thus *C* is a tilting and cotilting module by Lemmas 4.3, 4.7 and Theorem 4.4. \(\square \)

### Theorem 5.2

The intermediate extension functor \(c: A\text {-}\mathrm{Mod}\rightarrow B\text {-}\mathrm{Mod}\) is given by \(c(X) = C \otimes _\varGamma \mathrm{Hom}_A(E,X)\). It satisfies \(\mathrm{Ext}^1_B(c(X),c(Y)) = 0\) for any *A*-modules *X*, *Y*.

### Proof

The assignment \(\mathrm{Hom}_A(E,X)\rightarrow \mathrm{Hom}_B(c(E),c(X))\) induces a map \(h_X:c(E)\otimes _\varGamma \mathrm{Hom}_A(E,X)\rightarrow c(X)\) which is functorial in *X*. Now \(h_E\) is an isomorphism, both sides commute with direct sums, and any *A*-module is a direct sum of summands of *E*, so \(h_X\) is an isomorphism for all *X*. The assertion about extensions follows from Theorem 4.4 since every *A*-module is a direct sum of finite-dimensional *A*-modules. \(\square \)

The next lemma follows from Lemmas 4.8 and 4.9.

### Lemma 5.3

The stable *B*-modules are those which are cogenerated by *C*, and the costable modules are those generated by *C*.

*B*be an arbitrary finite dimensional algebra. A tilting and cotilting

*B*-module

*C*induces two torsion pairs on

*B*-\(\mathrm{mod}\)

*C*is cotilting all injective modules are objects in \(\mathrm{Gen}(C)\) and because

*C*is tilting all projective objects are in \(\mathrm{Cogen}(C)\). We set \(\varGamma = \mathrm{End}_B (C)^{op}\), then \(\mathrm{D}C\) is a tilting and cotilting (left) \(\varGamma \)-module and by the Brenner-Butler theorem the two torsion pairs in

*B*-\(\mathrm{mod}\) in the order above are mapped under (four different) equivalences to the subcategories of \(\varGamma \)-\(\mathrm{mod}\)

*C*is tilting, the second two since

*C*is cotilting.

This leads to another characterization of projective quotient algebras. Let *B* again be the projective quotient algebra.

### Proposition 5.4

We have \(\mathrm{ker}~\mathrm{Hom}_B(C,-) = \mathrm{ker}~\mathrm{Hom}_B(-,C)\) and \(\mathrm{Gen}(C)\cap \mathrm{Cogen}(C) =\mathrm{Add}(C)\).

Here \(\mathrm{Add}(C)\) is the full subcategory of *B*-\(\mathrm{Mod}\) of summands of direct sums of copies of *C*.

### Proof

Recall from the introduction that there is a unique basic tilting cotilting \(\varGamma \)-module *T* generated and cogenerated by projective–injectives.

### Proposition 5.5

We have \(\mathrm{D}C \cong T\), so \(B \cong \mathrm{End}_\varGamma (T)\).

### Proof

*C*is generated and cogenerated by projective–injective right \(\varGamma \)-modules. By the theory of Auslander algebras (or the Nakayama isomorphism \(\varTheta _{X,Y}\)), \(E = e(C)\) is a projective–injective right \(\varGamma \)-module. We look at the epimorphism

*p*and monomorphism

*i*,

*B*-modules, but they are functorial, so also maps of right \(\varGamma \)-modules. By definition of the right adjoint, \(re (C) = \mathrm{Hom}_A (e(B), e(C))\) is a \(\varGamma \)-submodule of \(\mathrm{Hom}_K(e(B), e(C))\in \mathrm{Add}(e(C)) =\mathrm{Add}(E)\). By definition of the left adjoint, \(\ell e (C) = Be \otimes _A e(C)\), which is a quotient of \(Be \otimes _K e(C)\in \mathrm{Add}(E) \) as a \(\varGamma \)-module. This proves that

*C*is generated and cogenerated by \(\mathrm{Add}(E)\). \(\square \)

The same argument gives another characterization of projective quotient algebras.

### Theorem 5.6

If *B* is an arbitrary finite-dimensional algebra and *C* is a basic tilting and cotilting *B*-module satisfying the properties in Proposition 5.4, then *B* is a projective quotient algebra.

### Proof

*B*-\(\mathrm{Mod}\). The corresponding recollement is given by an idempotent element \(e\in B\) by Psaroudakis and Vitória [19, Corollary 5.5]. Letting \(A = eBe\), the intermediate extension functor gives an equivalence

*A*is representation-finite and \(E=e(C)\) is an Auslander generator. This implies that

*A*. Now

*C*has the property that it is generated and cogenerated by projective–injective right \(\varGamma \)-modules as in the proof of Proposition 5.5. The result follows. \(\square \)

*A*-modules (which is isomorphic to

*A*, so \(\epsilon \varGamma \epsilon \cong \mathrm{End}_A(A)^{op} \cong A\)). We look at the map given by left multiplication with this idempotent,

*B*and \(\varGamma \) in the middle. The next result shows that

*T*appears naturally in the recollement given by the idempotent \(\epsilon \in \varGamma \).

### Proposition 5.7

One has \(\mathrm{ker}~\epsilon =\mathrm{ker}~\mathrm{Hom}_{\varGamma } (- ,T) \). In particular, we can find \(\mathrm{Add}(T)\) as the Ext-injectives in the corresponding torsionfree class to \(\mathrm{ker}~\epsilon \).

### Proof

*X*be a \(\varGamma \)-module with \(\mathrm{Hom}_{\varGamma }(X, T)=0\). Since

*T*is a tilting module, it has as a direct summand every finite dimensional projective–injective module. So in particular, every

*I*(

*a*) with

*a*being a simple \(\varGamma \)-module corresponding to a projective

*A*-module is a summand of \(\varGamma \). Therefore, \(\mathrm{Hom}_{\varGamma }(X, I(a))=0\) for those

*a*. But this implies \(\dim _a X=0\) for those

*a*and therefore \(\epsilon X=0\). \(\square \)

## 6 Representation schemes and varieties

In this section we prove some general results about representation varieties and schemes for algebras. We prove a version of the First Fundamental Theorem for quivers, and then we apply it to finite-dimensional algebras. Then we prove a criterion for smoothness in representation schemes. These results are used in later sections.

*K*be an algebraically closed field, let

*A*be a finitely generated

*K*-algebra and let \(e_1,\dots ,e_n\) be a complete set of orthogonal idempotents in

*A*. For \(\underline{d}\in \mathbb {N}_0^n\), there is an affine scheme \(\mathbf {R}_A(\underline{d})\) of \(\underline{d}\)-dimensional representations of

*A*. For a commutative

*K*-algebra

*R*, its

*R*-points are the

*K*-algebra homomorphisms \(\theta :A\rightarrow M_d(R)\) where \(d = \sum _{i=1}^n d_i\), with the property that \(\theta (e_i) = \epsilon _i\) for all

*i*, where \(\epsilon _i\) is the idempotent in \(M_d(K)\) which, under the isomorphism

The *K*-points of \(\mathbf {R}_A(\underline{d})\) are *K*-algebra maps \(\theta :A\rightarrow M_d(K)\), and the corresponding *A*-module is \(X = K^d\) with the action of \(a\in A\) given by left multiplication by \(\theta (a)\). The condition that \(\theta (e_i)=\epsilon _i\) ensures that \(e_i X = K^{d_i}\) under the identification \(K^d = \bigoplus _{i=1}^n K^{d_i}\). We write \(\mathrm{R}_A(\underline{d})\) for the affine variety of \(\underline{d}\)-dimensional representations of *A*. Its points are the *K*-points of \(\mathbf {R}_A(\underline{d})\), ignoring any non-reduced structure on the scheme. The algebraic group \(\mathbf {Gl}_{\underline{d }}\) acts on by conjugation, and its orbits are the isomorphism classes of representations of *A* of dimension \(\underline{d}\), that is, *A*-modules *X* with \(\dim ~e_i X = d_i\) for all *i*.

Suppose that *K* has characteristic zero. For an algebraic group *G* acting on an affine variety *X*, we denote by \(X/\!\!/G\) the categorical quotient, the variety with coordinate ring \(K[X]^G\), where *K*[*X*] is the coordinate ring of *X*.

### 6.1 First Fundamental Theorem for quivers with partial group action

In this subsection the field *K* is algebraically closed of characteristic zero. Let \(Q_B\) be a finite quiver with vertices \(1,\ldots , n, n+1, \ldots , m\) (\(n \le m\)) and fix a dimension vector \((\underline{d}, \underline{r}) \in \mathbb {N}_0^n \times \mathbb {N}_0^{m-n} \) for \(Q_B\). Let \(Q^{>n}\) be the full subquiver of \(Q_B\) supported on the vertices \(n+1, \ldots , m\). We call a non-trivial path in \(Q_B\) primitive if starts and ends at a vertex in the range \(1, \ldots , n\) but does not otherwise pass through any such vertex. Let \(e:= \sum _{i=1}^n e_i\), and observe that \(e KQ_B e\) is isomorphic to the path algebra of a quiver \(Q_A^{\prime }\) with vertices \(1, \ldots , n\) whose arrows are the primitive paths. Note that \(Q_A^{\prime }\) may be infinite, but if we only consider primitive paths of length at most \(N^2\), where \(N= 1+\sum _{i=n+1}^m r_i\), we obtain a finite subquiver \(Q_A\) of \(Q_A^{\prime }\).

### Lemma 6.1

We use the method of deframing, compare [9, §1] and the proof of [8, Proposition 3.1].

### Definition 6.2

- (1)
If \(i,j \in \{ n+1, \ldots ,m \}\), then associated to

*a*there is one arrow \(i\rightarrow j\) in \(Q^\infty \). - (2)
If \(i\in \{1, \ldots ,n\} \), \(j \in \{ n+1, \ldots ,m \}\) then associated to

*a*there are \(d_i\) arrows \(\infty \rightarrow j\) in \(Q^\infty \). - (3)
If \(i \in \{ n+1, \ldots ,m \}\), \(j\in \{1, \ldots , n\} \) then associated to

*a*there are \(d_j\) arrows \(i \rightarrow \infty \) in \(Q^\infty \). - (4)
If \(i, j \in \{1, \ldots , n\}\), then associated to

*a*there are \(d_id_j\) loops at \(\infty \).

### Proof of Lemma 6.1

- (i)
An oriented cycle passing only through the vertices \(n+ 1, \ldots , m\). This invariant is the image under \(\varphi \) of the corresponding trace invariant for \(Q^{>n}\).

- (ii)
An oriented cycle of length at most \(N^2\) starting and ending at vertex \(\infty \) and not otherwise passing through \(\infty \). Each primitive path of length at most \(N^2\) from

*i*to*j*in \(Q_B\) gives rise to \(d_i d_j\) oriented cycles of this type and all arise this way. Such a primitive path correspond to an arrow from*i*to*j*in \(Q_A\) and therefore to a matrix of size \(d_j \times d_i\) in \(\mathrm{R}_{KQ_A}(\underline{d})\). The maps \(\mathrm{R}_{KQ_A}(\underline{d})\rightarrow K\) picking out the entries of this matrix are sent by \(\varphi \) to the required trace invariant.Thus each generator of \(K[\mathrm{R}_{KQ^{\infty }}(1,\underline{r})]^{\mathbf {Gl}_{\underline{r}}}\) is in the image of \(\varphi \), so \(\varphi \) is onto.

### 6.2 First Fundamental Theorem for finite dimensional algebras with an idempotent

Let *K* be an algebraically closed field of characteristic zero, let *B* be a finitely generated algebra and let \(e_1, \ldots , e_n, e_{n+1}, \ldots , e_m\) (\(n\le m\)) be a complete set of orthogonal idempotents in *B*.

Clearly we can write *B* in the form \(KQ_B/I\) for some quiver \(Q_B\) with vertices \(1,\dots ,m\) and some ideal *I*, in such a way that the trivial paths \(e_i\) in \(KQ_B\) correspond to the given idempotents \(e_i\) in *B*. Let \(e=\sum _{i=1}^n e_i\) and let \(A = eBe\). A dimension vector for *A* with respect to its complete set of orthogonal idempotents \(e_1,\dots ,e_n\) is an element \(\underline{d}\in \mathbb {N}_0^n\). A dimension vector for *B* with respect to the idempotents \(e_1,\dots ,e_m\) is a pair \((\underline{d},\underline{r})\) with \(\underline{d}\in \mathbb {N}_0^n\) and \(\underline{r}\in \mathbb {N}_0^{m-n}\). For any such dimension vector we have a natural restriction map \(e:\mathrm{R}_B(\underline{d},\underline{r})\rightarrow \mathrm{R}_A(\underline{d})\) given by left multiplication with *e*, and it induces a map \(\mathrm{R}_B(\underline{d},\underline{r})/\!\!/\mathbf {Gl}_{\underline{r}}\rightarrow \mathrm{R}_A(\underline{d})\).

### Lemma 6.3

If *B* is a basic finite-dimensional algebra and the idempotents \(e_{n+1},\dots ,e_m\) are primitive, then the map \(\mathrm{R}_B(\underline{d},\underline{r})/\!\!/\mathbf {Gl}_{\underline{r}}\rightarrow \mathrm{R}_A(\underline{d})\) is a closed immersion.

Note that here we must use the reduced scheme structure on \(\mathrm{R}_A(\underline{d})\) and \(\mathrm{R}_B(\underline{d},\underline{r})\).

### Proof

*fBf*-modules of dimension vector \(\underline{r}\). Since

*B*is finite-dimensional and basic, so is

*fBf*, and by assumption \(e_{n+1},\dots ,e_m\) is a complete set of primitive orthogonal idempotents in

*B*. It follows that there is a unique such semisimple module, and therefore this quotient variety is just a point. The claim follows. \(\square \)

### 6.3 Moduli spaces of stable representations

*K*is an algebraically closed field of characteristic zero. Let \(Q_B\) be a quiver as above and let \(Q^\infty \) be the deframed quiver constructed from a given dimension vector \((\underline{d}, \underline{r})\). We consider the stability notion on \(\mathrm{R}_{KQ^{\infty }}(1,\underline{r})\) given by the vector \(\theta \in \mathbb {R}^{m-n+1}\) defined as \(\theta _i = -1 \) if \(n+1\le i\le m\) and \(\theta _{\infty } = \sum _{i=n+1}^m d_i\). Thus a representation

*M*in \(\mathrm{R}_{KQ^{\infty }}(1,\underline{r})\) is \(\theta \)-stable if and only if for any non-zero proper subrepresentation

*N*of

*M*one has \(\theta \cdot \underline{\mathrm{dim}}~N > 0\). One can also consider \(\theta \)-semi-stable representations

*M*defined by the condition \(\theta \cdot \underline{\mathrm{dim}}~N \ge 0\). But for this particular \(\theta \) these two notions are equivalent. By geometric invariant theory (compare [15]) there is a projective morphism of varieties

*B*be a finitely generated algebra and let \(e_1, \ldots , e_n, e_{n+1}, \ldots , e_m\) (\(n\le m\)) be a complete set of orthogonal idempotents in

*B*, as in the previous subsection. By writing

*B*as a quotient of a path algebra \(KQ_B\) one obtains a projective morphism

### 6.4 Smooth points of module schemes

Let *A* be a finitely generated algebra over an algebraically closed field *K* of arbitrary characteristic, let \(e_1,\dots ,e_n\) be a complete set of orthogonal idempotents in *A* and let \(\underline{d}\in \mathbb {N}_0^n\) be a dimension vector. (Note that we allow the possibility that \(n=1\), so we just work with the total dimension of a representation). Recall that the closed points of the scheme \(\mathbf {R}_A(\underline{d})\) are identified with its *K*-points, so correspond to *A*-module structures *X* on \(\bigoplus _{i=1}^n K^{d_i}\).

### Lemma 6.4

If \(\mathrm{Ext}^2_A(X,X)=0\), then *X* is a smooth point of \(\mathbf {R}_A(\underline{d})\).

The authors are indebted to D. Vossieck for pointing out that this result is already known, at least in some form—see for example [11, Proposition 3.7]. We include our proof since it seems so direct. We use the following version of the lifting criterion for smoothness, see [23, Tag02HW].

### Lemma 6.5

*K*-algebra and \(\mathfrak {m}\) a maximal ideal in \(\varLambda \). The following are equivalent.

- (1)
The scheme \(\mathrm{Spec}\varLambda \) is smooth at \(\mathfrak {m}\).

- (2)Any
*K*-algebra map \(\varLambda \rightarrow R/I\) withlifts to a$$\begin{aligned} (*) \left\{ \begin{aligned}&R ~\mathrm{is~ a~ finite~ dimensional ~commutative ~local} ~K\hbox {-}\mathrm{algebra~ with} \\&~\mathrm{maximal~ ideal}~\mathfrak {n}~\mathrm{and}~ I~\subset ~R~ \mathrm{is~ an ~ideal~ with} ~I^2=0 ~\mathrm{and} \\&~I~\cong R/\mathfrak {n}~\mathrm{as~ an}~ R\hbox {-}\mathrm{module,~ and~ the~ preimage~ of}~ \mathfrak {n}/I~ \mathrm{is}~\mathfrak {m}, \end{aligned} \right. \end{aligned}$$*K*-algebra map \(\varLambda \rightarrow R\).

### Proof of Lemma 6.4

The module structure *X* corresponds to a homomorphism \(\theta :A \rightarrow M_d(K)\) with \(\theta (e_i) = \epsilon _i\) for all *i*, and we can identify \(\mathrm{End}_K(X)\) with \(M_d(K)\), with the left and right actions of \(a\in A\) corresponding to multiplication on the left or right by \(\theta (a)\).

One knows that \(\mathbf {R}_A(\underline{d})= \mathrm{Spec}\varLambda \), for a suitable finitely generated commutative *K*-algebra \(\varLambda \), with the property that for any commutative *K*-algebra *R*, the *K*-algebra maps \(\varLambda \rightarrow R\) correspond to *K*-algebra maps \(\psi :A \rightarrow M_d(R)\) with \(\psi (e_i)=\epsilon _i\) for all *i*.

In the setup of the lifting criterion we are given a finite dimensional commutative local *K*-algebra *R* with maximal ideal \(\mathfrak {n}\) and an ideal *I* with *K*-dimension 1 and \(I^2=0\). Let \(p:M_d(R)\rightarrow M_d(R/I)\) and \(\pi :M_d(R/I) \rightarrow M_d(R/\mathfrak {n}) \cong M_d(K)\) be the natural maps. According to the correspondence above, for the criterion we are given an algebra homomorphism \(\phi :A \rightarrow M_d(R/I)\) with \(\pi \phi = \theta \) and \(\phi (e_i)=\epsilon _i\) for all *i*, and need to lift it to an algebra homomorphism \(\psi :A\rightarrow M_d(R)\) with \(\phi = p\psi \) and \(\psi (e_i)=\epsilon _i\) for all *i*.

*A*on the left and right. In fact the actions descend to \(M_d(R/\mathfrak {n}) \cong M_d(K)\), so the actions of

*A*are given by left and right multiplication by \(\theta (a)\). Thus \(M_d(I)\) isomorphic to \(\mathrm{End}_K(X)\) as a

*A*–

*A*-bimodule. Then \(H^2(A,M_d(I)) \cong H^2(A,\mathrm{End}_K(X)) \cong \mathrm{Ext}^2(X,X) = 0\). Thus any (square zero) algebra extension of

*A*by \(M_d(I)\) is trivial (see for example [24, §9.3]). Consider the pullback diagramwhere \(P = \{ (C,a) \in M_d(R)\oplus A :p(C) = \phi (a) \}\). Since

*p*and \(\phi \) are algebra homomorphisms,

*P*becomes a

*K*-algebra, and it is an extension of

*A*by \(M_d(I)\), so it must be the trivial extension. Thus the map \(P \rightarrow A\) has a section \(A \rightarrow P\). Composing it with the homomorphism \(P \rightarrow M_d(R)\) we get a lifting \(\psi _0:A \rightarrow M_d(R)\) with \(p\psi _0 = \phi \).

We now need to adjust \(\psi _0\) to obtain a lifting \(\psi \) with \(\psi (e_i) = \epsilon _i\) for all *i*. Let \(S = K^n\) with the coordinatewise multiplication, so it is a separable algebra over *K*, and let \(\sigma :S\rightarrow A\) be the map sending the coordinate vectors in *S* to the idempotents \(e_i\). Let \(\eta :S\rightarrow M_d(K)\) be the map sending the coordinate vectors to \(\epsilon _i\). Then the condition that \(\theta (e_i)=\epsilon _i\) for all *i* can be rewritten as \(\theta \sigma = \eta \) (where we identify \(M_d(K)\) as a subalgebra of \(M_d(R/I)\)). Similarly \(\phi \sigma = \eta \), and we need to find \(\psi \) with \(\psi \sigma = \eta \) (where we identify \(M_d(K)\) as a subalgebra of \(M_d(R)\)).

For \(s\in S\) define \(d(s) = \psi _0(\sigma (s)) - \eta (s)\). This defines a map from *S* to \(M_d(R)\), and it has image contained in \(M_d(I)\) since \(pd = \phi \sigma - \eta = 0\). Now the bimodule action of *A* on \(M_d(I)\) gives a bimodule action of *S*, in which, by the discussion above, the left or right action of \(s\in S\) can be given by left or right multiplication by any of \(\eta (s)\) or \(\phi (\sigma (s))\) or \(\psi _0(\sigma (s))\). Now it is easy to see that \(d:S\rightarrow M_d(I)\) is a derivation, so, since *S* is separable, it is an inner derivation, so there is \(\gamma \in M_d(I)\) with \(d(s) = \eta (s)\gamma - \gamma \eta (s)\) for all \(s\in S\). Letting \(g = 1+ \gamma \in \mathbf {Gl}_d(R)\), it follows that \(g \psi _0(\sigma (s)) g^{-1} = \eta (s)\). Then defining \(\psi (a) = g\psi _0(a) g^{-1}\) we obtain the required lift of \(\phi \). \(\square \)

## 7 Geometric applications of the projective quotient algebra

Let *K* be an algebraically closed field, let *A* be a basic finite-dimensional algebra over *K* of finite representation type, let \(e_1,\dots ,e_n\) be a complete set of primitive orthogonal idempotents in *A*, and let *B* be the projective quotient algebra for *A*. By construction there is an idempotent \(e\in B\) with \(eBe \cong A\), and we use this to identify *A* as a (non-unital) subalgebra of *B*. Thus we can extend \(e_1,\dots ,e_n\) to a complete set of primitive orthogonal idempotents \(e_1,\dots ,e_m\) for *B* (with \(m\ge n\)). Dimension vectors for *A*-modules are elements \(\underline{d}\in \mathbb {N}_0^n\), and dimension vectors for *B*-module are given by pairs \((\underline{d}, \underline{r})\) with \(\underline{d}\in \mathbb {N}_0^n\) and \(\underline{r}\in \mathbb {N}_0^{m-n}\).

### 7.1 Desingularizations of quiver Grassmannians for representation-finite algebras

This is a straightforward generalization of [7, §7]. Let *M* be a finite-dimensional *A*-module and let \(\underline{d}\) be a dimension vector. As in the introduction, the irreducible components of \({ Gr}_A \left( {\begin{array}{c}M\\ \underline{d}\end{array}}\right) \) are of the form \(\overline{\mathcal {S}_{[N_i]}}\) for some *A*-modules \(N_1,\dots ,N_\ell \). Theorem 1.4 is a direct consequence of the following theorem (compare [7, Theorem 7.5] for *A* hereditary).

### Theorem 7.1

- (1)
\({ Gr}_B \left( {\begin{array}{c}c(M)\\ \underline{d}, \underline{r}\end{array}}\right) \) is smooth (not just as a variety, but also with its natural scheme structure) and \(\overline{\mathcal {S}_{[c(N)]}}\) is a connected component.

- (2)The map \(\pi :{ Gr}_B \left( {\begin{array}{c}c(M)\\ \underline{d}, \underline{r}\end{array}}\right) \rightarrow { Gr}_A \left( {\begin{array}{c}M\\ \underline{d}\end{array}}\right) \) induced by multiplication by
*e*is projective andfor \(U\in { Gr}_A \left( {\begin{array}{c}M\\ \underline{d}\end{array}}\right) \).$$\begin{aligned} \pi ^{-1}(U) \cong { Gr}_B\left( {\begin{array}{c}c(M)/c(U)\\ \underline{\mathrm{dim}}~c(N)-\underline{\mathrm{dim}}~c(U)\end{array}}\right) \end{aligned}$$ - (3)
The image of \(\pi \) is closed and contains \(\overline{\mathcal {S}_{[N]}}\). Over an open subset of \(\mathcal {S}_{[N]}\) the map is an isomorphism.

### Proof

(1) This follows from [7, Proposition 7.1] since *B* has global dimension \(\le 2\), *c*(*M*) has injective and projective dimension \(\le 1\), and \(\mathrm{Ext}^1_B(c(M),c(M))=0\).

To show that \(\overline{\mathcal {S}_{[c(N)]}}\) is a connected component, it is enough to see that it contains an open subset. Since \(\mathcal {S}_{[N]}\) contains by assumption an open subset, we just need to see \(\pi ^{-1}(\mathcal {S}_{[N]})=\mathcal {S}_{[c(N)]}\). So, take \(U\subset c(M)\) such that \(e(U)\cong N\). By Lemma 2.1 we conclude \(c(N)\) is a subquotient of *U* and since they have the same dimension vector they are isomorphic. On the other hand, any point in \(\mathcal {S}_{[c(N)]}\) maps clearly to \(\mathcal {S}_{[N]}\).

*F*is a submodule of \(c(M)\) of dimension vector \((\underline{d}, \underline{r})\) then \(e(F)\) is a submodule of \(ec(M) = M\) of dimension \(\underline{d}\), so there is a morphism \(\pi \) as indicated. It is a projective morphism since \({ Gr}_B \left( {\begin{array}{c}c(M)\\ \underline{d}, \underline{r}\end{array}}\right) \) is projective. We claim that we have

*F*is in \(\widehat{\mathcal {H}} \) and stable because it is a submodule of the stable module \(c(M)\) and by Lemma 2.3, we have

*A*-module \(S_i\) and a projective

*A*-module \(P_i\) as at the start of Sect. 3, and we have

*K*-algebra valued points—such that the map on underlying reduced schemes coincides with \(\pi \). Let \(U\in { Gr}_B \left( {\begin{array}{c}c(M)\\ \underline{d}, \underline{r}\end{array}}\right) \) (be a

*K*-valued point), then the tangent map of \(\pi ^\prime \) at

*U*is given by \(\mathrm{Hom}_B(U, c(M)/U) \xrightarrow {e} \mathrm{Hom}_A( e(U), M/e(U))\). Now, we prove for \(U\in \mathcal {S}_{[c(N)]}\), the map on tangent space is injective as follows: Since \(U\cong c(N)\), it is bistable, so it equals

*ce*(

*U*). The canonical epimorphism \(c(M)/U=c(M)/ce(U) \rightarrow c( M/e(U))\) has kernel

*X*, say, with \(e(X)=0\). Applying \(\mathrm{Hom}_B(U,-)\) gives an exact sequence

*U*is is bistable, we get \(\mathrm{Hom}_B(U,X)=0\) and the second map equals the tangent map.

*e*(

*U*). For \(U\in \mathcal {S}_{[c(N)]}\), since \(U\cong c(N)\) we have \(\mathrm{Ext}^1_B(U,U)=0\) by Theorem 4.4, so

### 7.2 Orbit closures as quotients

Let \(\mathrm{R}_B(\underline{d},\underline{r})\) be the representation space of all \((\underline{d}, \underline{r})\)-dimensional *B*-modules. The functor *e* induces a map \(\mathrm{R}_B(\underline{d},\underline{r})\rightarrow \mathrm{R}_A(\underline{d})\), also denoted *e*. We observe the following.

### Lemma 7.2

- (1)
\(N\in \mathrm{Im}~e\)

- (2)
\(\underline{\mathrm{dim}}~c(N) \le (\underline{d}, \underline{r})\) (pointwise at every idempotent for

*B*)

### Proof

Assume \(N= e(F)\) for some \(F\in \mathrm{R}_B(\underline{d},\underline{r})\). By Lemma 2.1(2) we get \(\underline{\mathrm{dim}}~c(N) \le \underline{\mathrm{dim}}~F= (\underline{d}, \underline{r})\). Now assume \(\underline{\mathrm{dim}}~c(N) \le (\underline{d}, \underline{r})\). Because the algebra *B* is basic and finite-dimensional, there is a unique semi-simple *B*-module \(S_1\) of dimension \(\underline{\mathrm{dim}}~c(N)\) and a unique semi-simple *B*-module \(S_2\) of dimension \((\underline{d}, \underline{r})\). Since \(\underline{\mathrm{dim}}~c(N) \le (\underline{d}, \underline{r})\) one has \(S_1\) is a submodule of \(S_2\), set \(S= S_2/S_1\). We have \(e(S)=0\) and the dimension of *S* is \((\underline{d}, \underline{r})-\underline{\mathrm{dim}}~c(N)\). Set \(F= c(N) \oplus S\), this gives a point in \(\mathrm{R}_B(\underline{d},\underline{r})\) with \(e(F) =N\), so \(N \in \mathrm{Im}~e\). This proves (1).

*e*is closed. As we are in the representation-finite case, we just need to see that if \(M\in \mathrm{Im}~e\) and \(N \in \overline{\mathcal {O}_M}\) then \(N\in \mathrm{Im}\,~e\). By [25, Theorem 1], there is some

*A*-module

*Z*and an exact sequence

*c*we get a (not exact) sequence

Let *M* be a (*K*-valued) point in \(\mathrm{R}_A(\underline{d})\). We consider the closure of its \(\mathbf {Gl}_{\underline{d }}\)-orbit \(\overline{\mathcal {O}_M} \subset \mathrm{R}_A(\underline{d})\) (with the reduced scheme structure).

### Lemma 7.3

If \(\underline{\mathrm{dim}}~c(M)= (\underline{d}, \underline{r})\), then the (set-theoretic) image of the map \(e:\mathrm{R}_B(\underline{d},\underline{r})\rightarrow \mathrm{R}_A(\underline{d})\) is \(\overline{\mathcal {O}_M}\).

### Proof

*N*in the image of \(e\), let us say \(N=e(F)\). Then, by Lemma 7.2 we get \(\underline{\mathrm{dim}}~c(N) \le \underline{\mathrm{dim}}~c(M)\). We conclude for \(P\rightarrow X\) indecomposable in \(\mathcal {H}\)

We now have our generalization of [8, Theorem 1.2].

### Theorem 7.4

Assume that *K* has characteristic zero. If *M* is an *A*-module and \((\underline{d}, \underline{r}) =\underline{\mathrm{dim}}~c(M)\), then \(\overline{\mathcal {O}_M}\) is isomorphic to the affine quotient variety \(\mathrm{R}_B(\underline{d},\underline{r})/\!\!/\mathbf {Gl}_{\underline{r}}\), and also to \(\overline{\mathcal {O}_{c(M)}} /\!\!/\mathbf {Gl}_{\underline{r}}\).

### Proof

The first isomorphism holds since \(e:\mathrm{R}_B(\underline{d},\underline{r})/\!\!/\mathbf {Gl}_{\underline{r}}\rightarrow \mathrm{R}_A(\underline{d})\) is a closed immersion by Lemma 6.3, and it has set-theoretic image \(\overline{\mathcal {O}_M}\) by the previous lemma. The second isomorphism is straightforward (see [8, Theorem 3.3]). \(\square \)

### 7.3 Desingularization of orbit closures

*B*with its complete set of primitive orthogonal idempotents \(e_1,\dots ,e_n,\dots ,e_m\) and a dimension vector \((\underline{d},\underline{r})\in \mathbb {N}_0^n\times \mathbb {N}_0^{m-n}\) gives a projective morphism

*A*-module

*M*, and take the dimension vector to be \((\underline{d}, \underline{r}) =\underline{\mathrm{dim}}~c(M)\). Since \(\overline{\mathcal {O}_{c(M)}}\cap \mathrm{R}_B(\underline{d},\underline{r})^{s}\) is closed in \(\mathrm{R}_B(\underline{d},\underline{r})^{s}\), the geometric quotient by \(\mathbf {Gl}_{\underline{r}}\) exists and by composing with the closed immersion and the isomorphism from the previous theorem one gets a projective map

### Theorem 7.5

\(\varphi \) is a desingularization.

### Proof

We claim that \(\mathrm{R}_B(\underline{d},\underline{r})^{s}/\mathbf {Gl}_{\underline{r}}\) is smooth. Since the global dimension of *B* is at most 2, we can use Lemma 4.10 to see that the second self-extension group of every stable point vanishes. By Lemma 6.4, we get that this is a smooth point in \(\mathrm{R}_B(\underline{d},\underline{r})\), therefore the open subvariety \(\mathrm{R}_B(\underline{d},\underline{r})^{s}\) is smooth. It follows that \(\mathrm{R}_B(\underline{d},\underline{r})^{s}/ \mathbf {Gl}_{\underline{r}}\) is smooth because \(\mathrm{R}_B(\underline{d},\underline{r})^{s}\rightarrow \mathrm{R}_B(\underline{d},\underline{r})^{s}/ \mathbf {Gl}_{\underline{r}}\) is a principal bundle. Now, \((\overline{\mathcal {O}_{c(M)}}\cap \mathrm{R}_B(\underline{d},\underline{r})^{s}) / \mathbf {Gl}_{\underline{r}}\) is a connected component of it, since \(\overline{\mathcal {O}_{c(M)}}\) is an irreducible component of \(\mathrm{R}_B(\underline{d},\underline{r})\) because *c*(*M*) is rigid.

We need to see that \(\varphi \) is bijective over \(\mathcal {O}_M\). The preimage of \(\mathcal {O}_M\) under the map \(\mathrm{R}_B(\underline{d},\underline{r})\rightarrow \mathrm{R}_B(\underline{d},\underline{r})/\!\!/\mathbf {Gl}_{\underline{r}}\cong \overline{\mathcal {O}_M}\) is the \(\mathbf {Gl}_{(\underline{d}, \underline{r}) }\)-orbit of \(c(M)\). To see this, take a a point *F* in the fibre over *M*. Then \(c(M)\) is a subquotient of *F* by Lemma 2.1 which has the same dimension as *F*, therefore they are isomorphic. The restriction \(\mathcal {O}_{c(M)} \rightarrow \mathcal {O}_{M}\) is a principal \(\mathbf {Gl}_{\underline{r}}\)-bundle. By [5, Theorem 5.25] the geometric quotient exists and the map factors over an induced isomorphism \( \mathcal {O}_{c(M) } / \mathbf {Gl}_{\underline{r}}\rightarrow \mathcal {O}_M \). But this coincides with the restriction of our map \(\mathrm{R}_B(\underline{d},\underline{r})^{s}/\mathbf {Gl}_{\underline{r}}\rightarrow \mathrm{R}_B(\underline{d},\underline{r})/\!\!/\mathbf {Gl}_{\underline{r}}\cong \overline{\mathcal {O}_M}\) to the preimage of \(\mathcal {O}_M\). \(\square \)

For orbit closures of Dynkin quivers there already exists a resolution of singularities constructed by Reineke using the directedness of the Auslander–Reiten quiver of Dynkin quiver, see [20].

## 8 Examples of projective quotient algebras

In this section, we choose representation-finite algebras *A* and describe the associated projective quotient algebras *B*.

### 8.1 Hereditary algebras of finite representation type

In this case \(A=KQ\) with *Q* a Dynkin quiver (i.e. the underlying graph is Dynkin of type A,D or E). The homotopy category \(\mathcal {H}\) is equivalent to the full subcategory of \(\mathcal {Q}\) given by the objects \(f:P\rightarrow X\) such that *X* has no non-zero projective summand and so it is equivalent to the category \(\mathcal {H}_Q\) of [7] and [8]. Our algebra *B* coincides with the algebra \(B_Q\) from loc. cit. where they calculate its Ext-quiver and the relations from extensions between simple modules. Our results for this case are as loc. cit. The desingularization of orbit closures is not explicitly considered there, but other desingularizations are already known, see [20], and the Hernandez–Leclerc construction [12] relates orbit closures to Nakajima quiver varieties, and in this context moduli spaces have previously been used to obtain desingularizations, cf. [21, Theorem 3.2].

### 8.2 Self-injective algebras of finite representation type

*A*-\(\mathrm{mod}\) sending an object \(f:P\rightarrow X\) to \(\mathrm{ker}(f)\) is an equivalence of categories. So,

*B*is isomorphic to the Auslander algebra \(\varGamma \) of

*A*. Moreover, we have a commuting diagram of functorswhere \(\varepsilon =\sum _{i=1}^n e_{[P_i]}\) is the idempotent in \(\varGamma =\mathrm{End}_A(E )^{op}\) corresponding to the summand of

*E*corresponding to indecomposable projective modules.

### 8.3 The truncated polynomial ring

*A*(and therefore also

*B*) has a unique structure as quasi-hereditary algebra. Explicitly, we can describe

*B*with the quiverand relations \(p_rj_r = j_{r-1}p_{r-1}, \quad 0< r-1 < n-1, \text { and } p_{n-1} j_{n-1}=0\). The brackets \([-]\) indicate the idempotent

*e*such that \(eBe=A\). The stable modules are given by the modules

*F*with \(\mathrm{Hom}(U_r, F)=0\) for \(1\le r\le n\), this means in

*F*all maps \(p_*\) have to be monomorphisms. The costable modules are given by modules

*H*with \(\mathrm{Hom}(H, U_r)=0\) for \(1\le r\le n\), this means in

*H*all maps \(j_*\) have to be epimorphisms. The stable modules coincide with the \(\varDelta \)-filtered modules and the costable modules with the \(\nabla \)-filtered modules for the unique quasi-hereditary structure (see next example or e.g. [6]). In particular, the tilting module

*C*coincides with the characteristic tilting module.

Our geometric construction of the orbit closures as affine quotient varieties coincides with the one from Kraft and Procesi in [16, § 3.3]. Their variety *Z* equals our \(\mathrm{R}_B(\underline{d},\underline{r})\) and the union of the stable and the costable locus is contained in their smooth variety \(Z^0\).

### 8.4 The nilpotent oriented cycle

*Q*be the quiver with vertices \(\{1, \ldots , N\}\) identified with their residue classes in the additive group \(\mathbb {Z}/N\mathbb {Z}\). For each vertex

*i*, we have one arrow \(x_{i}:i\rightarrow i+1\). Let

*I*be the ideal given by all paths of length

*n*in

*Q*. Then, the algebra \(A=KQ/I\) is a representation-finite, self-injective Nakayama algebra, for \(N=1\) we reobtain the previous example. We denote by \(E_{i}[r]\) the indecomposable

*A*-module with top \(S_i\) of dimension

*r*, \(i\in \mathbb {Z}/N\mathbb {Z}, \; r\in \{1, \ldots , n\}\). If we set \(E_i[0]:=0\), the indecomposable objects in \(\mathcal {H}\) are \(U_{i,r}:= (E_i[n]\rightarrow E_i[r])\), \(i\in \mathbb {Z}/N\mathbb {Z}\), \(0\le r\le n-1\). The algebra

*B*can be described by the quiver with vertices (

*i*,

*r*), \(i\in \mathbb {Z}/N\mathbb {Z}\), \(0\le r\le n-1\) and arrows and relations see below (for \(N=3, n=4\) with identification of the left and right boundary)the \([-]\) indicates the idempotent

*e*with \(eBe=A\). The stable modules are given by the condition that all maps

*p*are monomorphisms and the costable modules by the condition that all maps

*j*are epimorphisms. There is a quasi-hereditary structure on

*B*such that the stable modules are the \(\varDelta \)-filtered and the costables are the \(\nabla \)-filtered, this can e.g. be obtained by the following ordering of the vertices in the quiver above: Take any total ordering refining \((i,r)<(j,t)\) for all \(r<t\) and use the convention \(\varDelta (\lambda ) =P(\lambda ) /\sum _{\mu >\lambda } \mathrm{Im}\left( P(\mu ) \rightarrow P(\lambda )\right) \), \(\nabla (\lambda ) = \bigcap _{\mu >\lambda } \mathrm{ker}\left( Q(\lambda )\rightarrow Q(\mu )\right) \) where \(Q(\lambda )\) is the injective hull of the simple supported at vertex \(\lambda \).

In this case the orbit closures are normal, desingularizations are known (by adapting the construction of [20]) and they are dense subvarieties of affine Schubert varieties of type *A*, see [22, Proposition 1.1 and 6.2].

### 8.5 The commuting square

*A*be given by the following quiver with relationThis algebra is of finite representation type, tilted of type \(D_4\). But the homotopy category \(\mathcal {H}\) is not a full subcategory of \(\mathcal {Q}\). We write [

*U*] for the indecomposable object \(P_U\rightarrow U\) with

*U*indecomposable non-projective and [

*i*] for the indecomposable \(P_i\rightarrow 0\) in \(\mathcal {H}\). The algebra

*B*is given by the following quiver with relations.Here \(e= e_{[1]}+e_{[2]}+e_{[3]}+ e_{[4]}\) is the idempotent such that \(eBe=A\). The intermediate extensions of the indecomposables are given as follows: \(c(S_i) =S_{[i]}\) for \(1\le i\le 4\), and

## Notes

### Acknowledgments

Part of this work was completed while the first author was visiting CRC 701 at Universität Bielefeld. The author thanks his hosts for their hospitality.

### References

- 1.Auslander, M.: Representation theory of Artin algebras. II. Commun. Algebra
**1**, 269–310 (1974)MathSciNetCrossRefMATHGoogle Scholar - 2.Auslander, M., Smalø, S.O.: Almost split sequences in subcategories. J. Algebra
**69**(2), 426–454 (1981)MathSciNetCrossRefMATHGoogle Scholar - 3.Beĭlinson, A.A., Bernstein, J., Deligne, P.: Faisceaux pervers. In: Analysis and Topology on Singular Spaces, I (Luminy, 1981), pp. 5–171. Astérisque 100, Soc. Math. France, Paris (1982)Google Scholar
- 4.Białynicki-Birula, A.: Quotients by actions of groups. In: Algebraic Quotients. Torus Actions and Cohomology. The Adjoint Representation and the Adjoint Action, pp. 1–82. Encyclopaedia Math. Sci. 131, Springer, Berlin (2002)Google Scholar
- 5.Bongartz, K.: Some geometric aspects of representation theory. In: Algebras and modules, I (Trondheim, 1996), pp. 1–27. CMS Conference Proceeding 23, Amer. Math. Soc., Providence, RI (1998)Google Scholar
- 6.Brüstle, T., Hille, L., Ringel, C.M., Röhrle, G.: The \(\varDelta \)-filtered modules without self-extensions for the Auslander algebra of \(k[T]/\langle T^n\rangle \). Algebr. Represent. Theory
**2**(3), 295–312 (1999)MathSciNetCrossRefMATHGoogle Scholar - 7.Cerulli Irelli, G., Feigin, E., Reineke, M.: Desingularization of quiver Grassmannians for Dynkin quivers. Adv. Math.
**245**, 182–207 (2013)MathSciNetCrossRefMATHGoogle Scholar - 8.Cerulli Irelli, G., Feigin, E., Reineke, M.: Homological approach to the Hernandez–Leclerc construction and quiver varieties. Represent. Theory
**18**, 1–14 (2014)MathSciNetCrossRefMATHGoogle Scholar - 9.Crawley-Boevey, W.: Geometry of the moment map for representations of quivers. Compos. Math.
**126**, 257–293 (2001)MathSciNetCrossRefMATHGoogle Scholar - 10.Franjou, V., Pirashvili, T.: Comparison of abelian categories recollements. Doc. Math.
**9**, 41–56 (2004)MathSciNetMATHGoogle Scholar - 11.Geiß, C.: Geometric methods in representation theory of finite-dimensional algebras. In: Representation Theory of Algebras and Related Topics (Mexico City, 1994), pp. 53–63. CMS Conference Proceedings 19, Amer. Math. Soc., Providence, RI (1996)Google Scholar
- 12.Hernandez, D., Leclerc, B.: Quantum Grothendieck rings and derived Hall algebras. J. Reine Angew. Math.
**701**, 77–126 (2015)MathSciNetMATHGoogle Scholar - 13.Keller, B., Scherotzke, S.: Graded quiver varieties and derived categories. J. Reine Angew. Math.
**713**, 85–127 (2016)MathSciNetMATHGoogle Scholar - 14.Keller, B., Scherotzke, S.: Desingularizations of quiver Grassmannians via graded quiver varieties. Adv. Math.
**256**, 318–347 (2014)MathSciNetCrossRefMATHGoogle Scholar - 15.King, A.D.: Moduli of representations of finite-dimensional algebras. Quart. J. Math. Oxf. Ser. (2)
**45**(180), 515–530 (1994)MathSciNetCrossRefMATHGoogle Scholar - 16.Kraft, H., Procesi, C.: Closures of conjugacy classes of matrices are normal. Invent. Math.
**53**, 227–247 (1979)MathSciNetCrossRefMATHGoogle Scholar - 17.Kuhn, N.J.: Generic representations of the finite general linear groups and the Steenrod algebra. II.
*K*-Theory**8**(4), 395–428 (1994)Google Scholar - 18.Le Bruyn, L., Procesi, C.: Semisimple representations of quivers. Trans. Am. Math. Soc.
**317**(2), 585–598 (1990)MathSciNetCrossRefMATHGoogle Scholar - 19.Psaroudakis, C., Vitória, J.: Recollements of module categories. Appl. Categ. Struct.
**22**(4), 579–593 (2014)MathSciNetCrossRefMATHGoogle Scholar - 20.Reineke, M.: Quivers, desingularizations and canonical bases. In: Studies in Memory of Issai Schur (Chevaleret/Rehovot, 2000), pp. 325–344. Progr. Math. 210, Birkhäuser Boston, Boston, MA (2003)Google Scholar
- 21.Scherotzke, S.: Quiver varieties and self-injective algebras. Preprint arXiv:1405.4729v3 (2015)
- 22.Schiffmann, O.: Quivers of type \(A\), flag varieties and representation theory. In: Representations of Finite Dimensional Algebras and Related Topics in Lie Theory and Geometry, pp. 453–479. Fields Inst. Commun. 40, Amer. Math. Soc., Providence, RI (2004)Google Scholar
- 23.The Stacks Project Authors, Stacks project. http://stacks.math.columbia.edu (2016)
- 24.Weibel, C.A.: An Introduction to Homological Algebra, Cambridge Studies in Advanced Mathematics, vol. 38. Cambridge University Press, Cambridge (1994)CrossRefGoogle Scholar
- 25.Zwara, G.: Degenerations for modules over representation-finite algebras. Proc. Am. Math. Soc.
**127**(5), 1313–1322 (1999)MathSciNetCrossRefMATHGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.