[논문 리뷰] Homological perturbations, equivariant cohomology, and Koszul duality

Johannes Huebschmann|arXiv (Cornell University)|2004. 01. 14.

Algebraic structures and combinatorial models참고 문헌 32인용 수 10

한 줄 요약

이 논문은 40년간 발전해온 호몰로지 석변 이론(HPT)이 유한형 외적 대수(odd-degree generators를 갖는)에서 등변 코homology의 코시쿨 이중성에 대해 개념적이고 구축 가능한 프레임워크를 제공함을 보여준다. sh-구조와 트위스트 코체인을 사용하여, 날것의 텐서곱과 Hom-객체를 통해 등변 (코)homology의 작은 모델을 구성함으로써, sh-Λ-모듈과 sh-ℬ̄Λ-코모듈 사이의 이중성 수립하고, 유도 함수의 확장된 함의성에 의해 코시쿨 이중성을 통합적으로 이해할 수 있음을 제시한다.

ABSTRACT

Our main objective is to demonstrate how homological perturbation theory (HPT) results over the last 40 years immediately or with little extra work give some of the Koszul duality results that have appeared in the last decade. Higher homotopies typically arise when a huge object, e. g. a chain complex defining various invariants of a certain geometric situation, is cut to a small model, and the higher homotopies can then be dealt with concisely in the language of sh-structures (strong homotopy structures). This amounts to precise ways of handling the requisite additional structure encapsulating the various coherence conditions. Given e. g. two augmented differential graded algebras A and B, an sh-map from A to B is a twisting cochain from the reduced bar construction of A to B and, in this manner, the class of morphisms of augmented differential graded algebras is extended to that of sh-morphisms. In the present paper, we explore small models for equivariant (co)homology via differential homological algebra techniques including homological perturbation theory which, in turn, is a standard tool to handle sh-structures. Koszul duality, for a finite type exterior algebra on odd positive degree generators, then comes down to a duality between the category of sh-modules over that algebra and that of sh-comodules over its reduced bar construction. This kind of duality relies on the extended functoriality of the differential graded Tor-, Ext-, Cotor-, and Coext functors, extended to the appropriate sh-categories. We construct the small models as certain twisted tensor products and twisted Hom-objects. These are chain and cochain models for the chains and cochains on geometric bundles and are compatible with suitable additional structure.

연구 동기 및 목표

• 지난 40년간 발전한 호몰로지 석변 이론(HPT)이 등변 코homology에서 최근의 코시쿨 이중성 결과에 즉각적으로 접근할 수 있음을 보여주기 위해.
• 특히 G의 호몰로지 대수가 기껏해야 외적 대수이면서 홀수 차수에서 생성되는 경우, HPT를 사용하여 G-공간의 등변 (코)homology에 대한 작은 모델을 구성하기 위해.
• 홀수 차수 생성자를 갖는 유한형 외적 대수 Λ에 대해, sh-Λ-모듈과 sh-ℬ̄Λ-코모듈 사이의 개념적 이중성을 수립하기 위해.
• 표준 유도 범주가 부적절한 무한차원 군과 설정으로 코시쿨 이중성을 확장하기 위해.
• 특히 트위스트된 Eilenberg-Zilber 정리와 분할 호모토피를 포함한 HPT 기법이 등변 코homology와 모멘텀 맵 유사 구조를 통합적으로 다룰 수 있음을 보여주기 위해.

제안 방법

• HPT를 사용하여 큰 체인 복합체에서 작은 모델을 구성함으로써, sh-구조를 통해 고차 호모토피 일관성을 유지한다.
• 감소된 바르 구조 B̄A₁에서 A₂로의 트위스트 코체인을 사용하여, 증강된 미분 대수적 대수 간의 sh-사상 정의한다.
• 기하학적 배럴에 호환되는 구조를 갖는 체인과 코체인의 모델로, 작은 모델을 트위스트된 텐서곱과 트위스트된 Hom-객체로 구성한다.
• Eilenberg-Moore 유형 결과를 적용하여, G-등변 호몰로지와 코호몰로지를 C_*G에 계수를 갖는 미분 Tor 및 Ext 함수로 표현한다.
• 트위스트된 Eilenberg-Zilber 정리를 사용하여, HPT 기반의 Eilenberg-Moore 이중성 정리의 증명을 유도한다.
• 일반화된 모멘텀 맵을 위해, 보편 트위스트 코체인에 대한 분할 호모토피를 도입하여, g에서 C^0(X) 또는 A^0(X)로의 수반 사상으로부터 임의의 차수의 코체인으로 일반화한다.

실험 결과

연구 질문

• RQ1 호몰로지 석변 이론은 어떻게 등변 코homology에서 코시쿨 이중성 결과를 도출할 수 있는가?
• RQ2 sh-구조와 트위스트 코체인은 등변 (코)homology의 작은 모델을 구성하는 데 어떤 역할을 하는가?
• RQ3 유도 함수의 확장된 함의성에서 sh-Λ-모듈과 sh-ℬ̄Λ-코모듈 사이의 이중성은 어떻게 유도되는가?
• RQ4 분할 호모토피가 어떤 의미에서 모멘텀 맵을 고차 코체인으로 일반화하는가?
• RQ5 HPT 기법은 유한형 설정을 초월하여 무한차원 리 군에 적용되어 코시쿨 이중성을 확장할 수 있는가?

주요 결과

• 홀수 양의 차수 생성자를 갖는 유한형 외적 대수 Λ에 대해, 코시쿨 이중성은 sh-Λ-모듈의 범주와 sh-ℬ̄Λ-코모듈의 범주 사이의 이중성으로 실현된다.
• 등변 코hom로지의 작은 모델은 트위스트된 텐서곱과 트위스트된 Hom-객체로 구성되며, 이는 기하학적 배럴의 체인 및 코체인 모델을 나타낸다.
• HPT를 사용하여 Eilenberg-Moore 유형 이중성 정리를 재유도하였으며, 이는 트위스트된 Eilenberg-Zilber 정리를 활용하였다.
• H_G^2(X)에서 2-코체인 ζ를 등변적으로 닫힌 클래스로 올리기 위한 장벽은 d₂[ζ] ∈ E₂^{2,1}로 식별되었으며, 이는 d∘φ = ζ∪τ를 만족하는 코체인 φ로부터 유래된다.
• S′[s²g]에서 보편 트위스트 코체인 τ^S′에 대한 분할 호모토피 h는 comomentum 맵 h^♭: g⊗A²(X) → A⁰(X)를 유도하며, 이의 수반은 임의의 닫힌 2-형식 σ에 대한 모멘텀 맵을 제공한다.
• 형식은 모멘텀 맵을 임의의 차수의 코체인으로 일반화하며, 분할 호모토피가 등변 확장을 위한 보편적 대체 수단으로 기능한다.