[논문 리뷰] Factorial P- and Q-Schur functions represent equivariant quantum Schubert classes

Takeshi Ikeda, Leonardo C. Mihalcea외 1명|Osaka City University (Osaka City University)|2014. 02. 04.

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

한 줄 요약

이 논문은 B, C, 및 D 유형의 최대 등지적 그라스만이안의 등변 양자 코homology 환에 대한 생성자와 관계의 표현을 제시하고, 계승 P- 및 Q-슈어 다항식을 슈베르트 클래스에 대한 다항식 표현으로 식별한다. 핵심 결과는 등변 코homology의 경우에 사용된 동일한 편평형 공식이 변형 없이 또한 양자 슈베르트 클래스를 나타내며, 지아멜리의 공식을 양자 설정으로 확장한다는 것이다.

ABSTRACT

We find presentations by generators and relations for the equivariant quantum cohomology rings of the maximal isotropic Grassmannians of types B,C and D, and we find polynomial representatives for the Schubert classes in these rings. These representatives are given in terms of the same Pfaffian formulas which appear in the theory of factorial $P$- and $Q$-Schur functions. After specializing to equivariant cohomology, we interpret the resulting presentations and Pfaffian formulas in terms of Chern classes of tautological bundles.

연구 동기 및 목표

• 최대 등지적 그라스만이안의 등변 양자 코homology 환에 대한 생성자와 관계의 표현을 제공하는 것.
• 등변 양자 코homology 설정에서 지아멜리 문제를 해결하기 위해 슈베르트 클래스에 대한 다항식 표현을 식별하는 것.
• 기존에 등변 코homology에서 사용된 계승 P- 및 Q-슈어 다항식의 동일한 편평형 공식이 q-변형 없이도 양자 슈베르트 클래스를 나타낸다는 것을 보여주는 것.
• 등변 코homology로 특수화한 후, 타우토로지컬 번들의 코이븐트 클래스를 기반으로 결과적인 표현과 공식을 해석하는 것.
• 대칭 함수의 조합 도구를 사용하여 등변 코homology에서 알려진 결과를 양자 코homology 설정으로 확장하는 것.

제안 방법

• 등변 양자 코homology 환 내의 슈베르트 클래스에 대한 다항식 표현으로 계승 P- 및 Q-슈어 다항식 $P_{\nu}(x|t)$ 및 $Q_{\nu}(x|t)$의 사용.
• 이들을 표현하기 위해 이ovanov의 계승 슈어 다항식 이론에서 알려진 항등식을 활용한 편평형 공식의 활용.
• 계승 슈어 다항식을 슈베르트 클래스로 매핑하는 환의 준동형 $\pi_n: \mathbb{Z}[t] \otimes \Gamma' \to H_T^*(\mathrm{OG}(n))$ 수립.
• 타우토로지컬 번들의 코이븐트 클래스 $\mathcal{V}, \mathcal{Z}_k, \mathcal{L}$ 및 그 쌍대의 코이븐트 클래스를 사용하여 코homology 환 내의 기하적 관계 유도.
• 차수 분석과 토르션 자유성에 기반한 코homology 환 내의 이차 관계 증명을 통해 다항식 환으로의 상승 가능한 항등식 도출.
• 역극한 기법과 환 $\mathbb{Z}[t] \otimes \Gamma' \to \varprojlim_n H_T^*(\mathrm{OG}(n))$ 의 단사성 이용을 통한 보편 설정으로의 관계 상승.

실험 결과

연구 질문

• RQ1 B, C, 및 D 유형의 최대 등지적 그라스만이안의 등변 양자 코homology 환에 대해 생성자와 관계의 표현을 찾을 수 있는가?
• RQ2 등변 코homology 슈베르트 클래스에 사용된 동일한 편평형 공식이 양자 코homology 환 내의 슈베르트 클래스를 나타내는가?
• RQ3 타우토로지컬 번들의 코이븐트 클래스는 등변 양자 코homology 환의 구조와 어떻게 관련이 있는가?
• RQ4 이 설정에서 코이븐트 클래스가 만족하는 이차 관계의 기하학적 및 대수적 기원은 무엇인가?
• RQ5 q-변형 없이 계승 P- 및 Q-슈어 다항식을 사용하여 등변 양자 슈베르트 클래스의 지아멜리 공식을 표현할 수 있는가?

주요 결과

• 최대 등지적 그라스만이안 $\mathcal{G}_n$ (B, C, D 유형)의 등변 양자 코homology 환 $QH_T^*(\mathcal{G}_n)$ 은 생성자 $c_i^{(k)}$ 와 편평형 항등식에서 유도된 관계를 가진 표현을 갖는다.
• 계승 $P$- 및 $Q$-슈어 다항식 $P_{\nu}(x|t)$ 와 $Q_{\nu}(x|t)$ 는 $QH_T^*(\mathcal{G}_n)$ 내의 슈베르트 클래스 $\sigma_\nu$ 에 대한 다항식 표현을 제공하며, $q$-변형이 필요하지 않다.
• 등변 코hom로의 경우에 사용된 동일한 편평형 공식이 양자 코homology 환 내의 슈베르트 클래스를 나타내며, 양자 매개변수 $q$ 가 존재하더라도 이는 비자명한 결과이다.
• 코이븐트 클래스 항등식과 토르션 자유성에 기반한 코homology 환 내의 관계들, 예를 들어 $(c_k^{(k)})^2 + c_k^T(\mathcal{Z}_k)c_k^{(k)} + \sum_{i=1}^k (-1)^i c_{k-i}^T(\mathcal{V}^* - \mathcal{L} + \mathcal{Z}_k)c_{k+i}^{(k)} = 0$ 는 기하학적으로 도출되며, 이는 토르션 자유성에 기반한다.
• $c_i^{(i)}$ 는 $1 \leq i \leq n$ 에서 슈베르트 클래스 $\sigma_i$ 와 일치하며, $i > n$ 에서는 0이 되어 기하학적 열화 위치 공식과 일致함을 확인한다.
• 환 준동형 $\mathbb{Z}[t] \otimes \Gamma' \to H_T^*(\mathrm{OG}(n))$ 의 $\pi_n$ 을 통한 계승 슈어 다항식에서 슈베르트 클래스로의 사상은 보편 설정으로의 상승이 가능하며, 이는 관계의 안정성을 보장한다.