[논문 리뷰] Cyclic operads and homology of graph complexes

Martin Markl|arXiv (Cornell University)|1998. 01. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 15

한 줄 요약

이 논문은 순환 작도에 관련된 그래프 복합체의 호모로지에 대한 보편 코homology 클래스를 도입하여, $A_\infty$-대수에 대한 콘체비치의 구성 방식을 일반화하고 임의의 순환 작도로 확장한다. 작도와 이론(체-선형 PROPs) 사이의 쌍대성에 기반하여, 구체적인 순환 대수로의 전환 시 불변량을 평가할 수 있는 보편 순환을 구성한다. 이는 상태 합 모델을 일반화하고, 순환 호모로지에서 무한소 변형의 역할을 명확히 한다.

ABSTRACT

We will consider P-graph complexes, where P is a cyclic operad. P-graph complexes are natural generalizations of Kontsevich's graph complexes -- for P = the operad for associative algebras it is the complex of ribbon graphs, for P = the operad for commutative associative algebras, the complex of all graphs. We construct a `universal class' in the cohomology of the graph complex with coefficients in a theory. The Kontsevich-type invariant is then an evaluation, on a concrete cyclic algebra, of this class. We also explain some results of M. Penkava and A. Schwarz on the construction of an invariant from a cyclic deformation of a cyclic algebra. Our constructions are illustrated by a `toy model' of tree complexes.

연구 동기 및 목표

• 순환 $A_\infty$-대수에서 유도된 콘체비치 유형의 불변량을 위한 개념적이고 보편적인 프레임워크를 제공하는 것.
• 결합 및 교환 법칙 대수 이외의 임의의 순환 작도로 그래프 복합체를 일반화하는 것.
• 순환 대수의 무한소 변형이 코homology 클래스를 생성하는 데 어떻게 기여하는지 명확히 하는 것.
• 그래프 복합체 호모로지에 존재하는 보편 클래스를 통해 상태 합 불변량을 통합하는 것.

제안 방법

• 콘체비치의 리본 그래프 복합체를 일반화하여 순환 작도 $\mathcal{P}$ 에서 그래프 복합체 $\mathcal{G}^\mathcal{P}_*$ 를 구성한다.
• $\mathcal{P}$ 와 그 이중 이론 $\mathbf{T}$ 사이의 이중성을 활용하여 그래프 복합체의 호모로지에 보편 순환을 도입한다.
• 모듈라 작도의 파이만 변환을 사용하여 그래프 복합체를 모델링함으로써, 순환 및 모듈라 설정으로의 확장을 가능하게 한다.
• 보편 클래스가 $\mathcal{P}$ 에서 온 색채우기와 이중 이론 $\mathbf{T}$ 에서 온 계수를 조합하는 상태 합 유형의 구성 방식을 적용한다.
• 이중 코опер레이터의 코바르 건축 $\Omega(\mathcal{P}^\star)$ 를 사용하여 이중 코작도 위의 대수를 묘사하고, 변형의 연구를 가능하게 한다.
• 입력의 순환 순열에 대해 불변성을 확보하기 위해 스칼라 곱 $h$ 와 그 역수 $\nu$ 를 사용해 순환 대수를 정의한다.

실험 결과

연구 질문

• RQ1 콘체비치의 $A_\infty$-대수에 대한 불변량 구성 방식을 임의의 순환 작도로 어떻게 일반화할 수 있는가?
• RQ2 모든 이러한 불변량을 전환을 통해 생성하는 보편 코homology 클래스는 무엇인가?
• RQ3 순환 대수의 무한소 변형은 그래프 복합체의 코homology 클래스와 어떻게 관련이 있는가?
• RQ4 작도와 이론(체-선형 PROPs) 사이의 이중성이 이러한 불변량을 구성하는 데 어떤 역할을 하는가?
• RQ5 파이만 변환을 통해 이 구성 방식을 모듈라 작도로 확장할 수 있는가?

주요 결과

• 임의의 순환 작도 $\mathcal{P}$ 와 관련된 그래프 복합체에 보편 코homology 클래스가 존재하며, 이는 전환을 통해 모든 불변량을 생성한다.
• 보편 클래스는 $\mathcal{P}$ 에서 온 색채우기와 이중 이론 $\mathbf{T}$ 에서 온 계수로 구성된 쌍의 합으로 표현되며, $V^\star \otimes V$ 에서의 표준 원소를 모방한다.
• 코즐 작도의 경우, 바르 건축과 코바르 건축의 이중성에 기반해 보편 순환을 명시적으로 묘사할 수 있다.
• 코즐 순환 작도 위의 순환 대수의 무한소 변형은 정확히 $t^2$ 모듈로의 이론 사상과 대응되며, 이는 보편 클래스의 평가를 가능하게 한다.
• 펜카바와 슈바르츠의 불변량은 순환 대수의 특수한 전환으로서 보편 클래스의 전환으로 설명된다.
• 순환 대수의 이론은 작도 위에서 대수적이라기보다는 자연스럽게 $\mathbf{k}$-선형 PROP 위의 대수의 범주로 기술되며, 이는 이중 계수 체계를 정의하는 데 사용된다.