"Gabriel's theorem"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
(피타고라스님이 이 페이지의 위치를 <a href="/pages/7922482">quiver and cluster algebra</a>페이지로 이동하였습니다.) |
|||
| 1번째 줄: | 1번째 줄: | ||
| + | <h5>statement</h5> | ||
| + | * \thm (Gabriel) | ||
| + | * A connected quiver Q has finite type iff the underlying graph is a Dynkin diagram of (A,D,E) type. Moreoever there is a bijection<br> {indecomposable kQ-modules} -> {positive roots}<br> M -> dim M (dimension vector)<br> | ||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | <h5>idea of proof</h5> | ||
| + | |||
| + | * define tilting functor | ||
| + | * get Coxeter element | ||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | <h5>Kac theorem</h5> | ||
| + | |||
| + | * | ||
2012년 5월 3일 (목) 09:36 판
statement
- \thm (Gabriel)
- A connected quiver Q has finite type iff the underlying graph is a Dynkin diagram of (A,D,E) type. Moreoever there is a bijection
{indecomposable kQ-modules} -> {positive roots}
M -> dim M (dimension vector)
idea of proof
- define tilting functor
- get Coxeter element