[논문 리뷰] Singular equivalences induced by bimodules and quadratic monomial algebras

Xiao‐Wu Chen, Jian Liu외 1명|arXiv (Cornell University)|2020. 09. 20.

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

한 줄 요약

이 논문은 유한차원 대수 간의 특이 동치가 이원모듈로를 통한 텐서 함자에 의해 유도될 수 있음을 증명하고, 그러한 동치를 실현하기 위한 구축 가능한 방법을 제공한다. 특이 동치를 유도하는 데 필요한 조건은 해당 호모토피 범주에서의 호모지오 함자와의 삼각 동치가 성립함과 동치임을 증명한다. 주요 기여는 이차 단항 대수 A와 그 루트 제곱 제로 대수 B 사이의 특이 동치를 유도하는 명시적 A-B-이원모듈로 M를 구성한 것이다. 또한 고렌스타인 및 비고렌스타인 경우에 대한 특이 동치 수준에 대한 결과도 포함한다.

ABSTRACT

We investigate the problem when the tensor functor by a bimodule yields a singular equivalence. It turns out that this problem is equivalent to the one when the Hom functor given by the same bimodule induces a triangle equivalence between the homotopy categories of acyclic complexes of injective modules. We give conditions on when a bimodule appears in a pair of bimodules, that defines a singular equivalence with level. We construct an explicit bimodule, which yields a singular equivalence between a quadratic monomial algebra and its associated algebra with radical square zero. Under certain conditions which include the Gorenstein cases, the bimodule does appear in a pair of bimodules defining a singular equivalence with level.

연구 동기 및 목표

• 두 유한차원 대수 간에 이원모듈로가 특이 동치를 유도할 수 있는 조건을 규명하는 것.
• 해당 이원모듈로가 호모토피 범주에서 순환적 복합체의 호모지오 함자 간 삼각 동치를 유도할 수 있는 필요 및 충분 조건을 설정하는 것.
• 이차 단항 대수 A와 그 루트 제곱 제로 대수 B 사이의 특이 동치를 실현하는 명시적 A-B-이원모듈로 M를 구성하는 것.
• 이 이원모듈로 M가 특이 동치 수준을 정의하는 쌍 (M,N) 에서 나타나는 경우를 조사하는 것, 특히 고렌스타인 및 비고렌스타인 경우를 중심으로 한다.
• 특이 동치 수준에 관한 결과를 온전한 대수와 같은 더 넓은 범주로 확장하는 것.

제안 방법

• 특이 범주 D_sing(A)의 컴acts completion으로서 순환적 복합체의 호모토피 범주 K_ac(A-Inj)를 사용한다.
• K_ac(A-Inj)와 dg 특이 범주 S_dg(A)의 우변 dg 모듈의 유도 범주 사이의 삼각 동치를 확립한다.
• 이차 단항 대수 A와 그 루트 제곱 제로 대수 B의 쿼버와 관계를 기반으로 생성자와 관계를 통해 A-B-이원모듈로 M를 정의한다.
• B-A-이원모듈로 Hom_{B^op}(M,B)를 구성하고, 이를 오른쪽 A-모듈로로 보았을 때의 구조와 프로젝티브 차원을 분석한다.
• 특이 동치 수준의 개념을 활용하여 이원모듈로 M이 특정 조건을 만족하는 쌍 (M,N) 과 관련이 있음을 규명한다.
• 고렌스타인 대수와 dg 강화에 관한 결과를 적용하여 이원모듈로의 쌍대형의 프로젝티브 분해에 대한 유한성 조건을 도출한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 이원모듈로가 두 유한차원 대수 간의 특이 동치를 유도하는가?
• RQ2 이원모듈로와 관련된 텐서 함자가 순환적 복합체의 호모토피 범주 간 삼각 동치를 유도하는가?
• RQ3 이차 단항 대수와 그 루트 제곱 제로 대수 간의 특이 동치가 명시적 이원모듈로 텐서 함수를 통해 실현될 수 있는가?
• RQ4 이원모듈로 M이 특이 동치 수준을 정의하는 쌍에서 나타나는 경우는 언제인가?
• RQ5 B-쌍대 이원모듈로 Hom_{B^op}(M,B) 가 오른쪽 A-모듈로로 볼 때의 프로젝티브 차원에 대한 조건은 무엇인가?

주요 결과

• 이원모듈로 M에 의해 유도되는 텐서 함자가 A와 B 사이의 특이 동치를 유도하는 것은, 해당 호모지오 함자가 K_ac(A-Inj)와 K_ac(B-Inj) 사이의 삼각 동치를 유도할 때에 한하여 성립한다.
• 이차 단항 대수 A와 그 루트 제곱 제로 대수 B 사이의 특이 동치를 실현하는 명시적 A-B-이원모듈로 M를 구성하였다.
• 고렌스타인 경우에 이원모듈로 M는 특이 동치 수준을 정의하는 쌍 (M,N) 에서 나타난다.
• A-쌍대 이원모듈로 Hom_A(M,A) 는 왼쪽 B-모듈로서 프로젝티브이며, 이 성질은 비고렌스타인 경우에도 성립한다.
• B-쌍대 이원모듈로 Hom_{B^op}(M,B) 는 A가 고렌스타인일 경우 오른쪽 A-모듈로로 프로젝티브 차원이 유한하지만, 아닐 경우는 유한하지 않을 수 있다.
• 이 결과들은 켈러의 특이 호치 코hom로지 추측이 이차 단항 대수의 범주, 특히 가벼운 대수를 포함하여 성립함을 암시한다.