[논문 리뷰] Some dendriform functors

Frédéric Chapoton|ArXiv.org|2009. 09. 15.

Algebraic structures and combinatorial models참고 문헌 12인용 수 3

한 줄 요약

이 논문은 타마리 격자 위의 모듈러 카테고리들을 사용하여 덴드리포름 작동의 분류화를 제안하며, 첫 번째 합성 사상 $\circ_1$, 결합 법칙적 곱 $*$, 그리고 새로운 곱 $\#}$를 분류화하는 함자를 구성한다. 주요 기여는 $\#$ 곱이 프로젝티브 모듈을 보존함을 증명하여, 그 작용이 그로텐디에크 군 수준에서 잘 정의된 함성 분류화를 가능하게 한다.

ABSTRACT

We make a first step towards categorification of the dendriform operad, using categories of modules over the Tamari lattices. This means that we describe some functors that correspond to part of the operad structure.

연구 동기 및 목표

• 타마리 격자의 표현 이론을 활용하여 덴드리포름 작동 $\operatorname{Dend}$ 의 분류화를 시작하기 위해.
• 타마리 순서 집합 위의 모듈러 카테고리에 대해 $\operatorname{Dend}$ 의 작동 이론에 대응하는 함자를 정의하기 위해.
• 카탈란 대체 표를 통해 도입된 $\#$ 곱이 프로젝티브 모듈을 보존함을 보여주어, 그로텐디에크 군 수준에서 잘 정의된 함성 분류화를 유도하기 위해.
• 그로텐디에크 군에서 $\#$ 곱이 오일러 형식을 유지하고 양의 성질을 보존함을 보여주기 위해.

제안 방법

• 플레인 바이너리 트리의 기저를 타마리 순서 집합 카테고리의 그로텐디에크 군 내 단순 모듈로 해석함으로써 분류화를 달성한다.
• $\mathbb{Y}_m \times \mathbb{Y}_n$ 에서 $\mathbb{Y}_{m+n-1}$ 으로의 모듈러 카테고리 간 함자를 $\circ_1$, $*$, $\#$ 작용에 대응시켜 구성한다.
• $\#$ 곱은 비교적 교차하지 않는 구성으로 조합적으로 정의되며, 귀납법과 분해 보조정리를 사용하여 프로젝티브 모듈을 보존함을 보인다.
• 오일러 형식을 사용하여 $\#$ 함자가 그로텐디에크 군의 구조와 호환됨을 검증한다.
• 과도/과거 곱과 비교적 교차하지 않는 트리 성질을 사용하는 구조적 보조정리(예: 보조정리 10.3, 보조정리 10.4)에 기반한 증명이다.
• $\circ_1$ 와 $\#$ 에 대해 프로젝티브 모듈의 카테고리가 닫혀 있음을 보여주어, 원하는 함자를 구성할 수 있다.

실험 결과

연구 질문

• RQ1 타마리 격자 위의 모듈러 카테고리들을 사용하여 덴드리포름 작동을 부분적으로 분류화할 수 있는가?
• RQ2 카탈란 대체 표를 통해 정의된 $\#$ 곱은 모듈러 카테고리 상에서 어떤 함수로 실현될 수 있는가?
• RQ3 $\#$ 곱이 타마리 순서 집합 카테고리 내 프로젝티브 모듈의 부분 카테고리를 보존하는가?
• RQ4 $\#$ 곱이 타마리 순서 집합의 그로텐디에크 군에서 오일러 형식과 호환되는가?
• RQ5 $\#$ 곱이 그로텐디에크 군 내에서 양의 성질과 다중도 없음 합을 보존함을 보일 수 있는가?

주요 결과

• $\#$ 곱이 차수에 대한 귀납법과 과도/과거 곱으로의 분해를 통해 프로젝티브 모듈을 보존함을 증명하였다.
• $\#$ 곱이 $\mathbb{Y}_m \times \mathbb{Y}_n$-모듈의 카테고리에서 $\mathbb{Y}_{m+n-1}$-모듈의 카테고리로 잘 정의된 함수를 유도함을 보였다.
• $\#$ 곱이 오일러 형식을 유지하며, 그로텐디에크 군에서 $E(x\#y) = E(x)\#E(y)$ 를 만족함을 보였다.
• 다중도 없이 플레인 바이너리 트리의 두 합의 $\#$ 곱은 다중도 없이 트리의 합으로 결과가 나오며, 식 (40)에서 이를 보였다.
• 프로젝티브 원소의 집합은 $\circ_1$ 과 $\#$ 에서 $\psfig{height=7.11317pt}$ 와 $\psfig{height=7.11317pt}$ 에 의해 생성됨을 10.6조합에서 확립하였다.
• $\#$ 곱은 양의 원소에서 양의 성질을 보이며, 그로텐디에크 군 내 두 양의 원소의 곱은 여전히 양의 원소이다.