This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
A = P(j)C tyt = s(j)yt = yj = dimk HomA(P(j),Y).
Exti(P(j),Y) = 0
Since
for
the assertion follows.
i > o
So assume the assertion is true for all Let
X be an
A-module such that
X with
pd X < d.
pd X = d. Consider an exact sequence
0-1. X' with
projective. Then
P
pd X' < d. Applying
Hom(-,Y)
to this short
exact sequence yields a long exact sequence
... - Ext1(X,Y) -+ Ext1(P,Y) -+ Ext1(X',Y) -+ ... Calculating dimensions we obtain F
(-1)1 dimk ExtA(X,Y)
i>o
Y (-1)1 dimk ExtA(P,Y) - F (-1)1 dimk ExtA(X',Y). i>o i>o
By induction, the right hand side is equal to
This finishes the proof.
1.4
to
Db(A). If
Using
1.2
we can transfer the concepts introduced above
X' _ (X1,d1) E Db(A), we obtain
dim X. =
f (-1)1 dim X1.
iEZ Since dimj
X'
of
is bounded, the sum is finite. This shows that each component
dim
is an additive function on the objects of
Again we assume that
A
has finite global dimension.
Db(A).
100
Let
LEMMA.
X*,Y' E Db(A). Then
F (-1)1 dimk Hom b
Proof: of
w(Y')
X'
w(X') = I
with
We proceed by induction on the width Y'. Suppose that
and
tion follows from
w(X')
and
w(Y') < r. Let
Y° * 0. We consider
X',Y' E Db(A)
Y' = (Y3,d3)
X',Y' E Db(A)
with
satisfies
as a mapping cone of
Y'
and
w(X') = w(Y') = 1. Then the asser-
1.3. Suppose the assertion holds for
w(Y') = r. We may assume that and
(X',T1Y').
D (A)
iEZ
1.3.3). In particular, dim Y' = dim Y'' + dim Y°
w(X') =
Y3 = 0
I
for
T -Yo - Y"
and
j < o
(compare
and so
Hom
Applying
Db(A)
...
to the triangle
(X',-)
HomDb(A)(X',T Y°) - HomDb
T -Yo -Y'' - Y' - Y°
(A)(X'.Y ") -. Hom (X'.Y') -' Hom Db (A) Db(A)
yields
(X',Y°) - ...
Therefore I (-1)1 dim Hom b
(X',TtY') -
D (A)
iEZ
I (-1)' dim Hom
b D (A)
iEZ
(X',T'Y°) +
E (-1)1 dim Horn b (X',T1Y " ). D (A)
WE
By induction the right hand side is equal to
If the assertion holds for
w(X') < s
is achieved by considering
X'
Hom
and
w(Y') = r
the induction step
as a mapping cone and applying
(-,Y,).
Db(A) 1.5
We say that f
:
Let
K°(A)
A and and
K0(B)
B
be basic finite-dimensional
k-algebras.
are isometric if there exists an isometry
K0(A) - K0(B), i.e. a linear bijection such that
101
<x,y>A = <xf,yf>B
x,y E K0(A).
for all
A
Let
LEMMA.
and
is a triangle-equivalence, then
Proof:
has finite global dimension.
B
We denote by
a quasi-inverse to
G
S(i), S(j)
to be a triangle-equivalence. Let enough to show that there exists an
Hom
r
0
which we know
F
B-modules. It is
be simple
E IN, independent
of
(G(S(i)),TrG(S(j)), there exists Db (A) (G(S(i)),TrG(S(j))) = 0 for r > r i., since
r .. E IN
(S(i),TrS(j)) .=, Hom
Db(B) with Hom
S(i), S(j),
ExtB(S(i),S(j)) _
r > ro. As
for all
ExtB(S(i),S(j)) = 0
such that
F :Db(A) -, Db(B)
A has finite global dimension. If
bras and assume that
k-alge-
be basic finite-dimensional
B
1] A has finite
Db (A)
r0 = max r...
global dimension. Then the assertion follows for
i,3
Let
PROPOSITION.
-
Db(B)
:
Db(A)
f
:
K0(A) -, K0(B)
particular, A
and
and
B
be basic finite-dimensional
A has finite global dimension. If
k-algebras and assume that F
A
is a triangle-equivalence, there exists an isometry such that B
dim F(X') = (dim X')f
for
X' E Db(A). In
have the same number of simple modules up to iso-
morphism.
Proof:
By the preceding lemma it follows that
global dimension. So
<-,->B
is defined. Again let
B
has finite
P0),-..,P(n)
be a
complete set of representatives of the isomorphism classes of indecomposable projective obtain for
A-modules. Let
I < i,j < n
Xi = F(P(i))
for
I
< i < n. Then we
that
F (-1) t dimk Hom b
D (B)
t>o =
F (-1)t dimk
t>o
k
(F(P(i)),TtF(P(j))
(P(i),TtP(j)) _
Db (A)
102
= dimk HomA(P(i),P(j))A.
=
We obtain a linear map x
by defining for
K0(A) -+ K0(B)
f
n
n Iii dim P(i)
the value for
xf =
F
p. dim X:.
i=1
i=1
<x,y>A = <xf,yf>B
By the previous calculation we infer that for
x,y E K0(A). Since
<-,->A
is non-degenerate it follows that
injective. Using a quasi-inverse to
To show the equality it is enough to consider the case tion on the width of
w(X')
F
we obtain that
we may assume that
with
X' _ (X1,dl)
X' E Db(A)
X' E Kb(AP). We again proceed by induc-
of X. For
X' E Kb(AP)
is
is surjective. for
dim F(X') _ (dim X')f
w(X') =
I
this is the definition
f. So we may assume that this equality holds for
w(X') < r. Let
f
f
X' E Kb(AP)
w(X') = r. Applying satisfies
X1 = 0
T
for
X° * 0. Then we have a triangle T X° -, X'* -i X' -. X° in
is exact and f is linear we obtain by using induction dim F(X') = dim F(X ") + dim F(X°) = (dim X'')f + (dim X°)f _ (dim X')f.
This finishes the proof of the proposition.
with
if necessary, i < o
and
Kb (AP) . As
F
103
2. The invariance property
A be a finite-dimensional
Let
k-algebra which we suppose to
be of finite global dimension throughout this section. Let M be an Aadd M
module. We denote by
M. Then we obtain a natural func-
objects the direct sums of summands of tor tor
:
p
- Db(A)
Kb(add M)
into
Kb(add M)
2.1
which is the composition of the embedding funcand the localization functor
Kb(mod A)
- Db (A)
Qb : Kb (mod A)
mod A having as
the full subcategory of
.
LEMMA.
Ext'(M,M) = 0
If
i > o, then
for all
pp
is
full and faithful.
M*,M2 E Kb(add M). Applying
Let
Proof:
M2 = 0
may assume that
i < o
for
double induction on the widths of then there exists i = o, then
Hom Kb(add M)
such that
i E 71
if necessary, we
MZ = M2 * 0. We proceed by
and
and M. If
M*
T
M' = T1M1
w(M*) = w(M2) = 1,
for some
M1 E add M. If
(M*,M2) = Horn b (M',M2). Otherwise Hom b K (add M) D (A) (M',M') = 0 for i > o (M* M*) = 0 and Horn 1
i
= ExtA (M1,M2) If
T M2 - M2' _, MZ
Db(A)
2
for
1
2
and
i < o, and the assertion follows by assumption.
w(MP = M2
cohomological functors
I
where
and M2'
w(M2) - r, then we consider the triangle is the truncated complex. We apply the
Hom
(M',-)
Kb(add M)
1
and
Horn
Db(A)
(M',-) 1
to this
104
triangle. Using induction and the Hom b
(M*,M2)
Horn b
K (add M)
5-lemma we infer that under
p.
D (A) The remaining part of the proof is dual.
2.2
We say that an
(M-codim(X) < -)
A-module
X
M-codimension
has finite
if there exists an exact sequence
M° -Ml -... -+Ms -0 with MlE addM for o
i > o. Let
pd M < r -*
Ms-1
X
Let M be an be an
A-module such that
A-module of finite
M-codimension. Then
implies that there is an exact sequence
-. Ms - 0
0
d
We choose such an exact sequence with
ds-1
o < i < s-1. It follows that
for
s-1
Ms-,0
minimal and set
s
i > o. Let
P
HomA(-,M)
Let
j > 1.
s. So
s < r.
ExtI(M,M) = 0
A-module. If
M-codim(P) <
B = End M. Then
pd MB <
In fact, apply
to the exact sequence 0 - AA - M° -4 M1 - ... -' Ms i 0. This
gives a finite projective resolution of projective
A-module such that
be an indecomposable projective
M-codim(AA) < -, then
Proof:
Let M be an
for
Ext1(M,Ka-1) = 0. Therefore
is a retraction. This contradicts the minimality of
LEMMA.
K1 = ker d1
Exti(M,K1+1) = Ext-+1(M,K1)
s > r. Then it follows that
2.3
, ...
By assumption there exists an exact sequence
d M1 d
Now assume
0 - X -. M° - M1
such that s < r.
Proof:
for
ExtI(M,M) = 0
A-module. Then
P - Ae
MB. Let
P
be an indecomposable
for some primitive idempotent
Let 0- Qt-' .. - Q0- eM -, 0 be a projective resolution of
eM
e E A.
considered
105
B-module. This implies that
as right
for
i > o
M-codim(P) <
Let M be an
2.4
LEMMA.
and
B = End M. If
A-module such that
M-codim(AA) < m and
ExtA(M,M) = 0
pd AM < r, then
pd MB < r. Proof:
2.5
for
i > o. If
This follows immediately from
Let M be an
LEMMA.
2.2
2.3.
and
A-module such that
M-codim(AA) < -, then the functor
p
:
ExtI(M,M) = 0
Kb(add M) -+ DB(A)
is dense.
Proof:
A has finite global dimension, Db(A)
Since
triangle-equivalent to also
M-codim(P) < -
fore
AP belongs to the image of
for a projective
generating subcategory of
2.6 for
Proof: 1
1M.
M be an
satisfies
M-codim(AA) < by
above. There-
2.3
AP
is exact and
is a
is dense.
9
A-module such that
be acyclic. Then
ExtI(M,M) = 0 in
M' =4 0'
K (add M).
if necessary, we may assume that the com-
T 1
M
0
for
i > o. We have to show that
is homotopic to the zero morphism. Or equivalently we have to con-
struct
A-linear maps Let
0-
1
M' _ (M ,d )
plex
Applying
p
P
we infer that
M' E K (add M)
i > o. Let
A-module
T. Since
Db(A)
Let
LEMMA.
1.3.3). As
(compare
Kb(AP)
is
kl
: M1 _' M1-1
K1 = ker d1
K1-1 + Ml-1 - K1
for
I
= d1k1+I + kldl-1.
i < o. So we obtain exact sequences
-' 0 for i < o. Applying
Ext3(M,K1) = Extj+1(M,Kl-1)
Ext1(M,K1) = 0
for
such that
for all
HomA(M,-)
yields that
j > 1. It follows that
i < o.
We now turn to the construction of the
A-linear maps
k1.
k1+1
For
i > o
we set
kl = 0. Suppose we have constructed
such that
106
I
k1+1d1 + dl+1 kl+2.
=
Consider the following diagram:
di-1
Mi-1
Mi+1
dl
Mi
NK-'ZI Now fl
o
0
0
(1-dlk1+l)dl = d'(1-kl+ldl) = dl(d1+1k1+2) = 0. Thus there exists : M1 - K1
M1-1
kl : M1 -
exists
fl11
such that
= 1-dlkl+l. Since k'w'-l.
f' =
such that
Extl(M,K1-l) = 0, there
Thus we have
diki+1 + kidi-1 = diki+l + kiri-I i = diki+l + flue = diki+l + 1-dlkl+1 = 1.
This finishes the proof.
2.7
We recall from
full subcategory of
that
C_'
b(add M)
denotes the
of complexes with only finitely many non-
C _(add M)
zero cohomology groups. By
1.3.2
K 'b (add M)
we have denoted the associated
homotopy category.
LEMMA. for
i > o. Let
and
M2
M be an
A-module such that
M' E K b(add M). Then
M' = (M',d1)
Applying satisfies
H1(M') = 0
j < o. So we obtain exact sequences
for
j < o.
Let
with Mi E Kb(add M)
if necessary, we may assume that the com-
T
for
j < o
M' 1M1'' ® M2
Ext1(M,M) = 0
is acyclic.
Proof:
plex
Let
and t < o
Applying
HomA(M,-)
i > 1. It follows that and apply
HomA(-,Kt)
yields
for
Ki = ker d3
i < o. Let
0 - K3
yI
Mi
Exti(M,Ka+I)
Exti(M,Ki) = 0
for
i
K3+1 - 0
Exti+1(M,Ki) i > I
and
to the above exact sequence. This
for
j < o.
107
yields the following long exact sequence
...
i
t
j
i+1
t
i
+ ExtA(M ,K ) - ExtA(K ,K ) - ExtA
jo+1
jo
1
K
ExtA(K
Extl+1(Mj,Kt)
A
.+
Exti(Kj,Kt) = Exti+l(K3+I,Kt)
In particular we see that j,t < o. Suppose that
j+1 t ,K ) (K
jo = -m+1. Then it follows that
gl dim A = m. Let m-I
0. Note that
Ext
i > o,
for
t o m (Mo /Ko ,K) (K ,K t) -, Ext
for
M°/K° -, im d°, we infer that
t > o. Since
Extm+1(M1/im d°,Kt)
Extm(im d°,Kt) =,
t > o. Therefore
for
+1
0 -1, K ° u + M 0 n MJ°
exists
-+
K ° -r0 is a split exact sequence. Thus there such that
K,°
j and K ° is an isomorphism. This shows that the fol-
+1
(v170)
M,°
:
K,°
pj°p' =
I
lowing determines an isomorphism of complexes o I
j°-2 ...
M
j+1 M °
dM
M
°
M
-:M°-K°®K°
+1, Let
(a °
M* _
0)
j +2
--. M °
j°+l
11
0
j +1
j
+1
i
-1
j -I
dM
j0+1
u
be the complex with
dM
II
j0+2
Mi = 0
for
j
M1° = K °
Mi = M1
for
i > jo, dM
...
Ir °)
(1
jo 2
j°+1
j°
dM
_+ Mjo-I
= 0
for
+i 1<
jo'
j
i < j °, dM° = u °
and
1
= dM
dM
for
i > jo. Then
M. E Kb(add M). Let
M2 = (M2, dM)
j°
complex with
M2 = 0
for j -1
d
M
= 0
for
i > jo, dM2
i > j0, M2
be the
2
1
j
= K °, M2 = M1
for
i < jo,
i -1
= 7 °
and
dM2 = dM
for
i < jo-l. Then
2
M2
is acyclic. Moreover we have seen that
assertion.
M' =,M $ M. This proves the
108
M be an
Let
2.8
B = End M. Then we obtain
A-module and
from mod A
F = HomA(M,-)
G = M 0B from mod B
mod A whose restrictions to
BP
to
mod B
to
a pair of adjoint functors
add M
and and
induce inverse equivalences. This functors trivially extend to inverse
triangle-equivalences, again denoted by K (add M)
and
F
G, between
and
Kb(add M)
K_( P), whose restrictions to B
Kb(BP)
and
are again inverse triangle-equivalences. This information is depicted in the following diagram:
' BP
add M 4 n
n ' Kb(BP)
Kb(add M)I
n
n
K (add M)4--' K (BP) LEMMA.
i > o
for of
F
Let
M be an
and assume that the
and
K 'b(add M)
to
G
A-module such that
Ext1A(M,M) = 0
M-codim(AA) < -. Then the restrictions and
K-1
b (B P)
are inverse triangle-equi-
valences.
Proof:
M' E K b(add M)
K 'b(BP) for for
It is enough to show that and
F(M')
is contained in
G(P')
b
P' E K_' (B P). The first assertion follows from
P. _ (P1,dl) E K_'
H1(P") = 0
for
b
(B P). Applying
i < o
K 1(G(P')) = TorB(MB,BX) G(P') E K_'
b
(add M).
T
K b(add M)
2.7. Let
if necessary we may assume that
and How) * 0. Let for
is contained in
i > o. By
2.4
BX = coker d°. Clearly we infer that
109
2.9 for
i > o
LEMMA.
Let
M be an
and assume that the
A-module such that
M-codim(AA) < W. Then
ExtI(M,M) = 0
B = End M has
finite global dimension.
Let
Proof:
jective resolution of have that G(P-)
M'
be a simple
BS
considered as object of
BS
G(P') E K b(add M). By
2.6
pd BS < .. Thus
which shows that
2.10
M be an
and
Db(B)
By
2.1
and
Proof:
2.9
we have that
we infer that F(M*) E Kb(BP),
A-module such that M-codim(AA) <
Let
are triangle equivalent.
2.5
we have that and
are triangle-equivalent. Moreover, Kb(add M) equivalent. By
2.8 we
K 'b(BP). By
has finite global dimension.
B
Db(A)
be a pro-
P'
F(M*). But
P'
and assume that the
i > o
for
B = End M. Then
Let
THEOREM.
2.7
and
Mi E Kb(add M). Therefore
with
ExtA(M,M) - 0
B-module and let
Kb(BP)
and
Kb(add M)
Kb(BP)
Db(B)
Db(A)
and
are triangle-
are triangle-equi-
valent, hence the assertion.
2.11
Ext1(M,M) = 0
for
COROLLARY.
M be an
A-module such that
and assume that the
i > o
B = End M. Then A and
Let
B
M-codim(AA) < -. Let
have the same number of isomorphism classes
of simple modules.
Proof:
2.12
This follows from 2.10
and
1.5.
Combining the results of chapter II
with
2.10
imme-
diately gives the following corollary. We point out that a similar result has been obtained by Wakamatsu (1986) using a result of Tachikawa, Wakamatsu (1986).
110
Let M be an
COROLLARY. i > o
for
mod A and
and assume that the
mod B
2.13
Db(B)
M-codim(AA) < -. Let
Let
constructed in
B = End M. Then
be the triangle-equivalence from
F
is triangle-equivalent to
on
Kb(AI). We consider the functor
it is easily seen that
Db(A)
to
2.10. We want to give an explicit description of
Kb(AI)
Hom(M,-)
ExtI(M,M) = 0
are triangle-equivalent.
As
of
A-module such that
F
it is enough to describe
Db(A)
Hom(M,-)
Qb
F
Kb(AI) - Kb(mod B). Then
:
can be described on
and the localization functor
F.
Kb(AI) :
as the composition
Kb(mod B) - Db(B). This
description will turn out to be quite useful in the next section.
We conclude this section by some examples of modules
2.14
A
satisfying the conditions discussed in this section. To be precise let be now an arbitrary finite-dimensional
k-algebra and
M
an
A-module
satisfying the conditions:
(i)
pdM
(ii)
Ext
(iii)
M-codim(AA) < -.
We remark that
(iii)
i (M,M)
M
is a faithful
If
A
A-module, for
AA
M.
Trivial examples of modules satisfying conditions (iii)
(b)
i > o
for
implies that
is clearly cogenerated by (a)
= 0
(i), (ii)
and
are provided by the Morita nrogenerators. has finite global dimension, then any injective cogenerator
satisfies these conditions. (c)
If
A
is selfinjective, then any module
M
satisfying these con-
ditions is a Morita progenerator. (d)
The following example due to Assem shows that the converse of
(c)
III
is not true. Consider the following algebra A given by the bound -1
quiver
(A,I).
and
I
be the ideal generated by all
paths of length two.
Then it is easily seen that an dimension if and only if
X
A-module
X
has finite projective
is a projective module. But
A
is not
selfinjective. (e)
Let
be a basic finite-dimensional
A
directed. Let
P(1),...,P(n)
is directed we may assume that
AP
A-modules.
is simple projective.
P(1)
We consider the Auslander-Reiten sequence starting at
0 -+ P(1) -
is
be a complete set of representatives
from the isomorphism classes of indecomposable projective Since
AP
k-algebra such that
P(1).
0 P(i) i T P(1) - 0. i E I
M1 = T P(1), Mi = P(i) for 2 < i < n. Then it is easily seen n that M = 0 Mi satisfies the conditions (i), (ii) (iii) and Set
i=1
for
r = 1. This construction is due to Auslander, Platzeck and
Reiten (1979) and will turn out to be important in chapter
IV. We
will also use the notation M = M(P(1)). (f)
Let us give a more specific example of the preceding construction. Suppose
A
is given by the bound quiver
where
(A,I)
2
,
I =
.
3
Then
P(1)
is simple projective. It is a straightforward calculation
112
End M(P(1)) 4 kA where
that
(g)
The following example shows that there exist modules (i), (ii)
and
(iii)
such that
End M = A, but M
M
satisfying
is not a Morita
progenerator. Consider the algebra given by the bound quiver
(A,I)
a
Or- _1b
I =
,
Then it is easily checked that
M = S(2) 0 P(2)
provides such an
example. (h)
We now turn to the question whether there always exists modules satisfying the conditions above which are not projective. A necessary condition is that there exist non-projective modules
M satisfying
pd M < oo. We will show that this is also sufficient. Let M be a non-projective module satisfying indecomposable projective u
:
pd M < W. Then there exists an
P, a projective
P -. Q which is not a section. Let
k-basis of
HomA(P,Q)
is injective and let
and let
Q
and a monomorphism
u = f1'121...Ifr
be a
f = (f1,...,fr) : P -+ Qr. Then
X = cok f. Clearly, pd X = 1. We obtain an
f exact sequence 0 - P - Qr -. X -+ 0. By construction Hom(f,Q) surjective. Thus
Using
6.1
f
ExtA(X,Q) = 0, which implies
now proves the assertion.
ExtA(X,X) - 0.
is
113
3.
The Brenner-Butler Theorem
Let
A be a finite-dimensional
k-algebra which we suppose
to be of finite global dimension throughout this section. Let M be an A-module satisfying the conditions
(i)
pdM
(ii)
Exti(M,M) = 0
(iii)
M-codim(AA) <
Let
for
i > o
B = End M. Then we may consider M
and denote it by MB, so we consider M we obtain a (left)
B-module
as
D(MB). Now
as a right
B-module,
A-B-bimodule. Dualizing
D(MB)
is in fact a
MB,
B-A-bimo-
dule. Thus there is a canonical ring homomorphism A . End(D(MB)). If this
is an isomorphism, we will identify A and 2.10
that the pair of adjoint functors
between mod A and Db(A)
and
mod B
End(D(MB)). We have seen in
F = HomA(M,-)
and
G = M 0B
induce inverse triangle-equivalences between
Db(B), again denoted by
F
and
G. In this section we study
these triangle-equivalences on certain full subcategories of
mod A and
mod B. Using a different approach these results are also contained in Miyashita.
3.1
and
(iii). Then
LEMMA. D(MB)
Let M be an satisfies
A-module satisfying
(i)*
id D(MB) < r,
(i), (ii)
114
ExtB(D(MB),D(MB)) = 0
(ii)*
D(MB) - dim(D(BB)) < -
(iii)*
0 -, Ns -,
Ns-1
and
(i.e. there exists an exact sequence
.+ ... -, N° -, D(BB) -, 0 with N1 E add D(MB)). Moreover, canonically.
A -, End(D(MB))
We have seen in
Proof:
2.4, that
D(AA) E All thus
HomA(AMB,Homk(AA,k)) = HomA(AMB,D(AA)). But D(MB) = F(D(AA)). Now
pd MB < r. This clearly
D(MB) = Homk(MB,k) =, Homk(A ®A AMB,k) =,
(i)*. Observe that
shows
i > o
for
ExtB(D(MB),D(MB)) ., Hom b
(D(MB),T1D(MB))
D (B) (D(AA),T'D(AA)) =, ExtA(D(AA),D(AA)) = 0 for i > o. This shows D (A) (ii)*. The same argument also shows that A =, End(D(MB)) canonically.
Hom b
To show
0 , Pr ,
(iii)* we consider a projective resolution of Pr-1
-+ ... -, P° -, M -1-0. Applying
MB codim(BB) < -. Dualizing then yields
Let
3.2.
full subcategory of for
with objects
(iii)*.
be a non-negative integer. We denote by
i
mod A with objects
X
functors
satisfying
F1 = ExtA(M,-) : mod A -, mod B
E.
the
Exti(AM,AX) = 0
the full subcategory of
Ti
TorB(MB,BY) = 0
satisfying
Y
yields that the
HomA(-,M)
j * i. Correspondingly, we denote by
mod B
M, say
and
G1
and
Ti
:
for
j * i. We have
TorB(MB,-)
: mod B -,
mod A.
THEOREM.
The categories
the restrictions of the functors
F1
Ei
(these restrictions are
G1
and
are equivalent under
mutually inverse to each other).
Proof:
ween
Db(A)
and
Let
Db(B)
F,G
constructed in
as full subcategories of seen that
F I E
be the inverse triangle-equivalences bet-
Db(A)
and
1
Db(B)
Ei
and
Ti
respectively. It is easily
= T'G'IT . From this it follows that
and
= T _
2.10. We consider
GIT
1
1
115
has values in
F1IE.
and
T.
has values in
G1IT
Ei. Now
2.10
fini-
1
1
shes the proof.
We want to give some examples illustrating the distribu-
3.3
tion of these subcategories inside (a)
mod A
and mod B.
A be the path algebra of the quiver
Let
A
Then the Auslander-Reiten quiver of
is easily computed as
If we choose a module M with indecomposable summands corresponding to the vertices marked as the conditions
(i), (ii)
it is easily seen that and
The Auslander-Reiten quiver of
As
pd M < I
mod A
and
(iii)
for
M satisfies
r = 1.
B = End M has the following shape:
we are only interested in the subcategories To TI
of
mod B
E0,EI
of
respectively. The indecomposable modules
lying in these subcategories are depicted in the following figures:
(here
E0
is marked by (= and
EI
by Q )
116
(b)
is marked by ® and
To
(here
Let us again consider the algebra by
by
T1
of the previous example. Then
B
the minimal injective cogenerator
2.14 b)
conditions
and
(i), (ii)
modules lying in the subcategories
E0,EI
EI
(c)
and those in
x
by
by
E2
E2
and
depicted in the Auslander-Reiten quiver of
of
mod B
are
B.
are marked by , those in
E0
(here the indecomposable modules in
satisfies the
r = 2. The indecomposable
for
(iii)
D(BB)
*)
A similar example is as follows: Let
A be given by the bound quiver
y where
(A, 1)
a2
al
A _ of 1
Let
of
2
3
ono,n ... n-1 a
a3
0(
4
I =
L 2.-1 ,
M be the minimal injective cogenerator
D(AA). Then M satis-
fies the conditions
(i), (ii)
E0 = add D(AA)
En-1 = add S(n), while all other
and
conditions
PROPOSITION.
(i), (ii)
and
(iii)
for
r = n-I. Then Ei
do not
A-module.
contain any indecomposable
3.4
and
2 - -
Let M be an
B = End M. Then
and let
(iii)
A-module satisfying the
gl dim A-r < gl dim B < gl dim A+r.
Proof:
similar. Let
We show
BX be a
jective resolution of
gl dim B < gl dim A+r. The other assertion is
B-module and choose
P' E Kb(BP)
BX. Then M' = AMB ® P'
lies in
a minimal pro-
Kb(add M). Then
B
M. _ (M1,4)
satisfies
Mi = 0
for
i > o
and
i < -pd BX. Clearly
117
Hi(M') = 0
for
i < -r, for
pd MB < r. Since
P*
tive resolution, the arguments used in the proof of
is a minimal projec2.7
show that
pd BX < gl dim A+r.
3.5
We give an example to show that these bounds are best
possible. Consider the algebra A given by the bound quiver al
-+
a2
and 2
Then
4
3
I =
5
gl dim A = 4. Let M = S(3) 0 P(1) ® P(2) ® P(3) ® P(4). Then M
satisfies the conditions
and
(i), (ii)
B = End M is given by the bound quiver al
a2
1
gl dim B = 2
(iii) (A',I')
for
r - 2. Then
where
a4
a3
+- and I' _
A' = o
Then
where
a4
a3
A = 1
(A,I)
2
3
4
5
as it is easily verified.
.
118
4.
Torsion
theories
We now turn to the investigation of tilting modules. Let be a finite-dimensional
A
gl dim A = m. An A-module
k-algebra such that
AM satisfying (i)
pd AM < 1
(ii)
ExtA(M,M) = 0
(iii)
M-codim(AA) < 1.
is called a tilting module. This is of course a special case of the conditions
(i), (ii)
and
(iii)
considered in the previous sections. The
main advantage of tilting modules is that they induce torsion theories on
mod A and
mod B, where
B = End M. The investigation of these torsion
theories is the objective of this section.
4.1
A pair
(T,F)
a torsion theory on mod A
of full subcategories of
mod A
is called
if the following three conditions are satis-
fied: (a)
HomA(X,Y) = 0
(b)
If
HomA(X,Y) = 0
for all
X E T, then
Y E F
(c)
If
HomA(X,Y) = 0
for all
Y E F, then
X E T
for
X E T
and
In this case, the modules belonging to
modules, those in
F
Y E F
T
are called torsion
are called torsionfree modules (with respect to the
119
given torsion theory Let
(T,F).
be a torsion theory on mod A
(T,F)
A-module. Then there exists a unique submodule such that
and
be an
AZ
T
belonging to
Z' c Z
Z/Z' E F. This unique submodule is usually denoted by
t(Z).
Thus we are given a canonical exact sequence
0 - t(Z) -. Z - Z/t(Z) -. 0 . If these sequences are split exact sequences for all
Z E mod A we say that
(T,F)
splits. This is precisely the case when
Extl(Y,X) = 0
x E T
and
for all
Y E F. Or equivalently, all indecompo-
A-modules are either torsion or torsionfree.
sable
Note that in a given torsion theory are closed under extensions in
T
mod A, F
both subcategories
(T,F)
is closed under submodules and
is closed under factor modules. In the situations we will encounter, the modules in
always be generated by a fixed module inside
4.2
and
LEMMA.
ExtA(M,M) = 0. Let
F = {Y E mod A
Let
T.
M be an A-module satisfying
T = {X E mod A
HomA(M,Y) = 0}. Then
I
X
is generated by
(T,F)
T will
pd AM <
1
and
M}
defines a torsion theory on
mod A.
Proof: let
X E T
map
c
and
We verify the conditions
Y E F. Since
: Mr -. X. Applying
from the definition of with
HomA(X,Y) = 0
a module. Since Let
E11 ...5Er
X
X
(a), (b)
and
(c). For this
is generated by M we have a surjective
HomA(-,Y)
yields
(a). Condition
follows
(b)
F. Thus it remains to be seen that a module
for all
Y E F
is generated by
does not belong to
be a basis of
HomA(M,X)
F
M. So let
we have that and let
X
X
be such
HomA(M,X) * 0.
120
C = (el,...,er)t : Mr - X. This gives rise to an exact sequence it
0 --- im e-} X --* cok a -+ 0 We claim that e
cok e E F. Let
is surjective and
: Mr - I
: M - cok c. Since
p
also
pd M < I
ExtA(M,e)
is surjective.
Thus we can construct the following commutative diagram with exact rows (the second row is the sequence induced by seond under
9, the third a preimage of the
ExtA(M,e)).
x
0 - in a -} X -'- cok a --> 0 0 - im C -> Z -1
1
0-fMr Since
ExtA(M,M) = 0
exists that
: M -+ X
T'
p'
maps into
such that
in
--> 0
cp'Tr. By construction of
P
in e, thus
e, we see
rp = 0. Therefore, cok e E F. But by as-
O. Therefore, cok e = 0. Or equivalently, X
In
3.2
we have introduced subcategories
associated with a module M of section
trivial for
M
is
M.
4.3
(iii)
--+ Z'
we have that the last sequence splits. Thus there
sumption, HomA(X,cok e)
generated by
-% M - 0
3. If
i > 1. Let
M
satisfying the conditions
Ei, 0 < i < r,
(i), (ii)
is a tilting module then clearly
(T(M),F(M))
E i
and is
be the torsion theory constructed
4.2.
and
LEMMA.
T(M) = E0
Proof:
By definition
F(M) = E1.
E0 = {X E mod A
I
ExtA(M,X) = 0}
and
121
El - (Y E mod A I HomA(M,Y) = 0). This shows that
X
X E T(M). Since e
(i)
and
is generated by M we have a surjective map
for some
: Mr -o .X
r > o. Applying HomA(M,-)
of a tilting module show that
(ii)
M-codim(AA) < -
0 * X E Eo. Since
F(M) = E1. Let
and using properties
we have an exact
pd AM < I
and
Eo. Let
X belongs to
0 - AA - M° - Ml - 0 with M°,Ml E add M by 2.2.
sequence
(*)
Applying
HomA(-,X)
X E Eo
and using
yields the following exact sequence
0 - HomA(MI,X) - HomA(M°,X) -. HomA(AA,X) -, 0
This shows that and let
HomA(M,X) * 0. Let
el,...,er
be a basis of
HomA(M,X)
Mr -+ X. This yields two exact sequences
e= (el,...,er)t
0-4 ker a -+Mr - ime -+0
-+coke-+0 . Clearly
ExtI(M,im e) = 0 = ExtA(M,cok e). By construction,
HomA(M,im e) -+ HomA(M,X)
applying e
is surjective, thus
HomA(-,cok e)
to
HomA(AA,cok c) = 0, therefore
yields
(*)
HomA(M,cok e) - 0. Now
is surjective. Or equivalently, X belongs to
4.4
Let
LEMMA.
M be a tilting module and
module in the torsion theory
sequence
0 - Mm -+ Proof:
M-m+l
e l,...,er be a basis of is surjective, but also
X
a torsion
(T(M,F(M)). Then there exists an exact
- ... -+
m-1
-+
X E T(M). Then
Let
T(M).
M° -+ X -+ 0 X
HomA(M,X). Then
HomA(M,e)
with Ml E add M. M. Let
is generated by
c = (e l,...,er)t
r :
0 M-+ X i-1
is surjective. Thus, ExtA(M,ker e) = 0, r
showing that
ker e E T(M). Set
M° -
® i=1
applying
2.7
yields the assertion.
M. Iterating this procedure and
122
Let
4.5
AM be a tilting module and
troduced in
3.2
clearly
is trivial for
Ti
To = {BX nally
I
To
is denoted by
mod B. Since
of
Ti
T1 = {BY
and that and
y(M)
then
(X(M),y(M))
mod B. The following is a restatement of
The categories
der the restrictions of the functors
MB OB BY = 01. Traditio-
is denoted by
T1
It is easily seen that
THEOREM.
pd MB < 1
i > 1. Recall that
TorB(MB,BX) = O}
this notation. on
subcategories
B = End M. We have in-
is a torsion theory
3.2.
and
T(M)
X(M). We will keep
y(M)
are equivalent un-
F = HomA(AMB,-) and
G = AMB QB
these restrictions are mutually inverse to each other, and the categories F(M)
and
are equivalent under the restrictions of the functors
X(M)
G' = TorB(AMB,-)
and
F' = ExtA(AMB,-)
(again, these restrictions are
mutually inverse to each other).
4.6
definition of
Let
AM be a tilting module and
T(M), it is obvious that the injective cogenerator
T(M). We have seen before
belongs to
Denoting as usual by
PA(a)
tive envelope of a simple
is an injective
in this case
(3.1)
that
A-module
S(a). Then
D(AA)
F(D(AA)) = D(MB).
the projective cover, by
CONNECTING LEMMA. F(IA(a))
B = End M. Using the
IA(a)
the injec-
IA(a) E T(M).
TBF(IA(a)) = F'(PA(a)). In particular,
B-module if and only if
PA(a) E add M, and
vF(PA(a)) = F(IA(a)).
Proof:
(*)
By
2.3
we have an exact sequence
0 i P(a) -+ 140
with M ,M1 E add M. Applying
111
M1
HomA(-,AM)
10 we obtain an exact sequence
123
Hom(r,M)
1
0 - HomA(M M)
o
- HomA(M M) i HomA(P(a),M) - 0,
and this a projective resolution of the right D = Homk(-,k)
Applying the duality functor
B-module
HomA(P(a),M).
yields an injective resolu-
tion
D Hom(r,M)
o
D HomA(P(a),M)
Observe that
1
D HomA(M
0 -, D HomA(P(a),M) -+ D HomA(M ,M)
M) i 0.
HomA(M,I(a)) = F(I(a)). Now
TBF(I(a)) = cok v D Hom(r,M) = cok Hom(M,r) = ExtI(M,P(a)) = F'(P(a)). Of course, F(I(a))
F'(P(a)) = 0. But clearly
thus if and only if if
P(a) E add M. In this case
4.7 COROLLARY. P(a)
and
Let
belong to
I(a)
P(a) E T(M)
TBF(I(a)) = 0,
if and only
vBF(P(a)) = D HomB(F(P(a)),BB)
D HomA(P(a),AM)
D HomB(F(P(a)),F(AM))
If
is injective if and only if
AM
HomA(AM,I(a)) = F(I(a)).
be a tilting module and
add M, then
F(I(a))
injective, and conversely, every indecomposable
B = End M.
is projective and
B-module which is projec-
tive and injective is of this form.
The first assertion follows immediately from
Proof. Let
BX
we know that
for some indecomposable direct summand Mi
BX = HomA(M,I(a))
Mi Z I(a), for
T(M)
and
4.8 LEMMA. any
A-module
AX
Proof. 0 -' P
1
B-module. Then
be an indecomposable projective and injective
BX = HomA(M,Mi)
-, P° -' M -
Let
Y(M)
M
for some
I(a)
with
4.6.
of
M. By
4.6
P(a) E add M. Thus
are equivalent. This finishes the proof.
be an
A-module with
we have an isomorphism
pd M < 1. Then for
D ExtI(M,X) i HomA(X,TM).
Choose a minimal projective resolution 0. By definition of
T
In particular, we obtain an exact sequence
we have that
TM = D ExtA(M,AA).
124
0 - TM - D HomA(P 1,AA) - D HomA(P°,AA). We also have an exact sequence 0 -+ D Ext1(M,X) -oD HomA(P 1,X) - D HomA(P°,X). Recall that for any projective
A-module
there is an invertible natural transformation
P
aP : HomA(X,D HomA(P,AA)) -+ D HomA(P,X). This gives the following commuta-
tive diagram with exact columns:
0
0 1
a D Ext1(M,X)
HomA(X,t M) i
P_l
1
HomA(X,D HomA(P
I
-1
a
Mi
<--P
D HomA(P°,X)
is an isomorphism.
Let
4.9 LEMMA. Let
AA)
I
a o
HomA(X,D HomA(P°,AA))
Thus
i
D HomA(P
,AA))
AM be a tilting module and
B = End M.
M. Then
be an indecomposable non-projective direct summand of
TMi E F(M)
is an injective
F'(TMi)
and
composable injective
Proof.
This shows that
B-modules contained in
By
4.8
we know that
belongs to
TMi
D HomB(F(Mi),F(M)) = vF(Mi). But B-module, thus
B-module. Moreover, all indeX(M)
are of this form.
HomA(M,TMi)
D ExtI(Mi,M).
F(M). Now F'(TM1 2; D HomA(Mi,M) _, F(Mi)
is an indecomposable projective
vF(Mi)) is an indecomposable injective
B-module. The
remaining part is similar.
4.10 COROLLARY.
Then
F(M) _
AT
I
Proof.
AY
Let
ATM
be a tilting module and
is cogenerated by
Clearly, if
HomA(M,Y) = 0. Conversely, let
AY
B - End M.
TM}.
is cogenerated by
AY E F(M). Then
F'(AY)
TM, then
belongs to
X(M).
125
Let
jective envelope. Then using
be exact in mod B
0 - F'(AY) -, I -.Q -, 0
4.9
Q
and
I
belong to
with
minimal in-
a
I
X(M). Applying
and
G'
now yields the assertion.
In a similar way one can show that
4.11
Y(M) _ {BX
BX
is cogenerated by
X(M) = {BY
BY
is generated by
D(MB)} T D(MB)}
D(MB) = F(D(AA)). For the second use
For the first use that the connecting lemma.
Let
4.12 THEOREM. Then
splits if and only if all
(X(M),Y(M))
Clearly, (X(M),Y(M))
Proof.
ExtI(Y,X) = 0
Hom
AM be a tilting module and
for all
X E X(M)
for
Db(Y,TX) = 0
and
X E X(M)
X E F(M)
B = End M. id X < 1.
satisfy
splits if and only if
Y E Y(M). Or equivalently, Y E Y(M). Let
and
be the triangle-
G
(B)
equivalence from and
G(X) E TF
Db(B) for
2.10. Then
Y E Y(M). Therefore
and
X E X(M)
splits if and only if
contructed in
Db(A)
to
Ext2(Y',X') = 0
for
X' E F(M)
(X(M),Y(M))
and
This shows the "if-part" of the assertion. Conversely, let 2
ExtA(Y',X') = 0
and suppose be exact with Then
I0,I1
ExtA(L1,L°)
injective
X' E F(M)
0 -+ X'
d0
,
I°
I1
L° = cok u, L1 = cok d°.
L1 E T(M), for
T(M)
is closed
II E T(M). Therefore, ExtA(L1,L°) = 0, thus
is injective, showing that
4.13 COROLLARY.
ditray finite-dimensional
Y' E T(M).
11
Y' E T(M). Let
A-modules. Let
ExtA(L1,X'). But
under factor modules and
splits.
for all
G(Y) E T
L°
id X' < 1.
Let
AM be a tilting module and
k-algebra and
B = End M. Then
A
a here-
(X(M),Y(M))
126
4.14 We now turn to the special case of tilting modules considered in
A be a finite-dimensional
2.14(e). Let
a simple projective
A-module
S. (Observe
case). Then we have constructed in we call an an
B = End M(S)
F(M(S)) = add S
and that
splits. For a representation-finite algebra A
Let
id AS >
(ii)
End(M(S))
(T(M(S)),F(M(S))) n(A)
A-modules.
A be a representation-finite algebra admit-
ting a simple projective module (i)
which
will be called
let us denote by
the number of isomorphism classes of indecomposable
COROLLARY.
M(S)
be the torsion theory on mod A.
(T(M(S)),F(M(S)))
Then it is easily seen that
that this need not to be the
2.14(e) a tilting module
APR-tilting module. The algebra
APR-tilt. Let
k-algebra admitting
S. Then the following are equivalent:
I
is representation-infinite or
n(End M(S))l> n(A).
We point out that the first alternative in occurs. Let
A be given by the'bound quiver
A
Then
A
and
=
tilting module
where
APR-tilt is not.
Next we present a theorem due to Assem
be a finite-dimensional
AM
THEOREM. (X(M),Y(M))
k-algebra such that
AP
(T(M),F(M))
If for all splitting tilting modules
A
( 1987). Let
A
is directed. We call a
splitting if the torsion theory
splits, then
actually
I = <Sa-dy,sa-nE>
is representation-finite, while the unique
4.15
theory
(A,I)
(ii)
is hereditary.
splits.
AM the torsion
127
Proof.
AP
Since
is directed, we may assume that
A
S(i) = top P(i). Assume that
i > j. Let
HomA(P(i),P(j)) = 0
are ordered in such a way that
P(1),...,P(n)
A-module S(i)
exists a simple
is not hereditary. Then there id S(i) > 1. We choose
such that
for
i
minimal with respect to the order above and this property. Let
i P1 =
n P2 =
and
0 P(j)
® P(j). Note, pd S(j) < I
for
I
< j < i. We
j=i+1
j=1
claim that
AM = TAP1 0 P2
property that
is a splitting tilting module having the does not split.
(X(M),(Y(M))
AM
First we show that
is a tilting module.
Note that by assumption summand and any submodule of add P1. Let
f
:
or equivalently
is again projective and belongs to
be an
D(AA) i P1
tive, hence a summand of
P1
A-linear map. Then
D(AA). Thus
pd M <
im f = 0
we know by
1
im f
is projec-
HomA(D(AA),P1) = 0,
and
pdAM < 1.
pd T P1 < 1, hence
Since
has no injective indecomposable
P1
4.8
that
ExtA(M,M) -,
D HomA(AM,TAM) = D HomA(TAIP1 ® P2,P1) = D HomA(TAIPl,P1) = 0, for let 0 * f E HomA(TA'P1,P1), then mand of
im f
is projective and thus a direct sum-
TAIP1, an absurdity.
We refer to
6.2
for completing the proof that
AM
is a
tilting module.
Next we show that an indecomposable
(T(M),F(M))
A-module not belonging to
or equivalently, HomA(Y,P1) * 0. Thus then
splits. For this let
HomA(P2,Y) = 0
and
Y
Y
be
T(M). Thus, ExtA(M,Y) * 0,
is a direct summand of
HomA(T AP1,Y) = 0, thus
Y
belongs to
P1. But F.
Moreover, F = add P1. To complete the proof, it is enough to find a module such that
id X > 1
(compare
4.12). Let
X E F
X = P(i). Then it is clear that
id X > 1. In fact, consider 0 -* P -, P(i) -o.S(i) -o-0 exact, with
128
P E add P1, (by construction
pd S(i) < 1). By assumption we have that
Ext2(-,P(i)) i Ext2(-,S(i)).
id P < 1, therefore
In the remaining part of this section we reproduce a
4.16
result of Hoshino
( 1982)
given torsion theory
(T,F)
giving a rather useful criterion whether a
mod A coincides with a torsion theory
on
given by a tilting module. For related results we refer to Assem and Small
( 1984 ).
Let
C
sions. An object ExtI(X,C) = 0,
be a full subcategory of
X E C
Let
mod A closed under exten-
is called Ext-projective (Ext-injective) if
(ExtI(C,X) = 0)
LEMMA.
X E F
( 1984)
for
C E C.
be a torsion theory on mod A. Then
(T,F)
is Ext-projective if and only if
X=, P/t(P)
for some projective
A-module P.
Proof.
Let
P
be a projective
A-module and let
0 - t(P) - P - P/t(P) -+ 0 be the canonical exact sequence. Let Y E F. Applying HomA(-,Y)
yields HomA(t(P),Y) - ExtA(P/t(P),Y) -. ExtA(P,Y).
Thus, ExtA(P/t(P),Y) = 0, hence Conversely, let
P/t(P)
X E F
is
Ext-projective.
be Ext-projective and let
: P -+ X
e
be a projective cover. We consider again the canonical exact sequence
0 - t(P) - P - P/t(P) - 0. Let Then
a
is surjective. Since
e X
: P/t(P) -s X the map induced by e. is Ext-projective we infer that
c
is
a retraction.
4.17 LEMMA.
X E T
Let
(T,F)
be a torsion theory on mod A. Then
is Ext-projective if and only if
TX E F. Dually, X E F
is Ext-
129
injective if and only if
T X E T.
We only prove the first assertion. The second follows
Proof.
by duality. Let X E T be Ext-projective and 0 - TX -' E -' X -' 0 be the Auslander-Reiten sequence. Let 0 -' t(TX) -. TX ' TX/t(TX) -b O be the canonical exact sequence. Since
is injective. Thus
Ext1 (X, n)
n
X
is Ext-projective we infer that
is a section, for 0 -' TX - E - X - 0
is an Auslander-Reiten sequence. But then clearly
y E T. Then
Conversely, let image of
D HomA(Y,TX). But
ExtA(X,Y)
HomA(Y,TX) = 0
for
belongs to
TX
F.
is an epimorphic is a torsion
(T,F)
theory.
4.18 LEMMA. Let that
D(AA) E T. If
tion of
T
I1
be a torsion theory on
is Ext-projective, then
We may assume that
Proof.
0 -' TX '' Io
x E T
(T,F)
X
mod A such
pd X < 1.
is not projective. Let
be a minimal injective presentation of TX. By defini-
we obtain the following exact sequence
1
0-'v (TX) -'vIo-'vI1 -,X-'0. TX E F
Since
and
D(AA) E T we infer that
COROLLARY. that
Let
(T,F)
V -(TX) = 0. Thus
be a torsion theory on
pd X < 1.
mod A
such
D(AA) E T. Let M be the direct sum of all Ext-projectives belon-
ging to
T. Then M
4.19
satisfies
We refer to
pd M < I
6.2
and
Ext1(M,M) = 0.
for a proof of the following criterion
that a module satisfying the conditions of the last corollary is a tilting module. Let
be the number of isomorphism classes of simple
n r
and let M =
0 Mil i=1
A-modules
n.
be a direct sum decomposition of
M
such that
Mi
130
is indecomposable with and
r = n, then M
Let
pd M < 1, Ext1(M,M) = 0
or
T
mod A
be a torsion theory on
(T,F)
and either
D(AA) E T
i * j. If
for
is a tilting module.
THEOREM. that
N. ; Mj
only contain finitely many isomor-
F
A-modules. Let M be the direct sum of
phism classes of indecomposable
T. Then M
all Ext-projectives belonging to
is a tilting module such
(T(M),F(M)) _ (T,F).
that
Proof.
4.18
By
and the previous remark we have to show T. Ob-
that in these situations there exist enough Ext-projectives in
T
serve that
and
are Krull-Schmidt categories. It is easily seen
F
of Ringel (1984)) that a finite Krull-Schmidt category has
2.2
(compare
sink and source maps. Suppose now that and
such
T
has sink maps there exist a least
T
T
morphism) in and let
s
D(AA) c T
is finite. Since
Ext-projectives (up to iso-
n
by the following lemma. Suppose now that
F
is finite
be the number of isomorphism classesof indecomposable projecT. Thus
Since
has source maps we infer that
F
contains at least
n-s
Ext-
injectives by the following lemma. Thus
T
contains at least
n-s
Ext-
F
contains
Ext-projectives (up to isomorphism).
tives in
F
n-s
projectives of the form provided by tains at least
s+n-s = n
4.17. Altogether we see that
T
con-
Ext-projectives.
(T(M),F(M)) _ (T,T). This finishes the proof of the
Clearly theorem.
LEMMA. (i)
Let Let
(T,F)
X E T
sink map in (ii)
Let
Y E F
map in
be a torsion theory on be not Ext-projective and T, then
E -4 X
be a
ker g E T.
be not Ext-injective and
F, then
mod A.
cok f E F.
Y + E
be a source
131
We prove
Proof.
(i). The second assertion follows by duality.
g
f
We have the exact sequence 0 - K = ker g - E 4X -+ 0 in mod A. Suppose K ( T and let 0 -> t(K) Since
K/t(K) E F
phism
d
K/t(K) - 0 be the canonical exact sequence.
V1K 7-T
E,X E T we obtain that the connecting homomor-
and
is injective. In particular,
: HomA(K,K/t(K)) -, Ext1A(X,K/t(K))
we have that the second row of the following diagram does not split:
0
f
K Tr
I
E
hl E.'
0 --- K/t(K) -p Now h
is surjective and
E' E T. Since
infer that there exists hh'g = hg' = g
:
implies that
X
Since
l X -} 0 II
hh' E Aut(E), for n
T we
is a sink map in
g
such that
E' -, E
is injective, hence
particular, h
g,
is closed under factor modules, hence
T
h'
X -+ 0
9
is not a retraction and
g'
g
g' = big. Now g
is a sink map. In
is an isomorphism, or
is not Ext-projective, there exists u v
K E F.
Y E T
such
that ExtA(X,Y) * 0. Let 0 -. Y - E" - X -+ 0 be an non-split exact sequence. Since there exists
g"
is not a retraction, E" E T
v
E" - E
:
such that
and
g
is a sink map,
g"g = v. Thus we obtain the follow-
ing diagram with exact rows: u v 0 -*Y--+ E" -+X -r 0
h'I
''I
1
fg 1
O --r K -r E Clearly
I
g
1
I
1
X -> 0
h' = 0(Y E T,K E F). Thus the lower sequence splits, a contradic-
tion.
4.20
ditions. Let
We conclude this section
(T,F)
be a torsion theory on
by some comments on the conmod A. If
(T,F)
is the
132
(T(M),F(M))
torsion theory D(AA)
belongs to
for some tilting module
M, then clearly
T.
Let us give an example of a torsion theory (T(M),F(M))
which is not given by
(T,F)
for some tilting module
be a hereditary, representation-infinite finite-dimensional Let
T be the full subcategory of
A-modules,and let
F
on mod A M. Let
A
k-algebra.
mod A formed by the preinjective
be the full subcategory of
mod A formed by those
A-modules having no non-zero preinjective summand. Then it follows from well-known properties of
mod A
clearly cannot be of the form
that
is a torsion theory, which
(T,F)
for some tilting module
(T(M),F(M))
M,
for T does not contain any Ext-projective indecomposable module.
Let us finally give an example of a tilting module M such that
T(M)
A = kA where
are not finite. Let
F(M)
and
A tilting module M having the desired property is given by the module whose indecomposable summands have the following dimension vectors
1
I
0
1
0 0
I
I
I
I
0
0
0
0
0
0
1
0 0
0
0
0
1
10, 1 0,
1
1, 1 0,
1
and
00
0 0
133
Tilted algebras
5.
5.1
and let
k-algebra
A be a hereditary, finite-dimensional
Let
AM be a tilting module. Then
B = End M
is called a tilted
algebra. This section is devoted to an investigation of tilted algebras. We follow closely Ringel (1984),Ringel (1986).We omit most of the proofs. The following is a simple consequence of
PROPOSITION.
Let
B. Then
tilted algebra
Y(M)
(X(M),Y(M))
4.13.
be the torsion theory on the
is closed under predecessors, and
is closed under successors. In particular, Y(M) X(M)
is closed under
is closed under
X(M)
tB, and
TB
As a consequence, given an Auslander-Reiten sequence in either all terms are in left hand term is in
Y(M), or all terms are in
Y(M), the right hand term in
mod B
X(M), or finally, the
X(M). There are only
a few Auslander-Reiten sequences of the last form, and they can be described explicitely and will be called connecting sequences.
LEMMA.
in mod B
with
A-projective X - F(I(i)) form
If
0 -),X -, Y -* Z -, 0
is an Auslander-Reiten sequence
X E Y(M), Z E X(M). Then there exists an indecomposable
P = P(i)
for some
i
with
P ( add M
such that
and the Auslander-Reiten sequence starting at
X
0 -. F(I(i)) -, F(I(i)/S(i)) 0 F'(rad P(i)) - F'(P(i)) - 0.
is of the
134
This follows easily from
Proof.
5.2
1.5.4, I. 4.7
and
2.10.
For the characterization of tilted algebras let us introS. Let
duce the concept of a slice S
A full subcategory
of
mod B
B
be a finite-dimensional
k-algebra.
closed under direct sums and direct
summands is called a slice if the following conditions are satisfied: (a)
is sincere (i.e. there exists
S
HomA(P(i),S))* 0 B-modules (B)
then also
X
If
(y)
P(i)).
AM
and in
X,TX
belong to
S.
are indecomposable, f : X - S
and
S E S, then either
and
T XES.
THEOREM.
So,S1 E S,
is indecomposable and not projective, then at
X,S
If
So < X < S1, and
X E S).
most one of (d)
such that
for all indecomposable projective
is path closed (i.e. if
S
S E S
Let
A
X E S
is not injective
X
or
irreducible,
be a hereditary finite-dimensional k-algebra,
a tilting module with
End M = B. Then
add F(D(AA))
is a slice
mod B. Conversely, any slice in a module category occurs in this way. For a proof we refer to Let
be a slice in
S
composable summands of lander-Reiten quiver and the module
S
S
4.2
of Ringel (1984).
mod B, say
S = add S. Then the inde-
belong to a single component
B. In this case we say that
C
is called a slice module. Note that
C
of the Aus-
contains a slice End S
S
is heredi-
tary.
5.3
bras
As Ringel (1984) shows certain finite-dimensional k-alge-
A admit slices in quite a natural way. Let
A-module. Then we define
S(-+ X)
X
be an indecomposable
to be the additive category generated
135
by all indecomposable
A-modules
Y
Y < X, and such that there is
with
A-module Z
no indecomposable non-projective
satisfying
Y < T Z
and
Z < X. Dually, let posable
be the additive category generated by all indecom-
S(X -)
A-modules
with
Y
sable non-projective
X < Y, and such that there is no indecompo-
A-module
X < TZ
satisfying
Z
We refer to the appendix of
Ringel (1984)
and
Z < Y.
for a proof of
the following lemma.
LEMMA. S(X -p)
and
Let
S(- X)
mod A. More generally, if
are slices in
decomposable and contained in
Y
A-module. Then both
be a sincere directing
X
S(X -'), then
S(-+ Y)
is indecomposable and contained in S(- X), then
5.4
COROLLARY. Let
with a sincere directing
Proof.
5.5
Apply
Let
A
A
5.3
S(Y -)
is a slice.
k-algebra
is a tilted algebra.
5.2.
to
be a finite-dimensional
P, S, Q of
have given full subcategories
is in-
is a slice; and if
A be a finite-dimensional
A-module. Then
Y
k-algebra. Suppose we
mod A
each closed under
direct sums and direct summands, such that the following conditions are satisfied: (a)
The indecomposable
A-modules are contained in
PusuQ. (b)
(c)
HomA(X,Y) = 0
for
for
X E S, Y E P.
Let
X E P
S E S and
Y E Q
and
f
: X -, S, h
:
S -1,Y
and
g
X E Q, Y E P; for
X E Q, Y E S;
: X -+ Y. Then there exists
such that f = gh.
136
S
Following Ringel we call mod A, separating
from
P
gory of Q = {X
I
be a finite-dimensional k-algebra such
B
contains a slice S = add S. Then S
mod B
that
Q.
Let
PROPOSITION.
mod B, separating
P - {X
X is generated by
TBIS}.
Proof.
By
BS = F(D(AA)) = D(MB). By
cogenerated by
and
BS}
Y E Y(M)
is cogenerated by
TBS}
from
AM with
B - End M. Moreover, we have
4.11 we know that
X(M) - {X
I
Y(M) _ {X
X is generated by
I
TBS}
X
is
is a split-
mod B. It is easily seen that any indecomposable
ting torsion theory on B-module
X
I
is a separating subcat-
there exists a hereditary finite-dimensional
5.2
k-algebra A and a tilting module that
a separating subcategory of
which does not belong to
From this the properties
(a)
and
P
is a direct summand of
S.
of a separating subcategory are
(b)
easily deduced.
So it remains to verify (c). Let there exists an
A-module
0 1 X' i 10 i II - 0
Y E Q. Then clearly
HomB(-,Y)
to
(*)
such that
F(X') - X. Let
be an injective resolution of V. Applying
yields an exact sequence Let
X' E T(M)
X E P. Then X E Y(M). So
(*)
0 - X -
S° -, S1 -0 0
ExtI(S,Y) = 0, for
with
(X(M),Y(M))
F
S°,S1 E add S.
splits. Apply
yields the following exact sequence.
0 - HomA(S1,Y) - HomA(S°,Y) - HomA(X,Y) - 0. This shows that also property (c)
is satisfied.
5.6
k-algebra and and only if
PROPOSITION. Let
AM add M
Proof.
A be a hereditary finite-dimensional
a tilting module. Then
B = End M
is hereditary if
is a slice.
If
add M
is a slice, then clearly
B = End M
is
137
hereditary. Conversely, if in
mod B. Let
F
:
Let
AM
add AM
is a slice.
-p
for some finite quiver A without oriented cycles.
A _, kA
B
is a slice
be a triangle-equivalence with
be a tilting module with
then clearly
add BB
A be a basic, hereditary finite-dimensional
Let
Z k-algebra. So
is hereditary, then
Db(B) -+ Db(A)
F(BB) = AM. We infer that
5.7
B
B = End M. If
Z A
is a Dynkin quiver
is representation-finite.
PROPOSITION.
Let
A
sentation-finite if and only if
be an affine quiver. Then AM
is repre-
B
contains a non-zero preprojective
and a non-zero preinjective direct summand.
Proof.
Let us denote by
P, (R,Q respectively) the additive
categories generated by all indecomposable preprojective (regular, preinjective respectivly) A-modules. If
AM
does not contain a non-zero pre-
projective summand then all modules in to the torsion theory
P
(T(M),F(M)), hence
are torsionfree with respect B
is representation-infinite.
does not contain a non-zero preinjective summand then all modules
If
AM
in
Q are torsion modules, hence If
AM
contains a non-zero preprojective summand
for some indecomposable projective we claim that
F(M)
is representation-finite.
B
A-modules
HomA(T-rP(a),X) = 0
X E F(M) we have that X
is of the form
A-module
o < s < r
where Aa
and some
r > o. Then
contains only finitely many isomorphism classes of in-
decomposable A-modules. Since
P(b)
P(a)
T-rP(a),
and some
or
TsP(b)
TrX
for an indecomposable for some indecomposable
is a module over
is obtained from A by deleting the vertex
is representation-finite. Therefore, F(M)
isomorphism classes of indecomposable
Aa = kAa
a. Note that
Aa
contains only finitely many
A-modules. Dually, if
AM
contains
138
non-zero preinjective summand, then
T(M)
isomorphism classes of indecomposable
contains only finitely many
A-modules. This finishes the proof.
While the situation for affine quivers is solved in a satisfactory way by the proposition above, the general question is still open.
5.8
Let
AM
Let A be an affine quiver and
PROPOSITION.
be a tilting module. Then AM
A = M.
contains a non-zero preinjective
or preprojective direct summand.
n
Let M =
Proof.
r
0 Mil
be a direct summand sum decomposi-
i=1
tion of M with
indecomposable and
Mi
have seen before that
dim Mi,
< i < n
1
M. !Z M.
generate
for
i * j. Then we
K0(A). It is well-
known (compare Dlab, Ringel (1976) or Ringel (1984))that the dimension vectors of regular
A-modules generate a proper subgroup of
K0(A). This
proves the assertion.
Let us write down explicitely the alternatives for a tilting
d
-,
module AM where
A
A = kA and
an affine quiver. Let
Mp (Mr,Mq
respectively) the direct sum of the preprojective (regular, preinjective) direct summands of
M.
(i)
M = M p 0 Mr
Mr * 0.
(i)*
M = Mr 0 Mq
Mr * 0.
(ii)
M=Mp0Mq
Mp*0*Mq.
(ii)'
M = Mp 0 Mr 0 Mq,
Mr * 0.
(iii)
M = Mp
(iii)* M = Mq
,
The corresponding tilted algebras in case (i) studied in great detail in examples for the cases
(ii)
4.9
and
and
(i)*
are
of Ringel (1984). Below we will give two (ii)', while the cases
(iii)
and
139
(iii)*
are studied in section 7.
The computation that the following two finite-dimensional k-algebras given by bound quivers are examples for the cases (ii)'
and
(ii)
is left to the reader. (a)
example for the case
(ii)
I = <ar>
This gives a tilted algebra obtained from
(b)
example for the case
kb, with
(ii)'
This gives a tilted algebra obtained from
k&, with
A' _
5.9
Let
A be a wild quiver. We have already pointed out
that there is no analogue to
may exist tilting modules
5.7
available. In contrast to
5.8
there
AM with only regular direct summands. In fact
one has the following theorem due to Ringel (1986a), which we state without proof.
THEOREM.
Let
A be a connected wild quiver with at least
three vertices. Then there exists a tilting module lar direct summands.
_6
with only regu-
140
AM with only
Let us give an example of a tilting module regular summands.
i
y
We consider A = k0, where A _ There exist uniquely determined (up to isomorohism)indecomposable
A-modules
dim M2 = (3,4,4)
M1, M2, M3 and
with dimension vectors
dim M3 = (12,15,14). This follows from a theorem
of Kac (1980) and the fact that
gk-A(dim Mi) -
may also show that M = M1 ® M2 0 M3
5.10
dim Ml = (4,5,5),
is an
I
for
1
A-tilting module.
We point out that for certain quivers
classification of the tilted algebras has the relevant references. If
< i < 3. One
0
a complete
been obtained. We just include
A = An we refer to Assem (1982); if
we refer to Conti (1986); and if
A = IDn
A = An we refer to Assem-Skowronski
(1986).
For classification results of certain subclasses of tilted algebras we refer to some remarks in section 7.
141
6. Partial tilting modules Let
dimension. An
A be a finite-dimensional A-module satisfying
k-algebra of finite global
pd AM < I
and
ExtI(M,M) - 0
is
called a partial tilting module. In this section we present several equivalent conditions on a partial tilting module to be a tilting module. The first result is due to Bongartz (1981) and the second follows ideas of Brenner and Butler (1980). Following ideas of Geigle and Lenzing (1986) we introduce the perpendicular category. As a main result we present that
A
is a tilted algebra if
End AM
AM
is a hereditary algebra and
a
partial tilting module.
6.1
LEMMA.
Let
AM
exists a tilting module AM 0 AM' M"
summand
of
0 -+ AA
+
C
AM
such that any indecomposable direct
is projective or satisfies
M'
Let
Proof. 11
be a partial tilting module. Then there
ExtA(AM,AA), and let
E1,...,Em be a basis of
M 0
AM -. 0
be the pushout along the diagonal map
i=1
(AA)m -' A of the exact sequence
0 Ei. We claim that
ting module. For this it is enough to show that Applying
HomA(M",M) * 0.
HomA(AM,-)
M' 0 M
is a til-
ExtA(M' 0 M,M' 0 M) = 0.
to the sequence above yields
m HomA(AM,
0 i=1
AM) - 6 -* ExtA(AM,AA)
ExtA(AM,AM') -> 0,
142
and
is surjective by construction, thus
6
ExtI(AM,AM') = 0. Applying
to the sequence above yields
HomA(-,AM)
ExtI(® AM,AM) --k Extj(AM',AM) -± ExtA(AA,AM).
Thus
ExtA(AM',AM) = 0.
Finally, applying
HomA(-,AM')
to the sequence above yields
ExtA(® AM,AM') ---> ExtA(AM',AM') -} ExtA(AA,AM).
Thus
ExtA(AM',AM') = 0. Let
be a direct summand of
M"
HomA(M",M) = 0. Thus
lies in the kernel of
M"
summand of the image of
satisfying e, thus
M"
is a direct
u, and therefore is projective. r
6.2
M'
COROLLARY.
Let
AM =
n.
0 Mil, with
Mi
be indecomposable
i=1
and
M.
M.
i * j, be a partial tilting module. Then the following
for
two conditions are equivalent: (a)
AM
(b)
r
is a tilting module.
equals the number of isomorphism classes of simple
A-modules.
Proof.
rk K0(B) = r. By which shows
AM
If
2.10
and
1.5
we infer that
B = End M, then
rk Ko(A) = rk K0(B),
(b).
Conversely let (b). Then by
is a tilting module and
6.1
AM be a partial tilting module satisfying
there exists
M'
such that M 0 M'
module. By the previous part of the proof we infer that
M
is a tilting M' E add M. Thus
is a tilting module.
6.3
Let
A be a hereditary finite-dimensional algebra. This
will be assumed for the rest of this section.
143
Let
LEMMA.
AM be a partial tilting module. The the follo-
wing two conditions are equivalent: (a)
AM
(b)
any non-zero
is a tilting module.
HomA(X,M) * 0
If
Proof.
AM
with
X
1
Ext A(X,X) = 0
satisfies either
ExtI(X,M) * 0.
or
is a tilting module, we clearly have an exact
sequence 0 -+ M-1 -+ M° -+ D(AA) -+ 0 with M1 ,M° E add M. Applying now gives
HomA(X,-)
(b).
f1,...,fr
Conversely, let let
: AA .+ Mr
f
be given by
be a basis of
HomA(AA,AM), and
f = (fI ...,fr). We claim that
is in-
f
jective.
Consider the two exact sequences:
0-+K= ker f -+AA -+im f -+0 0 -+ im f -+ Mr -+cok f = Q - 0.
and
Applying
HomA(-,M) = (-,M)
yields
0 -+ (im f,M) -+ (AA,M) -, (K,M) -+ ExtA(im f,M) - ExtI (AA,M) -+ Ext1A(K,M) -+ 0
0 -+ (Q,M) -+ (Mr,M) -+ (im f,M) -+ ExtA(Q,M) Thus
ExtA(im f,M) = 0. Since
K
-+
(K,M) = 0. Thus
-+
Ext1 (im f,M) -+ 0
is projective we also have
Ext1A(K,K) = 0 = ExtA(K,M). By construction tive, hence
ExtA(Mr,M)
(im f,M) -+ (AA,M)
K = 0. This shows that
f
is surjec-
is injective.
So we have an exact sequence O_O' AA
Now
(*)
Mr
g
ExtI(M,Q) = 0, since
Ext1(Q,M) = 0, since to
-fi
now yields
(Mr,M) -+ (AA,M)
Ext1(Q,Q) = 0.
Q-+0
Q
(*). is generated by
M, and
is surjective. Applying
HomA(Q,-)
144
add M.
Q * 0, then HomA(Q,M) * 0
If
be a basis of
belongs to
Q
We claim that
and consider
HomA(Q,M)
by assumption. Let
hl,...,hs
h = (hl,...,hs) : Q -. Ms. This
yields the following two exact sequences:
(+)
0-pimh- Ms -Q' -0
(++)
0-+ker h -'Q ExtI(ker h,M) = ExtA(im h,M) = 0. By con-
We conclude that
struction HomA(im H,M) -, HomA(Q,M)
HomA(ker h,M) = 0. Applying
is surjective, thus
HomA(ker h,-)
0 -, ExtI(ker h,ker h) -+ ExtI(ker h,Q) to
ExtA(Q,Q) = 0, we infer that
h
shows that
(++)
is exact, and applying
ExtA(Q,Q) - ExtI(ker h,Q) - 0
shows
(++)
to
HomA(-,Q)
is exact. As
ExtI(ker h,ker h) = 0, or equivalently that
is injective.
So consider the exact sequence:
0 -1. Q
Since
ExtA(Q',M) = 0.
Q
6.4 an
Let
HomA(Q',-)
Applying
U
belongs to
(-)
to
Q' -i 0
(-).
is surjective, we see that (*)
yields that
is a split exact sequence, which im-
add M. This finishes the proof.
We now introduce the perpendicular category. Let
A-module satisfying n
Msh
HomA(Ms,M) -+ HomA(Q,M)
ExtI(Q',Q) = 0. In particular plies that
-0
ExtI(M,M) - 0, End M = k
and
be the number of isomorphism classes of simple
be the full subcategory of
HomA(M,X) - 0 = ExtA(M,X). termined by
M.
U
mod A with objects
X
M be
HomA(M,AA) = 0. A-modules. Let satisfying
is called the perpendicular category de-
145
There exists a hereditary finite-dimensional
PROPOSITION.
A0 with
algebra
that
U =, mod
isomorphism classes of simple
n-1
Ao-modules such
Ao. It is a straightforward calculation to show that
Proof.
is an abelian, exact and extension-closed full subcategory of Let
E
A-module constructed in
be the
such that
6.1
U
mod A.
E 0 M
is a til-
ting module. Thus we have an exact sequence
(*)
0
where m - dim ExtI(M,AA).
Applying RomA(M,-)
to
0 - HomA(M,E) - HomA(M,Mm) By construction
HomA(M,E) = 0, and Clearly
HomA(-,X)
ExtA(M,AA) - ExtA(M,E) - 0.
E
X
E ® M on
satisfies
Extj(E,X) - 0
has
mod A. Thus
X
X
X E U, for apply
E. Indeed, E 0 M
n-1
is generated by
is a
E 0 M. But
is in fact generated by U = mod End E. Let
E.
A. = End E.
isomorphism classes of simple modules.
Next we show that for each X E U
0 - E 1 - E° -. X -r 0 with E 1,E° E add E. Let RomA(E,X). Then
for
is clearly a torsion module for the torsion theory
In other words we see that Ao
is also injective.
is relative projective.
is generated by
X
HomA(M,X) = 0 now shows that
Then clearly
6
E E U.
X E U, then
tilting module and
ExtI(M,E) = 0. As
we see that
(*). In particular, E
to If
induced by
d
is surjective, whence
6
dimk HomA(M,Mm) = dimk ExtI(M,AA) Thus
yields
(*)
f = (fl,...,fr)t : Er - X
there is an exact sequence
f1,...,fr be a basis of
is surjective. Applying
146
ker f E U. By construction we have that
shows that
HomA(M,-)
HomA(E,Er) - HomA(E,X) And also
is surjective, which shows that
ExtI(ker f,E) = 0. Thus
ExtA(E,ker f) = 0.
ker f E add E. This shows that
Ao
is
again hereditary, thus finishing the proof.
6.5
B = End P. Then
AM
decomposable
AM
If
A' = A/AeA. Then AM
mod A' -+ mod A. Note that
n If
gory
U
ExtA(X,M) _
X = Ae
for some primitive idem-
is again a hereditary finite-
A'
lies in the image of the canonical embedding
A'
has
isomorphism classes of simple
n-1
A-modules.
is not projective, we consider the perpendicular cate-
X
X. Then
k-algebra
Ao-modules. Clearly partial
and
is the number of isomorphism classes of simple
determined by
dimensional
there exists an in-
End X = k.
dimensional algebra and
modules, if
6.3
Ext1(X,X) = 0
satisfying
is projective, then
e E A. Let
potent
is a tilting module there is nothing to show.
X
0 = HomA(X,M). Clearly
X
be a partial tilting module and
is not a tilting module. By
A-module
If
AM
is a tilted algebra.
B
Proof.
So assume that
Let
COROLLARY.
A0
U =, mod A0
having
for some hereditary finite-
n-1
isomorphism classes of simple
U
and can thus be considered as a
AM belongs to
Ao-tilting module.
Thus in both cases we have reduced the number of isomorphism classes of simple modules. Iterating this procedure we finally reach a hereditary finite-dimensional tified with a
k-algebra
C-tilting module
CM
C
such that
such that
AM
can be iden-
B = End AM = End CM. This
proves the assertion.
6.6 If
A
Let
A be a hereditary finite-dimensional
is basic, we know that
A =, kA
k-algebra.
for some finite quiver A without
147
oriented cycles. We want to give two examples of the perpendicular category. For the representation theoretic terminology and results occuring here we refer to Ringel (1984). -r
Let
(a)
M be a non-regular indecomposable
Then M automatically satisfies End M = k. Up to duality we may assume that
Ext
M
(M,M) = 0
r
such that
and
is a preprojective
module. Then there exists an indecomposable projective and a non-negative integer
k&-module.
kA-module
M = T-rP(i). Let
quiver obtained from A by deleting the vertex
A'
kAP(i)
be the
i. Then one may show
that the perpendicular category determined by M
is equivalent to
-, mod kA'.
Let M be a regular indecomposable
(b)
ing
Ext1(M,M) = 0
and
A
(b1)
kA-module satisfy-
End M = k.
is an affine quiver.
Our assumptions imply that the position of
M
in the Auslan-
.4
der-Reiten quiver of some
kA has to be in a tube of the form Z &_/r
r > 1. In particular we see that A * c(a
for
Then the structure of ,
the perpendicular category determined by M can be read off the results in
4.7
of Ringel (1984). We refrain here from dealing with those tech-
nicalities in general. Instead we will give one particular example.
Let A =
1p.
-o
M be the indecomposable module with dimension vector
and
Then the perpendicular category determined by M
is equivalent to
0
mod kA'
where
(b2)
As
A
is a wild quiver.
Here the situation is much more complicated as in the previous
148
cases and a complete solution is unknown. So we have to be content with
A be the quiver
Let
an example.
Let M be an indecomposable
kA-module with dimension vector X5+-5. Then M satisfies Ext1(M,M) = 0
and
End M = k
and is a regular
Then the perpendicular category determined by M mod kA', where
Clearly the
A'
kZ-module (compute
TMS).
is equivalent to
kA-module X = T rM
for
r > o
1
still satisfies
Ext (X,X) = 0
and
End X = k
and of course is a regular
kZ-module. Then the perpendicular category determined by
y lent to
mod kAr, where Ar = c
x is equiva-
al :
and
s = 4+2r.
In this way we see that the dimension of the algebra given by the perpendicular category is not bounded.
149
7.
7.1
Concealed algebras
A be a basic, connected, hereditary finite-dimen-
Let
k-algebra. So
sional
assume in addition that
rent from fin, ID n,
IE6
A !Z kA
A
for some finite connected quiver
is representation-infinite; so A
, ]E7 , M8 . A finite-dimensional
A. We is diffe-
k-algebra
B
is called a concealed algebra if there exists a preprojective tilting
AM
module then
B
such that
B - End AM. If in addition, A is an affine quiver,
is called a tame concealed algebra. Thus, concealed algebras
are quite special tilted algebras. In this section we will prove a result
of Ringel (1986), which gives a characterization of those algebras. For a more detailed discussion of concealed algebras we refer to
4.3
of
Ringel (1984). We point out that a classification of the tame concealed algebras was obtained by Happel and Vossieck (1983). This classification has turned out to be quite useful. We refer to Bongartz (1984) and Bautista, Gabriel, Rojter and Salmeron (1985). Also we remark that Bongartz (1984a) obtained by using a different characterization the same classification.
Finally, let us remark that Unger (1986) has obtained a complete classification of the concealed algebras arising from minimal wild _, -4 quiver s A. These are precisely those quivers A which are wild but every
I proper subquiver of A
is an affine or Dynkin quiver. It turns out that
150
these algebras e E B
are minimal wild, in the sense that for all idempotents
B
dimensional algebra into
B/BeB
the factor algebra
mod C
is not wild; where we call a finite
wild if there exists an embedding of
C
mod k<x,y>
is the free (non-commutative) algebra with two
(k<x,y>
generators).
7.2
A finite-dimensional
THEOREM.
k-algebra
is a con-
B
cealed algebra if and only if there exist two different components of the Auslander-Reiten quiver of
If
Proof.
containing a slice.
is a concealed algebra, then a proof of the
B
assertion can be found in a finite-dimensional
B
of Ringel (1984). Conversely, let
4.3
k-algebra with slices
S
and
S', which belong to
different components of the Auslander-Reiten quiver of
B. Then
necessarily connected and representation-infinite. Moreover, by know that let
is a tilted algebra. Let
B
A = End S. Then A
over, Db(B)
Db(A)
(compare
and by
Db(A). We denote by
R[i], for
form
S
and
C[i], for
i E Z, the component of
C[i]. We may assume that
r(Db(A))
S'. Clearly, the indecompo-
By
5.5
C(j].
j * o.
we know that
mod B, say separating
of the
i = o. Similarly, the indecomposable sum-
mands of S' belong to some fixed component of 1(Db(A)) of the form It is easily seen that
i E Z
ri
belong to some fixed component of r(Db(A))
S
1.5.5
ri.
be a slice module for
S'
sable summands of
we
be a slice module for
containing projective modules in
containing regular modules in Let
is
5.2
and we may use some fixed identification. In
r(Db(A))
1.5.5)
B
is hereditary and representation-infinite, More-
we have determined the quiver of the component of
S
be
B
P
from
S
Q. Let
is a separating subcategory of S
be an indecomposable summand
151
of
S'. If
belongs to
Si
Q, then
an indecomposable projective HomB(P,S) * 0, for ty (c)
S
B-module with
P E P U S
is sincere. Therefore
lar way that
belongs to
j = 1. If
S;
belongs to
S
C[-1]
or
indecomposable projective
or
P, then we show in a simi-
C[0], and since
B-module belongs to
if necessary, we may assume that
mod A
into
Db(A)
A-module. This shows that
S'
C[0]
B-modules lie in
Thus all indecomposable projective
embedding of
HomB(S,S;) * 0. There-
is sincere, any indecomposable projective R[-1]
BB
be
and use proper-
j = -1. Without loss of generality, we may assume Since
P
HomB(P,Sj) * 0. Then
of a separating subcategory to establish
fore we see that
as an
HomB(P,S;) * 0. Indeed, let
j = 1.
B-module
is sincere, any or
R[0]
or
C[1].
C[0]. Applying
T
lies in the image of the canonical
and is preprojective when considered B
is a concealed algebra.
Finally, let us remark that the Auslander-Reiten quiver of a tilted algebra contains at most two components which contain a slice.
CHAPTER
1.
Piecewise hereditary algebras
We call a finite-dimensional
1.1
hereditary if
PIECEWISE HEREDITARY ALGEBRAS
IV
k-algebra A piecewise
is triangle-equivalent to
Db(A)
Db(kA)
for some finite
quiver A without oriented cycle. We recall that A is uniquely determined up to the relation - introduced in
I. 5.7. In this section we
present some general facts about piecewise hereditary algebras. But first we need to recall some elementary facts for hereditary finite-dimensional k-algebras.
LEMMA. Let
1.2
bra and let
X1,X2,X3
tive and that and linear maps
g
be
B-modules. Suppose that
X2 - X3
:
h1
:
be a hereditary finite-dimensional
B
X1 -1-Y
f: X1 -+ X2
and
h2 : Y -+ X3
such that
(-h8
2
0--->X1 ----------- ). X2
-+0
is exact.
Proof. Consider the following exact sequence
Since
B
0-x
is surjec-
is injective. Then there exists a module
(f h1)
(*)
k-alge-
92,, X
is hereditary, ExtB(X3/X2,f)
X/X -0. is surjective. Let
Y
153
h
be a preimage of
Ext$(X3/X2,X1). Then we obtain the following
in
(*)
commutative diagram of exact sequences
h
Y -- X3/X2 - 0
0 ---} X 1
fi
Ih2
0 -+ X2-' with
h1
injective and
X3---
II
X3/X2 --- 0 h2
surjective. By construction we have that -h8
(f h1)
0-+X1
2 :X211 Y --)X
is exact.
LEMMA.
1.3
bra and let
X,Y
B
be a hereditary finite-dimensional k-alge-
be indecomposable
ExtI(Y,X) - 0. Then
h with
B-modules. Suppose that
0 * h E HomB(X,Y)
Proof. Let zation of
Let
f
is either injective or surjective.
0 * h E HomB(X,Y). Let X+ Z g Y surjective and
g
injective. By
be a factori1.2
we obtain
an exact sequence
(f h) By assumption this sequence splits. By Krull-Schmidt we infer that isomorphic to
X or isomorphic to
Y. In the first case we have that
is injective while in the second case we have that
1.4
Z
h
is
h
is surjective.
We also note the following immediate consequence for an
indecomposable module
X over a hereditary finite-dimensional
k-algebra B.
154
ExtI(X,X) = 0, then End X
If
LEMMA. Let
1.5
ExtB(Xi,Xi) = 0
then
be a hereditary finite-dimensional k-alge-
be indecomposable
X1, X2
bra and let
B
k
for
< i < 2
1
and
ExtI(X2,X1) = 0. If
HomA(XI,X2) * 0
ExtI(X1,X2) = 0.
ExtB(X2,X1) = 0
Since
Proof.
is either injective or surjective by duces a surjection Ext B(X1,X2) = 0. If
Ext1(X X) i Ext1(X ,X ). So 20 2
1.3. If
f
B
2
1
Ext1(X ,X) = 0 B
is surjective, f
in-
Ext1(X1,X1) = 0
implies
induces a surjection
is injective, f
f
f E HomB(XI,X2)
a non-zero map
ExtI(X1,X1) - ExtI(X1,X2). So
1
B
B-modules such that
2
implies
2
Ext1(X ,X) = 0. B
2
1
The proof of the next lemma is due to Ringel. We point
1.6
out that a different proof might be obtained by using elementary arguments from algebraic geometry.
Let
LEMMA.
0- X 4 Y
be a finite-dimensional k-algebra. Let
C
be a non-split exact sequence in
Z 1 0
mod C. Then
dim End (Y) < dim End(X 0 Z).
Proof.
with W
and
in = Bu}
is surjective and
Thus
T(y) - ryp Let
*(y) = Uyw. Clearly paw = 0
shows that
a i
defined by
k-linear map
there exists
: Y i X
S
c
y
:
p
p(y) _ 7rp. Since is injective. Let
such that
Z -' X
r
a = Su. Now
such that
xy = d.
is surjective.
be the
: End(Y) -, HomC(X,Z)
R
a E End(X)
pa = an = 0}. Let
I
shows that there exists
pa = 0
there exists
is injective we infer that
p
ax = 0
p6p
Then
R = {a E End(Y)
S = {a E End(Y) be the
: HomC(Z,X) -' S
a E S. Since
Consider
is contained in
shows that there exists
k-linear map defined by
ker P. Conversely, let $
such that
y E ker p.
ya = Sp. Thus
155
R = ker gyp. a E R we choose
For
and
S
k-linear map
an = irl'. This defines a
ip
S'
such that
and
ua = F3p
: R -End(X)x End(Z)
by
Clearly, ker ,y = S.
We claim that a E R a'
such that
with
is not surjective. Otherwise there exists
ry(a) = (1X,0). Thus
a = a'u. We infer that
ua7r - 0
implies that there exists
in contrast to the assumption
Pa' = 1X
that 0 - X - Y - Z -+ 0 does not split. This shows that dim R - dim S < dim End(X) + dim Z. We have seen before that dim End(Y) - dim R < dimk HomC(X,Z).
dim S = dimkHomC(Z,X)
and
Combining these results show the
assertion.
k-algebra and let End(Xi)
and
k
X1,X2
for
I
be
B
be a hereditary finite-dimensional
B-modules such
that
ExtB(Xi,Xi) = 0,
< i < 2, HomB(XI,X2) = HomB(X2,X1) = 0, ExtB(X2,X1) = 0
= 1. If
dimkExtI(X1,X2)
extension then
Let
LEMMA.
1.7
End(E) :, k
(*) and
0 -+ X2 -+ E -+ X1 -+ 0
is a non-split
ExtI(E,E) = 0. In particular, E
is inde-
composable.
Proof.
sequence
It follows from
that
End(E) =, k. The exact
ExtI(X1,E) = 0 = ExtI(X2,E) = 0. Applying
yields
(*)
1.6
Ext (-,E)
gives now the assertion.
1.8
follows from
A be a piecewise hereditary algebra of type
Let
III. 1.5
that
A has finite global dimension. In particu-
lar, the bilinear form <x,y>A = x CAt
yt
is defined on
is isometric to the corresponding bilinear form on III. 1.5). In property.
1.11
o. It
we will see that
K0(k-')
K0(A) =,71n
which
(compare
<-,->A has a rather surprising
156
let
X,Y
be indecomposable
Exti(X,X) - 0
(ii)
If
Proof.
Db(kZ). By
and some
for
i > I
occur in a cycle of
X,Y
mod A, Exti(X,Y) = 0
i > 1.
(i)
Denote by
I. 5.2, F(X) : TJX'
a triangle-equivalence from
F
for an indecomposable
Db(A)
kX-module
X'
j E Z. Then
ExtA(X,X) - Horn
(X,T'X)
b
(ii)
that
Horn b
If
F(X)
occur in a cycle of
X,Y and
some indecomposable
y (F(X),T1F(X)) eeExtkS(X',X') - 0
D (kg)
D (A)
for i > 1.
1. 5.3
A-modules. Then
(i)
for
to
A be a piecewise hereditary algebra and
Let
LEMMA.
1.9
F(Y)
kAX-modules
mod A, it follows from
are isomorphic to X'
and
T3X'
and
and some
Y'
TjY'
for
j E Z. Thus
(X,T'Y) =, Hom ExtI(X,Y) = Horn (X',T"L') - Ext'-(X',Y') = 0 A Db(A) Db(kA) kA
for
i > 1.
1.10
LEMMA.
A piecewise hereditary algebra A
algebra of a finite-dimensional hereditary
Proof. Assume indecomposable projective
from
Db(A)
to
k-algebra.
P0 - P1 - P2 -, ... - Pr A-modules. Denote by
Db(kZ). Using
I. 5.3
and
is a factor
F
F
P0
is a cycle of
a triangle-equivalence
we obtain a cycle
X0 - X1 -, X2 -, ... - Xr = X0 of indecomposable kZ-modules satisfying and thus
by
Moreover, we know by
Ext
(Xi,X.) - 0
1.3
that a map occuring in the cycle is either injective or surjective.
End(X1) =, k
1.4.
Clearly, either all maps are injective, or all maps are surjective (since otherwise we obtain a proper surjection followed by a proper injection
whose composition is non-zero but neither injective nor surjective, con-
157
1.3). Thus all maps have to be isomorphisms, in contrast to the
trary to
definition of a cycle.
S,S'
let
such that
Let A be a piecewise hereditary algebra and
LEMMA.
1.11
A-modules. Then there exists at most one
be simple
ExtA(S,S') * 0.
Proof.
1.10
By
we may assume that
Exti(S,S') * 0 we may assume that by
such that
TAX, F(S') = Tj'X'.
F(S)
Exti(S,S') * 0
and
Clearly
implies X,X'
for all
and integers
Let
j,j' E Z
Now ExtA(S,S') _+ Extk-0
j(X,X'),
0 < j'+i-j < I.
i. Then
for some
Extkt(X',X) - 0
consideratijns above. Now the assertion follows from
EXAMPLE.
j. Denote
Db(kA). As before there
to X'
and if
satisfy Exta(X,X) - Exta(X',X') = 0. Now
ExtA(S,S') * 0
suppose that
Db(A)
X and
exist indecomposable k0-modules
S * S'
Extk(S',S) = 0
a triangle-equivalence from
F
i > 0
C
by the
1.5.
be given by the bound quiver
(X,I)
I =
Let
S
be the simple associated with the vertex
simple associated with the vertex
I
and
S'
be the
4. An easy computation shows that
Ext2(S,S') * 0 * Ext3(S,S').
We infer that
C
is not piecewise hereditary.
REMARK. S,S'
be simple
Let
A be a piecewise herediary algebra and let
A-modules with
then
158
i. This follows immediately from
for all
Ext1A(S,S') = 0
and
1.11
III. 1.3.
Let A be a finite quiver without oriented cycle. Let and let
H[i]
plexes
X'
be the full subcategory of isomorphic to
posable object Let
note by
F
sume that
F(Y) E H[o]. If For
mod A. Let
Ui
is contained in
X E ind A
H[i]
i > o
for
be the full subcategory of
X
then
Proof.
Let
satisfying
A-module Y with normalized.
F
of
consisting of the in-
F(X) E H[i]. If
is normalized
F
U.. 1
X,Y E Ui
j > 1.
we know that
X E Ui
kZ-module
(X,TdY)
F(X) = T1X'
Y E ind A. Then and some
Y'
Hom
for some
F(Y) = TrY'
r > o. Let
(T'X',Tr+iY')
for
j > o, then
Extr+j-1(X',Y').
Db(kX)
Db(A)
then
Ui
pd X < i+1. Moreover, if
X E Ui. Then
kA-module V. Let
ExtA(X,Y) * 0
mod A
is contained in some
Since
Extj(X,Y) = Hom
A
X
for
some indecomposable
an indecompo-
X
and
we introduce now certain subcategories
i > o
ExtA(X,Y) = 0
indecomposable
H[i].
if necessary, we may as-
T
satisfies these conditions we call
F
LEMMA.
If
is contained in precisely one
A be a piecewise hereditary algebra of type A and de-
A-modules
decomposable
then
X E mod kA. We know that an indecom-
for
a triangle-equivalence. Applying F(X)
consisting of the com-
A-module and that there exists an indecomposable
sable
and
Db(11)
of
X'
T1X
Db(kA)
i E 7L
0 < r+j-i < 1. In particular, j < i+1. Or equi-
valently, pd X < i+1.
Using similar arguments as before one can show that HomA(X,Y) * 0
for
X E Ui
and
Y E Uj
implies
0 < j-i < 1, and
Extr(X,Y) * 0
for
X E Ui
and
Y E Uj
implies
0 < r+j-i < 1.
159
LEMMA.
Each
Proof.
Let
contains simple
U.
X E Ui
is not simple. There exists a 0 i S i X -, X/S -, 0
with
previous remark we infer that summand of
X/S
such that
be of minimal length and suppose that
X
non-split exact sequence a simple
S
A-modules.
A-module. By assumption and the
S E Ui-1. Let
X'
be an indecomposable
ExtI(X',S) * 0. Again we infer that
By the previous remark we must have
X'E Ui+1'
0 < I+i-1-(i+1) < 1, a contradiction.
160
2.
Cycles in mod kkk.
Throughout this section let
A a kk for some finite quiver I
without oriented cycles.
Let
THEOREM.
C
closed under extensions and direct summands. If also contains an indecomposable
Proof. (1)
If
X,Y E C
(2)
If
C
mod A which is
be a full subcategory of
A-module
Z
contains a cycle, C
C
such that
End Z * k.
The proof is divided into the following steps: and
f E HomA(X,Y), then
im f E C
by
1.2.
contains a cycle, it contains an even cycle, i.e. a cycle of
the form
X2n-1
where all
f2i
are injective and all
f2i+1
surjective.
This follows from M. In the sequel, we suppose that among all even cycles the given one has minimal length implies
n > 2.
2n. We also assume that
End(X1) - k
for all
i. This
161
(3)
We may assume that
In fact, if RomA(Xi,-)
ExtI(X.,Xi) - 0
End(Xi) - k
and End(E) cu k[X] /(X2)
(4)
HomA(X,,Xi) = 0
Suppose there exists summands of Y
in f
if
shows that
E i
is indecomposable,
(1)
all indecomposable
finishing the proof.
2 < i < 2n.
0 * f E HomA(XO,Xi). By
belong to
in C and linear maps
i.
is a non-split extension. Applying
0 1 Xi -. Ei i Xi -o.0
and using
for all
C. So there exists an indecomposable A-module
X0 f . Y f Xi
with
injective. This yields a cycle of length less than
f'
2n
surjective and in
f"
C, contradic-
ting the minimality of the given cycle. In the sequel, we suppose that
dim X0 + dimkHomA(XI,X3)
is
smaller or equal to the corresponding sum of any other even cycle of length
(5)
2n.
Each non-zero
In fact, suppose that there exists HomA(X0,X2) - 0
jective. As
exists an indecomposable X0
f Y' f XI
exact sequence striction to
with
by
A-module f'
0 * f E HomA(X0,XI) (4)
Y' E C
is non-zero. Therefore
the minimality of
and
there is a diagram
there
f"
f0
injective. Consider the is injective its re-
HomA(u,X1) * 0. In particu-
dim Y' < dim Xo, contradicting
dim X0 + dim HomA(XI,X3).
1.2
(1)
and linear maps
0 + ker V_ -Xo Y' + 0. As ker f'
which is not in-
is not surjective. By
f
surjective and
lar, dim HomA(Y',XI) < dimA(X0,XI)
By
is injective.
f E HomA(X0,XI)
162
(g f1)
such that (+) 0 - X
f J
Y 0 X2 -r X3 - 0 is exact. Let
r
0
Y =
be a decomposition of
Y.
Y
into indecomposables. Let
and
gi
i=1
be the corresponding components of
hi
hi * 0
r > 2. In particular
(6)
and
g
for all
h.
i.
The first follows from the minimality of the given cycle. Suppose for one
Y. c ker1 = im(g f1). Thus
i. Then
Y.
hi = 0
is a direct summand
2
im(g f1). But
of
im(g f1)
X1
is indecomposable. Hence the sequence
splits, contradicting again the minimality of the given cycle.
Each non-zero
(7)
In fact, apply
f E HomA(X0,Yi)
HomA(Xo,-)
to r
HomA(Xo,XI) =s HomA(Xo,Y) =
is injective.
(+). By
(4)
it follows that
HomA(X0,Yi). Let
8
u E HomA(Xo,X,)
be the
i=1
preimage of
f. Thus
and injective by
(5). Therefore we have that
is injective.
f = ug
Choose some that
u * o
hi
i
such that
f0gi * 0. Since
2n
is neither surjective nor injective. By
ExtI(X3,X3) = 0. Thus
(+)
is minimal we infer (3)
we have that
induces the exact sequence
0 -i HomA(X3,X3) - HomA(X2 ® Y,X3) - HomA(XI,X3) - 0. Denoting
by
dimkHomA(M,N)
<M,N>, we infer that
r
<XI,X3> =
F
F j*i
163
>
since
for all
j
by
(6).
It follows that the cycle
f
where
is an indecomposable direct summand of
Z'
tion to the minimality of
im hi
is a contradic-
be a full subcategory of
mod A which is
dim X0 + <X1'X3>.
This finishes the proof of the theorem.
COROLLARY.
Let
C
closed under extensions and direct summands. If also contains an indecomposable
Proof.
using
A-module
Z
C
contains a cycle, C
such that
ExtA(Z,Z) * 0.
This follows immediately from the theorem above by
1.4.
REMARK.
proof of
1.10.
Using the theorem above one obtains an alternative
164
The representation-finite case
3.
In this section we study representation-finite piecewise hereditary algebras. First we prove a generalization of a result due to Ringel (1983). The proof is a simple modification of his proof adapted to our situation.
A be a finite-dimensional
Let
is called a brick if
M be an indecomposable a brick
Z
such that
A-module
Z
End Z = k.
Let
THEOREM.
3.1
k-algebra. An
A be a piecewise hereditary algebra and
A-module which is not a brick. Then M contains ExtI(Z,Z) * 0.
Proof. It is enough to produce an indecomposable proper sub-
X of
module that
M such that
ExtI(X,X) * 0. Let
has minimal length. Then
im f = S
S
0 * f E End M be such
is indecomposable. If
1
Ext (S,S) * 0, we set
X c N = ker f Such an
X = S. Otherwise, we choose an indecomposable
of minimal length such that
X exists by
(1)
I
Ho
below. We will show in
(SIX). (2)
that
ExtI(X,X) * 0. s
(1)
Let
N =
0
Ni
with
Ni
indecomposable. Denote by
pi
the cano-
i=1
nical projection from exact sequences:
N
to
Ni. Consider the following diagram of
165
f
0-
i
0
The lower sequence does not split. Otherwise, Ni mand of that
ExtI(S,Ni) * 0
HomA(S,Ni) * 0
Let
(2)
g
M. Therefore
for at least one
0 * g E HomA(S,X). Since
is injective. ExtA(S,S) = 0
S
for all
would be a direct sumand
i
S c ker f
implies
i.
has minimal length we infer that
implies that
g
is not bijective. Con-
sider the exact sequence
(*) The exact sequence
induces an exact sequence
(*)
ExtI(S,S)
Therefore
-
ExtI(S,X)
-
ExtI(S,Q).
ExtI(S,Q) * 0. So there is a non-split extension
0 -.Q -, E - S - 0. This induces a sequence Q uI. E' -° S $ X - Q for each indecomposable summand
E'
of
E. Since
Q
is indecomposable by
(3)
below, u
are non-zero and non-invertible, we obtain a cycle of that
by
Ext2(Q,X) = 0
1.9(ii). Applying
ExtI(-,X)
and
mod A. We infer to
(*)
yields
the exact sequence
ExtA(X,X)
Therefore
-+
ExtI(S,X) -' Ext2(Q,X).
ExtI(X,X) * 0. r
(3)
Suppose
Q =
0 i=1
Qi
with
Qi
indecomposable and
v
r > 1. We may
166
assume that
ExtA(S,Q1) * 0. Denote by
the inclusion from
p1
to
Q1
Q.
Consider the induced sequence:
0 --} S -} Y --p Q 1 --- 0
0 -+ S --> X ---} Q -+ 0
(*)
X
The upper sequence does not split, for Ext2(S,S) = 0
by
is indecomposable. Since
the exact sequence
1.9(i)
ExtA(S,Y) -ExtA(S,Q1) -Ext2(S,S) t
ExtA(S,Y) * 0. Let
yields
Y =
0
with
Y.
Yi
indecomposable. As
i=1
does not split
(**)
ExtA(S,Y.) * 0
Hence
and
HomA(S,Yi) * 0
i. So there exists
j
with
HomA(S,Y.) * 0. But this contradicts the choice of
X.
is indecomposable.
Q
3.2
By duality we obtain the following result.
THEOREM. Let be an indecomposable module
for all
Z
A be a piecewise hereditary algebra and
A-module which is not a brick. Then M has a factor
which is a brick and satisfies
3.3
M
ExtA(Z,Z) * 0.
The following lemma is due to Ringel. For a more sophis-
ticated result in this direction we refer to
3.1
of Ringel (1984). For
our purposes this simplified version suffices.
LEMMA.
a brick satisfying
Let
B
be a finite-dimensional
ExtB(X,X) * 0
and
k-algebra and
Ext2(X,X) = 0.
Then
B
X be
is repre-
sentation-infinite.
Proof. Xd
for
d > o
We will construct inductively indecomposable B-modules
and non-split extensions
-
167
IT
11
Ed : 0 - Xd_1
dim.HomB(Xo,Xd) = Set
X0 - 0 for d >
Xd and
I
X0 = X
Ext2(Xo,Xd) = 0 and let
such that
I
for
d > 0.
be a non-split extension in
EI
ExtB(X0,X0), say u1
Apply
HomB(Xo,-)
Ext2(X0,X0) = 0
't 1
0 - Xo -- XI --> Xo-- 0.
EI
E1. So we obtain by using
to
End Xo = k
and
the following exact sequence d
0 - k - HomB(Xo,X1) - k -, ExtI(Xo,Xo) - ExtI(Xo,X1) - ExtI(Xo,Xo) - 0. Since
6
dimkHomB(XO,XI) = 1. Since
is injective we infer that
not split we infer that
does
E1
is indecomposable. Observe that
XI
Ext2(Xo,XI) = 0. n
ud1'
Now suppose that is constructed with
Ext2(X ,X B
o
d-1
)
Xd_l
= 0. Since
Ed_I
0 -} Xd_2
Ext2(X B
X
o' d-2
) = 0
d-1' Xo -- 0
dimkHomB(X0,Xd_,) =
indecomposable and
Ed E ExtI(Xo,Xd_1)
is surjective. Let
Xd_I
we have that
be a preimage of
Extl(X B
o
:
0 - Xo
'
Apply
HomB(Xo,-)
to
XI -} X0 -- 0 r
lid-I
Ed :
al
Ill
T
Pd
ITd
0 - Xd-1' Xd ' Xo -> 0 I
,Ir
d-1
E1. Thus we
obtain the following diagram of non-split extensions:
E1
and
I
11'
Ed. This gives the following exact sequence
)
168
0 -+ HomB(XO'Xd-I)
HomB(XX,Xd) 6
By induction, dimkHomB(Xo,Xd_I) = I Since
6
Xd
ExtB(X'Xd)
and by assumption
Ed
which also
does not split. By induction,
Ext2(X0,X0)
0
hence
0.
This shows that ryly large length, hence
3.4
A
End X0 = k.
dimkHomB(XO,Xd) = I
is indecomposable, for
Ext2(Xo,Xd_,) = 0
If
and by assumption
is injective we infer that
shows that
- HomB(Xo,X0)
B
COROLLARY.
admits indecomposable modules of arbitra-
B
is representation-infinite.
Let
A be a piecewise hereditary algebra.
is representation-finite then every indecomposable
A-modules is
a brick.
Proof.
M be an indecomposable
Let
a brick then M contains a brick By
1.9(i)
the brick
diction using
3.5
Z
B
a full subcategory of
be a finite-dimensional
mod B. The subcategory
U
Let
be a finite subcategory of
Let
3.1.
U
k-algebra and let
U
is called finite if
be U
finitely many indecomposable B-modules.
A be a piecewise hereditary algebra and let
mod A closed under extensions and sub-
modules (or factor modules). Then
Proof.
by
is a brick.
contains (up to isomorphism) only
COROLLARY.
ExtI(Z,Z) * 0
such that
is not
Ext2(Z,Z) = 0. So we obtain a contra-
satisfies
3.3; hence M
Let
Z
A-module. If M
U
is directed.
X0 -+ XI - ... - Xr - Xo be a cycle of indecom-
169
posable
A-modules with
equivalence from
Db(A)
Xi E U
Db(kA). It follows from
to
F(X0) - F(X1) - ... - F(Xr) = F(X0) ks-modules. Let
composable
I < i < r. Denote by
for
a triangle-
F
I. 5.3
that
may be considered as a cycle of inde-
be the smallest full subcategory of
C
mod ka closed under extensions and direct summands containing
0 < i < r. Then for Y E C
(*)
Y' E U. In fact, let
such that
F(Y') me Y
0 - Y1
YI = F(ZI)
u
there exists an A-module
for
with
Y'
YI,Y2 E C
F(Xi)
and
v
Y - Y2 - 0 be exact in mod k;. We may assume that
and
for some
Y2 = F(Z2)
A-modules
and
ZI
Z1,Z2 E U. We have
Z2
such that
Ho Db(A)(Z2,TZ1)
ExtA(Z2,Z1). Let
w E Hom b
1 (Y2,TY1)
be the element corresponding to
D (kg) to
(*). Then w
F(w')
f
0 -ZI -, Y'
assumption
8
Db(k0)
2
29
TZ ). Let 1
be the corresponding element in
Z2 - 0
Y' E U. So we obtain a triangle F(ZI) F(f
Z1
-f+
F(Z2) F(w
F(Y')
ExtA(Z2,Z1). By 8
Y'
which by construction is isomorphic to
In particular section
(Z
Db(A)
Db(A). Thus also in
w' E Hom
for some
TZI
F(TZI)
in
is a triangle
YI -Y - Y2
w TYI.
F(Y') -, Y. The assertion now follows from the theorem in
using
3.4. Observe that
3.4
may be applied, for
U
is
closed under extensions and submodules or factor modules. Moreover, the modules constructed in
3.6
3.3 are niltiple extensions of a fixed module.
COROLLARY.
Let
hereditary algebra. Then mod A
Proof.
3.7
racteristic
XA
With
REMARK.
A be a representation-finite piecewise is directed.
U - mod A
In
the result follows from
III. 1.3
we have introduced the Euler cha-
for a finite-dimensional
we have defined the dimension vector
3.5.
k-algebra
dim X
for an
A
and in
A-module
is a representation-finite piecewise hereditary algebra and
III. 1.2
X. If
A
X an inde-
170
composable
A-module then
3.4
shows that
XA(dim X) = 1.
171
Iterated tilted algebras
4.
4.1
In this section we are going to define two classes of
finite-dimensional
k-algebras which are related by a sequence of tilting
modules to a finite-dimensional hereditary k-algebra. For this let p be a
kZ be the associated path
finite quiver without oriented cycle and let
A
algebra. Let
be a finite-dimensional
k-algebra. We say that
tiltable to k if there exists triples
(Ai,A M1,Ai+1= End M1)0 1
such that
A = Ao, kZ = Am and
lows that
A
A M1
A
is
-
< i< m
is an Ai tilting module. It fol-
is a piecewise hereditary if
A
is tiltable to
I. Using
this observation we see that Z is uniquely determined up to the relation ^-
introduced in
is of type
I. 5.7. If
A
is tiltable to
kZ we will say that
A
A.
The following trivial lemma is stated for the sake of completeness.
LEMMA.
Let
M be a k0 tilting module and
corresponding tilted algebra. Then
Proof.
we know that
By
III. 3.1
B
is tiltable to
we have that
D(MB) = F(D(kA)) where
F
B = End M
I.
kA =, End D(MB). Moreover,
is the triangle equivalence
from
Db(kZ)
to
that
D(MB)
is a tilting module. In fact, pd D(MB) < 1 follows from
Db(A)
constructed in
the
III. 2.10. This immediately shows 1.12,
172
ExtB(D(MB),D(MB)) - 0
4.2
A. We will not carry out the computations.
A be given by the bound quiver
Let
0
o
D(MB)-codim(BB) < I
and
Let us include some examples of algebras tiltable to
for some quiver (a)
But
III. 3.1
III. 5.5.
follows from
11
follows from
o
o
with
Ra = 6y = 0.
is not a tilted algebra, although
gl dim A = 2.
kZ, where A - A5.
is tiltable to
(b)
Y
A be given by the bound quiver
Let a
B 6
Y1,
e
with
fa = S'a' = 6a'-ay = c3'-06 = 0
It
(c)
Let
A be given the bound quiver
with
ar
for
aiai-i = Sisi-1 - 0 1
< i < r.
Br
Then A
4.3
of type Z if
is tiltable to
kA, where
We have noticed before that
A
is tiltable to
A = 12r-1'
A
is piecewise hereditary
kA. In particular we know the quiver
t(Db(A)). In the following two examples we have marked the vertices of I?(Db(A))
which correspond to the indecomposable
A-modules by * .
173
(a)
Let A be given by the bound quiver a1
a2
a3
a4
as
0
with
Then A
a5a4 = a4a3 = a3a2 = a2a1 = 0. is tiltable to
kS, where A = A6. Therefore
i(Db(A)) - ZA6.
(b)
Let A be given by the bound quiver
with
Then A
is tiltable to
a tilted algebra. Therefore
4.4
$a-6y = 0.
k0, where A = ID 4. A
is in fact
?(Db(A)) - Z D4 .
A more restricted concept is that of iterated tilted
algebras. Let A be a finite-dimensional
k-algebra. We say that
A
is
an iterated tilted algebra of type Z if there exists a finite quiver without oriented cycles and triples
(Ai,A M1,Ai+1 = End M1 )0< 1
such that A = Ao, k0 = Am and
A M1
i< m
is an Ai-tilting module having the
1
property that the torsion theory on
(T(M1),F(M1))
mod Ai. We call the passage from
step.
A.
to
(compare
Ai+1
III. 4.2) splits
a splitting tilting
174
If
tiltable to
A
is an iterated tilted algebra of type Z then A
is
kX and clearly every tilted algebra is an iterated tilted
algebra. Examples of iterated tilted algebras are given by the examples in
4.2.
REMARKS.
4.5
The concept of iterated tilted algebras was
introduced by Assem, Rappel (1981). In this article the iterated tilted algebras of type 9 n have been classified. Afterwards a lot of classification results were obtained. The case wronski (1986a). The discrete cases
ID n
IE6'
was settled by Assem, Sko79 IE8
of course could be
handled by using a computer. The case in was solved by Assem, Skowronski (1986). If
A
is an affine diagram different from A then a description
of the representation-infinite iterated tilted algebras of type contained in Assem, Skowronski (1986b) in
4.9
A
is
in a spirit similar to the results
of Ringel (1984). A surprisingly simple procedure to decide for
a given finite-dimensional
k-algebra whether it is iterated tilted of
Dynkin type was obtained by Brenner (1986). Almost nothing is known if is a wild quiver.
175
The general case
5.
For the proof of the main result in this section we need
5.1
a criterion to identify those complexes sional
X'
in
Db(A)
k-algebra A which are contained in the image of the canonical mod A
embedding
into
be an object in
mod A
ding of
Db(A).
A be a finite-dimensional
Let
LEMMA.
Db(A). Then into
X'
X'
is in the image of the canonical embed-
if and only if
Db(A)
k-algebra and let
Hom
(T1 A, X') = 0
A
D(A) b all
for a finite-dimen-
for
i * 0.
Proof.
mod A
into
If
then
Db(A)
(T1
Horn
is in the image of the. canonical embedding of
X'
AA,X
is isomorphic to some
X'
o: Horn
Db (A)
Conversely, let
Db (A)
(T1
AA,X)
A-module
ocExtA 1( A,X) = 0 A
be such that
X' E Db(A)
Hom b
X. Thus
for
i * 0.
(T1AA,X') =0
D (A)
for all
i * 0. Then
P' = (PJ,d3)
where
X' P-
it is enough to show that
is quasi-isomorphic to a bounded above complex is a projective
H1(P') = 0
A-module for all
i * 0. The complex
for all
given by
... 3 P- 2
d2 -+ P
d
1
1
d°
j. Clearly
d1
->. P°-> P 1-i P2 3 .. .
P'
is
176
Let
i * -1
be a projective
P
and let
This induces a morphism
dl+l
A-module mapping onto
ker
which
of complexes V : T1+1P -' P'
f' = (fl)
by assumption is homotopic to zero. Thus there exists
such
g : P -, P1
gdl = fi+1. In particular, ker di+1 aim d1.
that
The following is easily obtained by induction from
5.2
III. 6.4. Let
A be a finite quiver without oriented cycle having n
vertices. Let
X be an
X X=
= (Y E mod A
r
ExtA(X,Y) = 0)
I HomA(X,Y)
with
®
A = ks-module. Then the perpendicular category is defined. Suppose
for
indecomposable, Xi ¢, Xj
X.
i*j
ri > I
and
i=1 ExtA(Xi,Xi) = 0
satisfies
for
1 <,i < r
and
X. E X.
i < j. Then
)CLa
mod H where n-r
CM
is a finite-dimensional hereditary
k-algebra with
simple modules up to isomorphism.
5.3
Let
H
C
We will also need the following fact from
be a finite-dimensional
a tilting module with
valence
k-algebra of finite global dimension and
D = End M. Then there exists a triangle-equi-
G : Db(D) - Db(C)
5.4
III. 2.13.
such that
G(DD) = CM.
The following theorem is a result due to Happel, Rickard,
Schofield (1986). Let
be a finite-dimensional
B
k-algebra which is ba-
sic and connected and A a finite quiver without oriented cycle.
THEOREM.
B
If
is piecewise hereditary of type
is an iterated tilted algebra of type
Proof.
Let
Db(B)
to
B
0.
A - kZ and denote by
triangle-equivalence from
p, then
F
Db(A). By
a normalized
(1.12)
G we denote a quasi-
r
inverse to X.
F. Let
X' = F(BB), then
with X0 * 0 * Xr. Note that
X.
X. _
0
j-0
T3X.
for some
A-modules
is not necessarily indecomposable.
177
As
G(X.) E Uj
(compare
HomA(Xi,XJ) - 0
for
i * j
and
r = 0, then
If
and projective we infer that
1.12)
ExtI(Xi,X.) - 0
for
i+1 $ j.
is a tilting module, thus A -End X0
X' = X0
is a tilted algebra and the assertion follows from
4.4.
So we may assume inductively that the theorem holds in all cases where either
r
takes a smaller value or
takes the same value
r
X0 has fewer indecomposable direct summands.
and
Note that
X0
is a partial tilting module and a tilting
module in the perpendicular category where
is a finite-dimensional hereditary
H
(X1 0 ... 0 X
r
for in
(X1 0 ... 0 Xr)1 =, mod H - mod A,
)
1
with mod H. Let
mod H. Since
HQ
induced by
(T(XX,F(X0))
k-algebra. We will identify
HQ be the minimal injective cogenera-
is a torsion module in the torsion theory on
X0
mod H we have an exact sequence
0 - X"0 -, X'0 -, Q - 0 in mod H. This yields a triangle X" -, X'0 -, Q -, TX"0 0 in
Hom (T1Xto this triangle shows that D b(A) such that 5.1. Let G(Q) = BY and let BB - P 0 P'
Db(A). Applying by
G(Q) E mod B F(P) - X0.
We claim that
is a tilting module such that
BM - BY 0 P'
splits on mod B.
(T(M),F(M))
It follows from
1.12
it suffices to show
ExtI(M,M) - 0
sable direct summand
P.
of
pd BM < 1. In order to show that
that
ExtI(Y,Pi) - 0
P'. But
for each indecompo-
ExtI(Y,P.)
(Y'TP.) ..,
Horn b
D(B) (Q,TFP .). The latter term is zero, for Hom 1 Db (A) j > I
1.12). Using
(compare
III. 6.2
FP . E H[j]
1
finally shows that
for some
BM
is a
tilting module.
Let Since
P'
infer that
is
Z
be an indecomposable
B-projective we have that
B-module with
ExtI(M,Z) $ 0.
ExtI(Y,Z) * 0. By
F(Z) E H[0). It also follows that
1.12
we
F(Z) E mod H, in particular
178
Hom(P',Z) = 0. Since This shows that
ExtI(Y,Z) * 0
F(Z)
H-injective. But then
is not
HomB(Y,Z) = 0. Thus
showing that
HomH(Q,F(Z)) = 0,
is a torsion free module in the
Z
BM
induced by
(T(M),F(M))
torsion theory
ExtI(Q,F(Z)) * 0.
we infer that
on
mod B.
C = End M. Then we obtain a triangle-equivalence
Let
r F'
:
F'(CC) = Q 0
such that
Db(C) -, Db(A)
dl
T1Xi. Let
be a simple
CS
i=1
projective such that
is a direct summand of
F'(S)
C * k we see that
nected and we may also assume that
APR-tilting module CM(S)
injective. Thus the
We have seen before that the torsion theory splits. Let
mod C
by
CM(S)
of
S. We shall prove below that
on
:
Db(D)
-+
is defined (compare 111.2.14). induced
be the Auslander-Reiten translate
T S
F'(T S) E H[1]. This of course finishes
Db(A)
F"(DD)
such that
of indecomposable direct summands in number for
is con-
is not simple
S
(T(M(S)),F(M(S)))
=
F"
C
D = End M(S). Then we obtain a triangle-equiva-
the proof. In fact, let lence
Q. Since
r
0 T1Y. i=o
where the number
is less than the corresponding
Yo
Xo
Let 0 -. S -+ P" -. T S -. 0 be the Auslander-Reiten sequence starting in in
S
and let
Db(C). Thus also
Db(A). Applying
S -+ P" -. T S -+ TS
F'(S) -+ F'(P") -, F'(T S) -, TF'(S)
Hom
(
Db (A) Hom b
A,-)
(AA,T F'(T S)) -. Hom b
(
A,F'(S)) -4 Hom
A
Hom
(
such that
F'(P"')
(AA,F'(P")).
D (A)
A,T F'(T S)) * 0. Otherwise
A D(A) b
(
A,F'(P"))
A
D(A) b Db (A) injection V(S) u F'(P" where P"
(AA,F'(S)) - Hom b
D (A)
It is enough to show that
is a triangle in
to this triangle yields the exact sequence
A
D (A)
Hom
be the corresponding triangle
is injective. This induces an
P"' is the largest direct summand of
is a direct summand of
Q. By construction
u
F'(S) - F'(P"')
is an injective map of injective
H-modules. Thus
u
is
a section, contradicting the fact that 0 -+ S - P" - T S - 0 is non-split.
179
5.5
COROLLARY.
Let
A be a finite-dimensional
k-algebra
and S a finite quiver without oriented cycle. Then the following are equivalent. (i)
A
is piecewise hereditary of type
(ii)
A
is an iterated tilted algebra of type
(iii)
A
is tiltable to
REMARK.
implication
(iii)
5.6 and
A*
A.
kA.
So far there does not exist a direct proof of the (ii).
COROLLARY.
Let
A
the opposite algebra. Then
type 9 if and only if
A*
be a finite-dimensional
A
k-algebra
is an iterated tilted algebra of
is an iterated tilted algebra of type .
180
The Dynkin case
6.
6.1
algebra of type to
Let I be a Dynkin quiver and A a piecewise hereditary A. In this section we will show A can be transformed
kG by using only
b D (A)
APR-tilting modules. We know that the quiver of
i
mod A
coincides with ZA. In particular we know that
Euler characteristic of
X
A. If
is an indecomposable
XA(dim X) - 1. We have denoted before by
n(A)
classes of indecomposable
K0(A)
A-modules. As
we know that r0(A) - #{x E Zn be denoted by
rz. Clearly
I
XA(x) - 1)
XA be the
3.6. Let
tation-finite and directed without reference to
is represen-
A-module then
the number of isomorphism is isometric to
K0(kX)
does not depend on A
n(A) < r0(A). The values for
rZ
and will
are well-
known and are given as follows
r . = n(n+1), rID - n(2n-2), r .- 72, rE - 126 6 7 n n 6.2
8
Let A be a Dynkin quiver and
THEOREM.
hereditary algebra of type
A
a piecewise
A. Then there exist triples
(A. ,AM1,Ai+1 = End M1)0 < i< m an
and, rE - 240.
such that A = A0, kZ = Am
and
A Ml
is
APR-tilting module.
Proof.
Therefore A
We have noticed before that
admits an
APR-tilting module
M(S)
mod A
is directed.
for some simple projec-
181
tive
A-module S. Then
B - End M(S)
is again piecewise hereditary of
type Z and hence directed such that from
that
III. 4.13
A
If
exists a simple
n(B) > n(A)
if and only if
A-module S
A = A0
and we know
idAS > 1.
is hereditary there is nothing to show. Otherwise there such that
easily seen that there exist triples such that
rZ > n(B) > n(A)
and A M1
idAS > 1. In this situation it is
(Ai,AM1,Ai+1 = End M)0< i
m
is an APR-tilting module of the form
1
M1 = M(S') S
id S1 -1
with
and
Am
ml
ml
with
> 1. Therefore
id S
admits a simple projective module ml
1
n(End(M(S
))) > n(Am ). This process
has to stop and this is precisely the case when we reach In the situation above we will say that by a finite sequence of
APR-tilts to
A can be transformed
ki.
We include two examples which show that
6.3
hold for arbitrary quivers
kp.
6.2
does not
S.
Let A be the algebra defined by the bound quiver
(a)
a
Then
End M(S) ., A, where
the other hand
A
M(S)
is the unique
is a tilted algebra of type
Note that the opposite algebra
A*
APR-tilting module. On ]-
where
may be transformed by an
APR-tilt
to a hereditary algebra. This phenomena will be proved in the next section.
182
Let A be the algebra defined by the bound quiver
(b)
Blal = 82a2 = 83a3 = B04
It may be shown that neither A nor sequence of
A*
may be transformed by a finite
APR-tilts to a hereditary algebra. On the other hand A
is
a tilted algebra of type A where
Let A be a finite-dimensional
6.4
bound quiver
(r,I). For a vertex
subquiver of r with vertices path from A-module
to
j
P(i)
i
in
j
i E r0
k-algebra given by the
we denote by
ri
the full
for which there exists a non-trivial
I. We say that the indecomposable projective
associated with the vertex
i
has a separated radical if
the supports of each pair of non-isomorphic indecomposable summands of rad P(i)
are contained in two different connected components of
Finally we say that
A satisfies the
(S)-condition if all indecomposable
A-modules have separated radical. This condition was intro-
projective
duced by Bautista, Larrion, Salmeron (1983). For the topological implications of this condition we also refer to Bretscher, Gabriel (1983). Using this and
3.5
of Assem
LEMMA.
dimensional
Let
(1983)
one obtains
A be a representation-finite connected finite-
k-algebra. Let
S
be a simple projective
A-module and
183
B = End M(S). If dition, so does
B
A
is
It is easily seen that the following result holds.
be a connected finite-dimensional
projective
(S)-con-
A.
REMARK.
Let
is representation-finite and satisfies the
A-module and let
k-algebra. Let
B = End M(S). If
mod B
S
be a simple
is directed, so
mod A.
The converse is not true as the following example shows. Let
A be given the bound quiver
with
Let
M(S)
be the unique
APR-tilting module. Then
presentation-finite, but
COROLLARY.
mod B
B = End M(S)
is not directed, while
be a Dynkin quiver and
Let
Then A satisfies the
hereditary algebra of type
6.6
c6 =y6=Ra=0.
mod A
is reis.
A be a piecewise (S)-condition.
In the remaining part of this section we will present
the classification of the iterated tilted algebras of type
An. This
mainly serves as an illustration of the material developed so far. For the formulation of the additional information we need, we have to introduce some further notation. The translation quiver Z A has as vertices the pairs
(i,j)
this choice in the case where
with
n = 6.
i E Z
and
j E (An)o. We sketch
184
Let
k(ZA n)
ZA1. For
be the mesh category associated with the translation quiver
x E ZA n
we define a function
fx
on the vertices of
7I n by
(1979)).
x = (i,j) E Z . The support S
LEMMA. Let
of
fx
is given
by S = {y = (i',j') E Z i < i' < i+j-1, i+j < i'+j' < n+1}.
Denote by Lx
for
x - (i,j)-E 71A
the subset of ZA
n
given
Lx = {y= (i',j') EZn I V = i, 1 <j'
Lx
is just the union of the two diagonals through
x.
The preceding lemma has an easy consequence.
Let
COROLLARY.
type n and let where A - An. Let x,y E ZAn
F
A be a piecewise hereditary algebra of
be a triangle-equivalence from P,P'
correspond to
be indecomposable projective P,P'
under
F
and if
Db(A)
to
Db(kS)
A-modules. If
HomA(P,P') * 0
or
185
HomA(P,P') * 0
6.7
then
y E L. Cn
We are going to define a class
of finite-dimensio-
nal algebras as follows. A finite-dimensional,basic and connected algebra
A given by a bound quiver
(?,I)
belongs to
Cn
if the following con-
ditions are satisfied (i)
r
is a tree with
(ii)
I
can be generated by paths of length two.
(iii)
Every point has at most four neighbors.
(iv)
If a point has four neighbors, then
n
with
subquiver of (v)
vertices.
a6 - Yd = 0
is a full bound
(I1,I).
If a point has three neighbors, then
0
0
o
-o
with a8=o or
0'-
is a full bound subquiver of
-
O
as - o
(I?,I).
It is easily seen that a finite-dimensional, basic and connected algebra
A given by a bound quiver
(I1,I)
belongs to
Cn
if
(I1,I)
is a full
bound subquiver with n vertices of the following infinite quiver bound by all possible relations of the form
a8 = o
and
Ba = o.
186
Let
THEOREM.
k-algebra. Then
A
A be a finite-dimensional, basic and connected
is an iterated tilted algebra of type An
if and only
if AECn Proof.
A E Cn S
The proof rests on a few observations. Note that if
is hereditary then A =, kI, where
a simple projective
A-module and
it is straightforward that proof of
6.2
M(S)
A = A. Next let the
A E Cn
and
APR-tilting module. Then
End M(S) E Cn. Using the arguments as in the
this shows that if
A belongs to
Cn, then
A
is an itera-
ted tilted algebra of type n Conversely, let and let
F
A = n. Let
A be an iterated tilted algebra of type An
be a triangle equivalence from Db(A)
to
Db(M), where
P(1),...,P(n) be a complete set of representatives from the
187
isomorphism classes of the indecomposable projective and
Xi - F(P(i))
6.6
lary in
xi
be the corresponding vertex in 7! n. Using the corol-
the properties (ii), (iii), (iv) and (v)
Let A be given by the bound quiver show that
r
A-modules. Let
easily follow.
(r,I). It remains to
is a tree. Otherwise ? contains a full subquiver Q which
is a (non-oriented) cycle. Since
_
has no oriented cycle,
always
contains at least one source and one sink. In particular, Q has the fol-
lowing form where w denotes a path and
w'
a sequence of arrows not
necessarily forming a path. a1
w
b1
0 a o
b
>6Y a2
Since < 1
I
w'
b2
can be generated by paths of length
we infer that
rad P(b)
2
and
dimkHomA(P(a),P(b))
is decomposable. In particular
to have separated radical in contrast to
6.5.
P(b)
fails
188
The affine case
7.
In this section we study the case where A is an affine
7.1
quiver. We follow Rappel (1987). In nents
C[i]
form C[i] forming
R[i]
and
of
I1(Db(kX))
III. 7.2 for
we have introduced compo-
i E Z. The components of the
will be called transjective components while the components
R[i]
will be called regular components. Observe that
H[i] c C[i] U R[i] U C[i+1]
(compare
1.12). In the proof of the fol-
lowing proposition we freely use the structure of in Dlab, Ringel (1976)
mod kA as contained
or Ringel (1984).
PROPOSITION.
Let A be a representation-infinite piecewise
hereditary algebra of affine type A and
F : Db(A)
-
Db(1A)
a triangle
equivalence. (a)
taining
F(P) (b)
posable
There exists a unique transjective component for some indecomposable projective
con-
A-module P.
There are (up to isomorphism) only finitely many indecom-
A-modules (c)
C[i]
X
such that
F(X) f C(i] U R[i] U C[i+1].
C[i], R[i], C[i+1]
each contains (up to isomorphism)
infinitely many indecomposable objects of the form F(X)
Proof.
for
The existence is a simple reformulation of
The uniqueness follows from
5.1
X E mod A.
III. 5.8.
and the fact that a preprojective kX
189
module X
has the property that
finite subcategory of also yields
{Y E mod kZ I Hom.(X,Y) = 0}
(a), and the last argument
mod a. This proves
(b).
Let
be a complete set of representatives of
P(1),...,P(n)
the isomorphism classes of indecomposable projective
X* = F(Pj)
is a
for
I
A-modules. Let
< j < n.
Suppose X t C[i]. Then clearly
dim X is not homogeneous,
for
0 - ExtI(P(j),P(j)) = Hom A
for some indecomposable regular 5.1
R[i]
Db
Ext I M,X.)
(a)
ks-module Xi. Therefore it follows from
that the complexes in the tubes of rank are contained in the image of
F
{Y E mod kZ gory of
Y
I
of the tubular family
restricted to
The remaining assertions in fact that a non-sincere
I
(c)
mod A.
follow from 5.1
and the
kZ-module R has the property that
preinjective, HomkX(R,Y) = 0}
is not a finite subcate-
mod kX.
7.2
Let A be a representation-infinite piecewise hereditary
algebra of affine type A and let
P(i1),...,P(ir)
be a complete set of
representatives from the isomorphism classes of projective F(P(ii))
having the property that
mined transjective component
A-modules
is contained in the uniquely deter-
C[i], where
F
is the triangle-equivalence
r
from
7.1. Let
A' = End
0 P(ij). j=1
COROLLARY.
7.3
LEMMA.
A'
Let
is a concealed algebra.
s
be a natural number. Then there exist
(up to isomorphism) only finitely many basic finite-dimensional
bras having
s
simple modules and directed module category.
k-alge-
190
Proof.
We proceed by induction on
s. For
s =
I
there is
exactly one algebra having these properties. Let A be a basic finitek-algebra with
dimensional
simple modules and directed module cate-
s
gory. Then there exists a basic finite-dimensional
B
with
simple modules and directed module category. Moreover, there exists
s-1
a
k-algebra
B-module M such that
A
is the one-point extension of
B
by M
(note that an epimorphic image of an algebra A with directed module r
category has again a directed module category). Let M =
0 Mi
with
M.
i=1
A
indecomposable. As
is representation-finite we infer that
r < 3.
Thus the result follows from the induction hypothesis.
LEMMA.
7.4
type
Z. If S
A be a piecewise hereditary algebra of
Let
is not a Dynkin quiver, then A may be transformed by a
APR-tilts to a representation-infinite piecewise hereditary
sequence of
algebra of type
A.
Using the same argument as in
Proof.
follows from
III. 4.13. Observe that the number of simple
and
7.3
this immediately
6.2
modules is stable under the tilting process.
7.5
A. A component
the Auslander-Reiten quiver of projective component if each indecomposable
C
of
C
r
is called a
re-
does not contain an oriented cycle and for
A-module
composable projective
7.6
k-algebra and let t be
A be a finite-dimensional
Let
there exists
X E C
A-module
P
such that
t E N
and an inde-
X = t tP.
For the rest of this section we assume that A
is an
affine quiver. Let A be a representation-infinite piecewise hereditary algebra of type By
7.1
and let
F
:
Db(A)
-
Db(kA)
be a triangle-equivalence.
there exists a unique transjective component
C[i]
of
r(Db(kZ))
191
A-modules under
containing images of indecomposable projective may assume that
F. We
i = o. In the sequel we will choose our triangle-equiva-
lences in such a way that they satisfy this property.
A
If
jo = jo(A)
jective
is not a concealed algebra, there exists an integer
such that
A-module
R[jo]
P, but
R[j]
A-module P'
posable projective
for some indecomposable pro-
F(P)
contains
F(P')
does not contain j < jo. Let
and
that F(P)
be the number
r(A)
of isomorphism classes of indecomposable projective
for an indecom-
A-modules
such
P
U R (j). j >o LEMMA.
of
APR-tilts to a concealed algebra
jo(B) = 0. Moreover
A may be transformed by a sequence
jo < o, then
If
or an algebra
B
B
satisfying
r(B) = r(A).
Let
Proof.
X
decomposable objects
be the full subcategory of
V
satisfying
F(X) E
U
mod A with in-
(C[j] U R[j-1]). By
7.1
j
V
and submodules. It is easily seen that with injective also
is contained in
T X
is closed under extensions
X
V. Moreover
contained in Reiten quiver
3.5
PA
Let
of S
and not
contains (up to such that
it follows that the indecomposable
A-modules
form a preprojective component
V
V
V
A-modules X
isomorphism) only finitely many indecomposable F(X) 4 C[o]. Using
contained in
C
of the Auslander-
A.
be a simple projective A-module such that
F(S) E R[jo] and let 0 - S - P -. T S -4 0 be the Auslander-Reiten sequence starting at Note that
S.
F(T S)
If
r(End(M(S))) = r(A). So we may assume that
T S E V, so that
F(T S) E R[jo]. Observe that
ponent of the form Zk./s
R[jo] there is nothing to show.
F(S)
for some
and s >
F(T S) 1
are contained in a com-
and that such a component con-
192
tains only finitely many
FI
:
Db(A1)
-+
the image of
Db(kZ). It follows from 5.1 restricted to
F1
III. 3.2. Since
Al
F"
Db(A2)
to
F1(S1)
and let TF(S)
Db(kXX). Then
be the
F2
and
lies
TF1(S1)
mod A2. In particular we see that
APR-tilts we obtain a finite-dimensional
admitting a simple projective
At
k-algebra,
such that
S1
A2 = End(M(S1))
restricted to
after a finite number of
Ft(St)
A1-module
F(S). Let
triangle-equivalence from
is in
TF(S) E R[jo+1]
is a factor of a finite-dimensional
in the same component as
k-algebra
that
mod A1. This may also be seen from
there exists a simple projective
are in the image of
End Y =. k.
and consider the triangle equivalence
Al = End(M(S))
Let
such that
Y
kXA-modules
lies in the same component as
Ar-module St
Ft(t St) f R[jo]. This
but
F(S)
such that
finishes the proof of the lemma.
7.7
Let A be a concealed algebra of type
LEMMA.
APR-tilts to a.
A may be transformed by a sequence of
Let
Proof.
We may assume that
F : Db(A) -, Db(a)
F(P) E C[0]
is an indecomposable projective
Z. Then
be a triangle equivalence. ks-module if
and preprojective as
P(l),...,P(n)
A-module. Let
P
be a com-
plete set of representatives of the isomorphism classes of indecomposable projective
A-modules and
X. = F(P(i))
for
I
< i < n
the correponding
k- modules which we identify with the corresponding vertices in Z. Let
<X1...,x >
be the convex hull of
X1,...,X
occurring in the paths of Zp which start in
n 1 < i, j < n. If
X =
9 Xi
is a slice in
(i.e. the vertices of X.
i
and stop in
mod kA
X.
J
for
there is nothing to
i=1
show. So we may assume that such that choose
io
X
is not a slice. Thus there exists
t Xi E <X1...,X>, where so that
t
is minimal in
Xi 0
is the translation on {X1,.... Xn}
(i.e. no
Xi
Z2. We X.
is a
193
proper predecessor of
in Z,). The last assumption implies that
Xi 0
E <11,...,Xn> -{Xi }. Clearly, the indecomposable projective 0 0 A-module P(i0) is simple. Let Xi - F(T P(i0)). Then Xi E ZA (compare T Xi
the proof of
B = End(M(P(I0))) and
7.6). Let
induced triangle-equivalence. Let
F'
Q(1),...,Q(n)
:
Db(B)
for
I
}
0
<Xl,...,Xn>.
j *i
such that and
{Xi }
Hom
(X.' ,X.) * 0, then Db(kk) to
°
E <X1,...,Xn> 0 contrary, if Hom
B-modules. Let
. {Xi }. We claim that
0
X!
the
< i < n. Then we may assume that
{Y1,.... Yn} _ {X1,.... Xn,X!
If there is an index
Db(kg)
be representatives of
the isomorphism classes of indecomposable projective Yi = F'(Q(i))
-
0
0
(X.'
b(k HomA(T P(i0),P(j)) = 0
io
X.)- 0
for all
j* i0, then
for all
j* i0. We infer that
idA(Pi ) < 1
and
o
clearly pdAT P(i0)
1. Let 0 - P(i0) -, E - T P(i0) - 0 be the Auslan-
der-Reiten sequence starting in
P(i0). By
I. 4.7
we have that
P(i0) -, E -+ T P(i0) -, TP(i0) is an Auslander-Reiten triangle in
Db(A). Hence
-,F (E) -,X! -, TX.
X.
0
0
0
Db(kp). In particular, Xi
is an Auslander-Reiten triangle in
- T Xi 0
Therefore,
E <X1,...,Xn>
X1
0 {Xi }
}, or
. {x.
0
0
which proves our claim.
0
Iterating this process proves the assertion.
7.8
For the formulation of the next result we need some ad-
ditional terminology. Let D = HomA(-,k)
A be a finite-dimensional
k-algebra and let
be the standard duality. Thus for a left module
AX we
194
have that
is a right module. An
D(AX)
co-tilting module if
A. Then A may be transformed to
Proof.
A
finite. If
bra A*
7.6
7.6. By
we may assume that
satisfies the assumptions of
F*(P) 4 R[j]
sequence of
words
APR-tilts
is representation-in-
7.7. Otherwise let
be a triangle-equivalence which satisfies the assump-
triangle-equivalence. Let Then
A
we may assume that
7.4
is a concealed algebra we apply
D b(A) -, Db(kZ)
tions of
By
kZ by a sequence of
APR-co-tilts.
followed by a sequence of
:
is
A be a piecewise hereditary algebra of affine
Let
THEOREM.
F
EndAM
APR-
APR-co-tilt.
called an
type
is called an
APR-tilting module and
is an
D(AM)
AM
A-module
for
jo(A) = 0. The opposite algeF*
7.6. Let
be the corresponding A*-module.
be an indecomposable projective
P
j > o. Thus
A*
may be transformed by a finite
APR-tilts to a concealed algebra
B
of type
S. In other
A may be transformed to a concealed algebra of type p by a
finite sequence of bra of type
APR-co-tilts. With
B
also
B*
X. Thus the assertion follows by using
is a concealed alge7.7.
We conclude this section by an example which shows the
7.9
distribution of the images of the indecomposable projective under a triangle-equivalence
F
-
Db(A)
:
A-modules
Db(kA).
A be given by the following bound quiver
Let
Y a
a1
1
E
0'
(q-2)'
b
aiLl
a
p-1
...
ono 2
I
YI
with
ap-Iy = y'aq-1 = 0
aiai-I = 0
for
and
I < i < q-1
and
aiai+1 = 0
for
I
< i
195
It may be shown quite easily that
A
is piecewise hereditary of type S
(just constract suitable tilting modules!) where
aq-I
(q-1)'
(q-2)'
0 .....
Of
f
.....
p-1 B
P-11
Let
P(1),...,P(p-1),P(a),P(b),P(O'),...,P(q-2)')
projective
be the indecomposable
A-modules.
We consider the following a-modules. Let indecomposable projective and
b. Let
dim Eo =
vertex
Eo
i'
a--modules associated with the vertices
for
be the a
be the indecomposable regular k- module with E'1 = S(i'), the simple
1
Q(a),Q(b)
I < i < q-2
ciated with the vertex
i
for
and I
li-module associated with the
Ei = S(i), the simple < i < p-1. Note that
ki-module assoare regular
Ei,Ei
kA modules.
Then a triangle-equivalence such that
0 < i < q-2
F : Db(A) s D (kA')
F(P(a)) = Q(a), F(P(b)) = Q(b), F(P(i')) and
F(P(i)) = T 1Ei
for
I < i < p-I.
T1E!
may be chosen for
CHAPTER V
TRIVIAL EXTENSION ALGEBRAS
Preliminaries
1.
A be a basic, connected finite-dimensional algebra over
Let
an algebraically closed field extension algebra
k. In
I. 3.1
we have defined the trivial
T(A). In this chapter we will give a summary of some
results dealing with
T(A). We refer to Possum, Griffith, Reiten (1975)
and Tachikawa (1986) for further details and further references.
The following observation is due to Iwanaga, Wakamatsu
1.1
(1980).
T(A)
Proof.
It is enough to show that
isomorphic as cp
:
T(A)
and
D(T(A))
are
A-bimodules (see Auslander, Platzeck, Reiten (1977)). Let
T(A) -, D(T(A))
a,a' E A and phism of
is a symmetric algebra.
LEMMA.
be given by
[p(a,q)](a',q') = q(a') + q'(a)
for
is an isomor-
q,q' E Q. Then it is easily checked that
A-bimodules.
1.2
In
II. 2.4 we have defined a grading on
over we have noticed that
modZT(A)
and
is the repetitive algebra associated with be the forgetful functor. Then
0
mod A A. Let
T(A). More-
are equivalent, where ¢
:
A
modZT(A) - mod T(A)
is a Galois covering with Galois group
Z. For the covering theoretic results needed here we refer to Bongartz,
197
Gabriel (1981), Gabriel (1981) and Dowbor, Skowronski (1986). Let
B
(A,I). We say that
quiver
M. = {j E A0
1
k-algebra with associated bound
be a locally bounded
is locally support-finite if the set
B
with
3 M E ind B
HomB(P(i),M) * 0
is finite for all
i E Ao. We say that
finite if for all
i E A0
HomB(P(j),M)* 0}
is locally representation-
there exist only finitely many (up to isomor-
M such that
B-modules
phism) indecomposable
B
and
HomB(P(i),M) * 0.
We will need the following facts of the forgetful functor
A
If
is locally support-finite then
T(A)-module is gradable. Moreover A and only if
4
is dense. In other words, every
is locally representation-finite if
is representation-finite.
T(A)
It is also known that
preserves Auslander-Reiten sequences.
4
Consequently, the quotient of the Auslander-Reiten quiver P(A)
Galois group Z
Ii'(A)
under the
is a set of complete connected components of the Auslanr(T(A)). Let
der-Reiten quiver quiver of
¢.
(resp. r(T(A)))
rs(A)
(resp. Ii's(T(A)))
be the full sub-
formed by the non-projective vertices.
This is called the stable Auslander-Reiten quiver. It is easily seen that the triangulated categories triangles and that
mod A
Ts(A) = P(mod A)
It follows from Riedtmann (1980) that
Iis(A) = ZA
in
have Auslander-Reiten
Ps(T(A)) = r(mod T(A)).
(see also Rappel, Preiser, Ringel (1980)) if
A
is locally representation-
is then called the Cartan class of
T(A).
The following is an immediate consequence of the result
II. 4.9, III. 2.10
COROLLARY. iA
mod T(A)
and that
for a Dynkin graph A
finite. The graph A
1.3
and
and
IV. 5.5.
Let
A be a finite-dimensional
k-algebra and
a finite quiver without oriented cycles. Then the following are equi-
valent:
198
(i)
A
(ii)
mo(h(A)
REMARK.
is an iterated tilted algebra of
and mod$T(kX)
.
We point out that the preceding result is false for
given by the bound quiver
a -::p
(j=D
as = $a = 0. Then clearly
a
A
1
are triangle-equivalent.
the ungraded module categories. For example let A =
but
type
is not an iterated tilted algebra.
and T(A)
A be
199
The representation-finite case
2.
In this section we present a characterization of the representation-finite trivial extension algebras. We refer to Assem, Rappel, Roldan (1984), Bretscher, Laser, Riedtmann (1981), Hoshino (1982a), Hughes, Waschbusch (1983), Tachikawa (1980) for different approaches and alternative proofs.
2.1
nal T(A)
k-algebra, and let
A be a basic, connected finite-dimensio-
Let
THEOREM.
T(A)
be the trivial extension algebra. Then
is representation-finite of Cartan class
an iterated tilted algebra of Dynkin type
Proof.
we know that
Db(A)
tion Z of mod A
A
Let
is isomorphic to ZA. Since
Ps(T(A))
T(A)
II. 4.9). Thus
is a proper quotient of T(A)
rs(A)
rs(A)
is representation-finite.
is representation-finite of Cartan
A, we know by the remarks in section
1
to Z. It is easily seen that this implies that some orientation p of
A. Then
for some orienta-
Db(k0)
(compare
is finite. Thus
Conversely, if class
Db(A)
is
gl dim A < . we have that
II. 2.10). Since
(compare
A
A.
is triangle-equivalent to
Pa(T(A))
if and only if
A be an iterated tilted algebra of type
is triangle-equivalent to
we infer that
A
that
rs(A)
mod A
is isomorphic
Db(kX)
for
A. It follows from Auslander, Reiten (1977) that
200
mod A
this equivalence is a triangle-equivalence. As
mod A
fer that
mod A
we see that
(II. 2.3)
gl dim A <
Thus
Altogether we see that
is directed. In particular we in-
mod A and
Db(A)
and
Db(A)
Db(kAA)
Let
are triangle-equivalent.
are equivalent as triangulated
categories. Thus the assertion follows from
2.2
embeds into
IV. 5.5.
A be a finite-dimensional
or
IV. 6.2..
k-algebra such that
is representation-finite. Then it was shown in Hughes, Waschbiisch
T(A)
(1983) that there exists a tilted algebra phic to
Let
B
T(A)
is isomor-
to be hereditary. We leave the proof to the reader.
A be given by the following bound quiver
0+ _ P with T(A)
such that
T(B). We will include an example which shows that we cannot
always choose
Then A
B
is a tilted algebra of type
1E
Y$a = 0. 6'
The Auslander-Reiten quiver of
is given as follows. The numbers indicate the length of the inde-
composable modules. The projective-injective modules correspond to the encircled ones. The identification is along the dotted lines.
I
1\ '3\ T1\ 4 1\ /'\ 6
2 I
4
\ , ;,4.\,
\3
III
-
1/\2/';-
\5
/ / \5/ I
201
3.
The representation-infinite case
While the situation for representation-finite trivial extension algebras is well understood there is little known in the representation-infinite case. Here we will generalize a result of Tachikawa (1980). We also mention an article of Assem, Nehring, Skowronski (1986) which characterizes certain representation-infinite trivial extension algebras.
LEMMA.
3.1
Let
A be an iterated tilted algebra of type
for some finite quiver Z without oriented cycle. Then A
p,
is locally
support-finite.
By
Proof.
triangle-equivalence
and
from mod A
F
quiver associated with A-module with
III. 2.10
A. Let
we know that there is a
II. 4.9 to
i E 90
Db(kg). Let
posable
Applying
Homm(P(i),M) * 0. Since the indecomposable projective
HomA(P(i)/soc P(i),M) * 0. By
A-module T
be the bound
M be an indecomposable
and let
A-modules have bounded length we may assume that Thus also
(&,I)
such that
Z
M
is not projective.
I. 2.4 there exists an indecom-
Hom(P(i)/soc P(i),Z) * 0 * Hom(Z,M).
if necessary we may assume that
F(P(i)/soc P(i)) E H[0]
2
(compare
IV. 1.12). Thus
HomA(P(j),M) * 0.
F(M) E
U H[s]. Let j E Go s=o Arguing as above we infer that
and suppose that
2
F(P(j)/soc P(j)) E
U
s= -2
H[s]. Since
H[s], for
s E 7L, contains up to iso-
202
morphism only finitely many indecomposable objects of the form F(P(r)/soc P(r))
r E Do we infer that
for
is locally support-finite.
A be an iterated tilted algebra of
Let
THEOREM.
3.2
A
type A for some finite quiver A without oriented cycle. Then the stable Auslander-Reiten quiver ? s(T(A)) T(A)
is isomorphic to
?(Db(kA))/
By
Proof.
of the trivial extension algebra
we may apply the remarks of section
3.1
It is easily checked that
1.
generates the Galois group for the covering
T2t
Db(A) - mod T(A).
3.3 s(T(A))
There exist trivial extension algebras
is a quotient of
oriented cycle such that For example let T(A)
T(A) % T(B)
for an iterated tilted algebra
is the four-dimensional local algebra
Clearly
T(A) W T(B)
?s(T(A))
situation of
7L2x
Z2.
1(Db(kA))
with A = Qom. In the
and A not a Dynkin quiver there exist two components
of the form ZA in one such
k[x,y]/(x2,y2), which in
for an iterated tilted algebra B. It is easy to see
is a quotient of 3.2
B.
k[x]/(x2). Then
is the group algebra of Klein's four-group
char k = 2
such that
for some finite quiver A without
A be the algebra of the dual numbers
case of
that
1(Db(kZ))
T(A)
component.
rs(T(A))
while in this example there exists only
203
REFERENCES
Anderson, F.W.; Fuller, K.R. (1974): Rings and categories of modules, Springer-Verlag (1974). Assem, I. (1982): Tilted algebras of type An, Comm. Algebra 10(1982), 2121-2139. Assem, I. (1983): Iterated tilted algebras of types 1Bn and Cn, J. Algebra 84(1983), 361-390. Assem, I. (1984): Torsion theories induced by tilting modules, Canad. J. Math. 36(1984), 899-913. Assem, I. (1987): Separating splitting tilting modules and hereditary algebras, preprint. Assem, I.; Happel, D. (1981): Generalized tilted algebras of type An, Comm. Algebra 9(1981), 2101-2125. Assem, I.; Happel, D.; Roldan, 0. (1984): Representation-finite trivial extension algebras, J. Pure Appl. Algebra 33(1984), 235-242. Assem, I.; Nehring, J.; Skowronski, A. (1986): Domestic trivial extensions of simply connected algebras, preprint. Assem, I.; Skowronski, A. (1986): Iterated tilted algebras of type An, preprint. Acsem, I.; Skowronski, A. (1986a): Iterated tilted algebras of type ]D preprint. Assem, I.; Skowronski, A. (1986b): Algebras with nice derived categories, preprint. Auslander, M.; Platzeck, M.I.; Reiten, I. (1977): Periodic modules over weakly symmetric algebras, J. Pure Appl. Alg. 11(1977), 279-291.
Auslander, M.; Platzeck, M.I.; Reiten, I. (1979): Coxeter functors without diagrams, Trans. Amer. Math. Soc. 250(1979), 1-46. Auslander, M.; Reiten, I. (1975): Representation theory of Artin Algebras III, Comm. Algebra 3(1975), 239-294. Auslander, M.; Reiten, I. (1977): Representation theory of Artin Algebras VI, Comm. Algebra 5(1977), 443-518. Bautista, R.; Gabriel, P.; Roiter, A.;ISalmeron, L. (1985): Representationfinite algebras and multiplicative bases, Inv. Math. 81(1985), 217-285.
Bautista, R.; Larrion, F.; Salmeron, L. (1983): On simply connected algebras, J. London Math. Soc. 27(1983), 212-220. Beilinson, A.A. (1978): Coherent Sheaves on ]Pn and problems of linear algebra, Func. Anal. and Appl., Vol. 12(1978), 214-216. Beilinson, A.A.; Bernstein, J.; Deligne, P. (1982): Faisceaux pervers, Asterique (100), 1982. Bernstein, I.N.; Gel'fand, I.M.; Gel'fand, S.I. (1978): Algebraic bundles over Fn and problems of linear algebra, Func. Anal. and Appl., Vol 12(1978), 212-214. Bernstein, I.N.; Gel'fand, I.M.; Ponomarev, V.A. (1973): Coxeter functors and Gabriel's theorem, Russian Math. Surveys 28(1973), 17-32. Bongartz, K. (1981): Tilted algebras, Springer Lecture Notes 903(1981), 26-38.
Bongartz, K. (1984): A criterion for finite representation type, Math. 269(1984), 1-12. Ann. Bongartz, K. (1984a): Critical simply connected algebras, Manus. Math. 46(1984), 117-136. Bongartz, K.; Gabriel, P. (1981): Covering spaces in representation theory, Invent. Math. 65(1981), 331-378.
204
Bourbaki, N. (1968): Groupes et algebres de Lie, Chap. IV, V et VI, Hermann (1968). Brenner, S. (1986): On the diagnosis of APR-iterated tilted algebras, preprint. Brenner, S.; Butler, M.C.R. (1980): Generalization of the BernsteinGel'fand-Ponomarev reflection functors, Springer Lecture Notes 832(1980), 103-169. Bretscher, 0.; Gabriel, P. (1983): The standard form of a representationfinite algebra, Bull. Soc. Math. France, 111(1983), 21-40. Bretscher, 0.; Laser, C.; Riedtmann, C. (1981): Selfinjective and simply connected algebras, Manus. Math. 36(1981), 253-308. Cartan, E.; Eilenberg, S. (1956): Homological algebra, Princeton University Press (1956). Cline, E.; Parshall, B.; Scott, L. (1986): Derived categories and Morita theory, preprint. Conti, B. (1986): Simply connected algebras of tree class Akn and ]D Springer Leture Notes 1177(1986), 60-90. Curtis, C.; Reiner, 1. (1962): Representation theory of finite groups and associative algebras, Wiley Interscience 1962. Curtis, C.; Reiner, I. (1981): Methods of Representation Theory I, Wiley Interscience 1981. Dlab, V.; Ringel, C.M. (1973): Indecomposable representations of graphs and algebras, Mem. Amer. Math. Soc. No. 173, Providence (1973). Dowbor, P. Skowronski A. (1986): Galois coverings of representation-infinite algebras, preprint. Fossum, R.M.; Griffith, Ph. A.; Reiten, I. (1975): Trivial Extensions of Abelian Categories, Springer Lecture Notes 456(1975). Gabriel, P. (1980): Auslander-Reiten sequences and representation-finite algebras. Springer Lecture Notes 831(1980), 1-71. Gabriel, P. (1981): The universal cover of a representation-finite algebra, Springer Lecture Notes 903(1981), 68-105. Gabriel, P.; Riedtmann, C. (1979): Group representations without groups, Comment. Math. Helv. 54(1979), 240-287). Geigle, W.; Lenzing, H. (1986): Perpendicular categories with applications to representations and sheaves, in preparation. Gel'fand, S.I. (1984): Sheaves on Fn and problems of linear algebra, in an appendix of the russian edition of 'Vector bundles on complex projective spaces' by Okonek, Schneider and Spindler, Mir (1984), 278-305. Grothendieck, A. (1977): Groupes des classes des categories abeliennes et triangulees, Complexes parfait, Springer Lecture Notes 589 (1977), 351-371. Grothendieck, A. (1986): Recoltes et Semailles, preprint. Happel, D. (1986): On the derived category of a finite-dimensional algebra, to appear in Comment. Math. Helv.. Happel, D. (1987): Iterated tilted algebras of affine type, to appear in Comm. Algebra. Happel, D.; Preiser, U.; Ringel, C.M. (1980): Vinberg's characterization of Dynkin diagrams using subadditive functions with applications to DTr-periodic modules, Springer Lecture Notes 832 (1980), 280-294. Happel, D.; Rickard, J.; Schofield, A. (1986): Piecewise hereditary algebras, preprint. Happel, D.; Ringel, C.M. (1982): Tilted algebras, Trans. Amer. Math. Soc. 274(1982), 399-443.
205
Rappel, D.; Ringel, C.M. (1986): The derived category of a tubular algebra, Springer Lecture Notes 1177(1986), 156-180. Happel, D.; Vossieck, D. (1983): Minimal algebras of infinite representation type with preprojective component, Manus. Math 42(1983), 221-243.
Hartshorne, R. (1966): Residue and Duality, Springer Lecture Notes 20 (1966).
(1960): The loop-space functor in homological algebra, Trans. Amer. Math. Soc. 96(1960), 382-394. Hoshino, M. (1982): Trivial extensions of tilted algebras, Comm. Algebra 10(18), (1982), 1965-1999. Hoshino, M. (1982a): Tilting modules and torsion theories, Bull. London Math. Soc. 14(1982), 334-336. Hoshino, M. (1983): Splitting torsion theories induced by tilting modules, Comm. Algebras 11(1983), 427-441. Hughes, D.; Waschbiisch, J. (1983): Trivial extensions of tilted algebras, Proc. London Math. Soc. 46(1983), 347-364. Iversen, B. (1986): Cohomology of sheaves, Springer-Verlag 1986. Iwanaga, Y.; Wakamatsu, T. (1980): Trivial extensions of Artin algebras, Springer Lecture Notes 832(1980), 295-301. Kac, V.G. (1980): Infinite root systems, representations of graphs and invariant theory, Inv. Math. 56(1980), 57-92. Mac Lane, S. (1971): Categories for the working mathematician, SpringerVerlag 1971. Miyashita, Y. (1985): Tilting modules of finite projective dimension, preprint. Quillen, D. (1973): Higher algebraic K-theory I, Springer Lecture Notes 341(1973), 85-147. Rickard, J. (1987): Equivalences of derived categories of modules, preprint. Heller, A.
Riedtmann, C. (1980): Algebren, Darstellungskocher, tiberlagerungen and zuriick, Comment. Math. Rely. 55(1980), 199-224. Ringel, C.M. (1978): Finite dimensional hereditary algebras of wild representation type, Math. Z. 161(1978), 235-255. Ringel, C.M. (1980): Report on the Brauer-Thrall Conjectures, Springer Lecture Notes 831 (1980), 104-136, and Tame Algebras, same volume, 137-287. Ringel, C.M. (1983): Bricks in hereditary length categories, Resultate der Mathematik, 6(1), (1983), 64-70. Ringel, C.M. (1984): Tame algebras and integral quadratic forms, Springer Lecture Notes 1099(1984). Ringel, C.M. (1986): Representation theory of finite-dimensional algebras, Cambridge University Press, Lecture Note Series 116(1986), 7-80.
Ringel, C.M. (1986a): The regular components of the Auslander-Reiten quiver of a tilted algebra, preprint. Smalb, S.O. (1984): Torsion theories and tilting modules, Bull. London Math. Soc. 16(1984), 518-522. Tachikawa, H. (1980): Representations of trivial extensions of hereditary algebras, Springer Lecture Notes 832(1980), 579-599. Tachikawa, H. (1986): Selfinjective algebras and tilting theory, Springer Lecture Notes 1177(1986), 272-307. Tachikawa, H.; Wakamatsu, T. (1986): Tilting functors and stable equivalences for selfinjective algebras, Preprint. Unger, L. (1986): Concealed algebras of minimal wild hereditary algebras, preprint.
206
Verdier, J.L. (1977): Categories derivees, etat 0, Springer Lecture Notes 569(1977), 262-311. Wakamatsu, T. (1986): Stable equivalence between universal covers of trivial extensions, preprint.
207
INDEX additive function affine graphs APR-co-tilt APR-co-tilting module APR-tilt APR-tilting module Auslander-Reiten triangle
bilinear form bimodule of irreducible maps bounded bounded above bounded below bound quiver brick canonical exact sequence canonical tubular algebra Cartan matrix cohomological functor cohomology objects commutativity relation complex concealed algebra contravariant cohomological functor contravariant representation covariant cohomological functor cycle
95 44 194 194 126 126
70 95
heart homotopic homotopy category
57 27 27
31
98 39 26 26 26 46 164 119
irreducible morphism isometric isometry iterated tilted algebra Krull-Schmidt category locally bounded k-algebra locally representation-finite locally support-finite
33 100 100 173 26
25 197 197
91
97 4
27
46 4 149 4
47
mapping cone 28 54 mesh category mesh ideal 54 149 minimal wild quiver 2 morphism of sextuples morphism of translation quivers 41 Nakayama functor 37 normalized triangle-equivalence 158
4
39
derived category deviation differential complex dimension vector directed directing direct predecessor direct successor Dynkin graphs
29 26 26 96 39 39 45 45 44
enough S-injectives enough S-projectives Euler characteristic exact category exact functor Ext-injective Ext-projective
11
finite M-codimension finite subcategory Frobenius algebra Frobenius category
generating subcategory Grothendieck group
one-point coextension one-point extension partial tilting module path path algebra path category perpendicular category piecewise hereditary algebra polarization predecessor preprojective component proper epimorphism proper monomorphism
65 65 141
38 45 54 144 152 41
45 190 10 10
11
98 10 4
128 128 104 168
25 11
quasi-isomorphism quiver of a Krull-Schmidt category
27 39
relation repetitive algebra
46 59
(S)-condition separated radical separating subcategory
182 182 136
208
sextuple sincere S-injective sink sink morphism slice source source morphism split exact sequence splitting idempotent splitting tilting step S-projective stable category stable translation quiver stalk stalk complex standard sextuple successor suspension functor
I
96 10
48 35 134
48 35 27 26 173 10 11
41
26 26 16
45 11
tame concealed algebra t-category tiltable tilted algebra tilting module torsion pair torsion theory translation translation functor translation quiver triangle triangle-equivalence triangle-equivalent triangulated category triangulation trivial extension algebra truncated complex tubular algebra t-structure
149
57 171
133 118 58 58 41 1
41 2
4 4 3 2
25 29 91
57
width
26
zero relation
46