[논문 리뷰] Polynomialité des coefficients de structure des algèbres de doubles-classes

Omar Tout|arXiv (Cornell University)|2014. 12. 05.

Advanced Algebra and Geometry참고 문헌 24인용 수 3

한 줄 요약

이 학위논문은 Gelfand 쌍 — 특히 초입방체 쌍 $(\mathcal{S}_{2n}, \mathcal{B}_n)$ — 와 관련된 이중 클래스 대수의 구조 계수들이 분할 인덱스에 대해 표현될 때 $n$ 에 대해 다항식임을 증명한다. 표현 이론과 고전적 다항식 및 지ap 열거 이론과의 연결을 통해 저자는 이러한 계수들이 $n$ 에 대한 다항식 함수임을 증명하며, 대칭군 중심에 대한 기존 결과를 확장하고 이를 계산하기 위한 일반적인 프레임워크를 제공한다.

ABSTRACT

In this thesis we studied the structure coefficients and especially their dependence on $n$ in the case of a sequence of double-class algebras. The first chapter is dedicated to the study of the structure coefficients in the general cases of centers of group algebras and double-class algebras. We recall in it the representation theory of finite groups and its link with structure coefficients. We show also that the study of the structure coefficients of double-class algebras is related to the theory of Gelfand pairs and zonal spherical functions by giving, in the case of Gelfand pairs, a theorem similar to that of Frobenius which writes the structure coefficients of the double-class algebra associated to a Gelfand pair in terms of zonal spherical functions. In the second chapter, we recall the Farahat and Higman's theorem about the polynomiality of the structure coefficients of the center of the symmetric group algebra as well as the Ivanov and Kerov's approach to prove this theorem. We give a combinatorial proof to the polynomiality property of the structure coefficients of the Hecke algebra of the pair $(S_{2n},B_n)$ in the third chapter. Our proof uses a universal algebra which projects on the Hecke algebra of $(S_{2n}, B_n)$ for each $n.$ We show that this universal algebra is isomorphic to the algebra of $2$-shifted symmetric functions. In the fourth and last chapter we build a general framework which gives us the form of the structure coefficients in the case of a sequence of double-class algebras. This framework implies the polynomiality property of the structure coefficients of both the center of the symmetric group algebra and the Hecke algebra of $(S_{2n},B_n).$ In addition, we give a polynomiality property for the structure coefficients of both the center of the hyperoctahedral group algebra and the double-class algebra of $diag(S_{n-1})$ in $S_n imes S_{n-1}^{opp}.$

연구 동기 및 목표

• 이중 클래스 대수의 구조 계수들이 매개변수 $n$ 에 따라 어떻게 의존하는지 조사, 특히 Gelfand 쌍의 맥락에서.
• 대칭군 대수 중심에 대한 기존의 다항성 결과를 더 넓은 범위의 이중 클래스 대수로 확장.
• 임의의 Gelfand 쌍에서의 구조 계수에 대한 일반적인 특성 이론 공식 수립.
• 이중 클래스 대수의 구조 계수를 표면 위의 지도의 조합적 열거와 연결, 기존의 양면성 및 비양면성 표면에 대한 결과를 일반화.
• 표현 이론, 대칭 함수, 위상적 그래프 이론을 다항식 구조 계수를 통해 통합하는 프레임워크 제공.

제안 방법

• Gelfand 쌍에 대한 특성 이론과 일반화된 Frobenius 공식을 활용하여, 구조 계수를 구면 zonal 함수의 형태로 표현.
• Jack 다항식 및 zonal 다항식 이론을 적용하여, 구조 계수를 대칭 함수 전개의 계수로 모델링.
• 이중 클래스 대수와 지도 열거 간의 연결을 활용: 구조 계수는 표면(양면성 또는 비양면성) 위에서 특정한 정점 차수를 가진 지도의 수를 세며.
• 특히 쌍 $(\mathcal{S}_{2n}, \mathcal{B}_n)$ 에서 대수의 기저가 $n$ 의 분할에 의해 인덱싱되므로 다항식 매개변수화가 가능하다는 사실을 활용.
• 생성 함수와 단항식 전개를 활용하여 명시적 공식 유도 및 $n$ 에 대한 다항성 증명.
• Gelfand 쌍의 구조 계수에 대한 일반 정리를 수립하여 [JS12a] 및 [GJ96]의 기존 결과를 확장.

실험 결과

연구 질문

• RQ1 G = \mathcal{S}_{2n} 및 K = \mathcal{B}_n 일 때, 이중 클래스 대수 $\mathbb{C}[K\setminus G/K]$ 의 구조 계수들이 $n$ 에 대해 다항식인가?
• RQ2 임의의 Gelfand 쌍에서의 구조 계수에 대한 일반적인 특성 이론 공식을 수립할 수 있는가, 이는 군 중심의 Frobenius 공식과 유사한가?
• RQ3 $\mathbb{C}[\mathcal{B}_n\setminus \mathcal{S}_{2n}/\mathcal{B}_n]$ 의 구조 계수들이 표면 위의 지도를 얼마나 정확히 세는가, 그리고 이는 대칭군 중심에 대한 기존의 지도 열거 결과를 어떻게 일반화하는가?
• RQ4 n \to \infty 일 때 구조 계수는 점점 어떻게 행동하며, 분할 매개변수에 따라 기능적 형태는 어떻게 되는가?
• RQ5 대칭 함수 이론과 zonal 다항식을 활용하여 구조 계수의 다항성 증명이 가능한가?

주요 결과

• 고정된 분할 인덱스에 대해, 이중 클래스 대수 $\mathbb{C}[\mathcal{B}_n\setminus \mathcal{S}_{2n}/\mathcal{B}_n]$ 의 구조 계수들은 $n$ 에 대해 다항식이다.
• 임의의 Gelfand 쌍에서의 구조 계수에 대한 일반적인 특성 이론 공식이 수립되었으며, 이는 Frobenius 공식을 이중 클래스 설정으로 확장한다.
• $\mathbb{C}[\mathcal{B}_n\setminus \mathcal{S}_{2n}/\mathcal{B}_n]$ 의 구조 계수들은 비양면성 표면 위에서 특정한 정점 차수를 가진 지도의 수를 세며, 이는 양면성 경우를 일반화한다.
• 이 계수들은 zonal 다항식을 기본 함수 기저로 전개할 때의 구조 상수로 나타나며, 이는 Jack 다항식과 연결된다.
• 모든 분할 유형에 걸쳐 일관되게 다항성 결과가 성립하며, 차수는 분할 인덱스의 합으로 제한된다.
• 지도 열거와의 연결은 계수에 대한 조합적 해석을 제공하며, 이는 계수의 정수성과 비음성의 확인을 가능하게 한다.