[논문 리뷰] Leavitt path algebras, $B_\infty$-algebras and Keller's conjecture for singular Hochschild cohomology

Xiao‐Wu Chen, Huanhuan Li외 1명|arXiv (Cornell University)|2020. 07. 14.

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

한 줄 요약

이 논문은 레비트 경로 대수의 호크실드 코체인 복합체와 해당 근본 제곱 제로 대수의 특이 호크실드 코체인 복합체 사이에 $B_\infty$-준동형을 확립하여, 이 맥락에서 킬러의 추측을 특이 호크실드 코homology에 대해 증명한다. 핵심 결과는 특이 호크실드 코체인 복합체와 그 dg 특이성 카테고리의 호크실드 코체인 복합체 사이에 $B_\infty$-대수의 호모토피 카테고리에서의 동형사상이 존재한다는 것을 확인한다.

ABSTRACT

For a finite quiver without sinks, we establish an isomorphism in the homotopy category $\mathrm {Ho}(B_\infty)$ of $B_{\infty}$-algebras between the Hochschild cochain complex of the Leavitt path algebra $L$ and the singular Hochschild cochain complex of the corresponding radical square zero algebra $Λ$. Combining this isomorphism with a description of the dg singularity category of $Λ$ in terms of the dg perfect derived category of $L$, we verify Keller's conjecture for the singular Hochschild cohomology of $Λ$. More precisely, we prove that there is an isomorphism in $\mathrm{Ho}(B_\infty)$ between the singular Hochschild cochain complex of $Λ$ and the Hochschild cochain complex of the dg singularity category of $Λ$. One ingredient of the proof is the following duality theorem on $B_\infty$-algebras: for any $B_\infty$-algebra, there is a natural $B_\infty$-isomorphism between its opposite $B_\infty$-algebra and its transpose $B_\infty$-algebra. We prove that Keller's conjecture is invariant under one-point (co)extensions and singular equivalences with levels. Consequently, Keller's conjecture holds for those algebras obtained inductively from $Λ$ by one-point (co)extensions and singular equivalences with levels. These algebras include all finite dimensional gentle algebras.

연구 동기 및 목표

• 레비트 경로 대수의 호크실드 코체인 복합체와 관련된 근본 제곱 제로 대수의 특이 호크실드 코체인 복합체 사이에 $B_\infty$-준동형을 확립한다.
• 특이 호크실드 코homology에 대한 킬러의 추측을, 특이 호크실드 코체인 복합체와 dg 특이성 카테고리의 호크실드 코체인 복합체 사이의 $B_\infty$-대수의 호모토피 카테고리에서의 동형사상으로 보여줌으로써 검증한다.
• 모든 $B_\infty$-대수에 대해 반대 및 전치 $B_\infty$-대수가 자연스럽게 동형임을 보여주는 이중성 정리 증명.
• 킬러의 추측이 한 점 (코)확장과 특이 동치 관계가 있는 수준에 대해 불변임을 보이며, 이를 통해 더 넓은 대수의 클래스로의 일반화를 가능하게 한다.
• 위의 연산을 통해 유도적으로 구성할 수 있는 모든 유한 차원의 온전한 대수에 대해 추측이 성립함을 보여줌.

제안 방법

• 상대 바 복합체와 호모토피 전달 정리의 조합을 통해 레비트 경로 대수에 대한 호모토피 변형 리트랙트를 구성한다.
• 상대 코homology를 사용하여 특이 호크실드 코체인 복합체를 정의하고, 오른쪽 특이 복합체 위에 브레이스 연산을 도입한다.
• 쿼버의 경로 데이터를 통해 근본 제곱 제로 대수의 특이 호크실드 코체인 복합체에 대한 조합론적 기술을 활용한다.
• 중간 대상으로서 레비트 $B_\infty$-대수를 도입하고, 그 브레이스 연산에 대한 명시적 재귀 공식을 제시한다.
• dg 대수와 그 모델 사이에 $A_\infty$-준동형을 확립한 후, 브레이스 연산을 통해 $B_\infty$-준동형으로 승격시킨다.
• 기본 복합체의 원소들에 대한 성분별 계산과 부호 규칙을 활용하여 브레이스 연산의 고차 전자아코비 항등식을 검증한다.

실험 결과

연구 질문

• RQ1 레비트 경로 대수의 호크실드 코체인 복합체와 그에 대응하는 근본 제곱 제로 대수의 특이 호크실드 코체인 복합체 사이에 $B_\infty$-준동형이 존재하는가?
• RQ2 유한한 쿼버에서 출발하는 근본 제곱 제로 대수의 특이 호크실드 코homology에 대해 킬러의 추측이 성립하는가?
• RQ3 모든 $B_\infty$-대수에 대해 반대 및 전치 $B_\infty$-대수가 자연스럽게 동형임을 증명할 수 있으며, 이는 주요 동형사상에 어떤 기여를 하는가?
• RQ4 킬러의 추측은 한 점 (코)확장과 특이 동치 관계가 있는 수준에 대해 불변이며, 이를 통해 더 넓은 대수의 클래스로의 일반화가 가능한가?
• RQ5 특이 호크실드 코체인 복합체와 dg 특이성 카테고리의 호크실드 코체인 복합체 사이의 $B_\infty$-대수의 호모토피 카테고리에서의 동형사상은 온전한 대수에 대해 어느 정도 성립하는가?

주요 결과

• 레비트 경로 대수의 호크실드 코체인 복합체와 해당 근본 제곱 제로 대수의 특이 호크실드 코체인 복합체 사이에 명시적인 $B_\infty$-준동형이 구성되었다.
• 이중성 정리는 임의의 $B_\infty$-대수에 대해 반대 및 전치 $B_\infty$-대수가 자연스럽게 동형임을 보여준다.
• 근본 제곱 제로 대수의 특이 호크실드 코homology에 대해 킬러의 추측이 검증되었으며, 특이 호크실드 코체인 복합체와 dg 특이성 카테고리의 호크실드 코체인 복합체 사이에 $\mathrm{Ho}(B_\infty)$에서의 동형사상이 존재한다.
• 추측이 한 점 (코)확장과 특이 동치 관계가 있는 수준에 대해 불변임이 입증되었으며, 이를 통해 이러한 연산을 통해 유도되는 대수들로의 확장을 가능하게 하였다.
• 모든 유한 차원의 온전한 대수는 위의 연산을 통해 기저 대수로부터 유도적으로 구성 가능하므로, 특이 호크실드 코homology에 대해 킬러의 추측을 만족한다.
• 증명은 레비트 $B_\infty$-대수의 브레이스 연산에 대한 고차 전자아코비 항등식의 검증에 기반하며, 정확한 부호 규칙과 성분별 계산을 통해 확인되었다.