[논문 리뷰] Koszul duality of operads and homology of partition posets

Benoît Fresse|ArXiv.org|2003. 01. 31.

Advanced Topics in Algebra참고 문헌 47인용 수 73

한 줄 요약

이 논문은 작도 대칭성의 이론과 분할 순서집합의 호몰로지 사이에 깊은 연결 고리를 설정하며, 이는 이차 작도 대칭성의 코스즈 복합체가 분할 레이스의 축소 호몰로지를 계산한다는 것을 보여준다. 바르 및 코바르 구성법을 사용하여 작도 대칭성의 코프리프레젠테이션을 구축하고, 분할 순서집합의 호몰로지가 교환 작도 대칭성의 코스즈 호몰로지와 동형임을 증명함으로써, 바르랫-에클즈 작도 대칭성과 대칭군의 고전적 바르 구성법을 통한 E∞-대수의 호모토피적 해석을 제공한다.

ABSTRACT

We consider partitions of a set with $r$ elements ordered by refinement. We consider the simplicial complex $\bar{K}(r)$ formed by chains of partitions which starts at the smallest element and ends at the largest element of the partition poset. A classical theorem asserts that $\bar{K}(r)$ is equivalent to a wedge of $r-1$-dimensional spheres. In addition, the poset of partitions is equipped with a natural action of the symmetric group in $r$ letters. Consequently, the associated homology modules are representations of the symmetric groups. One observes that the $r-1$th homology modules of $\bar{K}(r)$, where $r = 1,2,...$, are dual to the Lie representation of the symmetric groups. In this article, we would like to point out that this theorem occurs a by-product of the theory of \emph{Koszul operads}. For that purpose, we improve results of V. Ginzburg and M. Kapranov in several directions. More particularly, we extend the Koszul duality of operads to operads defined over a field of positive characteristic (or over a ring). In addition, we obtain more conceptual proofs of theorems of V. Ginzburg and M. Kapranov.

연구 동기 및 목표

• 분할 순서집합의 호몰로지를 통한 작도 대칭성 이론의 호몰로지적 해석을 수립하기 위해.
• 분할 레이스 {1,…,r}의 축소 호몰로지가 교환 작도 대칭성의 코스즈 호몰로지와 동형임을 보여주기 위해.
• 특히 교환 작도 대칭성에 대해 바르 및 코바르 구성법을 사용하여 작도 대칭성의 코프리프레젠테이션을 구축하기 위해.
• 바르랫-에클즈 작도 대칭성이 E∞-대수의 모델로서의 역할을 명확히 하기 위해, 준동형과 유도 동치를 통한 분석을 수행하기 위해.
• 교환 대수의 Γ-호몰로지가 분할 순서집합의 호몰로지와 대칭군의 바르 구성법을 기반으로 한 코스즈 유형의 복합체로부터 유도됨을 보여주기 위해.

제안 방법

• 특히 작도 대칭성의 코опер레이터와의 코바르 구성법을 통해, dg-작도 대칭성을 바르 구성법의 축소 형태로 해결하기 위해.
• 이중 복합체의 스펙트럴 시퀀스를 적용하여, 작도 대칭성에 대한 자유 모듈의 호몰로지를 분석하기 위해.
• 단순 복합체의 바르 구성법에서 수준화된 사상으로 나아가 수준이 있는 나무로 인덱싱된 복합체로의 변환을 통해 명시적 계산을 가능하게 하기 위해.
• 바르 구성법의 계수를 포함한 미분을 묘사하기 위해 나무의 구조와 그 합성 곱의 성질을 활용하기 위해.
• 대칭군의 고전적 바르 구성법을 사용하여 교환 작도 대칭성의 해석을 구축하고, 바르랫-에클즈 작도 대칭성을 도출하기 위해.
• 교환 작도 대칭성의 코스즈 복합체와 분할 순서집합의 정규화된 체인 복합체 사이의 준동형을 수립하기 위해.

실험 결과

연구 질문

• RQ1 분할 순서집합 {1,…,r}의 호몰로지는 작도 대칭성 이론과 어떻게 관련되어 있는가?
• RQ2 분할 레이스의 축소 호몰로지는 이차 작도 대칭성의 코스즈 호몰로지로 계산될 수 있는가?
• RQ3 바르랫-에클즈 작도 대칭성은 E∞-대수를 어떻게 실현하는가? 그리고 교환 작도 대칭성의 코프리프레젠테이션과의 관계는 무엇인가?
• RQ4 작도 대칭성이 코프리프레젠테이션일 때, 유도 함자와 대수의 호모토피 범주의 관계는 어떻게 되는가?
• RQ5 교환 대수의 정확한 Γ-호몰로지 복합체의 형태는 무엇이며, 분할 순서집합의 호몰로지와의 관계는 무엇인가?

주요 결과

• 분할 순서집합 {1,…,r}의 축소 호몰로지는 교환 작도 대칭성의 코스즈 호몰로지와 동형이며, 호몰로지 군 H_{r-1}( ilde{K}( ext{Com}))는 무게 r에서의 교환 작도 대칭성의 코스즈 호몰로지와 동형이다.
• 대칭군 Σ_r의 고전적 바르 구성법, 즉 𝔈(r)는 자명한 모듈에 대한 Σ_r-프로젝티브 해석을 이루며, 텐서곱 Σ^{-1}K(Com)(r) ⊗ 𝔈(r)는 코스즈 쌍대 모듈의 프로젝티브 해석을 제공한다.
• 바르랫-에클즈 작도 대칭성의 대수는 E∞-대수와 동치이며, 그 호모토피 범주 간의 유도 확장 및 제한 함자들은 수반 동치를 이룬다.
• 교환 대수 A의 Γ-호몰로지는 복합체 ⨁_{r≥0} (M(r) ⊗ A^⊗r)_{Σ_r}로 계산되며, 여기서 M(r) = Σ^{-1}K(Com)(r) ⊗ 𝔈(r)로 정의되며, 이는 characteristic 0에서 콘체비치와 소이벨만의 추측을 확인한다.
• 계수를 포함한 코바르 구성법은 교환 작도 대칭성의 준자유 해석을 제공하며, 이로 유도된 복합체는 바르 구성법을 통해 분할 순서집합의 호몰로지를 계산한다.
• 단순 바르 구성법에서 수준이 있는 나무 복합체로의 수준화 사상은 준동형을 유도하며, 이는 분할 순서집합의 호몰로지를 코스즈 복합체의 호몰로지로 계산할 수 있도록 한다.