[논문 리뷰] A-infinity algebras, modules and functor categories

Bernhard Keller|ArXiv.org|2005. 10. 24.

Rings, Modules, and Algebras인용 수 11

한 줄 요약

이 논문은 리바시첸코의 아이디어와 레프레브의 퀼렌 모델 구조 접근법을 바탕으로, 코카테고리의 닫힌 모나이드 카테고리에서 A-무한성 함자 카테고리의 개념적 구성법을 제시한다. 이는 함자 카테고리 내의 합성 이중함수를 통해 결합된 호크시ลด 복합체의 바 복합체 위에 자연스러운 양대수적 구조를 제공하며, 유도 및 호모토피론적 해석을 깊이 있게 다룬다.

ABSTRACT

In this survey, we first present basic facts on A-infinity algebras and modules including their use in describing triangulated categories. Then we describe the Quillen model approach to A-infinity structures following K. Lefevre's thesis. Finally, starting from an idea of V. Lyubashenko's, we give a conceptual construction of A-infinity functor categories using a suitable closed monoidal category of cocategories. In particular, this yields a natural construction of the bialgebra structure on the bar construction of the Hochschild complex of an associative algebra.

연구 동기 및 목표

• 코카테고리와 닫힌 모나이드 구조를 사용하여 A-무한성 함자 카테고리의 개념적이고 함자론적인 구성법을 제공하기.
• 레프레브의 프레임워크에 따라 A-무한성 대수와 모듈을 미분가환 코대수의 퀼렌 모델 카테고리 내의 필라프트 대상으로 해석하기.
• A-무한성 함자 카테고리 내의 합성에 의해, 결합된 호크시ลด 복합체의 바 복합체 위에 자연스러운 양대수적 구조를 확립하기.
• 함자론적 및 호모토피론적 방법을 통해 삼각형 카테고리와 유도 카테고리에서 A-무한성의 역할을 일반화하기.
• dg 카테고리적 프레임워크를 통해 A-무한성 모듈, 이중모듈, 호크시ลด 코homology 간의 관계를 명확히 하기.

제안 방법

• 완전한 증분 미분가환 코카테고리의 카테고리로 A-무한성 함자 카테고리를 정의하는 데 기초를 둔다.
• 레프레브의 퀼렌 모델 구조를 적용하여 A-무한성 대수를 필라프트 미분가환 코대수로, 모듈을 필라프트 코모듈로 해석한다.
• A-무한성 대수 A의 바 복합체 BA를 사용하여 함자 카테고리 Fun∞(A, C(k)+)를 B(Homc(BA, BA))로 실현한다.
• 미분가환 코대수의 코카테고리 내에서의 텐서곱과 내부 함자(내부 Hom)를 통해 합성 이중함수를 구성하며, 이를 통해 B(Fun∞(A′,A′′)) ⊗ B(Fun∞(A,A′)) → B(Fun∞(A,A′′))의 사상이 유도된다.
• B(Fun∞(A,A)) 내의 항등함수의 자기사상 코대수 End(1)을 A의 호크시ลด 복합체의 바 복합체 B(C(A,A))로 식별한다.
• 합성 이중함수가 End(1) 위에 결합법칙을 갖는 승법 구조를 유도하며, 이는 양대수적 구조를 만들며, 이 승법은 브레이스 연산자로 주어진다.

실험 결과

연구 질문

• RQ1 고차 카테고리론과 호모토피론 도구를 사용하여 A-무한성 함자 카테고리를 개념적으로 자연스럽게 구성할 수 있는가?
• RQ2 코카테고리와 닫힌 모나이드 구조는 A-무한성 함자와 그들의 합성 방식을 어떻게 조직화하는가?
• RQ3 A-무한성 함자 카테고리 내의 합성이 호크시ลด 복합체의 바 복합체 위에 양대수적 구조를 어떻게 유도하는가?
• RQ4 B(C(A,A)) 위의 양대수적 구조는 특수 정의가 아닌 고차 카테고리론적 합성에서 유도될 수 있는가?
• RQ5 이 함자론적 프레임워크를 통해 A-무한성 모듈과 이중모듈은 유도 카테고리와 호크시ลด 코homology와 어떻게 관련되어 있는가?

주요 결과

• A-무한성 함자 카테고리 Fun∞(A,A′)는 cocomplete augmented dg cocategories의 내부 함자에서의 바 복합체로 자연스럽게 실현된다.
• Fun∞ 내의 합성 이중함수는 B(Fun∞(A′,A′′)) ⊗ B(Fun∞(A,A′)) → B(Fun∞(A,A′′))의 사상으로 이어지며, 이는 항등함수의 자기사상 코대수 End(1)에 양대수적 구조를 부여한다.
• B(Fun∞(A,A)) 내 항등함수의 자기사상 코대수 End(1)은 A의 축소된 호크시ลด 복합체의 바 복합체 B(C(A,A))와 동형이다.
• B(C(A,A)) 위의 양대수적 구조는 명시적으로 브레이스 연산자로 주어지며, 이는 함자 카테고리 내의 합성 사상에 의해 확인된다.
• 이 구성은 이전에 명시적 공식으로 알려진 호크시ลด 바 복합체 위의 양대수적 구조에 대해 개념적이고 함자론적인 설명을 제공한다.
• 이 프레임워크는 A-무한성 모듈, 이중모듈, 호크시ลด 코homology를 하나의 dg 카테고리적 및 호모토피론적 맥락에서 함자 카테고리 Fun∞(A, C(k)+)를 통해 통합한다.