[논문 리뷰] Infinitely many algebras derived equivalent to a block

Jeremy Rickard|arXiv (Cornell University)|2013. 10. 09.

Algebraic structures and combinatorial models참고 문헌 3인용 수 3

한 줄 요약

이 논문은 대칭 대수 위의 모듈의 syzygy에 기반한 구성 방법을 사용하여, 아벨 성 defect를 가진 유한군의 일부 블록 대수들이 유한하지 않은 모리타 동치 클래스를 가진 무한히 많은 비-모리타 동치 대수들과 유도 동치임을 보여준다. 핵심 결과는 유도 동치 대수들에서 유 bound되지 않은 카르탕 불변량이 존재할 경우 무한히 많은 모리타 동치 클래스가 존재한다는 것이다. 이는 도널던의 추측에서의 유한성 가정에 도전한다.

ABSTRACT

We give a construction that in many cases gives a simple way to construct infinite families of algebras that are not Morita equivalent, but are all derived equivalent to the same block algebra of a finite group, and apply it to some small blocks. We make some remarks relating this construction to Donovan's Conjecture and Broue's Abelian Defect Group Conjecture.

연구 동기 및 목표

• 유도 동치 대수의 블록 대수로의 유도 동치가 유한한 모리타 동치 클래스를 유도하는지 조사한다. 특히 도널던의 추측과 브뢰의 추측과의 관계를 고려한다.
• 유 bound되지 않은 카르탕 불변량을 가진 무한히 많은 유도 동치 대수의 존재가 더 약한 형태의 도널던의 추측을 반박하는 데 사용될 수 있는지 판단한다.
• 무한한 유도 동치 대수의 가족을 생성하는 구조적 방법을 제공한다. 이 대수들은 모리타 동치가 아니다.
• 분류 정리에 의존하지 않고, 이러한 대수들이 유한군의 블록 대수로 간주될 수 없음을 증명할 수 있는지 탐색한다.

제안 방법

• 단순 모듈의 부분집합에 따라 인덱싱된 프로젝티브 코팅과 몐모듈을 사용하여 타일링 복합체를 구성한다.
• 대칭 대수에서의 대칭성을 활용하여 프로젝티브 모듈의 호모토피 범주에서의 Hom-공간을 분석한다.
• 끝연산자 대수 $ E $ 위에서 모듈 $ M = \operatorname{Hom}_{A}(P_k, P_\epsilon) $ 를 정의하고, 그 syzygy $ \Omega^s M $ 을 분석한다.
• 모듈 $ M $ 의 socle 차원에 대한 재귀관계 $ a_{s+1} = 3a_s + 1 $ 을 수립하여 지수적 증가를 보여준다.
• 정리 2.3을 적용하여, 유 bound되지 않은 카르탕 불변량이 유도 동치 대수들에 대해 무한히 많은 모리타 동치 클래스를 유도함을 결론짓는다.
• 예를 들어 $ D = C_3 \times C_3 $ 와 같은 아벨 성 defect를 가진 군 대수의 구조를 활용하여, 유한하지 않은 유도 동치 클래스를 가진 구체적 예를 구성한다.

실험 결과

연구 질문

• RQ1 유한한 카르탕 불변량을 가진다 해도, 주어진 블록 대수와 유도 동치인 무한한 모리타 동치 클래스의 가족이 존재하는가?
• RQ2 유 bound되지 않은 카르탕 불변량을 가진 무한히 많은 유도 동치 대수의 존재가 더 약한 형태의 도널던의 추측을 반박하는 데 사용될 수 있는가?
• RQ3 syzygy 방법을 통해 구성된 일부 유도 동치 대수가 분류 정리 없이도 어떤 블록 대수와도 모리타 동치가 아니라는 것을 증명할 수 있는가?
• RQ4 유도 동치는 블록 대수와 다른 유도 동치 대수들을 구별할 수 있을 정도로 충분한 구조적 성질을 유지하는가?

주요 결과

• 모듈 $ M $ 의 syzygy 차원 $ a_s $ 는 재귀관계 $ a_{s+1} = 3a_s + 1 $ 을 만족하며, $ a_0 = a_1 = 2 $ 인 초기 조건 하에 지수적으로 증가한다.
• 재귀관계의 해는 지수적 증가를 보이며, $ a_s = \left(1 - \frac{1}{\sqrt{5}}\right)\left(\frac{3+\sqrt{5}}{2}\right)^s + \left(1 + \frac{1}{\sqrt{5}}\right)\left(\frac{3-\sqrt{5}}{2}\right)^s $ 로 표현된다.
• 유도 동치 대수들에서 유 bound되지 않은 카르탕 불변량은 무한히 많은 모리타 동치 클래스를 유도한다.
• 이 구성 방법은 $ D = C_3 \times C_3 $ 와 같은 아벨 성 defect를 가진 유한군의 블록 대수에 적용 가능하며, 유도 동치이지만 모리타 동치가 아닌 무한한 가족의 대수를 생성한다.
• 이 방법은 유한 단순군의 분류 정리를 필요로 하지 않으며, 비-블록 대수와 유도 동치 대수를 구별하는 데의 잠재적 길을 제시한다.
• 결과적으로, 브뢰의 아벨 성 defect 추측이 도널던의 추측을 간단한 방식으로 유도하지 못함을 보여주며, 유한한 카르탕 불변량이 유한한 모리타 동치 클래스를 보장하지 못할 수 있음을 시사한다.