[논문 리뷰] On Kontsevich's Hochschild cohomology conjecture

Po Hu, Kriz, I.외 1명|ArXiv.org|2003. 09. 22.

Algebraic structures and combinatorial models참고 문헌 1인용 수 5

한 줄 요약

이 논문은 컨체비치의 추측을 증명한다. 즉, 작은 $k$-큐브 작도에 대한 대수인 $Π_k$-대수의 호크시ลด 코homology 복합체는 자연스럽게 $Π_{k+1}$-대수의 구조를 지닌다. 저자들은 이 결과를 유도 기하 원리에 기반하여 확립한다: $Π_k$-와 $Π_1$-구조가 서로 교환 가능하면, 그로부터 $Π_{k+1}$-구조가 유도된다. 이때 호크시ลด 코homology 대상은 $Π_k$-대수 위의 모듈러의 범주에서의 유도된 사상 대상으로서 실현된다. 이 결과는 임의의 체 또는 집합 위에서 성립하며, 특성에 대한 제약 없이 성립하며, $k=1$인 경우는 델리그의 원래 추측을 포함한다.

ABSTRACT

Let an n-algebra mean an algebra over the chain complex of the little n-cubes operad. We give a proof of Kontsevich's conjecture, which states that for a suitable notion of Hochschild cohomology in the category of n-algebras, the Hochschild cohomology complex of an n-algebra is an (n+1)-algebra. This generalizes a conjecture by Deligne for n=1, now proven by several authors.

연구 동기 및 목표

• 컨체비치가 제안한 바에 따라, 작은 $k$-큐브 작도에 대한 대수에 대해 델리그의 호크시ลด 코homology 추측을 일반화한다.
• 퀴렌 코homology에 기반한 이전 접근법의 제약을 피하기 위해, 특성에 의존하지 않는 자연스러운 호크시ลด 코homology의 정의를 $Π_k$-대수에 대해 제공한다.
• 코프리멘트 $Π_k$-대수 $R$에 대해 유도된 사상 대상 $RHom_{(Π_k,R)}(R,R)$가 자연스럽게 $Π_{k+1}$-대수의 구조를 지닌다는 것을 증명한다.
• 대수 $R$의 $Π_k$-구조와 $RHom$의 양다리 곱셈 구조가 보드먼-보건 $□$-곱을 통해 $Π_{k+1}$-구조를 유도한다는 것을 증명한다.
• 호모토피 범주에서의 $Π_k\Box\u03a0_1 \simeq \u03a0_{k+1}$ 동형이 존재하여, 이는 $Π_{k+1}$-구조를 호크시ลด 코homology 대상으로 전이시킬 수 있음을 보여준다.

제안 방법

• $(Π_k, R)$-모듈러를 정의하고, 닫힌 대칭 모노이드 범주 $\mathcal{B}$의 단순 복합체의 호모토피 범주에서의 유도된 사상 대상 $RHom_{(Π_k,R)}(M,N)$을 구성한다.
• 특정한 '특별한' 섬유화된 작도를 중심으로, 주어진 작도 $\mathcal{C}$ 위에 섬유화된 작도의 개념을 도입한다.
• 보드먼-보건 $□$-곱을 사용하여 $\u03a0_k\Box\u03a0_1$과 $\u03a0_{k+1}$를 연결하며, 작도적 곱에 관한 덴의 단순 복합체 판정을 활용한다.
• 먼저 $\u03a0_k$-위의 림프 구조를 정의한 후, 두 단계의 유도 과정을 통해 약한 동치인 작도 $\overline{\u03a0}_k$ 위의 엄밀한 대수로 변환한다.
• 림프 대수에 수직 범주 구조를 부여하여 $\overline{\u03a0}_k\Box\u03a0_1$-대수를 만들며, 이는 $\u03a0_{k+1}$-대수와 동치임을 보인다.
• 이 일반적 기계장치를 주요 예시에 적용한다: $\u03a0_k$-대수의 호크시ลด 코homology 대상은, 서로 교환 가능한 $\u03a0_k$-와 $\u03a0_1$-구조를 통해 $\u03a0_{k+1}$-대수의 구조를 상속함을 증명한다.

실험 결과

연구 질문

• RQ1 컨체비치의 추측에 따르면, $\u03a0_k$-대수의 호크시ลด 코homology 복합체는 자연스럽게 $\u03a0_{k+1}$-대수의 구조를 지닌다. 이는 참인가?
• RQ2 특성에 의존하지 않는 자연스러운 정의를 $Π_k$-대수에 대해 호크시ลด 코homology에 대해 제공할 수 있는가? 이는 퀴렌 코homology나 체의 특성에 대한 가정에 의존하지 않는다.
• RQ3 대수 $R$의 $\u03a0_k$-구조와 $RHom(R,R)$의 양다리 곱셈 구조 사이의 상호작용이, 유도된 사상 대상에 $\u03a0_{k+1}$-대수의 구조를 어떻게 유도하는가?
• RQ4 호모토피 범주에서의 보드먼-보건 $□$-곱 $\u03a0_k\Box\u03a0_1$은 $\u03a0_{k+1}$와 동치인가?
• RQ5 소형 큐브의 구성 공간의 유도 기하학을 사용하여, 형식성이나 코즐 다우얼리티에 의존하지 않고, 자연스럽게 호크시ลด 코homology에 $\u03a0_{k+1}$-대수의 구조를 구성할 수 있는가?

주요 결과

• 코프리멘트 $Π_k$-대수 $R$에 대해, $RHom_{(\u03a0_k,R)}(R,R)$는 자연스럽게 $\u03a0_{k+1}$-대수의 구조를 지닌다.
• $\u03a0_k$-구조와 양다리 곱셈에 의한 $\u03a0_1$-구조가 보드먼-보건 $□$-곱을 통해 $\u03a0_{k+1}$-구조를 공동으로 유도한다.
• 호모토피 범주에서의 $\u03a0_k\Box\u03a0_1 \simeq \u03a0_{k+1}$ 동형이 성립하여, $\u03a0_{k+1}$-구조를 전이시킬 수 있다.
• 이 구성은 특성에 제약 없이 임의의 체 또는 집합 위에서 유효하며, 특성 0이나 형식성 가정이 필요하지 않다.
• 이 증명은 델리그의 원래 추측($k=1$의 경우)을 일반화하며, 특별한 경우로 포함한다. 기초 환이나 체에 대한 제약이 없다.
• 저자들은 퀴렌 코homology의 특성 $p$에서의 제약을 피하는 $Π_k$-대수에 대한 자연스럽고 내재된 호크시ลด 코homology 정의를 제공한다.