[논문 리뷰] k-Double Schur functions and equivariant (co)homology of the affine Grassmannian

Thomas Lam, Mark Shimozono|arXiv (Cornell University)|2011. 05. 11.

Advanced Combinatorial Mathematics참고 문헌 14인용 수 4

한 줄 요약

이 논문은 $SL_{k+1}$의 아핀 그라스만이의 호몰로지 및 코호몰로지에서 토루스-등변 슈베르트 계열의 다항식 표현으로서 $k$-더블 슈어 함수와 아핀 더블 슈어 함수를 도입한다. 이중 히프 대칭 함수의 이중성에 기반하여, 이러한 대칭 함수와 등변 (코)호몰로지 링 사이에 명시적인 호몰로지-등변 구조를 유지하는 호몰로지-등변 이sovorphism를 수립한다. 변수 전환을 통한 국소화도 포함된다.

ABSTRACT

The Schubert bases of the torus-equivariant homology and cohomology rings of the affine Grassmannian of the special linear group are realized by new families of symmetric functions called k-double Schur functions and affine double Schur functions.

연구 동기 및 목표

• SL_{k+1}의 아핀 그라스만이에서 토루스-등변 슈베르트 계열에 대한 명시적 다항식 표현을 구성하는 것.
• \hat{\Lambda}_{(n)}(y\|a)에서의 $k$-더블 슈어 함수와 $\Lambda^{(n)}(x\|a)$에서의 아phin 더블 슈어 함수 사이의 이중성 관계를 수립하여, $H_T(\mathrm{Gr})$와 $H^T(\mathrm{Gr})$의 슈베르트 기저를 실현하는 것.
• 등변 슈베르트 계산학과 $k$-슈어 함수 이론을 서로 다른 것으로 보이지만, 특수화를 통해 $k$-더블 슈어 함수가 아핀 슈어 함수와 $k$-슈어 함수를 일반화함으로써 두 이론을 통합하는 것.
• 등변 (코)호몰로지의 히프 대칭 함수에 의한 기하적 실현을 제공하여, 곱, 코곱, 국소화와의 호환성을 확보하는 것.
• 유한한 경우에서의 더블 대칭 함수와 등변 코호몰로지의 연결 고리를 아핀 설정으로 확장하며, 무한 그라스만이 극한을 포함하는 것.

제안 방법

• 이중 히프 대칭 함수의 링에서의 몫인 $\Lambda^{(n)}(x\|a)$와 이중 더블 슈어 함수의 부분대수인 $\hat{\Lambda}_{(n)}(y\|a)$를 포함하는 두 개의 이중 히프 대칭 함수를 구성한다.
• $\lambda_1 < n$인 분할에 의해 레이블링된 $s^{(k)}_{\lambda}(y\|a) \in \hat{\Lambda}_{(n)}(y\|a)$인 $k$-더블 슈어 함수와 $\tilde{F}_{\lambda}(x\|a) \in \Lambda^{(n)}(x\|a)$인 아핀 더블 슈어 함수를 정의하여 각 링의 기저로 사용한다.
• $\kappa: \hat{\Lambda}_{(n)}(y\|a) \to H_T(\mathrm{Gr})$를 정의하여 $s^{(k)}_{\lambda}(y\|a)$를 등변 호몰로지 계열 $[X_{w_{\lambda}^{\mathrm{af}}}]_T$로 보낸다. 그 이중 $\kappa^*: H^T(\mathrm{Gr}) \to \Lambda^{(n)}(x\|a)$는 $[X_{w_{\lambda}^{\mathrm{af}}}]^T$를 $\tilde{F}_{\lambda}(x\|a)$로 보낸다.
• 아핀 그라스만이의 GKM 링 구조와 아핀 니르헤이브 대수를 이용하여 등변 (코)호몰로지를 중심자 부분대수로 실현하고, 피터슨의 특성화와 연결한다.
• 아핀 더블 스탠리 대칭 함수 $\tilde{F}_w(x\|a)$를 아핀 더블 슈어 함수의 일반화로 정의하고, 아핀 대칭군에서의 최소 인수분해와의 연결을 보인다.
• 기본 매핑 $\mathbb{Q}[a_1,\dots,a_m] \to \mathbb{Q}[a_1,\dots,a_n]$을 통해 $a_{i+kn} \mapsto a_i$로 정의된 忽略 매핑을 사용하여 $\Lambda^{(m)}(x\|a)$를 $\Lambda^{(n)}(x\|a)$로 축소하고, 등변 $k$-코스타 행렬을 이용하여 전개 계수를 계산한다.

실험 결과

연구 질문

• RQ1 등변 호몰로지 및 코호몰로지의 아핀 그라스만이에서 슈베르트 기저를 동시에 실현하고, 히프 대칭 구조를 유지하는 대칭 함수의 가족을 구성할 수 있는가?
• RQ2 등변 매개변수를 특수화할 경우 $k$-더블 슈어 함수는 고전적 $k$-슈어 함수와 아핀 슈어 함수와 어떻게 관련되는가?
• RQ3 동일한 대칭 함수가 히프 대칭을 통한 구조 상수 계산과 변수 특수화를 통한 등변 국소화를 동시에 수행할 수 있는 기하학적·대수학적 메커니즘은 무엇인가?
• RQ4 무한 그라스만이 $\mathrm{Gr}_\infty$의 등변 코호몰로지는 더블 대칭 함수의 링과 어떻게 관련되며, 아핀 경우와의 연결 고리는 무엇인가?
• RQ5 만일 $m$이 $n$의 배수이면, $\mathrm{Gr}_{SL_m}$에서 $\mathrm{Gr}_{SL_n}$으로 아핀 더블 슈어 함수를 제한할 때의 분기 규칙은 무엇인가?

주요 결과

• $k$-더블 슈어 함수 $s^{(k)}_{\lambda}(y\|a)$와 아핀 더블 슈어 함수 $\tilde{F}_{\lambda}(x\|a)$는 $SL_{k+1}$의 아핀 그라스만이에서의 등변 호몰로지 및 코호몰로지 링의 이중 히프 대칭 기저를 이룬다. $\kappa$와 $\kappa^*$는 명시적인 이sovorphism를 제공한다.
• 등변 매개변수 $a_i$를 0으로 특수화하면, $k$-더블 슈어 함수는 $k$-슈어 함수로 축소되고, 아핀 더블 슈어 함수는 아핀 슈어 함수로 축소되며, [Lam06]과 [LLM, LM]에서 알려진 결과를 회복한다.
• 슈베르트 계열의 등변 국소화는 변수 전환 $\epsilon_v$를 통해 $x$-변수를 $a$-변수로 특수화하여 계산되며, 이는 $T$-고정점 포함에 의한 슈베르트 계열의 당김과 일치한다.
• $\mathrm{Gr}_{SL_m}$에서 $\mathrm{Gr}_{SL_n}$으로의 분기 계수(여기서 $m = rn$ 또는 $m = \infty$)는 忽略 매핑을 통해 등변 $k$-코스타 행렬을 축소하고, $\lambda_1 < n$인 분할로 제한함으로써 계산되며, 표 8.3.1–8.3.3에서 보여진다.
• $n \to \infty$ 극한에서 아핀 더블 슈어 함수 $\tilde{F}_{\lambda}(x\|a)$는 더블 슈어 함수 $s_\lambda(x\|a)$로 축소되며, 이는 무한 그라스만이 $\mathrm{Gr}_\infty$의 슈베르트 기저로 식별된다.
• 이 구성은 제2저자의 추측을 확인하고, 등변 설정에서 니르헤이브 대수에 의한 아핀 그라스만이의 등변 호몰로지의 피터슨 특성화를 확장한다.