[논문 리뷰] Multivariable cochain operations and little n-cubes

James E. McClure, Jeffrey H. Smith|ArXiv.org|2001. 06. 04.

Advanced Algebra and Logic참고 문헌 9인용 수 9

한 줄 요약

이 논문은 위상공간의 정규화 코체인 $S^*X$ 위에 자연스럽게 작용하는 작은, 명시적으로 기술된 $E_∞$ 체인 오페라드 $Σ$를 구성한다. 이는 $E_\infty$-구조에 대한 유한형 모델을 제공한다. 또한, 작은 $n$-큐브 오페라드의 정규화 단순형 체인과 준동형인 부분오페라드 $Σ_n$을 정의하여, $Σ_2$의 간소화된 작용을 통해 델리그의 호크시لد 코homology 추측에 대한 짧고 명시적인 증명을 제시한다.

ABSTRACT

This is a revision of a paper first posted June 4, 2001. It will appear in the Journal of the AMS. In this paper we construct a small $E_\infty$ chain operad $§$ which acts naturally on the normalized cochains $S^*X$ of a topological space. We also construct, for each $n$, a suboperad $§_n$ which is quasi-isomorphic to the normalized singular chains of the little $n$-cubes operad. The case $n=2$ leads to a substantial simplification of our earlier proof of Deligne's Hochschild cohomology conjecture.

연구 동기 및 목표

• 위상공간의 정규화 코체인 $S^*X$ 위에 자연스럽게 작용하는 작은, 유한형의 $E_\infty$ 체인 오페라드 $Σ$를 구성하는 것.
• 각 $n$에 대해, 작은 $n$-큐브 오페라드의 정규화 단순형 체인과 준동형인 부분오페라드 $Σ_n \subset \u03a3$를 정의하는 것.
• 호크시لد 코체인 복합체 위에 $Σ_2$의 작용을 통해 정수 위에서 델리그의 호크시لد 코homology 추측에 대한 훨씬 더 짧고 명시적인 증명을 제공하는 것.
• 작은 $n$-큐브 오페라드에 대한 새로운, 계산에 용이한 체인 모델을 제공하여 이전의 구성들을 단순화하고 일반화된 델리그 추측의 증명 가능성을 열어두는 것.

제안 방법

• 오페라드 $Σ$는 순서된 집합의 겹치는 분할을 통해 정의된 다변수 코체인 연산을 사용하여 구성되며, 이는 컵-$i$ 곱의 일반화이다.
• 오페라드 $Σ$의 구조 사상은 표준 단체 간의 애핀 사상과 코경계 공식 $d(x) = -(-1)^{|x|}x \circ \partial$ 에서 유도된 부호 규칙을 사용하여 정의된다.
• 부분오페라드 $Σ_n$은 특정 유형의 연산으로 생성되는 $Σ$의 부분복합체로, $n$-중 대칭을 갖는 겹치는 분할에 대응한다.
• Berger의 방법을 사용하여 $Σ_n$과 작은 $n$-큐브 오페라드의 정규화 단순형 체인 사이의 준동형성을 입증한다. 특수한 다이어그램과 유일한 순서가 있는 전단사 사상의 구성으로 체인 수준의 구조를 검증한다.
• $\u03a3_2$의 호크시لد 코체인 복합체 위의 작용은 다변수 연산을 명시적으로 정의하며, 부호와 정의역 조건이 미분과의 호환성을 보장한다.
• 주요 정리의 증명은 겹치는 분할 데이터에 대한 조합론적 제어를 통해 호모로지에 유도된 사상이 필요한 $E_\infty$-관계를 만족함을 검증하는 데 의존한다.

실험 결과

연구 질문

• RQ1 정규화 코체인 $S^*X$ 위에 자연스럽게 작용하는 작은, 유한형의 $E_\infty$ 체인 오페라드를 구성할 수 있는가?
• RQ2 작은 $n$-큐브 오페라드의 정규화 단순형 체인과 준동형인 부분오페라드 $Σ_n \subset \u03a3$가 존재하는가?
• RQ3 정수 위에서 델리그의 호크시لد 코homology 추측을 훨씬 더 간결하고 명시적인 방식으로 증명할 수 있는가?
• RQ4 $\u03a3_2$가 호크시لد 코체인 복합체 위에 유효한 $E_\infty$-구조를 제공하는가?
• RQ5 새로운 작은 $n$-큐브 오페라드 모델이 콘스테비치의 일반화된 델리그 추측의 증명을 가능하게 하는가?

주요 결과

• 오페라드 $Σ$는 겹치는 분할과 애핀 사상에 의한 명확한 서술을 통해, $S^*X$ 위에 자연스럽게 작용하는 명시적인 유한형 체인 오페라드로 구성된다.
• 작은 $n$-큐브 오페라드의 정규화 단순형 체인과 준동형임이 입증된 부분오페라드 $Σ_n$은 정수 위의 체인 오페라드 범주에서 새로운 최소 체인 모델을 제공한다.
• $\u03a3_2$의 호크시لد 코체인 복합체 위의 작용은 정수 위에서 유효하며, 이전의 증명보다 훨씬 더 짧은 방식으로 델리그의 호크시لد 코homology 추측에 대한 해결책을 제공한다.
• $\u03a3_n$의 준동형성 증명은 Berger의 방법을 사용하며, 겹치는 분할에서 유도된 특수한 다이어그램과 몫 사상의 구성으로 필요한 호모로지 호환성을 확보한다.
• $\u03a3_2$는 저자들의 이전 연구에서의 오페라드 $\mathcal{C}$와 동형이지만, 본 논문은 더 명시적인 서술과 작은 $n$-큐브 체인 오페라드와의 준동형성에 대한 훨씬 더 단순한 증명을 제공한다.
• 이 구성은 $̄$ 위에서 Mandell의 정리와 호환되며, 유한형의 연결된 $p$-완비 노름형 공간의 호모토피 범주가 $Σ$-대수의 호모토피 범주에 임베딩됨을 암시한다.