[논문 리뷰] Derived equivalences, restriction to self-injective subalgebras and invariance of homological dimensions

Ming Fang, Wei Hu외 1명|arXiv (Cornell University)|2016. 07. 12.

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

한 줄 요약

이 논문은 ν-주문 차수 1 이상인 대수에서 유도 동치가 전역 차수와 주도 차수를 유지함을 증명한다. 특히, 이러한 대수들 사이의 유도 동치가 그들 고유의 가장 큰 자기적절한 중심화자 부분대수를 유도 동치로 이어진다는 유도 제약 정리에 기반한다. 주요 기여는 모티바 대수와 거의 자기적절한 대수를 포함한 클래스에서 유도 동치에 따른 호모로지 차수의 불변성을 증명한 것이다. 이는 q-스푸르 대수와 그 블록에 응용된다.

ABSTRACT

Derived equivalences between finite dimensional algebras do, in general, not pass to centraliser (or other) subalgebras, nor do they preserve homological invariants of the algebras, such as global or dominant dimension. We show that, however, they do so for large classes of algebras described in this article. Algebras $A$ of $ν$-dominant dimension at least one have unique largest non-trivial self-injective centraliser subalgebras $H_A$. A derived restriction theorem is proved: A derived equivalence between $A$ and $B$ implies a derived equivalence between $H_A$ and $H_B$. Two methods are developed to show that global and dominant dimension are preserved by derived equivalences between algebras of $ν$-dominant dimension at least one with anti-automorphisms preserving simples, and also between almost self-injective algebras. One method is based on identifying particular derived equivalences preserving homological dimensions, while the other method identifies homological dimensions inside certain derived categories. In particular, derived equivalent cellular algebras have the same global dimension. As an application, the global and dominant dimensions of blocks of quantised Schur algebras with $n \geq r$ are completely determined.

연구 동기 및 목표

• 유한 차원 대수에서 유도 동치가 전역 차수와 주도 차수와 같은 호모로지 불변량을 유지하는지 여부라는 열린 문제를 해결하기 위해.
• 두 대수 사이의 유도 동치가 그들의 자기적절한 중심화자 부분대수 사이의 유도 동치를 유도하는 조건을 규명하기 위해.
• 단순 모듈을 보존하는 반자기환을 갖는 대수들 및 거의 자기적절한 대수들에서 호모로지 차수의 불변성을 확립하기 위해.
• n ≥ r 이고 q 가 단위근일 때, 양자 슈어 대수의 블록의 전역 차수와 주도 차수를 결정하기 위해.
• q-스푸르 대수의 블록 사이의 유도 동치가 주도 차수를 유지함을 증명하고, 비단순 블록의 경우 주도 차수가 정확히 2(ℓ−1)임을 보여주기 위해.

제안 방법

• ν-주도 차수를 도입하여, ν-주도 차수 ≥1 인 대수 A에 대해 고유한 가장 큰 비자명한 자기적절한 중심화자 부분대수 H_A 가 존재함을 보장하는 구조적 불변량으로서의 역할을 한다.
• 유도 제약 정리 증명: A와 B가 유도 동치이고 ν-주도 차수 ≥1 이라면, 그에 대응하는 자기적절한 중심화자 부분대수 H_A와 H_B 역시 유도 동치임을 보인다.
• 두 가지 다른 방법을 사용한다: 하나는 기울임 복합체를 통한 호모로지 차수를 유지하는 유도 동치를 식별하는 방법이고, 다른 하나는 유도 범주 내에서 호모로지 차수를 탐지하는 방법이다.
• 모티바 대수와 단순 모듈을 보존하는 반자기환을 갖는 대수들에 대해 유도 제약 정리를 적용하여, 전역 차수와 주도 차수가 유도 동치 하에서 유지됨을 보였다.
• 커버 이론과 루아퀴에의 프레임워크를 사용하여, q-스푸르 대수가 헤케 대수의 (ℓ−1)-커버임을 보이고, 블록 간의 유도 동치를 활용하여 주도 차수를 계산하였다.
• 단위근에서 대칭군과 헤케 대수의 알려진 코homology를 활용하여, 비영인 Ext 군을 보여주어, w ≠ 0 일 때 주도 차수가 정확히 2(ℓ−1)임을 증명하였다.

실험 결과

연구 질문

• RQ1 두 유한 차원 대수 사이의 유도 동치가 그들의 자기적절한 중심화자 부분대수 사이의 유도 동치를 유도하는 조건은 무엇인가?
• RQ2 ν-주도 차수 1 이상인 대수에서 전역 차수는 유도 동치 하에서도 불변하는가?
• RQ3 단순 모듈을 보존하는 반자기환을 갖는 대수들에서 주도 차수는 유도 동치 하에서도 유지되는가?
• RQ4 n ≥ r 이고 q 가 단위근일 때, 양자 슈어 대수 S_q(n,r)의 블록의 전역 차수와 주도 차수는 무엇인가?
• RQ5 유도 제약 정리는 헤케 대수의 쿼asi-헤르드레기 커버에서 균일한 커버 성질을 증명하는 데 적용될 수 있는가?

주요 결과

• 유도 제약 정리는 ν-주도 차수 1 이상인 대수들 사이의 유도 동치가 그에 대응하는 자기적절한 중심화자 부분대수 H_A와 H_B 사이의 유도 동치를 유도함을 보여준다.
• 단순 모듈을 보존하는 반자기환을 갖는 대수들에 대해서는 전역 차수와 주도 차수가 유도 동치 하에서 유지된다.
• 거의 자기적절한 대수들 역시 두 가지 다른 방법론적 접근을 통해 유도 동치 하에서 전역 차수와 주도 차수를 유지한다.
• 유도 동치인 셀룰러 대수들은 동일한 전역 차수를 갖는다. 이는 이 클래스에서의 불변성을 확인한다.
• n ≥ r 이고 q 가 단위근일 때, q-스푸르 대수 S_q(n,r)의 블록들에 대해 주도 차수는 w = 0 이면 ∞이고, w ≠ 0 이면 2(ℓ−1)이다.
• q-스푸르 대수의 블록들은 해당 헤케 대수의 블록들에 대해 균일한 (ℓ−1)-커버이며, 블록 간의 유도 동치는 주도 차수를 유지한다.