[논문 리뷰] Trialgebras and families of polytopes

Jean-Louis Loday, Marı́a Ronco|arXiv (Cornell University)|2002. 05. 06.

Advanced Topics in AlgebraMathematics인용 수 20

한 줄 요약

이 논문은 Koszul 쌍대성에 의해 표준 단체와 Stasheff 다면체(결합체)의 작도 간의 이중성을 수립하며, 둘 다 Koszul 작도임을 증명한다. 여기서는 11개와 7개의 관계를 만족하는 세 개의 이항 연산을 갖는 결합적 및 덴드라이포름 트라이알제브를 도입한다. 이들의 자유 대수는 각각 단체와 결합체의 세포로 생성된다. 핵심 결과는 두 작도의 생성 함수가 형식적으로 서로의 역함수이며, Stasheff 다면체의 생성 함수는 단체의 생성 함수를 변수로 하는 이차방정식의 근으로 표현된다는 것이다.

ABSTRACT

We show that the family of standard simplices and the family of Stasheff polytopes are dual to each other in the following sense. The chain modules of the standard simplices, resp. the Stasheff polytopes, assemble to give an operad. We show that these operads are dual of each other in the operadic sense. The main result of this paper is to show that they are both Koszul operads. As a consequence the generating series of the standard simplices and the generating series of the Stasheff polytopes are inverse to each other. The two operads give rise to new types of algebras with 3 generating operations, 11 relations, respectively 7 relations, that we call {\it associative trialgebras} and {\it dendriform trialgebras} respectively. The free dendriform trialgebra, which is based on planar trees, has an interesting Hopf algebra structure, which will be dealt with in another paper. Similarly the family of cubes gives rise to an operad which happens to be self-dual for Koszul duality.

연구 동기 및 목표

• 표준 단체와 Stasheff 다면체의 작도 간에 Koszul 쌍대성을 수립하기 위해.
• 세 개의 이항 연산을 갖는 특수한 결합성과 유사한 관계를 만족하는 연산자로 구성된 연산적 및 덴드라이포름 트라이알제브를 정의하고 연구하기 위해.
• 이 트라이알제브와 관련된 작도가 Koszul임을 증명하여, 이에 대응하는 다면체 가족의 생성 함수가 형식적으로 서로의 역함수임을 보여주기 위해.
• 입방체 트라이알제브로의 프레임워크 확장을 통해 관련 작도가 자기쌍대이자 여전히 Koszul임을 보여주기 위해.

제안 방법

• 표준 단체의 체인 복합체로 일변수 생성자를 갖는 자유 결합적 트라이알제브를 구성하며, 면과 분해 사상에 의해 연산을 정의한다.
• 세 개의 연산(≺, ≻, ·)으로 구성된 덴드라이포름 트라이알제브를 정의하고, 이들이 7개의 관계를 만족함을 보이며, 자유 대수가 평면 트리의 대수와 동형임을 보인다.
• 단체 작도와 결합체 작도 간의 이중성을 이용하여, 관련된 Koszul 복합체가 고갈됨을 증명함으로써 Koszul성의 성립을 보인다.
• 자유 대수와 관련된 단체 복합체에 대한 명시적 변형 수축을 구성함으로써 고갈성을 증명한다.
• 입방체 트라이알제브로의 프레임워크 확장을 위해 세 개의 연산(≺, ·, ≻)을 도입하고, 이들이 9개의 관계를 만족함을 보이며, 결과적으로 작도가 자기쌍대임을 증명한다.
• 초입방체의 체인 복합체를 사용하여, 입방체 트라이알제브 작도의 호몰로지가 차수 1에 집중되어 있음을 보임으로써 Koszul 성질을 검증한다.

실험 결과

연구 질문

• RQ1 표준 단체와 Stasheff 다면체의 작도는 상호 Koszul 쌍대인가?
• RQ2 자유 덴드라이포름 트라이알제브는 평면 트리의 대수로 실현될 수 있으며, 이로부터 호프 대수의 구조가 유도되는가?
• RQ3 단체와 결합체의 작도 생성 함수 간의 관계는 무엇이며, Koszul 쌍대성은 이 맥락에서 어떻게 나타나는가?
• RQ4 초입방체 가족과 관련된 자기쌍대 작도가 존재하는가? 만약 존재한다면, 그 대수적 및 호몰로지적 성질은 무엇인가?
• RQ5 입방체 트라이알제브 작도의 Koszul 복합체가 고갈임을 증명할 수 있으며, 이는 작도의 Koszul성에 어떤 함의를 갖는가?

주요 결과

• 자유 덴드라이포름 트라이알제브와 관련된 Koszul 복합체의 고갈성에 의해, 표준 단체와 Stasheff 다면체의 작도가 상호 Koszul 쌍대임이 입증된다.
• Stasheff 다면체의 생성 함수 $ f^{ ilde{ ext{K}}}_t(x) $ 는 표준 단체의 생성 함수 $ f^{ ilde{ ext{Δ}}}_t(x) $ 와의 복합 함수에서 역함수 관계를 만족하며, $ f^{ ilde{ ext{Δ}}}_t(f^{ ilde{ ext{K}}}_t(x)) = x $ 를 만족한다.
• Stasheff 다면체의 생성 함수는 $ f^{ ilde{ ext{K}}}_t(x) = \frac{-(1+(2+t)x) + \sqrt{1+2(2+t)x + t^2x^2}}{2(1+t)x} $ 로 명시적으로 주어지며, 이는 결합체의 Poincaré 다항식에서 유도된다.
• 일변수 생성자를 갖는 자유 결합적 트라이알제브는 표준 단체의 세포로 선형적으로 생성되며, 체인 복합체는 $ \Delta^{n-1} $ 의 정규화된 체인 복합체와 동형이며, 이는 고갈임을 의미한다.
• 입방체 트라이알제브 작도는 자기쌍대이며, 그 생성 함수 $ f^I_t(x) = \frac{-x}{1 + (2+t)x} $ 는 스스로의 복합 함수 역함수임을 보여 Koszul 성질을 확인한다.
• 벡터 공간 $ V $ 에 대한 자유 입방체 트라이알제브의 호몰로지는 $ n=1 $ 일 때 $ H_n = V $ 이고, 그 외의 경우 0이다. 이는 관련 체인 복합체의 고갈성을 통해 입방체 작도의 Koszul 성질을 증명한다.