[논문 리뷰] Natural operations on the Hochschild complex of commutative Frobenius algebras via the complex of looped diagrams

Angela Klamt|arXiv (Cornell University)|2013. 09. 19.

Algebraic structures and combinatorial models참고 문헌 15인용 수 9

한 줄 요약

이 논문은 교환적 프로베누스 미분-가환 대수의 호크시ลด-복합체 위에 자연스러운 연산을 구성하기 위해 고리가 있는 다이어그램의 dg-카테고리 도입을 제안한다. 이 복합체는 고리가 있는 다이어그램의 복합체가 체인 수준의 일시적인 캉터스 작용소를 실현함으로써, 기존의 연산들—로데이의 람다 연산, 수일러의 현도 다이어그램 작용, 그리고 일시적인 BV 대수의 구조—를 복원한다. 이는 이 설정에서 모든 형식적 연산을 통합하고 계산 가능한 프레임워크를 제공한다.

ABSTRACT

We define a dg-category of looped diagrams which we use to construct operations on the Hochschild complex of commutative Frobenius dg-algebras. We show that we recover the operations known for symmetric Frobenius dg-algebras constructed using Sullivan chord diagrams as well as all formal operations for commutative algebras (including Loday's lambda operations) and prove that there is a chain level version of a suspended Cactus operad inside the complex of looped diagrams. This recovers the suspended BV algebra structure on the Hochschild homology of commutative Frobenius algebras defined by Abbaspour and proves that it comes from an action on the Hochschild chains.

연구 동기 및 목표

• 교환적 프로베누스 미분-가환 대수에 대한 자연스러운 연산의 조합론적이고 계산 가능한 복합체를 구성하기 위해.
• 수일러의 현도 다이어그램, 로데이의 람다 연산, 일시적인 BV 대수의 구조 등 기존의 연산들을 통합하기 위해.
• 호크시ลด-체인 위에 작용하는 일시적인 캉터스 작용소의 체인 수준 실현을 제공하기 위해.
• 호크시ลด-호모로지 위의 BV 대수의 구조가 코호모로지가 아니라 체인 위의 작용으로 유래됨을 복원하기 위해.
• 이전에 알려진 연산들 사이의 관계를 계산할 수 있는 프레임워크를 수립하기 위해.

제안 방법

• 첫 번째 $ n_1 $ 개의 레이블된 잎에 시작하는 $ n_1 $ 개의 고리를 가진, 레이블된 잎이 있는 교환적 수일러 다이어그램으로서의 고리가 있는 다이어그램의 개념을 도입한다.
• 경계의 붕괴와 고리의 분열에 의해 유도되는 미분을 가진 고리가 있는 다이어그램의 dg-카테고리 정의.
• 관련된 위상수학적 및 대수적 구조를 분리하기 위해 $ pl\tilde{\frak{D}}_{\text{Com}} $ 및 $ pl\frak{D}_{\text{cact}} $ 등의 부분복합체를 구성한다.
• 성질 $ -d \times \chi(\Gamma, \partial_{\text{out}}) $ 를 적용하여 종수와 경계 성분을 보정한다.
• 콘느 경계 연산자와 로데이의 셔플 연산을 적용하여 교환적 대수 위의 기존 형식적 연산과 연관시킨다.
• 고리가 있는 다이어그램의 복합체가 교환적 프로베누스 미분-가환 대수의 형식적 연산 복합체에 쿼어지-이sov모르피즘으로 매핑됨을 보여준다.

실험 결과

연구 질문

• RQ1 단일 조합론적 복합체가 교환적 프로베누스 미분-가환 대수의 호크시ลด-복합체 위의 모든 자연스러운 연산을 포괄할 수 있는가?
• RQ2 고리가 있는 다이어그램의 복합체가 호크시ลด-체인 위에 일시적인 캉터스 작용소의 체인 수준 작용을 실현하는가?
• RQ3 수일러의 현도 다이어그램, 로데이의 람다 연산, BV 구조의 연산들이 통합된 프레임워크 내에서 어떻게 관련되어 있는가?
• RQ4 긍정적인 경계 조건과 기약성의 정확한 역할은 의미 있는 연산을 분리하는 데 어떤 기여를 하는가?
• RQ5 고리가 있는 다이어그램의 복합체는 이전에 알려진 연산들—예를 들어 셔플 곱과 고레스키-힌스턴 곱—사이의 관계를 계산할 수 있는가?

주요 결과

• 고리가 있는 다이어그램의 복합체는 일시적인 캉터스 작용소의 체인 수준 모델을 제공하며, 호크시ลด-호모로지 위의 BV 대수의 구조를 체인 위의 작용으로 실현한다.
• 모든 형식적 연산들이 복원되며, 로데이의 $ \lambda $-연산과 셔플 곱이 포함된다.
• 이 구성은 수일러의 현도 다이어그램에서 유래된 연산을 복원하고, 이를 호크시ลด-체인 수준으로 확장한다.
• 부분복합체 $ pl\frak{D}_{\text{cact}} $ 는 한 종수당 하나의 상수 고리를 가진 기약적, 평면적, 연결된 고리가 있는 다이어그램을 나타내며, 캉터스 작용소의 구조를 암호화한다.
• 고리가 있는 다이어그램의 복합체는 형식적 연산 복합체에 쿼어지-이sov모르피즘으로 매핑되며, 계산 가능한 모델을 제공한다.
• 이 프레임워크는 고레스키-힌스턴 곱과 BV 연산자 사이의 관계 계산이 가능하다.