[논문 리뷰] Dualite de Koszul des PROPs

Bruno Vallette|ArXiv.org|2004. 05. 04.

Advanced Topics in Algebra참고 문헌 11인용 수 10

한 줄 요약

이 논문은 다중 입력, 다중 출력 연산을 모델링하는 대수적 구조인 프롭( PROP )에 대한 코즐 유도 이론을 수립한다. 이는 기존의 아소시아티브 대수와 옵레이드에 대한 코즐 유도를 일반화한 것으로, 이중 코-프롭(co-PROP), 바(bar) 및 코바르(cobar) 구성, 그리고 코즐 복합체의 비순환성 조건을 통해 프롭이 코즐임과 동치임을 증명한다. 이로 인해 이중 코-프롭의 코바르 구성이 최소 모델을 제공한다.

ABSTRACT

In this thesis, we generalize the Koszul duality for associative algebras and operads to PROPs. The operads are algebraic objects that represent the operations with multiple inputs but only one output acting on a certain type of algebras. A PROP models the operations with multiple inputs and multiple outputs acting on algebraic structures like bialgebras and Lie bialgebras. We also give a construction of the free monoid (for a monoidal product non-necessarily bilinear). We generalize the Poincare series of operads to PROPs and we prove a functional equation for Poincare series of Koszul PROPs.

연구 동기 및 목표

• 프롭으로 다중 입력, 다중 출력 연산을 모델링하는 구조로, 아소시아티브 대수와 옵레이드에서의 코즐 유도를 확장한다.
• 이차 프롭에 대해 이중 코-프롭을 정의하여, 대수의 이중과 코옵레아드의 이중을 일반화한다.
• 프롭에 대한 바(bar) 및 코바르(cobar) 구성 방법을 개발하고, 그 호모로지 성질을 확립한다.
• 코즐 복합체의 비순환성 조건을 통해 프롭의 코즐성 여부를 판별하는 호모로지 기준을 제공한다.
• 이중 코-프롭의 코바르 구성으로 원래 프롭의 최소 모델을 구성한다.

제안 방법

• 프롭을 모델링하기 위해 연결된 연산의 조합을 표현하는 새로운 곱셈 $\boxtimes_c$ 를 $\mathbb{S}$-이중모듈러스에 정의한다.
• 연결된 성분을 더 정밀하게 제어할 수 있도록 $\boxtimes_c$ 에서의 모노이드로서의 '프롭레아드'의 개념을 도입한다.
• 미분형 $\mathbb{S}$-이중모듈러스에 대해 바(bar) 및 코바르(cobar) 함자를 구성하고, 이를 프롭으로 확장한다.
• 필터링과 스펙트럴 시퀀스를 이용해 $\mathcal{P}^! \boxtimes \mathcal{P}$ 의 호모로지와 $\mathcal{P}^!$ 의 코바르 구성의 호모로지를 비교한다.
• 일반적인 모노이드 범주에서 자유 모노이드의 존재를 보장하기 위해 반사적 코이퀄라이저와 분할 해석 함수의 이론을 적용한다.
• 핵심 기준을 통한 이중성 확립: $\mathcal{P}$ 가 코즐임과 동치로 $\mathcal{P}^! \boxtimes \mathcal{P}$ 가 비순환적임을 증명한다.

실험 결과

연구 질문

• RQ1 코즐 유도는 어떻게 옵레이드와 대수에서 프롭으로 일반화될 수 있는가? 여기서 프롭은 다수의 입력과 출력을 가진 연산을 모델링한다.
• RQ2 이차 프롭에 대해 올바른 이중 코-프롭의 개념은 무엇이며, 기존의 대수와 코옵레아드의 이중과의 관계는 어떠한가?
• RQ3 바(bar) 및 코바르(cobar) 구성은 어떻게 프롭으로 확장될 수 있으며, 이는 원래 프롭의 해상화를 제공하는가?
• RQ4 어떤 호모로지 기준이 프롭이 코즐임을 특징짓는가? 그리고 이는 코즐 복합체의 비순환성과 어떻게 관련되는가?
• RQ5 이중 코-프롭의 코바르 구성은 원래 프롭의 최소 모델을 어떻게 제공하는가?

주요 결과

• 프롭 $\mathcal{P}$ 는 그 코즐 복합체 $\mathcal{P}^! \boxtimes \mathcal{P}$ 가 비순환적일 때에만 코즐이다.
• 코바르 구성 $\bar{\mathcal{B}}^c(\mathcal{P}^!) \to \mathcal{P}$ 는 $\mathcal{P}$ 가 코즐일 때에만 준위사상(quasi-isomorphism)이다.
• 이중 코-프롭 $\mathcal{P}^{!\prime}$ 는 대수의 이중과 코옵레아드의 이중을 모두 일반화한다.
• 주어진 조건 하에서 프롭에 대한 바(bar) 및 코바르(cobar) 구성은 잘 정의되어 있으며, 호모로지 성질을 유지한다.
• 이 이론은 모든 표준 예제를 포함하는, 반사적 코이퀄라이저를 유지하는 기초 모노이드 범주를 갖는 모든 프롭에 적용 가능하다.
• 코즐 프롭의 최소 모델은 이중 코-프롭의 코바르 구성으로 주어지며, 이는 소형의 준자유 해상화를 제공한다.