[논문 리뷰] Combinatorial Hopf algebras

Jean-Louis Loday, Marı́a Ronco|ArXiv.org|2008. 10. 02.

Advanced Topics in Algebra참고 문헌 55인용 수 55

한 줄 요약

이 논문은 조합적 호프 대수(Combinatorial Hopf Algebras, CHAs)를 자유 또는 코프리미티브 호프 대수로 정의하며, 분해 불가능 원소들 위의 자유 대수(또는 원천 원소들 위의 코프리미티브 코알제브라)로의 표준적 동형사상이 존재함을 통해, 이러한 구조가 원천 원소들 위에 더 세밀한 대수적 연산—예를 들어 전-리, 브레이스, 또는 다중브레이스 대수—를 유도함을 드러낸다. 이는 호프 대수의 성질에 따라 달라진다. 주요 기여는 CHAs를 분류하고 다양한 조합적 호프 대수(예: 콘네스-크라이머 및 K-이론, 양자장론과 관련된 것들)를 통합하는 데 기여하는 양호한 삼중체(operad triple)를 특정하는 것이다. 예를 들어 (Ass, Dipt, MB)와 같은 삼중체이다.

ABSTRACT

We define a "combinatorial Hopf algebra" as a Hopf algebra which is free (or cofree) and equipped with a given isomorphism to the free algebra over the indecomposables (resp. the cofree coalgebra over the primitives). The choice of such an isomorphism implies the existence a finer algebraic structure on the Hopf algebra and on the indecomposables (resp. the primitives). For instance a cofree-cocommutative right-sided combinatorial Hopf algebra is completely determined by its primitive part which is a pre-Lie algebra. The key example is the Connes-Kreimer Hopf algebra. The study of all these combinatorial Hopf algebra types gives rise to several good triples of operads. It involves the operads: dendriform, pre-Lie, brace, and variations of them.

연구 동기 및 목표

• 조합적 호프 대수(CHAs)를 분해 불가능 원소들 위의 자유 대수(또는 원천 원소들 위의 코프리미티브 코알제브라)로의 표준적 동형사상이 존재하는 자유 또는 코프리미티브 호프 대수로 공식화하는 것.
• 특정 조건(예: 오른쪽 쪽성, 코프리미티브성 등) 하에서 원천 원소나 분해 불가능 원소들 위에 나타나는 더 세밀한 대수적 구조(예: 전-리, 브레이스, 다중브레이스)를 밝혀내는 것.
• 운영자 삼중체를 통한 CHAs의 분류를 통해, 원천 원소 위의 대수적 구조와 전체 호프 대수의 구조가 운영자 관계에 의해 지배됨을 보여주는 것.
• 콘네스-크라이머 호프 대수 및 관련 구조(예: K-이론, 양자장론에서의 것들)를 일반화하기 위해, 그들 뒤에 있는 운영자적 및 대수적 틀을 규명하는 것.

제안 방법

• 조합적 호프 대수를 분해 불가능 원소들 위의 자유 대수(또는 원천 원소들 위의 코프리미티브 코알제브라)로의 선택된 동형사상이 존재하는 코프리미티브 또는 자유 호프 대수로 정의하며, 이는 원천 원소들 위에 더 풍부한 대수적 구조를 유도한다.
• 등급 쌍대성을 사용하여 자유-가환 CHAs를 코프리미티브-코가환 버전과 연결하며, 구체적 분석을 위해 코프리미티브 케이스에 집중한다.
• 오른쪽 쪽성과 함께 코프리미티브-코결합성 있는 CHA의 원천 부분이 전-리 대수임을 특징짓고, 보다 일반적으로 코프리미티브-코결합성 있는 CHA의 원천 부분이 다중브레이스 대수(MB-대수)임을 보여준다.
• 다중브레이스 대수 R 위의 텐서 코알제브라 $ T^c(R) $ 가 자연스럽게 호프 대수의 구조를 지닌다는 것을 증명하고, $ Dipt(V) \to T^c(MB(V)) $ 가 동형사상임을 보인다. 이는 운영자 Dipt와 MB 간의 연결을 나타낸다.
• 운영자 삼중체 $ ({\rm C}, {\rm A}, {\rm P}) $, 예를 들어 $ (Com, ComAs, SBrace) $ 를 식별하며, 여기서 $ {\rm C} $ 는 대수적 구조를, $ {\rm A} $ 는 호프 대수를, $ {\rm P} $ 는 원천 부분을 지배하고, $ {\rm A} \to {\rm C} \bullet {\rm P} $ 를 만족한다.
• 선형 순서가 부여된 단순 그래프의 호프 대수 $ H_l(\tilde{\bf G}_0) $ 와 같은 예를 제시하며, 연결된 그래프 분해와 순서 제약 조건을 통해 다중브레이스 구조를 보여준다.

실험 결과

연구 질문

• RQ1 콘네스-크라이머 대수와 같은 예시에서 관찰되는 구조적 풍부함을 포괄할 수 있도록 조합적 호프 대수의 개념을 어떻게 공식화할 수 있는가?
• RQ2 특정 조건(예: 오른쪽 쪽성 또는 코프리미티브성) 하에서 CHA의 동형사상 선택이 원천 원소(또는 분해 불가능 원소) 위에 유도하는 더 세밀한 대수적 구조는 무엇인가?
• RQ3 다양한 CHA 유형(예: 코프리미티브-코결합성, 코가환, 오른쪽 쪽성 등)에서 원천 원소 위의 대수적 구조와 전체 호프 대수의 구조를 지배하는 운영자는 무엇인가?
• RQ4 CHAs의 분류는 양호한 삼중체 운영자 $ ({\rm C}, {\rm A}, {\rm P}) $ 를 통해 통합될 수 있는가? 각 CHA 유형에 대해 구체적인 운영자는 무엇인가?
• RQ5 운영자 복합은 원천 원소에서 전체 호프 대수로의 구조를 어떻게 옮기는가? 이는 일반화된 바이알제브라로 어떻게 일반화될 수 있는가?

주요 결과

• 코프리미티브-코가환이고 오른쪽 쪽성을 가진 조합적 호프 대수의 전체 구조는 그 원천 부분에 의해 완전히 결정되며, 이 원천 부분은 전-리 대수의 구조를 지닌다.
• 코프리미티브-코결합성 있는 CHA의 원천 부분은 다중브레이스 대수(MB-대수)이며, 임의의 MB-대수는 $ T^c(R) $ 위에 호프 대수의 구조를 유도한다. 이때 $ Dipt(V) \to T^c(MB(V)) $ 는 동형사상이다.
• 콘네스-크라이머 호프 대수는 코프로덕트가 오른쪽 쪽 형식을 가진 조합적 호프 대수의 표준적 예시이며, 그 분해 불가능 원소들은 전-리 코알제브라의 구조를 지닌다.
• 선형 순서가 부여된 단순 그래프의 동형류로 이루어진 호프 대수 $ H_l(\tilde{\bf G}_0) $ 는 코프리미티브-코가환인 CHA이며, 연결된 그래프 분해와 순서 제약 조건을 통해 정의된 다중브레이스 구조를 지닌다.
• 코가환이고 오른쪽 쪽성인 경우에 대해 $ (Com, ComAs, SBrace) $ 와 같은 양호한 운영자 삼중체를 특정하였으며, 여기서 $ SBrace $ 는 전-리 운영자와 동형이다.
• 논문은 $ {f X} \to Com \bullet PreLie $ 를 만족하는 운영자 $ {f X} $ 가 존재할 것이라 추측한다. 이는 코가환 오른쪽 쪽성 CHA의 경우에 관찰된 운영자적 구조를 일반화하는 데 기여한다.