[논문 리뷰] Koszul Equivalences in $A_\infty$-Algebras

D.-M. Lu, John H. Palmieri외 2명|ArXiv.org|2007. 10. 29.

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

한 줄 요약

이 논문은 아담스 연결된 $A_\infty$-대수에 대한 일반화된 코즐 듀얼리티 이론을 수립하여, 이중 코즐 듀얼이 원래 대수와 quasi-isomorphic임을 증명하고, 완전성과 유한차원 호모로지 범주 간 유도 동치를 유도한다. 주요 결과는 등급 대수의 아르틴-슐레르 정규성과 그 에이크스-대수의 프로베누스 성질이 동치임을 보이며, 스미스의 정리의 일반화이자 코즐 듀얼리티 하에서 칼라비-야우 성질의 확장이다.

ABSTRACT

We prove a version of Koszul duality and the induced derived equivalence for Adams connected $A_\infty$-algebras that generalizes the classical Beilinson-Ginzburg-Soergel Koszul duality. As an immediate consequence, we give a version of the Bernšte{\uı}n-Gel'fand-Gel'fand correspondence for Adams connected $A_\infty$-algebras. We give various applications. For example, a connected graded algebra $A$ is Artin-Schelter regular if and only if its Ext-algebra $\Ext^\ast_A(k,k)$ is Frobenius. This generalizes a result of Smith in the Koszul case. If $A$ is Koszul and if both $A$ and its Koszul dual $A^!$ are noetherian satisfying a polynomial identity, then $A$ is Gorenstein if and only if $A^!$ is. The last statement implies that a certain Calabi-Yau property is preserved under Koszul duality.

연구 동기 및 목표

• 클래식한 코즐 듀얼리티와 빌리송-진스버그-조르겔 듀얼리티를 $A_\infty$-대수의 맥락으로 확장한다.
• 아담스 연결된 $A_\infty$-대수의 완전한 유도 범주와 그 코즐 듀얼의 유한차원 호모로지 범주 사이의 유도 동치를 수립한다.
• 스미스의 아르틴-슐레르 정규 대수에 대한 결과를 일반화하여, 이러한 대수가 프로베누스 에이크스-대수로 특징지어짐을 보인다.
• 모든 대수와 그 듀얼이 노에테리안이면서 다항식 항등식을 만족할 때, 고렌스타인 성질이 코즐 듀얼리티 하에 유지됨을 증명한다.
• 프로젝션 스킴의 유도 범주와 안정 유도 범주 간의 BGG 대응을 $A_\infty$-대수로 확장하여 유도 동치를 통해 유도한다.

제안 방법

• 코즐 듀얼을 $A_\infty$-대수의 바 건축의 벡터 공간 듀얼로 정의한다.
• 국소적으로 유한한 코즐 듀얼을 가진 증강된 $A_\infty$-대수에 대해, 이중 코즐 듀얼이 원래 대수와 $A_\infty$-동형임을 증명한다.
• 유도 범주를 사용하여 $A_\infty$-모듈의 범주를 다루며, 완전 복합체 ($\mathsf{D}^\infty_{\operatorname{per}}$)와 유한차원 호모로지 모듈러 ($\mathsf{D}^\infty_{\operatorname{fd}}$)를 구분한다.
• 코즐 듀얼 $E$의 호모로지 $HE$가 유한차원일 경우, $\mathsf{D}^\infty_{\operatorname{per}}(A) \cong \mathsf{D}^\infty_{\operatorname{fd}}(E)$의 삼각형 동치를 수립한다.
• 프로젝션 스킴의 유도 범주 $\mathsf{D}^\infty(\operatorname{proj}A)$와 안정 유도 범주 $\underline{\mathsf{D}}^\infty_{\operatorname{fg}}(E)$를 정의하고, 아르틴-슐레르 정규성 조건 하에서 이들의 동치를 증명한다.
• 이론을 적용하여, 노에테리안 및 다항식 항등식 조건 하에서 고렌스타인 성질이 코즐 듀얼리티 하에 유지됨을 보인다.

실험 결과

연구 질문

• RQ1 클래식한 코즐 듀얼리티와 빌리송-진스버그-조르겔 듀얼리티를 $A_\infty$-대수의 맥락에서 일반화한 코즐 듀얼리티 이론이 존재하는가?
• RQ2 어떤 조건에서 $A_\infty$-대수의 이중 코즐 듀얼이 원래 대수와 $A_\infty$-동형으로 복원되는가?
• RQ3 아담스 연결된 $A_\infty$-대수의 완전한 모듈 유도 범주와 그 코즐 듀얼의 유한차원 호모로지 모듈 범주 간에 유도 동치가 존재하는가?
• RQ4 등급 대수의 아르틴-슐레르 정규성이 그 에이크스-대수가 프로베누스임과 동치인가?
• RQ5 노에테리안 및 다항식 항등식 조건 하에서 고렌스타인 성질이 코즐 대수와 그 코즐 듀얼 간에 전이되는가?

주요 결과

• 증강된 $A_\infty$-대수의 이중 코즐 듀얼은 코즐 듀얼이 국소적으로 유한할 경우 원래 대수와 $A_\infty$-동형이다.
• 아담스 연결된 $A_\infty$-대수 $A$와 그 코즐 듀얼 $E$에 대해, $HE$가 유한차원일 경우 $\mathsf{D}^\infty_{\operatorname{per}}(A) \cong \mathsf{D}^\infty_{\operatorname{fd}}(E)$의 삼각형 동치가 존재한다.
• 연결된 등급 대수 $A$는 그 에이크스-대수 $\operatorname{Ext}^\ast_A(k,k)$가 프로베누스일 때이고, 오직 그 때에만 아르틴-슐레르 정규이다. 이는 스미스의 결과를 일반화한다.
• 만약 $R$가 코즐 대수이고 $R$과 그 코즐 듀얼 $R^!$이 모두 노에테리안이며 다항식 항등식을 만족한다면, $R$이 고렌스타인일 때이고 오직 그 때에만 $R^!$이 고렌스타인이다.
• BGG 대응이 일반화된다: 노에테리안인 우측 아르틴-슐레르 정규 $A_\infty$-대수 $A$에 대해, $\mathsf{D}^\infty(\operatorname{proj}A) \cong \underline{\mathsf{D}}^\infty_{\operatorname{fg}}(E)$의 동치가 존재한다. 여기서 $E$는 $A$의 코즐 듀얼이다.
• 주어진 기술적 조건 하에서 코즐 듀얼리티 하에 칼라비-야우 성질이 유지된다. 고렌스타인 성질이 유지되고, 이 맥락에서 고렌스타인 성질은 아르틴-슐레르 조건과 동치이기 때문이다.