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.

(4) for every object M <str<strong>on</strong>g>of</str<strong>on</strong>g> D(A) <str<strong>on</strong>g>the</str<strong>on</strong>g>re are two triangles<br />

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

i ! i ! M M j ∗ j ∗ M Σi ! i ! M<br />

j ! j ! M M i ∗ i ∗ M Σj ! j ! M ,<br />

where <str<strong>on</strong>g>the</str<strong>on</strong>g> four morphisms starting from <strong>and</strong> ending at M are <str<strong>on</strong>g>the</str<strong>on</strong>g> units <strong>and</strong> counits.<br />

Necessary <strong>and</strong> sufficient c<strong>on</strong>diti<strong>on</strong>s under which such a recollement exists were discussed<br />

in [13, 16].<br />

Example 1. Let A be <str<strong>on</strong>g>the</str<strong>on</strong>g> path algebra <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g> Kr<strong>on</strong>ecker quiver<br />

1<br />

The trivial path e 1 at 1 is an idempotent <str<strong>on</strong>g>of</str<strong>on</strong>g> A <strong>and</strong> e 1 A is a projective A-module. The<br />

following diagram is a recollement<br />

? L ⊗ A A/Ae 1 A<br />

<br />

2 .<br />

? L ⊗ e1 Ae 1 e 1 A<br />

D(A/Ae 1 A) ? ⊗ L A/Ae1 AA/Ae 1 A D(A) ? ⊗ L <br />

A Ae 1<br />

D(e 1 Ae 1 ).<br />

RHom A (A/Ae 1 A,?)<br />

RHom e1 Ae 1 (Ae 1 ,?)<br />

Note that both e 1 Ae 1 <strong>and</strong> A/Ae 1 A are isomorphic to k.<br />

2. Algebraic stratificati<strong>on</strong>s <str<strong>on</strong>g>of</str<strong>on</strong>g> derived module categories<br />

Let A be an algebra. An algebraic stratificati<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> D(A) is a sequence <str<strong>on</strong>g>of</str<strong>on</strong>g> iterated n<strong>on</strong>trivial<br />

recollements <str<strong>on</strong>g>of</str<strong>on</strong>g> derived module categories. It can be depicted as a binary tree as<br />

below, where each edge represents an adjoint triple <str<strong>on</strong>g>of</str<strong>on</strong>g> triangle functors <strong>and</strong> each hook<br />

represents a recollement<br />

D(A)<br />

❥❥❥❥❥❥❥❥❥❥❥❥❥❥❥❥❥❥❥ ❙❙❙❙❙❙❙❙❙❙❙❙❙❙❙❙❙❙❙<br />

D(B)<br />

D(C)<br />

✈ ✈✈✈✈✈✈✈✈<br />

D(B ′ )<br />

✽ ✽✽✽✽ ✽<br />

❍ ❍❍❍❍❍❍ ❍<br />

❍<br />

D(B ′′ )<br />

✽ ✽✽✽✽ ✽<br />

✈ ✈✈✈✈✈✈✈✈<br />

D(C ′ )<br />

❍ ❍❍❍❍❍❍ ❍<br />

❍<br />

D(C ′′ )<br />

✞ ✞✞✞✞✞✞ ✽<br />

✝ ✝✝✝✝✝✝ ✽<br />

✞ ✞✞✞✞✞✞ ✼<br />

✝ ✝✝✝✝✝✝ ✽<br />

· · · · · · · ·<br />

✼ ✼✼✼✼ ✼<br />

.<br />

.<br />

.<br />

✽ ✽✽✽✽ ✽<br />

–257–

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

Saved successfully!

Ooh no, something went wrong!