[논문 리뷰] A-infinity-bimodules and Serre A-infinity-functors

Lyubashenko, Volodymyr, Manzyuk, Oleksandr|ArXiv.org|2007. 01. 05.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 3

한 줄 요약

이 논문은 체 위의 단위 A∞-범주와 그 호모토피 범주 사이의 세르 A∞-함수들 사이에 정확한 대응을 확립한다. 복합체의 dg-범주를 값으로 갖는 A∞-이중모듈러스를 A∞-함수로서 도입하고, 복합체의 호모토피 범주의 고른 범주론을 사용하여, 단위 A∞-범주가 세르 A∞-함수를 가질 조건은 그 호모토피 범주가 세르 k-선형 함수를 가질 조건과 정확히 일치함을 증명한다. 이는 고전적 세르 쌍대성을 호모토피론적 방식으로 일반화한 결과이다.

ABSTRACT

We define A-infinity-bimodules similarly to Tradler and show that this notion is equivalent to an A-infinity-functor with two arguments which takes values in the differential graded category of complexes of k-modules, where k is a ground commutative ring. Serre A-infinity-functors are defined via A-infinity-bimodules likewise Kontsevich and Soibelman. We prove that a unital closed under shifts A-infinity-category A over a field k admits a Serre A-infinity-functor if and only if its homotopy category H^0(A) admits a Serre k-linear functor. The proof uses categories enriched in K, the homotopy category of complexes of k-modules, and Serre K-functors. Also we use a new A-infinity-version of the Yoneda Lemma generalizing the previously obtained result.

연구 동기 및 목표

• A∞-이중모듈러스를 통해 세르 A∞-함수를 정의하고 특성화함으로써, 콘체비치와 소이벨만의 접근을 일반화한다.
• 삼각형 범주에서 A∞-범주로의 세르 쌍대성의 호모토피론적 상향을 확립한다.
• 호모토피 범주에서의 세르 함수와 그 A∞-강화 간의 관계를 명확히 한다.
• 이론의 기본 도구로 사용할 수 있는 새로운 A∞-버전의 양다이드 렘마를 제공한다.
• 체 위의 단위 A∞-범주가 정확히 그 호모토피 범주에서 세르 k-선형 함수를 가질 때에만 세르 A∞-함수를 가짐을 보인다.

제안 방법

• A∞-범주 위의 A∞-이중모듈러스를 복합체의 dg-범주 Ck로 값이 주어지는 두 개의 변수를 갖는 A∞-함수로 정의한다.
• A∞-이중모듈러스와 Ck를 값으로 갖는 A∞-함수 사이의 동치를 확립하여, 이전의 A∞-모듈러스 결과를 일반화한다.
• K를 복합체의 호모토피 범주로 두고 K-고른 범주를 사용하여 세르 A∞-함수와 세르 K-함수 간의 관계를 규명한다.
• 새로운 A∞-버전의 양다이드 렘마를 증명하여, 양다이드 A∞-함수 Y: Aᵒᵖ → Aᵤ∞(A; Ck)가 호모토피적으로 전부 충실함을 보인다.
• K-고른 구조와 K-함수론을 이용하여 호모토피 범주 H⁰A의 세르 함수를 A∞-범주 A로 상향한다.
• 대칭 모노이드 범주에서의 일관성 원리와 표준 동형사상들을 사용하여 증명에서 텐서곱과 순열을 제어한다.

실험 결과

연구 질문

• RQ1 체 k 위의 단위 A∞-범주가 언제 세르 A∞-함수를 가질 수 있는가?
• RQ2 세르 A∞-함수와 호모토피 범주 H⁰A에서의 세르 함수 사이의 관계는 무엇인가?
• RQ3 세르 A∞-함수의 특성화에서 A∞-이중모듈러스의 정확한 역할은 무엇인가?
• RQ4 이 일반적 설정에서 양다이드 A∞-함수의 호모토피적으로 전부 충실함을 보일 수 있는가?
• RQ5 고른 범주론을 통해 삼각형 범주에서 A∞-범주로의 세르 쌍대성의 범주론적 상향이 가능한가?

주요 결과

• 체 k 위의 단위 A∞-범주 A는 정확히 그 호모토피 범주 H⁰A가 세르 k-선형 함수를 가질 때에만 세르 A∞-함수를 가진다.
• K-범주 kA에서 세르 K-함수가 존재하는 것과 A에서 세르 A∞-함수가 존재하는 것은 동치이다.
• 양다이드 A∞-함수 Y: Aᵒᵖ → Aᵤ∞(A; Ck)는 호모토피적으로 전부 충실하며, 푸카야의 이전 결과와 루바시크와 만지우크의 결과를 일반화한다.
• 제한된 양다이드 함수 Y: Aᵒᵖ → Rep(A, Ck)는 A∞-동치임을 보여주며, 모든 단위 A∞-범주는 A∞-동치 관계에서 dg-범주임을 보여준다.
• 표현 가능한 A∞-함수의 범주 Rep(A, Ck)는 Aᵤ∞(A; Ck)의 U-소형 dg-부분범주이므로, 양다이드 구성의 잘 정의됨을 보장한다.
• 증명은 세르의 결과를 일반화하고 고전적 양다이드 렘마를 A∞-범주로 확장하는 새로운 A∞-버전의 양다이드 렘마에 기반한다.