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.

RECOLLEMENTS GENERATED BY IDEMPOTENTS AND<br />

APPLICATION TO SINGULARITY CATEGORIES<br />

DONG YANG<br />

Abstract. In this note I report <strong>on</strong> an <strong>on</strong>going work joint with Martin Kalck, which<br />

generalises <strong>and</strong> improves a c<strong>on</strong>structi<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> Thanh<str<strong>on</strong>g>of</str<strong>on</strong>g>fer de Völcsey <strong>and</strong> Van den Bergh.<br />

Key Words: Recollement, Singularity category, N<strong>on</strong>-commutative resoluti<strong>on</strong>.<br />

2010 Ma<str<strong>on</strong>g>the</str<strong>on</strong>g>matics Subject Classificati<strong>on</strong>: 16E35, 16E45, 16G50.<br />

In [15] Thanh<str<strong>on</strong>g>of</str<strong>on</strong>g>fer de Völcsey <strong>and</strong> Van den Bergh showed that <str<strong>on</strong>g>the</str<strong>on</strong>g> stable category <str<strong>on</strong>g>of</str<strong>on</strong>g><br />

maximal Cohen–Macaulay modules over a local complete commutative Gorenstein algebra<br />

with isolated singularity can be realized as <str<strong>on</strong>g>the</str<strong>on</strong>g> triangle quotient <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g> perfect derived<br />

category by <str<strong>on</strong>g>the</str<strong>on</strong>g> finite-dimensi<strong>on</strong>al category <str<strong>on</strong>g>of</str<strong>on</strong>g> a certain nice dg algebra c<strong>on</strong>structed from<br />

<str<strong>on</strong>g>the</str<strong>on</strong>g> given Gorenstein algebra. We generalises <strong>and</strong> improves <str<strong>on</strong>g>the</str<strong>on</strong>g>ir c<strong>on</strong>structi<strong>on</strong> by studying<br />

recollements <str<strong>on</strong>g>of</str<strong>on</strong>g> derived categories generated by idempotents.<br />

1. Recollements generated by idempotents<br />

Let k be a field, let A be a k-algebra <strong>and</strong> e ∈ A be an idempotent. Let D(A) denote<br />

<str<strong>on</strong>g>the</str<strong>on</strong>g> (unbounded) derived category <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> right modules over A. This is a<br />

triangulated category with shift functor Σ being <str<strong>on</strong>g>the</str<strong>on</strong>g> shift <str<strong>on</strong>g>of</str<strong>on</strong>g> complexes. C<strong>on</strong>sider <str<strong>on</strong>g>the</str<strong>on</strong>g><br />

following st<strong>and</strong>ard diagram<br />

(1.1)<br />

i ∗<br />

j !<br />

D(A/AeA) i ∗ =i !<br />

D(A) j ! =j ∗ D(eAe)<br />

where<br />

i !<br />

i ∗ =? ⊗ L A A/AeA,<br />

j ! =? ⊗ L eAe eA,<br />

i ∗ = RHom A/AeA (A/AeA, ?), j ! = RHom A (eA, ?),<br />

i ! =? ⊗ L A/AeA A/AeA, j ∗ =? ⊗ L A Ae,<br />

i ! = RHom A (A/AeA, ?), j ∗ = RHom eAe (Ae, ?).<br />

One asks when this diagram is a recollement ([3]), i.e. <str<strong>on</strong>g>the</str<strong>on</strong>g> following c<strong>on</strong>diti<strong>on</strong>s hold<br />

(1) (i ∗ , i ∗ = i ! , i ! ) <strong>and</strong> (j ! , j ! = j ∗ , j ∗ ) are adjoint triples;<br />

(2r) j ! <strong>and</strong> j ∗ are fully faithful;<br />

(2l) i ∗ = i ! is fully faithful;<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 />

–262–<br />

j ∗

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

Saved successfully!

Ooh no, something went wrong!