[논문 리뷰] Noncommutative Analogs of Monomial Symmetric Functions, Cauchy Identity, and Hall Scalar Product

Lenny Tevlin|ArXiv.org|2007. 12. 13.

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

한 줄 요약

이 논문은 비가환 대칭 함수 대수 NSym 내에서 단항 비가환 대칭 함수와 기본 비가환 대칭 함수의 비가환 대응을 도입하며, 비가환 카우치 항등식과 홀 내적과 유사한 스칼라곱을 수립한다. 이는 리본 슈어 함수가 두 기저 모두에서 음이 아닌 계수로 전개됨을 보이고, 비가환 단항 대칭 함수 $ M^I $ 의 가환 이미지가 구성 $ I $ 의 순열들에 대한 합과 일치함을 보여, 고전적인 단항 대칭 함수를 복원한다.

ABSTRACT

This paper introduces noncommutative analogs of monomial symmetric functions and fundamental noncommutative symmetric functions. The expansion of ribbon Schur functions in both of these basis is nonnegative. With these functions at hand, one can derive a noncommutative Cauchy identity as well as study a noncommutative scalar product implied by Cauchy identity. This scalar product seems be the noncommutative analog of Hall scalar product in the commutative theory.

연구 동기 및 목표

• 비가환 대칭 함수 대수(NSym)에서 단항 대칭 함수와 기본 대칭 함수의 비가환 대응을 구성하기.
• 새로운 기저를 사용하여 비가환 카우치 항등식을 수립하기.
• 비가환 스칼라곱을 정의하고, 이를 가환 이론에서 홀 내적과 유사하게 연구하기.
• 리본 슈어 함수가 비가환 단항 기저와 기본 기저 양쪽 모두에서 음이 아닌 계수로 전개됨을 증명하고, 비가환 코스타 수를 도입하기.

제안 방법

• 비가환 원소의 거듭제곱 합을 포함하는 행렬식 공식을 통해 비가환 단항 대칭 함수 $ M^I $ 를 정의한다.
• 기본 비가환 대칭 함수 $ L^I $ 를 정의하고, 구성 연산 $ \triangleright $ 와 $ \cdot $ 를 사용하여 그 곱셈 규칙을 유도한다.
• 비가환 완전 대칭 함수 $ S^I $ 와 기본 함수 $ L^I $ 를 쌍으로 묶어 비가환 카우치 항등식을 수립하며, 고전적 카우치 항등식을 일반화한다.
• 카우치 항등식을 통해 NSym 위에 스칼라곱을 정의하고, 이가 홀 내적과 유사하게 작용함을 보인다.
• 피에리 유사 공식과 재귀 관계를 사용하여 $ M^I $ 의 가환 이미지가 구성 $ I $ 의 순열들에 대한 합과 일치함을 증명하고, 이를 통해 분할 $ \boldsymbol{\mu} $ 에 대해 $ m_{\boldsymbol{\mu}} $ 를 복원한다.
• 비가환 단항 대칭 함수와 가환 단항 대칭 함수 간의 연결을 확립하기 위해 $ \widetilde{m}_{\boldsymbol{\mu}} = n \sum_{\mathfrak{S}_{n-1}} m_I $ 를 증명하며, 여기서 합은 분할 $ \boldsymbol{\mu} $ 의 한 부분을 고정하는 순열들에 대해 이루어진다.

실험 결과

연구 질문

• RQ1 NSym 내에서 단항 대칭 함수의 비가환 대응을 정의할 수 있으며, 그 가환 이미지가 고전적인 단항 대칭 함수를 복원할 수 있는가?
• RQ2 비가환 카우치 항등식이 존재하는가? 그리고 고전적 대칭 함수 이론에서의 카우치 항등식과의 관계는 어떠한가?
• RQ3 NSym 위에 홀 내적과 유사하게 작용하는 비가환 스칼라곱이 존재하는가?
• RQ4 리본 슈어 함수는 비가환 단항 기저와 기본 기저 양쪽 모두에서 음이 아닌 계수로 전개되는가? 그리고 계수의 조합론적 의미는 무엇인가?
• RQ5 리본 슈어 함수의 전개에서 기본 기저에 대한 계수인 비가환 코스타-게젤 수는 표현 이론적으로 어떻게 해석될 수 있는가?

주요 결과

• 비가환 단항 대칭 함수 $ M^I $ 는 비가환 원소의 거듭제곱 합을 포함하는 행렬식 공식을 통해 정의되며, 그 가환 이미지는 구성 $ I $ 의 순열들에 대한 합과 일치하여 고전적 단항 대칭 함수 $ m_{\boldsymbol{\mu}} $ 를 복원한다.
• $ M^I $ 의 가환 이미지는 $ \widetilde{m}_{\boldsymbol{\mu}} = n \sum_{\mathfrak{S}_{n-1}} m_I $ 를 만족하며, 여기서 합은 분할 $ \boldsymbol{\mu} $ 의 한 부분을 고정하는 순열들에 대해 이루어지므로, $ m_{\boldsymbol{\mu}} $ 의 정밀한 분해를 제공한다.
• 비가환 카우치 항등식이 성립한다: 비가환 설정에서 $ \sum_{I} S^I \otimes L^I = \prod_{i<j} (1 - x_i^{-1}x_j)^{-1} $ 를 만족하며, 고전적 항등식을 일반화한다.
• 카우치 항등식을 통해 정의된 NSym 위의 스칼라곱은 $ \langle S^I, L^J \rangle = \delta_{IJ} $ 를 만족하며, 홀 내적과 유사하게 작용하며, 등장사상임을 보였다.
• 리본 슈어 함수 $ R^I $ 는 비가환 단항 기저 $ M^I $ 와 기본 기저 $ L^I $ 양쪽 모두에서 음이 아닌 계수로 전개되며, 이 계수들은 비가환 코스타 수로 알려져 있다.
• 비가환 코스타-게젤 수는 전개 $ R^I = \sum_J K_{IJ} L^J $ 의 계수로 나타나며, 이들의 구조는 구성의 정렬 및 역정렬 순서와 연결되어 있다.