[논문 리뷰] Replicating of binary operads, Koszul duality, Manin products and average operators

Jun Pei, Chengming Bai외 2명|arXiv (Cornell University)|2012. 12. 02.

Advanced Topics in Algebra참고 문헌 27인용 수 7

한 줄 요약

이 논문은 복제기(duplicators)와 삼중기(triplicators)를 통한 이元 대수적 구조의 복제를 위한 일반적인 작도적 프레임워크를 제안하며, 이들이 이원 이차 작도에서 후속자(successors)와 코즐 유도를 이룬다는 것을 보이고, Perm 또는 ComTriass와의 만진 화이트 프로덕트와 동치임을 보여준다. 평균 연산자가 이러한 복제기를 유도함으로써, 이원, 삼중, 이중형 대수와 같은 기존의 구성들을 하나의 작도적 메커니즘으로 통합함을 입증한다.

ABSTRACT

We consider the notions of the replicators, including the duplicator and triplicator, of a binary operad. As in the closely related notions of di-Var-algebra and tri-Var-algebra in [14], they provide a general operadic definition for the recent constructions of replicating the operations of algebraic structures. We show that taking replicators is in Koszul dual to taking successors in [3] for binary quadratic operads and is equivalent to taking the white product with certain operads such as Perm. We also relate the replicators to the actions of average operators.

연구 동기 및 목표

• 이원 작도에 대해 복제 연산을 일반적인 작도적 정의로 제시하여, 이원대수, 삼중대수 등 기존의 구성들로 확장한다.
• 이원 이차 작도에서 복제기(duplicators/triplicators)를 취하는 것과 후속자(successors)를 취하는 것 사이의 유도 관계를 확립하며, 특히 코즐 유도 하에서 분석한다.
• 복제기 구성이 만진 화이트 프로덕트와 어떻게 관련되어 있으며, 이 연결을 통해 이원대수나 삼중대수와 같은 기존의 대수를 특성화할 수 있는가를 밝힌다.
• 평균 연산자(di- 및 tri-average)가 주어진 대수에서 복제기 대수의 구조를 어떻게 유도하는가를 밝힌다.
• 기존 연구에서 제안된 di-Var-algebras 및 tri-Var-algebras의 개념과 복제기 구성이 동치인지 여부를 밝히고, 그 조건을 규명한다.

제안 방법

• 플레인 이원 트리 위에서 레이블된 트리 연산을 통해 복제기와 삼중기를 정의함으로써, 대수적 구조 내 연산의 복제를 일반화한다.
• 원래의 작도와 트리 복제 규칙에서 유도된 관계를 바탕으로 자유 작도의 몫으로서 복제기 및 삼중기 작도를 구성한다.
• 코즐 유도를 사용하여 이원 이차 작도의 복제기 작도가 그 쌍대 작도의 후속자 작도와 코즐 유도임을 증명한다.
• 원래 작도와 Perm(복제기의 경우) 또는 ComTriass(삼중기의 경우)의 화이트 프로덕트와의 이sovorphism를 확립한다.
• 평균 연산자(di- 및 tri-average)를 정의하고, 이들의 작용이 관계를 유지하는 맵 η를 통해 복제기 작도에서 대수적 구조로의 작도 준동형을 유도함을 보인다.
• 복제기 작도의 관계가 원래 관계와 평균 연산자 공리에서 생성된 이상으로 매핑됨을 검증함으로써, 맵 η가 잘 정의된 작도 준동형을 유도함을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 이원 작도에 대해 대수적 구조 내 연산의 복제 개념을 일반적인 작도적 프레임워크로 형식화할 수 있는가?
• RQ2 복제기 구성(duplicator/triplicator)과 이원 이차 작도에서의 후속자 구성 사이의 코즐 유도 관계는 무엇인가?
• RQ3 복제기는 만진 화이트 프로덕트와 어떻게 관련되어 있으며, 이 연결을 통해 이원대수나 삼중대수와 같은 기존의 대수를 특성화할 수 있는가?
• RQ4 평균 연산자(di- 및 tri-average)는 주어진 대수에서 복제기 대수의 구조를 어떤 방식으로 유도하는가?
• RQ5 복제기 구성은 이전 연구에서 제안된 di-Var-algebra 및 tri-Var-algebra 개념과 동치인가? 어떤 조건에서 동치인가?

주요 결과

• 이원 작도에 대한 복제기 및 삼중기 구성은 그 쌍대 작도의 후속자 구성과 코즐 유도를 이룬다. 이는 작도적 프레임워크 내에서 근본적인 유도 관계를 확립한다.
• 이원 이차 작도의 복제기 작도는 Perm 작도와의 화이트 프로덕트와 이sovomorphic이며, 삼중기 작도는 ComTriass 작도와의 화이트 프로덕트와 이sovomorphic이다.
• 복제기 작도에서 대수적 구조로의 맵 η는 잘 정의된 작도 준동형을 유도함을 증명하여, 평균 연산자가 복제기 대수를 생성함을 입증한다.
• 임의의 P-대수 A가 무게 1인 삼중평균 연산자 P를 갖는다면, 연산 x ·j y = x∘jP(y), x ⊣j y = P(x)∘jy, x ⊢j y = x∘jy 를 정의함으로써 A는 Tdu(P)-대수로 변환된다.
• 이 구성은 기존의 대수를 일반화한다: 결합대수에서 삼중평균 연산자를 적용하면 결합삼중대수를, 리대수에서는 삼중리브니츠 대수를 유도한다.
• 이 프레임워크는 리, 교환, 프리-리 등 다양한 작도에 대해 이원형 및 삼중형 대수를 통합하여, 복제기가 연산 복제를 위한 보편적 메커니즘임을 보여준다.