[논문 리뷰] The smash product of symmetric functions. Extended abstract

Marcelo Aguiar, Walter Ferrer외 1명|ArXiv.org|2004. 12. 01.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 5

한 줄 요약

이 논문은 대칭 함수 위에 새로운 호프 대수 곱셈인 '스매시 곱셈'을 도입한다. 이는 대칭군 표현의 유도 및 제약을 통해 고전적인 내부 곱셈과 외부 곱셈 사이를 보간하는 구조를 지닌다. 주요 기여는 비가환 대칭 함수에서의 구조 상수에 대한 조합론적 규칙과, 알파벳을 통한 정의된 쿼اسي대칭 함수에 대한 쌍대 코프로덕트로, 스매시 코프로덕트는 알파벳 $(\mathbf{1}+{\bf X})\times(\mathbf{1}+{\bf Y}) - \mathbf{1}$ 에서의 평가로 주어지며, 이는 순열 대칭 대수의 스매시 곱셈과의 이중성을 확립한다.

ABSTRACT

We construct a new operation among representations of the symmetric group that interpolates between the classical internal and external products, which are defined in terms of tensor product and induction of representations. Following Malvenuto and Reutenauer, we pass from symmetric functions to non-commutative symmetric functions and from there to the algebra of permutations in order to relate the internal and external products to the composition and convolution of linear endomorphisms of the tensor algebra. The new product we construct corresponds to the smash product of endomorphisms of the tensor algebra. For symmetric functions, the smash product is given by a construction which combines induction and restriction of representations. For non-commutative symmetric functions, the structure constants of the smash product are given by an explicit combinatorial rule which extends a well-known result of Garsia, Remmel, Reutenauer, and Solomon for the descent algebra. We describe the dual operation among quasi-symmetric functions in terms of alphabets.

연구 동기 및 목표

• 대칭군 표현의 고전적인 내부 곱셈과 외부 곱셈 사이를 부드럽게 보간하는 대칭 함수 위의 새로운 연산을 정의하는 것.
• 비가환 대칭 함수 수준으로 이 보간을 확장하기 위해, 구조 상수에 대한 조합론적 규칙을 사용하는 것.
• 알파벳을 이용한 새로운 코프로덕트 구성으로 쿼اسي대칭 함수 위의 쌍대 연산을 정의하는 것.
• 순열 대칭 대수의 스매시 곱셈과 쿼اسي대칭 함수의 코프로덕트 사이의 이중성을 확립하는 것.
• 끝으로, 자기 사상의 복합과 콘볼루션을 통해 대칭 함수, 비가환 대칭 함수, 텐서 대수를 연결하는 통합 프레임워크를 제공하는 것.

제안 방법

• 스매시 곱셈은 텐서 대수의 자기 사상으로 내부 곱셈과 외부 곱셈을 올리며, 이는 각각 복합과 콘볼루션에 해당한다.
• 매르베누토-루텐아우어 이sovorphism을 사용하여 대칭 함수와 비가환 대칭 함수, 순열 대수 간의 관계를 연결한다.
• 비가환 대칭 함수에서 스매시 곱셈의 구조 상수는 가르시아–레멜–루텐아우어–솔로몬의 내림차순 대수에 대한 결과를 확장한 명시적 조합론적 규칙으로 주어진다.
• 쿼اسي대칭 함수의 쌍대 코프로덕트는 스매시 곱셈과의 페어링을 통해 정의되며, 함수를 알파벳 \\((\mathbf{1}+{\bf X})\times(\mathbf{1}+{\bf Y}) - \mathbf{1}\\) 에서 평가함으로써 이루어지며, 이 알파벳은 ${\bf X}$, ${\bf Y}$, ${\bf X} \times {\bf Y}$ 의 분리 합집합이며 역 사전순서로 정렬된다.
• 스매시 코프로덕트를 갖는 쿼اسي대칭 함수 호프 대수의 쌍대원소는 알파벳 ${\bf X}^*$ 의 반대에서의 평가로 주어진다. 여기서 ${\bf X}^*$ 는 ${\bf X}$ 의 모든 카르테시안 곱의 분리 합집합이다.
• 완비된 쌍대 공간 $\widehat{\mathcal{Q}}$ 에서의 생성 함수 사상 $\varphi(f) = f({\bf e}({\bf X}))$ 가 정의되며, 이는 순열 대수에서의 콘볼루션과 스매시 곱셈의 구조 간의 이sovorphism에 대해 쌍대임을 보였다.

실험 결과

연구 질문

• RQ1 대칭군 표현의 내부 곱셈과 외부 곱셈 사이를 매끄럽게 보간하는 대칭 함수 위의 새로운 곱셈을 어떻게 정의할 수 있는가?
• RQ2 비가환 대칭 함수 대수에서 스매시 곱셈의 조합론적 구조는 무엇이며, 내림차순 대수에 대한 기존 결과를 어떻게 일반화하는가?
• RQ3 쿼اسي대칭 함수 위의 쌍대 코프로덕트는 어떻게 실현되며, 알파벳 기반으로 해석할 수 있는 대수적·조합론적 의미는 무엇인가?
• RQ4 순열 대수의 스매시 곱셈에 대해 쌍대가 되는 쿼اسي대칭 함수 호프 대수의 코프로덕트의 정확한 형태는 무엇인가?
• RQ5 스매시 코프로덕트를 갖는 쿼اسي대칭 함수 호프 대수의 쌍대원소는 알파벳 ${\bf X}^*$ 에서의 평가와 어떻게 관련되어 있는가?

주요 결과

• 대칭 함수 위의 스매시 곱셈은 대칭군 표현의 유도 및 제약의 조합으로 실현되며, 이는 내부 곱셈과 외부 곱셈을 통합적으로 보간하는 데 기여한다.
• 비가환 대칭 함수 대수에서 스매시 곱셈의 구조 상수는 가르시아–레멜–루텐아우어–솔로몬의 내림차순 대수에 대한 결과를 일반화한 명시적 조합론적 규칙으로 주어진다.
• 쿼اسي대칭 함수 호프 대수에서의 쌍대 코프로덕트 $\Delta_{\#}$ 는 $\Delta_{\#}(f({\bf X})) = f((\mathbf{1}+{\bf X})\times(\mathbf{1}+{\bf Y}) - \mathbf{1})$ 로 명시적으로 주어지며, 이 알파벳은 ${\bf X}$, ${\bf Y}$, ${\bf X} \times {\bf Y}$ 의 분리 합집합이며 역 사전순서로 정렬된다.
• 스매시 코프로덕트를 갖는 쿼اسي대칭 함수 호프 대수의 쌍대원소는 $S_{\#}(f) = f(-{\bf X}^*)$ 로 주어지며, 여기서 ${\bf X}^*$ 는 ${\bf X}$ 의 모든 카르테시안 곱의 분리 합집합이며 역 사전순서로 정렬된다.
• 알파벳 ${\bf e}({\bf X})$ ( строго 증가 수열로 이루어진 알파벳) 에서의 평가를 사용하는 사상 $\varphi(f) = f({\bf e}({\bf X}))$ 는 순열 대수에서의 콘볼루션과 스매시 곱셈의 구조 간의 이sovorphism에 대해 쌍대임을 보였다.
• 스매시 코프로덕트를 갖는 호프 대수 $\mathcal{Q}$ 는 연결된 호프 대수 $(\Sigma, \#, \Delta)$ 와 이중 페어링을 이루며, 이는 두 구조 간의 완전한 이중성을 확립한다.