[논문 리뷰] L-algebras, triplicial-algebras, within an equivalence of categories motivated by graphs

Philippe Leroux|ArXiv.org|2007. 09. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 6

한 줄 요약

이 논문은 L-대수를 L-코대수의 이중으로 도입하여, 카르티에-밀너-무어 유형의 구조 정리에 의해 L-대수와 연결된 코결합적 트리플리셜-이중대수 사이의 범주적 동치를 수립한다. L-오페라드가 코스졸임을 증명하고, 자유 L-대수의 구조가 홀수 개의 노드를 가진 뿌리가 있고 평면적이고 대칭적인 삼분 트리 위에서 실현됨을 보이며, 자유 트리플리셜-대수는 짝수 트리에 대응한다. 삼중체 (As, Trip, L)는 양호한 삼중체를 이룬다.

ABSTRACT

In a previous work, we gave a coalgebraic framework of directed graphs equipped with weights (or probability vectors) in terms of (Markov) L-coalgebras. They are K-vector spaces equipped with two co-operations, Δ_M, ildeΔ_M verifying, ( ildeΔ_M \otimes id)Δ_M =(id \otimes Δ_M) ildeΔ_M. In this paper, we study the category of L-algebras (dual of L-coalgebras), prove that the free L-algebra on one generator is constructed over rooted planar symmetric ternary trees with odd numbers of nodes and the L-operad is Koszul. We then introduce triplicial-algebras: vector spaces equipped with three associative operations verifying three entanglement relations. The free triplicial-algebra is computed and turns out to be related to even trees. Via a general structure theorem (à la Cartier-Milnor-Moore), we obtain that the category of L-algebras is equivalent to a much more structured category called connected coassociative triplicial-bialgebras (coproduct linked to operations via infinitesimal relations), that is the triple of operads (As, Trip, L) is good. Bidirected graphs, related to NAP-algebras, are briefly evoked and postponed to another paper.

연구 동기 및 목표

• 일반화된 구조 정리에 기반해 L-대수와 연결된 코결합적 트리플리셜-이중대수 사이의 범주적 동치를 수립하기.
• 벡터 공간 위의 자유 L-대수의 구조를 홀수 개의 노드를 가진 뿌리가 있고 평면적이고 대칭적인 삼분 트리에 의해 생성됨으로써 특징짓기.
• 세 개의 결합적 연산을 가진 벡터 공간으로서의 트리플리셜-대수를 정의하고 연구하기.
• L-오페라드가 코스졸임을 증명하여 온라인 정수열 사전(OEIS)의 수열 A006013에 대한 대수적 해석을 제공하기.
• 삼중체 (As, Trip, L)가 양호한 삼중체를 이룬다는 것을 보여주어 범주 간의 동치를 가능하게 하기.

제안 방법

• 이전 연구에서의 L-코대수 프레임워크를 이중화하여 L-대수의 범주를 구성한다.
• 벡터 공간 V 위의 자유 L-대수는 홀수 개의 노드를 가진 뿌리가 있고 평면적이고 대칭적인 삼분 트리에 의해 생성되는 K-벡터 공간으로 실현된다.
• 논문은 세 개의 결합적 연산을 가진 대수로서 트리플리셜-대수를 도입한다. 이 연산들은 세 개의 얽힘 관계를 만족한다.
• 무한소 관계로 연결된 코결합적 쌍대곱을 가진 매그마틱 오페라드에 대해 일반화된 카르티에-밀너-무어 유형의 구조 정리를 개발한다.
• As, Trip, L의 양호한 삼중체 조건을 통해 L-대수와 연결된 코결합적 트리플리셜-이중대수 사이의 동치를 증명한다.
• L-오페라드의 생성함수와 그 이중의 생성함수는 서로 복합역함수 관계에 있음을 보이며, 코스졸 이중성의 확인을 얻는다.

실험 결과

연구 질문

• RQ1 L-코대수 프레임워크의 이중을 체계적으로 구성하여 L-대수의 범주를 도출할 수 있는가?
• RQ2 자유 L-대수의 조합적 구조는 무엇이며, 이는 뿌리가 있고 평면적이고 대칭적인 삼분 트리와 어떻게 관련이 있는가?
• RQ3 트리플리셜-대수의 정의적 공리와 성질은 무엇이며, 이는 L-대수의 구조와 어떻게 관련이 있는가?
• RQ4 삼중체 (As, Trip, L)가 양호한 삼중체 조건을 만족하는가? 이는 범주 간의 동치를 가능하게 하는가?
• RQ5 L-오페라드가 코스졸임을 증명할 수 있으며, 이는 오페라드와 그 이중의 생성함수에 대해 어떤 의미를 갖는가?

주요 결과

• 벡터 공간 V 위의 자유 L-대수는 홀수 개의 노드를 가진 뿌리가 있고 평면적이고 대칭적인 삼분 트리에 의해 생성되는 K-벡터 공간과 동형이다.
• V 위의 자유 트리플리셜-대수는 짝수 트리에 의해 생성되는 K-벡터 공간과 동형이며, 자유 대상의 조합적 실현을 제공한다.
• L-오페라드는 코스졸임이 증명되었으며, 그 생성함수는 이중의 생성함수와 복합역함수 관계에 있음을 보였다.
• 삼중체 (As, Trip, L)는 양호한 삼중체를 이룬다. 이는 L-대수의 범주와 연결된 코결합적 트리플리셜-이중대수의 범주 간의 동치를 수립한다.
• L-대수에는 불변인 반대칭 이항 연산자가 존재하지 않으며, 이는 이중 연산에 대해 필요한 3차 순열을 실현할 수 없기 때문이다.
• 오페라드 UAs의 생성함수는 fUAs(x) = 1/(1−x)이며, 이는 자유 대수 구성에서의 이중성을 수립하는 데 사용된다.