[논문 리뷰] $k$-Schur functions and affine Schubert calculus

Thomas Lam, Luc Lapointe외 4명|eScholarship (California Digital Library)|2013. 01. 16.

Advanced Combinatorial Mathematics인용 수 15

한 줄 요약

이 논문은 $k$-Schur 함수—Macdonald 다항식의 양성과 관련된 조합적 대칭 함수—와 애फ인 슈부르트 계산, 즉 애फ인 그라스만이안의 기하학 사이의 깊은 연결을 수립한다. 약한 및 강한 표편, $k$-Pieri 규칙, $k$-Schur 함수를 사용한 통합 프레임워크를 도입하여, $λ^{t}_{(k)}$의 환에 대한 기저로서 그들의 슈어 양성, 곱셈에 대한 $k$-Schur 양성, 그리고 애फ인 슈부르트 계열과의 쌍대성을 증명한다.

ABSTRACT

This book is an exposition of the current state of research of affine Schubert calculus and $k$-Schur functions. This text is based on a series of lectures given at a workshop titled "Affine Schubert Calculus" that took place in July 2010 at the Fields Institute in Toronto, Ontario. The story of this research is told in three parts: 1. Primer on $k$-Schur Functions 2. Stanley symmetric functions and Peterson algebras 3. Affine Schubert calculus

연구 동기 및 목표

• 애फ인 그라스만이안의 기하학적 슈부르트 계산과 $k$-Schur 함수의 조합론 이론을 통합하기 위해.
• 특히 $t=1$ 및 일반적인 경우에 $λ^{t}_{(k)}$에 대한 $k$-Schur 함수가 슈어 양성 기저가 되도록 확립하기 위해.
• 약한 및 강한 순서 간의 쌍대성을 $k$-Schur 함수와 애फ인 삽입을 통해 명확히 하기 위해.
• 애फ인 닐헤이크 대수와 페트슨의 부분대수의 구조 계수에 대한 조합적 모델을 제공하기 위해.
• $k$-Schur 양성, $K$-이론적 확장, 표현론적 실현과 관련된 열린 문제를 탐색하기 위해.

제안 방법

• 약한 및 강한 표편을 사용하여 $k$-Schur 함수와 그 쌍대를 정의하고, $k$-유계 분할을 통한 단항 전개를 제공한다.
• 특히 $t=1$에서 $k$-Pieri 규칙을 적용하여 $λ^{t}_{(k)}$ 내 곱셈을 특성화하고, 고전적 Pieri 규칙을 일반화한다.
• Fomin의 성장 다이어그램과 애फ인 삽입 알고리즘을 사용하여 애फ인 대칭군 위의 약한 및 강한 순서를 모델링한다.
• 약한 및 강한 표편 간의 쌍대성을 $t$-호환 가능한 애फ인 삽입을 통해 증명하는 $k$-해석의 카우치 항등식을 수립한다.
• 널헤이크 환과 애फ인 닐헤이크 대수를 사용하여 애फ인 그라스만이안의 호모로지와 $k$-Schur 함수를 연결한다.
• 페트슨의 중심자 대수의 $j$-기저를 적용하여 $k$-Schur 함수와 $H_T(\mathrm{Gr})$ 내 슈부르트 계열 간의 연결을 확립한다.

실험 결과

연구 질문

• RQ1 $k$-Schur 함수는 애फ인 그라스만이안의 호모로지 내 슈부르트 계열과 어떻게 관련이 있는가?
• RQ2 $k$-Pieri 규칙의 조합론적 구조는 무엇이며, 고전적 Pieri 규칙을 어떻게 일반화하는가?
• RQ3 $k$-Murnaghan-Nakayama 규칙은 $k$-Schur 함수에 대해 어떻게 구성할 수 있는가?
• RQ4 $t$-호환성이 애फ인 삽입에서 어떤 역할을 하는가? 그리고 이는 $k$-Schur 양성과 어떻게 관련이 있는가?
• RQ5 $k$-Schur 함수는 어떻게 $K$-이론적 설정이나 표현론적 모델로 확장될 수 있는가?

주요 결과

• $k$-Schur 함수는 강한 표편과 약한 표편를 통한 명시적 단항 전개를 통해 $λ^{t}_{(k)}$에 대한 슈어 양성 기저를 이룬다.
• $t=1$일 때 $k$-Schur 함수는 $k$-Pieri 규칙을 만족하며, 그 곱은 $k$-Schur 양성이다. 이는 고전적 리틀우드-리치아드슨 양성의 일반화이다.
• $k$-직사각형 성질이 성립한다: $k$가 충분히 크면 $k$-Schur 함수 중 직사각형에 의해 인덱싱된 것은 슈어 함수가 된다.
• $k$-Schur 함수는 코프로덕트에 대해 닫혀 있으며, $ε$-Schur 함수와의 곱셈에 대해 양성 닫힘 부분환을 이룬다.
• 약한 및 강한 순서 간의 쌍대성은 $k$-해석의 카우치 항등식과 $t$-호환 가능한 애फ인 삽입을 통해 실현된다.
• 페트슨의 대수의 $j$-기저는 $λ'_{\mathrm{Fl}} \cong H_T(\mathrm{Gr})$의 동형사상 하에서 $k$-Schur 함수에 대응하며, 조합론과 위상수학을 연결한다.