[논문 리뷰] The associative operad and the weak order on the symmetric groups

Marcelo Aguiar, Muriel Livernet|ArXiv.org|2005. 11. 29.

Advanced Topics in Algebra참고 문헌 18인용 수 13

한 줄 요약

이 논문은 약한 순서 위에서 모비우스 역행을 통해 군 대수의 새로운 기저를 도입하여, 연관 법칙 작용소와 대칭군 위의 약한 순서 사이의 깊은 연결을 확립한다. 이 기저에서 작용소의 복합은 약한 순서의 구간에 대한 합으로 표현되며, 이는 코레디컬 필터링이 작용소 필터링임을 드러내고, 1을 고정하는 순열에 대응하는 기저 원소들의 합으로 다이너크의 아이디포텐트에 대한 단순한 공식을 제공한다.

ABSTRACT

The associative operad is a certain algebraic structure on the sequence of group algebras of the symmetric groups. The weak order is a partial order on the symmetric group. There is a natural linear basis of each symmetric group algebra, related to the group basis by Mobius inversion for the weak order. We describe the operad structure on this second basis: the surprising result is that each operadic composition is a sum over an interval of the weak order. We deduce that the coradical filtration is an operad filtration. The Lie operad, a suboperad of the associative operad, sits in the first component of the filtration. As a corollary to our results, we derive a simple explicit expression for Dynkin's idempotent in terms of the second basis. There are combinatorial procedures for constructing a planar binary tree from a permutation, and a composition from a planar binary tree. These define set-theoretic quotients of each symmetric group algebra. We show that they are operad quotients of the associative operad. Moreover, the Hopf kernels of these quotient maps are suboperads of the associative operad.

연구 동기 및 목표

• 대칭군의 군 대수에서 연관 법칙 작용소의 비대칭 작용소 구조를 이해하기 위해.
• 대칭군 위의 약한 순서가 작용소 구조와 어떻게 상호작용하는지 조사하기 위해.
• 멀베누토-로이텐아우어 호프 대수의 원시 원소들의 공간이 하위작용소를 이룬다는지 확인하기 위해.
• 새로운 군 대수 기저에서 다이너크의 아이디포텐트에 대한 명시적 표현을 유도하기 위해.
• 평면 이진 트리와 내림차순에 의해 정의된 몫 사상이 비대칭 작용소 몫을 유도하며, 이들의 복합이 구간 기반임을 보여주기 위해.

제안 방법

• 약한 순서 위에서 모비우스 역행을 통해 $ M_\sigma = \sum_{\sigma \leq \tau} \mu(\sigma,\tau) F_\tau $ 라는 새로운 기저를 정의한다.
• 각 작용소 복합 $ M_\sigma \circ_i M_\tau $ 가 약한 순서에서 구간 $[\sigma \circ_i \tau, \sigma \circ_i \tau \cdot \text{inv}(\tau)]$ 에 대한 합임을 증명한다.
• 약한 순서의 구조와 샤프링을 이용하여 복합의 지지 집합을 순열 패턴의 관점에서 묘사한다.
• 각 성분이 작용소 복합에 대해 닫혀져 있음을 보여, 멀베누토-로이텐아우어 호프 대수의 코레디컬 필터링이 작용소 필터링임을 증명한다.
• 평면 이진 트리와 내림차순 집합을 통해 비대칭 작용소 몫을 구성하며, 이들의 작용소 구조도 역시 구간 기반임을 보인다.
• 수학적 귀납법과 연산 $ \{x,y\} = x \circ_1 y - y \circ_1 x $ 를 사용하여 다이너크의 아이디포텐트 $ \theta_n $ 에 대한 닫힌 형태 표현을 유도한다: $ \sum_{\sigma \in S_n, \sigma(1)=1} M_\sigma $.

실험 결과

연구 질문

• RQ1 연관 법칙 작용소의 구조는 대칭군 대수의 모비우스 역행 기저에서 어떻게 나타나는가?
• RQ2 멀베누토-로이텐아우어 호프 대수의 원시 원소들이 연관 법칙 작용소의 연산에 대해 닫혀 있는가?
• RQ3 순열에서 평면 이진 트리나 내림차순 집합으로의 몫 사상에 비대칭 작용소 구조를 부여할 수 있는가?
• RQ4 다이너크의 아이디포텐트는 $ M_\sigma $-기저에서 명시적으로 어떻게 표현되는가?
• RQ5 리 작용소는 연관 법칙 작용소의 코레디컬 필터링의 하위작용소인가?

주요 결과

• 작용소 복합 $ M_\sigma \circ_i M_\tau $ 는 약한 순서에서 구간 $[\sigma \circ_i \tau, \sigma \circ_i \tau \cdot \text{inv}(\tau)]$ 에 대한 합이다.
• 멀베누토-로이텐아우어 호프 대수의 코레디컬 필터링은 작용소 필터링이며, 각 성분이 작용소 복합에 대해 닫혀져 있음을 의미한다.
• 연관 법칙 작용소의 원시 원소들의 공간은 비대칭 하위작용소이며, 이는 리 작용소가 코레디컬 필터링의 하위작용소임을 확인한다.
• 다이너크의 아이디포텐트 $ \theta_n $ 은 명시적으로 $ \sum_{\sigma \in S_n, \sigma(1)=1} M_\sigma $ 로 주어지며, 1을 고정하는 순열에 대한 단순한 합이다.
• 내림차순에 의한 몫 사상으로 정의된 연관 법칙 작용소의 몫은 비대칭 작용소이며, 그 구조 사상은 약한 순서의 구간에 대한 합이다.
• 내림차순 몫 사상의 호프 커널은 연관 법칙 작용소의 비대칭 하위작용소이다.