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.

REALIZING STABLE CATEGORIES AS DERIVE CATEGORIES<br />

KOTA YAMAURA<br />

Abstract. In this paper, we compare two different kinds <str<strong>on</strong>g>of</str<strong>on</strong>g> triangulated categories.<br />

First <strong>on</strong>e is <str<strong>on</strong>g>the</str<strong>on</strong>g> stable category modA <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g> category <str<strong>on</strong>g>of</str<strong>on</strong>g> Z-graded modules over a positively<br />

grade self-injective algebra A. Sec<strong>on</strong>d <strong>on</strong>e is <str<strong>on</strong>g>the</str<strong>on</strong>g> derived category D b (modΛ) <str<strong>on</strong>g>of</str<strong>on</strong>g><br />

<str<strong>on</strong>g>the</str<strong>on</strong>g> category <str<strong>on</strong>g>of</str<strong>on</strong>g> modules over an algebra Λ. Our aim is give <str<strong>on</strong>g>the</str<strong>on</strong>g> complete answer to<br />

<str<strong>on</strong>g>the</str<strong>on</strong>g> following questi<strong>on</strong>. For a positively graded self-injective algebra A, when is modA<br />

triangle-equivalent to D b (modΛ) for some algebra Λ ? The main result <str<strong>on</strong>g>of</str<strong>on</strong>g> this paper<br />

gives <str<strong>on</strong>g>the</str<strong>on</strong>g> following very simple answer. modA is triangle-equivalent to D b (modΛ) for<br />

some algebra Λ if <strong>and</strong> <strong>on</strong>ly if <str<strong>on</strong>g>the</str<strong>on</strong>g> 0-th subring A 0 <str<strong>on</strong>g>of</str<strong>on</strong>g> A has finite global dimensi<strong>on</strong>.<br />

1. Main Result<br />

There are two kinds <str<strong>on</strong>g>of</str<strong>on</strong>g> triangulated categories which are important for representati<strong>on</strong><br />

<str<strong>on</strong>g>the</str<strong>on</strong>g>ory for algebras. First <strong>on</strong>e is <str<strong>on</strong>g>the</str<strong>on</strong>g> derived category D b (modΛ) <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g> category modA <str<strong>on</strong>g>of</str<strong>on</strong>g><br />

modules over an algebra Λ. Sec<strong>on</strong>d <strong>on</strong>e is algebraic triangulated categories, that is <str<strong>on</strong>g>the</str<strong>on</strong>g><br />

stable categories <str<strong>on</strong>g>of</str<strong>on</strong>g> Frobenius categories (cf. [5]). A typical example is <str<strong>on</strong>g>the</str<strong>on</strong>g> stable category<br />

modA <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g> category modA <str<strong>on</strong>g>of</str<strong>on</strong>g> modules over a self-injective algebra A.<br />

In this paper, our aim is to compare derived categories <str<strong>on</strong>g>of</str<strong>on</strong>g> algebras <strong>and</strong> <str<strong>on</strong>g>the</str<strong>on</strong>g> stable<br />

categories <str<strong>on</strong>g>of</str<strong>on</strong>g> self-injective algebras, <strong>and</strong> find a ”nice” relati<strong>on</strong>ship between <str<strong>on</strong>g>the</str<strong>on</strong>g>m. If we<br />

find it, <str<strong>on</strong>g>the</str<strong>on</strong>g>n those triangulated categories can be investigated from mutual viewpoints.<br />

There several method to compare derived categories <str<strong>on</strong>g>of</str<strong>on</strong>g> algebras <strong>and</strong> <str<strong>on</strong>g>the</str<strong>on</strong>g> stable categories<br />

<str<strong>on</strong>g>of</str<strong>on</strong>g> self-injective algebras. We focus <strong>on</strong> <str<strong>on</strong>g>the</str<strong>on</strong>g> following Happel’s result. For any algebra Λ,<br />

<strong>on</strong>e can associate a self-injective algebra A which is called <str<strong>on</strong>g>the</str<strong>on</strong>g> trivial extensi<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> Λ.<br />

A admits a natural positively grading such that A 0 = Λ where A 0 is <str<strong>on</strong>g>the</str<strong>on</strong>g> 0-th subring.<br />

Therefore A is a positively graded self-injective algebra. So <str<strong>on</strong>g>the</str<strong>on</strong>g> stable category mod Z A <str<strong>on</strong>g>of</str<strong>on</strong>g><br />

<str<strong>on</strong>g>the</str<strong>on</strong>g> category mod Z A <str<strong>on</strong>g>of</str<strong>on</strong>g> Z-graded A-modules has <str<strong>on</strong>g>the</str<strong>on</strong>g> structure <str<strong>on</strong>g>of</str<strong>on</strong>g> triangulated category.<br />

In this setting, D. Happel [6] showed that Λ has finite global dimensi<strong>on</strong> if <strong>and</strong> <strong>on</strong>ly if<br />

<str<strong>on</strong>g>the</str<strong>on</strong>g>re exists a triangle-eqiuvalence<br />

(1.1)<br />

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

This equivalence gives a ”nice” relati<strong>on</strong>ship between derived category D b (modΛ) <strong>and</strong> <str<strong>on</strong>g>the</str<strong>on</strong>g><br />

stable categories mod Z A. The above result asserts that sometimes representati<strong>on</strong> <str<strong>on</strong>g>the</str<strong>on</strong>g>ory<br />

<str<strong>on</strong>g>of</str<strong>on</strong>g> Λ <strong>and</strong> that <str<strong>on</strong>g>of</str<strong>on</strong>g> A are deeply related.<br />

We c<strong>on</strong>sider <str<strong>on</strong>g>the</str<strong>on</strong>g> drastic generalizati<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> above Happel’s result. Happel started<br />

from an algebra Λ, <strong>and</strong> c<strong>on</strong>structed <str<strong>on</strong>g>the</str<strong>on</strong>g> special positively graded self-injective algebra <str<strong>on</strong>g>of</str<strong>on</strong>g><br />

A. In c<strong>on</strong>trast, we start from a positively graded self-injective algebra A = ⊕ i≥0 A i, <strong>and</strong><br />

suggest <str<strong>on</strong>g>the</str<strong>on</strong>g> following questi<strong>on</strong>.<br />

The detailed versi<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> this paper will be submitted for publicati<strong>on</strong> elsewhere.<br />

The author is supported by JSPS Fellowships for Young Scientists No.22-5801.<br />

–246–

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

Saved successfully!

Ooh no, something went wrong!