발표자 :  최동준

발표내용 : KKKO, Monoidal categorification of cluster algebras 5,6장

발표자 코멘트 :  지난시간, 'S가 quantum seed일 때, \mu_k(S) 또한 quantum seed이다.' 증명 과정에서, 제가 한 명제를 exercise로 남겼습니다. 그 exercise는 첨부파일 빨간 동그라미 1번과 2번을 증명하는 것입니다.

(L, \tilde{B})의 compatibility는 1번 증명에 사용되는 것으로 밝혀졌습니다.
2번 증명은 저도 지난주에 생각하지 못한 부분인데, statement를 정확히 읽어보면 \mu_k(S)는 A의 quantum seed가 아니라 K의 quantum seed입니다. 어떻게 증명해야 할 지 고민하다가, skewfield of fractions의 universal property를 찾아서 증명했는데, 저 스스로는 맞다고 생각하고 있습니다. 더 좋은 방법이 있다면 소개 부탁드립니다.

_______________________________________________

감사합니다.

천지원올림