20.04.2014 Views

Proceedings of the 44th Symposium on Ring Theory and ...

Proceedings of the 44th Symposium on Ring Theory and ...

Proceedings of the 44th Symposium on Ring Theory and ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

By <str<strong>on</strong>g>the</str<strong>on</strong>g> above result, finding tilting objects is a basic problem for <str<strong>on</strong>g>the</str<strong>on</strong>g> study <str<strong>on</strong>g>of</str<strong>on</strong>g> a given<br />

algebraic triangulated category. We will c<strong>on</strong>sider this problem for Example 7 (1) in <str<strong>on</strong>g>the</str<strong>on</strong>g><br />

next secti<strong>on</strong> (Theorem 11).<br />

3. Triangle-equivalences between stable categories <strong>and</strong> derived<br />

categories<br />

Throughout this secti<strong>on</strong>, let A be a positively graded self-injective algebra. In this<br />

secti<strong>on</strong>, we discuss triangle-equivalences between <str<strong>on</strong>g>the</str<strong>on</strong>g> stable category mod Z A <strong>and</strong> derived<br />

categories <str<strong>on</strong>g>of</str<strong>on</strong>g> algebras.<br />

First we prove Theorem 1 in <str<strong>on</strong>g>the</str<strong>on</strong>g> half <str<strong>on</strong>g>of</str<strong>on</strong>g> this secti<strong>on</strong>. We omit <str<strong>on</strong>g>the</str<strong>on</strong>g> pro<str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>of</str<strong>on</strong>g> (2) ⇒ (1).<br />

We prove (1) ⇒ (2). We begin <str<strong>on</strong>g>the</str<strong>on</strong>g> pro<str<strong>on</strong>g>of</str<strong>on</strong>g> from giving <str<strong>on</strong>g>the</str<strong>on</strong>g> necessary <strong>and</strong> sufficient c<strong>on</strong>diti<strong>on</strong><br />

for existence <str<strong>on</strong>g>of</str<strong>on</strong>g> tilting objects in <str<strong>on</strong>g>the</str<strong>on</strong>g> stable category mod Z A. The necessary <strong>and</strong> sufficient<br />

c<strong>on</strong>diti<strong>on</strong> is described by important homological property <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g> subring A 0 <str<strong>on</strong>g>of</str<strong>on</strong>g> A which is<br />

stated as follows.<br />

Theorem 11. mod Z A has a tilting object if <strong>and</strong> <strong>on</strong>ly if A 0 has finite global dimensi<strong>on</strong>.<br />

We omit <str<strong>on</strong>g>the</str<strong>on</strong>g> pro<str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>of</str<strong>on</strong>g> <strong>on</strong>ly if part <str<strong>on</strong>g>of</str<strong>on</strong>g> Theorem 11. In <str<strong>on</strong>g>the</str<strong>on</strong>g> following, we show <str<strong>on</strong>g>the</str<strong>on</strong>g> pro<str<strong>on</strong>g>of</str<strong>on</strong>g><br />

<str<strong>on</strong>g>of</str<strong>on</strong>g> if part <str<strong>on</strong>g>of</str<strong>on</strong>g> Theorem 11 which is given by c<strong>on</strong>structing a tilting object in mod Z A. To<br />

c<strong>on</strong>struct it, we c<strong>on</strong>sider truncati<strong>on</strong> functors<br />

<strong>and</strong><br />

(−) ≥i : modA → modA<br />

(−) ≤i : modA → modA<br />

which are defined as follows. For a Z-graded A-module X, X ≥i is a Z-graded sub A-module<br />

<str<strong>on</strong>g>of</str<strong>on</strong>g> X defined by<br />

{<br />

0 (j < i)<br />

(X ≥i ) j :=<br />

(j ≥ i),<br />

<strong>and</strong> X ≤i is a Z-graded factor A-module X/X ≥i+1 <str<strong>on</strong>g>of</str<strong>on</strong>g> X.<br />

Now we define<br />

(3.1)<br />

X j<br />

T := ⊕ i≥0<br />

A(i) ≤0 .<br />

which is an object in Mod Z A but not an object in mod Z A. However since A(i) ≤0 = A(i)<br />

for enough large i, T can be regarded as an object in mod Z A.<br />

Then we have <str<strong>on</strong>g>the</str<strong>on</strong>g> following result.<br />

Theorem 12. Under <str<strong>on</strong>g>the</str<strong>on</strong>g> above setting, <str<strong>on</strong>g>the</str<strong>on</strong>g> following asserti<strong>on</strong>s hold.<br />

(1) T is a tilting object in thickT .<br />

(2) If A 0 has finite global dimensi<strong>on</strong>, <str<strong>on</strong>g>the</str<strong>on</strong>g>n T is a tilting object in mod Z A.<br />

It is proved that T satisfies <str<strong>on</strong>g>the</str<strong>on</strong>g> first c<strong>on</strong>diti<strong>on</strong> in Definiti<strong>on</strong> 8 with no assumpti<strong>on</strong>s for<br />

A, <strong>and</strong> T satisfies <str<strong>on</strong>g>the</str<strong>on</strong>g> sec<strong>on</strong>d c<strong>on</strong>diti<strong>on</strong> in Definiti<strong>on</strong> 8 if A 0 has finite global dimensi<strong>on</strong>.<br />

Then we finish <str<strong>on</strong>g>the</str<strong>on</strong>g> pro<str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>of</str<strong>on</strong>g> if part <str<strong>on</strong>g>of</str<strong>on</strong>g> Theorem 11.<br />

□<br />

–250–

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!