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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Questi<strong>on</strong>. When is mod Z A triangle-equivalent to <str<strong>on</strong>g>the</str<strong>on</strong>g> derived category D b (modΛ) for<br />

some algebra Λ ?<br />

The following result is main <str<strong>on</strong>g>the</str<strong>on</strong>g>orem <str<strong>on</strong>g>of</str<strong>on</strong>g> this paper which gives <str<strong>on</strong>g>the</str<strong>on</strong>g> complete answer to<br />

our questi<strong>on</strong>.<br />

Theorem 1. Let A be a positively graded self-injective algebra. Then <str<strong>on</strong>g>the</str<strong>on</strong>g> following are<br />

equivalent.<br />

(1) The global dimensi<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> A 0 is finite.<br />

(2) There exists an algebra Λ, <strong>and</strong> a triangle-equivalence<br />

(1.2)<br />

mod Z A ≃ D b (modΛ).<br />

The aim <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g> rest <str<strong>on</strong>g>of</str<strong>on</strong>g> this paper is to give an explanati<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> <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> Theorem 1,<br />

<strong>and</strong> some examples. Our plan is as follows.<br />

In Secti<strong>on</strong> 2, we give two preliminaries. First we recall that mod Z A for a positively<br />

graded algebra A is a Frobenius category, <strong>and</strong> so its stable category mod Z A is an algebraic<br />

triangulated category. Sec<strong>on</strong>dly we give an explanati<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> Keller’s tilting <str<strong>on</strong>g>the</str<strong>on</strong>g>orem.<br />

Our approach to <str<strong>on</strong>g>the</str<strong>on</strong>g> questi<strong>on</strong> is using Keller’s titling <str<strong>on</strong>g>the</str<strong>on</strong>g>orem for algebraic triangulated<br />

categories. B. Keller [7] introduced <strong>and</strong> investigated differential graded categories <strong>and</strong><br />

its derived categories. In his work, it was determine when is an algebraic triangulated<br />

category triangle-equivalent to <str<strong>on</strong>g>the</str<strong>on</strong>g> derived category <str<strong>on</strong>g>of</str<strong>on</strong>g> some algebra by <str<strong>on</strong>g>the</str<strong>on</strong>g> existence <str<strong>on</strong>g>of</str<strong>on</strong>g><br />

tilting objects (tilting <str<strong>on</strong>g>the</str<strong>on</strong>g>orem). In Secti<strong>on</strong> 3, we apply Keller’s tilting <str<strong>on</strong>g>the</str<strong>on</strong>g>orem to our<br />

study.<br />

In Secti<strong>on</strong> 3, we give an outline <str<strong>on</strong>g>of</str<strong>on</strong>g> <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> Theorem 1. 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) ⇒<br />

(1). We give pro<str<strong>on</strong>g>of</str<strong>on</strong>g>s (1) ⇒ (2). We start from finding a c<strong>on</strong>crete tilting object in mod Z A<br />

which has ”good” properties. After finding it, we show two ways to prove (1) ⇒ (2). The<br />

first pro<str<strong>on</strong>g>of</str<strong>on</strong>g> is based <strong>on</strong> Keller’s tilting <str<strong>on</strong>g>the</str<strong>on</strong>g>orem, namely we entrust with c<strong>on</strong>structing <str<strong>on</strong>g>the</str<strong>on</strong>g><br />

triangle-equivalence (1.2). The sec<strong>on</strong>d pro<str<strong>on</strong>g>of</str<strong>on</strong>g> is direct more than <str<strong>on</strong>g>the</str<strong>on</strong>g> first <strong>on</strong>e, namely we<br />

c<strong>on</strong>struct <str<strong>on</strong>g>the</str<strong>on</strong>g> triangle-equivalence (1.2) explicitly.<br />

In Secti<strong>on</strong> 4, we give some examples <str<strong>on</strong>g>of</str<strong>on</strong>g> Theorem 1. In particular as an applicati<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g><br />

our main <str<strong>on</strong>g>the</str<strong>on</strong>g>orem, we show Happel’s result, <strong>and</strong> its generalizati<strong>on</strong> shown by X-W Chen<br />

[2].<br />

Throughout this paper, let K be an algebraically closed field. An algebra means a<br />

finite dimensi<strong>on</strong>al associative algebra over K. We always deal with finitely generated<br />

right modules over algebras. For an algebra Λ, we denote by modΛ <str<strong>on</strong>g>the</str<strong>on</strong>g> category <str<strong>on</strong>g>of</str<strong>on</strong>g> Λ-<br />

modules, projΛ <str<strong>on</strong>g>the</str<strong>on</strong>g> category <str<strong>on</strong>g>of</str<strong>on</strong>g> projective Λ-modules. The same notati<strong>on</strong>s is used for<br />

graded case. For an additive category A, we denote by K b (A) <str<strong>on</strong>g>the</str<strong>on</strong>g> homotopy category <str<strong>on</strong>g>of</str<strong>on</strong>g><br />

bounded complexes <str<strong>on</strong>g>of</str<strong>on</strong>g> A. For an abelian category A, we denote by D b (A) <str<strong>on</strong>g>the</str<strong>on</strong>g> bounded<br />

derived category <str<strong>on</strong>g>of</str<strong>on</strong>g> A.<br />

2. Preliminaries<br />

In this secti<strong>on</strong>, we recall basic facts about representati<strong>on</strong> <str<strong>on</strong>g>the</str<strong>on</strong>g>ory <str<strong>on</strong>g>of</str<strong>on</strong>g> a positively graded<br />

algebras, <strong>and</strong> tilting <str<strong>on</strong>g>the</str<strong>on</strong>g>orem for algebraic triangulated categories for <str<strong>on</strong>g>the</str<strong>on</strong>g> readers c<strong>on</strong>venient.<br />

–247–

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

Saved successfully!

Ooh no, something went wrong!