[논문 리뷰] A proof of a cyclic version of Deligne's conjecture via Cacti

Ralph M. Kaufmann|ArXiv.org|2004. 03. 21.

Algebraic structures and combinatorial models참고 문헌 8인용 수 14

한 줄 요약

이 논문은 정규화된 캐시티를 사용하여 프레임드 리틀 디스크 작용소에 대한 체인 모델을 구성함으로써 델리ญ의 추측의 순환적 형태를 증명한다. 이는 비가역적, 대칭적, 불변인 내적을 가진 단위를 가진 결합 법칙을 만족하는 대수의 정규화된 호크시ลด 코호호모로지가 호모토피 상에서 BV 대수임을 보여준다. 핵심 결과는 호크시ลด 코호오몰로지 위에 유도된 제르스텐하버 괄호가 표준 제르스텐하버 괄호와 일치한다는 것이며, 이는 장식된 트리 위에서의 작용소 상관 함수를 통한 호모토피 BV 작용소를 확립한다.

ABSTRACT

In this note, we show that the normalized Hochschild co--chains of an associative algebra with a non--degenerate, symmetric, invariant inner product are an algebra over a chain model of the framed little discs operad which is given by cacti. In particular, in this sense they are a BV algebra up to homotopy and the Hochschild cohomology of such an algebra is a BV algebra whose induced bracket coincides with Gerstenhaber's bracket. To show this, we use a cellular chain model for the framed little disc operad in terms of normalized cacti. This model is given by tensoring our chain model for the little discs operad in terms of spineless cacti with natural chain models for $(S^1)^{ imes n}$ adapted to cacti.

연구 동기 및 목표

• 비가역적, 대칭적, 불변 내적을 가진 결합 법칙을 만족하는 대수의 정규화된 호크시ลด 코호오몰로지 위에 호모토피 BV 대수 작용소를 수립하기.
• 이전에 등불 없는 캐시티로 기술된 리틀 디스크 작용소의 체인 모델을 정규화된 캐시티를 사용하여 프레임드 리틀 디스크 작용소의 체인 모델으로 확장하기.
• 이 체인 모델이 정규화된 호크시ลด 코호오몰로지 위에 작용함으로써 호모토피 상에서 BV 대수 작용소를 실현하기.
• 호크시ลด 코호오몰로지 위에 유도된 괄호가 제르스텐하버의 괄호와 일치함을 보여주기.
• 평면의 식물형 블랙-화이트 이분할 트리에 스파인을 부여한 장식된 구조를 통해 프레임드 리틀 디스크 작용소의 조합적이고 세포 기반의 기술을 제공하여 작용소 상관 함수와 호환되도록 하기.

제안 방법

• S^1에 기반한 작용소의 체인과 정규화된 등불 없는 캐시티 체인의 텐서곱을 통해 프레임드 리틀 디스크 작용소의 세포 체인 모델을 구성하기.
• 반경의 구조를 반영한 S^1 인자 위의 세포 구조를 포함하는 반직선의 반직선의 세포 분할을 정교화하기.
• 지역 영점의 위치를 기록하고 작용소 연산을 추적하기 위해 스파인을 부여한 장식된 평면의 식물형 블랙-화이트 이분할 트리를 도입하기.
• 이 장식된 트리 위에서 작용소 상관 함수를 정의하여 프레임드 리틀 디스크 체인의 호크시ลด 코호오몰로지 위의 작용을 묘사하기.
• K1, KLP의 방법을 사용하여 $\mathcal{A}rc$ 작용소의 관계를 번역함으로써 미분과 작용소의 구조 간의 호환성을 검증하기.
• 풀잎 연산자와 트리 방향의 대칭성을 활용하여, 이 작용이 필요한 대칭적, 불변 내적을 유지함을 보장하기.

실험 결과

연구 질문

• RQ1 정규화된 캐시티를 사용하여 프레임드 리틀 디스크 작용소에 대한 체인 모델을 구성할 수 있는가? 이는 이전의 등불 없는 캐시티 모델을 확장하는가?
• RQ2 이 체인 모델이 정규화된 호크시ลด 코호오몰로지 위에 작용함으로써 그들이 호모토피 상에서 BV 대수 작용소를 갖는가?
• RQ3 호크시ลด 코호오몰로지 위에 유도된 괄호가 이 호모토피 BV 작용소에서 기인한 괄호와 일치하는가?
• RQ4 작용소 상관 함수는 어떻게 장식된 트리 위에서 조합적으로 기술될 수 있는가? 이는 작용을 묘사하는 데 쓰이는가?
• RQ5 이 틀은 순환 복합체와 경계가 있는 표면의 모듈리 공간에 대해 일반화될 수 있는가?

주요 결과

• 비가역적, 대칭적, 불변 내적을 가진 단위를 가진 결합 법칙을 만족하는 대수의 정규화된 호크시ลด 코호오몰로지가 프레임드 리틀 디스크 체인 모델을 통해 호모토피 상에서 BV 대수임이 입증되었다.
• 호크시ลด 코호오몰로지 위에 유도된 괄호가 정확히 제르스텐하버의 표준 괄호와 일치함으로써 호모토피 BV 작용소가 확인되었다.
• 프레임드 리틀 디스크 작용소의 체인 모델은 정규화된 등불 없는 캐시티 체인과 S^1 기반 작용소 체인의 텐서곱으로 실현되었으며, 모든 필요한 연산을 수용할 수 있는 정교화된 세포 분할을 포함한다.
• 이 작용은 스파인을 부여한 평면의 식물형 블랙-화이트 이분할 트리 위에서의 작용소 상관 함수를 통해 묘사되며, 스파인은 국소 영점의 위치를 추적하고 선형 순서는 평면 순서와 다를 수 있다.
• 미분과 작용소의 구조 간 호환성은 $\mathcal{A}rc$ 작용소의 관계를 번역함으로써 검증되었으며, 이는 호크시ลด 복합체의 미분 정의와 일치한다.
• 이 구성은 순환 복합체와 장식된 경계가 있는 표면의 모듈리 공간으로 일반화될 수 있으며, 이는 모듈리 공간의 가짜 세포를 통한 스트링 토폴로지 작용소로의 길을 제시한다.