[논문 리뷰] Notes on A-infinity algebras, A-infinity categories and non-commutative geometry. I

Maxim Kontsevich, Yan Soibelman|arXiv (Cornell University)|2006. 06. 11.

Algebraic structures and combinatorial models참고 문헌 12인용 수 63

한 줄 요약

이 논문은 A-무한대 대수를 호모로지 벡터장이 +1의 차수를 가진 비가환 형식의 점이 있는 dg-다양체로 기하학적으로 해석함으로써, A-무한대 대수의 구조와 비가환 기하학 간의 사전을 제공한다. 주요 기여는 A-무한대 대수의 분포의 코알제브라를 통해 비가환 형식의 dg-다양체를 구성하는 것으로, Hochschild 코hom로지, Calabi-Yau 구조, Hodge-to-de Rham 분해 추측에 응용된다.

ABSTRACT

We develop geometric approach to A-infinity algebras and A-infinity categories based on the notion of formal scheme in the category of graded vector spaces. Geometric approach clarifies several questions, e.g. the notion of homological unit or A-infinity structure on A-infinity functors. We discuss Hochschild complexes of A-infinity algebras from geometric point of view. The paper contains homological versions of the notions of properness and smoothness of projective varieties as well as the non-commutative version of Hodge-to-de Rham degeneration conjecture. We also discuss a generalization of Deligne's conjecture which includes both Hochschild chains and cochains. We conclude the paper with the description of an action of the PROP of singular chains of the topological PROP of 2-dimensional surfaces on the Hochschild chain complex of an A-infinity algebra with the scalar product. This action is essentially equivalent to the structure of 2-dimensional Topological Field Theory associated with a Calabi-Yau category.

연구 동기 및 목표

• 비가환 형식의 dg-다양체를 사용하여 A-무한대 대수의 기하학적 프레임워크를 개발한다.
• A-무한대 대수를 호모로지 벡터장이 있는 점이 있는 차수 분할 다각형으로 해석하여 대수적 구조를 기하학적 직관과 연결한다.
• A-무한대 대수의 구성과 비가환 기하학 간의 사전을 제공하며, 특히 코알제브라와 함자에 초점을 맞춘다.
• 향후 연구에서 A-무한대 범주로의 기하학적 시각의 확장을 위한 기초를 마련한다.
• 사이클릭 미분 형식과 유도 함자를 통한 Hochschild 코호몰로지와 체인 복합체의 역할을 기하학적 해석을 통해 명확히 한다.

제안 방법

• A-무한대 대수를 차수 +1인 호모로지 벡터장 d를 가진 형식의 점이 있는 차수 분할 다각형으로 표현하며, [d,d] = 0 를 만족시킨다.
• 비가환 다양체 위의 형식 급수 대수를 모델링하기 위해 분포의 쌍대알제브라를 사용한다.
• 차수 분할 결합 대수의 아르틴 대수에 대한 함수를 통해 비가환 스킴을 정의하며, 이를 코알제브라로 표현한다.
• 국소적으로 코닐포텐트 몫을 사용하여 닫힌 포함에 沿해 완비화를 통해 부분스킴의 형식적 이웃을 구성한다.
• 요나다 렘마를 적용하여 Hochschild 코체인 복합체를 항등 함자의 변형의 접공간으로 기술한다.
• 실린더 위의 점들의 구성 공간과 옵레드를 사용하여 A-무한대 대수에 대한 델리뉴의 추측을 일반화한다.

실험 결과

연구 질문

• RQ1 어떻게 A-무한대 대수를 비가환 형식의 dg-다양체로 기하학적으로 해석할 수 있는가?
• RQ2 사이클릭 미분 형식에 대해 Hochschild 코호몰로지와 체인 복합체의 기하학적 의미는 무엇인가?
• RQ3 A-무한대 대수에서 Calabi-Yau 구조는 Hodge-to-de Rham 분해 추측과 어떻게 관련되는가?
• RQ4 비가환 기하학에서 약한 단위와 비단위 구조는 A-무한대 대수에서 어떤 역할을 하는가?
• RQ5 요나다 임bedding과 유도 함수는 A-무한대 함수와 그 구조를 기하학적으로 기술하는 데 어떻게 사용될 수 있는가?

주요 결과

• A-무한대 대수는 자연스럽게 비가환 형식의 점이 있는 dg-다양체 (X, pt, d)와 관련되며, 여기서 d는 지정된 점에서 0이 되는 차수 +1의 호모로지 벡터장이다.
• A-무한대 대수의 Hochschild 코체인 복합체는 A-무한대 끝함수 범주에서 Ext^•(Id_C, Id_C)와 동형이 되며, 이는 Hochschild 코호몰로지의 기하학적 해석을 제공한다.
• 비가환 스무스 두꺼운 스킴의 닫힌 부분스킴의 형식적 이웃은 국소적으로 코닐포텐트 원소로 구성된 코알제브라로 표현되며, 고전적 완비화를 일반화한다.
• 스무스 비가환 스킴의 경우, 부분스킴의 형식적 이웃은 스스로가 스무스하며 자신의 완비화와 동형이다.
• A-무한대 대수에서 분포의 코알제브라를 구성하는 것은 형식 급수 대수와 코알제브라 사이의 이중성과 기능적 기술을 가능하게 하며, 이를 통해 이중성의 기반을 제공한다.
• A-무한대 대수에 대한 Hodge-to-de Rham 분해 추측은 Calabi-Yau 구조의 존재성으로 기술되며, 기하학적 및 대수적 불변량을 연결한다.