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.

(b) The following are equivalent for an A-module M.<br />

(i) The variety <str<strong>on</strong>g>of</str<strong>on</strong>g> M is trivial.<br />

(ii) The projective dimensi<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> M is finite.<br />

(iii) The injective dimensi<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> M is finite.<br />

There are some papers which deal with <str<strong>on</strong>g>the</str<strong>on</strong>g> finiteness c<strong>on</strong>diti<strong>on</strong> (Fg) as follows.<br />

(1) In [2], Bergh <strong>and</strong> Oppermann show that a codimensi<strong>on</strong> n quantum complete intersecti<strong>on</strong><br />

satisfies (Fg) if <strong>and</strong> <strong>on</strong>ly if all <str<strong>on</strong>g>the</str<strong>on</strong>g> commutators q ij are roots <str<strong>on</strong>g>of</str<strong>on</strong>g> unity.<br />

Definiti<strong>on</strong> 4. Let n be integer with n ≥ 1, a i integer with a i ≥ 2 for 1 ≤ i ≤ n,<br />

<strong>and</strong> q ij a n<strong>on</strong>-zero element in k for every 1 ≤ i < j ≤ n. A codimensi<strong>on</strong> n quantum<br />

complete intersecti<strong>on</strong> is defined by<br />

where I generated by<br />

k〈x 1 , . . . , x n 〉/I<br />

x a i<br />

i , x jx i − q ij x i x j for 1 ≤ i < j ≤ n.<br />

(2) In [5], Erdmann <strong>and</strong> Solberg gave <str<strong>on</strong>g>the</str<strong>on</strong>g> necessary <strong>and</strong> sufficient c<strong>on</strong>diti<strong>on</strong>s <strong>on</strong> a<br />

Koszul algebra for it to satisfy (Fg).<br />

Theorem 5 ([5, Theorem 1.3]). Let A be a finite dimensi<strong>on</strong>al Koszul algebra over<br />

an algebraically closed field, <strong>and</strong> let E(A) = Ext ∗ A(A/rad A, A/rad A). A satisfies<br />

(Fg) if <strong>and</strong> <strong>on</strong>ly if Z gr (E(A)) is Noe<str<strong>on</strong>g>the</str<strong>on</strong>g>rian <strong>and</strong> E(A) is a finitely generated<br />

Z gr (E(A))-module.<br />

(3) In [8], Furuya <strong>and</strong> Snashall provided examples <str<strong>on</strong>g>of</str<strong>on</strong>g> (D, A)-stacked m<strong>on</strong>omial algebras<br />

which are not self-injective but satisfy (Fg).<br />

Example 6. ([8, Example 3.2]) Let Q be <str<strong>on</strong>g>the</str<strong>on</strong>g> quiver<br />

<strong>and</strong> I <str<strong>on</strong>g>the</str<strong>on</strong>g> ideal <str<strong>on</strong>g>of</str<strong>on</strong>g> kQ generated by<br />

α<br />

1 −−−→ 2<br />

↑ ⏐<br />

⏐<br />

δ<br />

⏐<br />

↓β<br />

4 ←−−−<br />

γ<br />

3<br />

αβγδαβ, γδαβγδ.<br />

Then, A = kQ/I is not self-injective but satisfies (Fg).<br />

(4) In [15], Schroll <strong>and</strong> Snashall show that (Fg) hold for <str<strong>on</strong>g>the</str<strong>on</strong>g> principal block <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g><br />

Heche algebra H q (S 5 ) with q = −1.<br />

–139–

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

Saved successfully!

Ooh no, something went wrong!