[논문 리뷰] A solution of Deligne's conjecture

James E. McClure, Jeffrey H. Smith|ArXiv.org|1999. 10. 24.

Algebraic structures and combinatorial models참고 문헌 18인용 수 31

한 줄 요약

이 논문은 딜리뉴의 추측을 해결한다. 소수 2-큐브 작용소의 정수 계량 체인 복합체가 연속적인 호흐실트 코호층 복합체 위에 작용함을 구성함으로써, 이는 탈스펜션 이후에 이루어진다. 핵심 결과는 소수 2-큐브 작용소의 정수 계량 체인 복합체와 호환되는 작용소의 부분작용소 사이의 준동형을 확립한다. 이 부분작용소는 코호층의 단위, 쿠퍼 곱, 그리고 고차 브레이스 연산자에 의해 생성된다.

ABSTRACT

Deligne asked in 1993 whether the Hochschild cochain complex of an associative ring has a natural action by the singular chains of the little 2-cubes operad. In this paper we give an affirmative answer to this question. We also show that the topological Hochschild cohomology spectrum of an associative ring spectrum has an action of an operad equivalent to the little 2-cubes.

연구 동기 및 목표

• 1993년 딜리뉴의 추측, 즉 소수 2-큐브 작용소의 정수 계량 체인 복합체가 결합환의 호흐실트 코호층 복합체 위에 작용할 수 있음을 증명하는 것.
• 결합환 스펙트럼의 위상적 호흐실트 코호층 스펙트럼이 소수 2-큐브 작용소와 준동형인 작용소에 의해 작용할 수 있음을 보이는 것.
• 소수 2-큐브 작용소의 정수 계량 체인 복합체와 호환되는 작용소의 부분작용소 사이의 명시적 준동형을 구성하는 것. 이 부분작용소는 쿠퍼 곱, 단위, 그리고 고차 브레이스 연산자에 의해 생성되며, 탈스펜션된 정규화된 호흐실트 코호층 함자에 대한 종속 작용소의 내부에서 생성된다.
• 이 해법을 특성 0 이외의 임의의 특성에서의 미분 기하 대수와 결합환 스펙트럼으로 확장하는 것.

제안 방법

• 정규화된 호흐실트 코호층 복합체 $\bar{C}^*(R)$ 와 그 탈스펜션 $\Sigma^{-1}\bar{C}^*(R)$ 를 정의하여 부호 관례를 정확히 다루는 것.
• 함자 $\Sigma^{-1}\bar{C}^*$ 의 종속 작용소 $\mathcal{O}$ 를 구성하며, 그 성분 $\mathcal{O}(n)$ 은 자연 변환 $ (\Sigma^{-1}\bar{C}^*)^{{\bigotimes}n} \to \Sigma^{-1}\bar{C}^* $ 로 이루어지며, 차수 이동에 따라 등급이 부여된다.
• 작용소 $\mathcal{O}$ 내의 핵심 연산을 식별한다: 쿠퍼 곱 $\smallsmile \in \mathcal{O}(2)$, 단위 $e \in \mathcal{O}(0)$, 그리고 $n \geq 2$ 에 대해 고차 브레이스 연산자 $\{\}_n \in \mathcal{O}(n)$ 를 반복적 삽입과 함께 정호 보정을 통해 정의한다.
• 단위 $e$, 쿠퍼 곱 $\smallsmile$, 그리고 $\{\}_n$ 연산자에 의해 생성되는 부분작용소 $\mathcal{H} \subset \mathcal{O}$ 를 정의하고, $\mathcal{H}$ 가 소수 2-큐브 작용소의 관계를 준동형을 통해 만족함을 증명한다.
• 포지트(부분 순서 집합)와 수축 가능한 부분복합체 $I_n(t,p)$ 를 사용한 조합론적 추론을 통해, $\mathcal{H}$ 가 소수 2-큐브 작용소의 정수 계량 체인 복합체와 준동형임을 증명한다. 이를 위해 수학적 귀납법을 사용하고, 복합체를 부분복합체 $A$, $B$, $C$ 로 분해하여, 특정 포지트 복합체의 수축 가능성을 증명한다.
• 연산 간의 관계—예를 들어 $\smallsmile$ 의 결합법칙, 단위 성질, 그리고 브레이스 곱의 $\smallsmile$ 와의 호환성—이 작용소의 구조에 암묵적으로 포함되어 있으며, 준동형을 통해 유지됨을 보여준다.

실험 결과

연구 질문

• RQ1 1993년 딜리뉴가 제기한 바와 같이, 결합환의 호흐실트 코호층 복합체는 소수 2-큐브 작용소의 정수 계량 체인 복합체에 자연스럽게 작용할 수 있는가?
• RQ2 이 작용은 쿠퍼 곱과 고차 브레이스 연산자와 같은 대수적 연산을 통해 명시적으로 구성될 수 있는가?
• RQ3 정규화된 호흐실트 코호층 복합체 위의 작용소 구조는 정수 위에서 소수 2-큐브 작용소의 정수 계량 체인 복합체와 준동형인가?
• RQ4 이 구성은 임의의 특성에서의 미분 기하 대수와 결합환 스펙트럼으로 확장될 수 있는가?
• RQ5 부분 순서와 전체 순서의 조합론적 구조에서 유도된 포지트 복합체 $I_n(t,p)$ 의 수축 가능성은 $\mathcal{H}$ 와 소수 2-큐브 작용소의 정수 계량 체인 복합체 사이의 준동형을 확립하는 데 충분한가?

주요 결과

• 논문은 소수 2-큐브 작용소 $\mathcal{C}_2$ 의 정수 계량 체인 복합체와 탈스펜션된 정규화된 호흐실트 코호층 함자 $\Sigma^{-1}\bar{C}^*$ 의 종속 작용소의 부분작용소 $\mathcal{H}$ 사이의 준동형을 확립한다.
• 부분작용소 $\mathcal{H}$ 는 쿠퍼 곱 $\smallsmile$, 단위 $e$, 그리고 고차 브레이스 연산자 $\{\}_n$ 에 의해 생성되며, 이는 코호층 위의 게르스텐하버 대수의 구조를 암묵적으로 포함한다.
• 부분복합체 $A$, $B$, $C$ 로 분해된 포지트 복합체 $I_n(t,p)$ 의 수축 가능성은 귀납법을 통해 증명되었으며, 이는 $\mathcal{H}$ 와 소수 2-큐브 작용소의 정수 계량 체인 복합체 사이의 준동형을 의미한다. 이는 작용소 간의 호모토피 동치를 확인한다.
• 이 구성은 정수 위에서 유효하며, 임의의 특성에서의 미분 기하 대수와 결합환 스펙트럼으로 확장 가능하므로, 결과는 광범위하게 적용 가능하다.
• 연산 간의 관계—예를 들어 $e \smallsmile x = x \smallsmile e = x$, $\smallsmile$ 의 결합법칙, 그리고 $ (x_1 \cdot x_2)\{y_1,\dots,y_n\} = \sum (-1)^\varepsilon x_1\{y_1,\dots,y_k\} \cdot x_2\{y_{k+1},\dots,y_n\} $ —은 유지되며, 작용소의 구조에 암묵적으로 포함된다.
• 증명은 포지트 복합체의 분해와 부분 순서의 사용을 통한 구성적 기법을 활용하며, 작용소의 복합 연산과 관련된 구성 공간의 수축 가능성을 분석하는 데에 새로운 조합론적 접근을 사용한다.