[논문 리뷰] A Giambelli formula for isotropic Grassmannians

Anders Skovsted Buch, Andrew Kresch외 1명|Zurich Open Repository and Archive (University of Zurich)|2008. 11. 17.

Advanced Combinatorial Mathematics참고 문헌 13인용 수 24

한 줄 요약

이 논문은 심플렉틱 및 홀수 올라운드 그라스만이안의 정수 코homology에서 임의의 쇼베르트 클래스를 특수 쇼베르트 클래스의 다항식으로 표현하는 이소트로픽 그라스만이안에 대한 지아멘벨리 공식을 수립한다. 주요 기여는 C형 타입의 바일 군 원소의 축소 인수분해를 통해 이소트로픽 그라스만이안의 쇼베르트 계산과 일치하는 대칭 함수의 대칭 함수로 나타내어지는 '티타 다항식'의 도입이다. 이는 바일리-하이먼 쇼베르트 다항식의 실현을 통해 슈어 $Q$-함수와 $S$-다항식의 곱의 양의 선형 조합임을 보여준다.

ABSTRACT

Let X be a symplectic or odd orthogonal Grassmannian parametrizing isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in H^*(X,Z) as a polynomial in certain special Schubert classes. We study theta polynomials, a family of polynomials defined using raising operators whose algebra agrees with the Schubert calculus on X. Furthermore, we prove that theta polynomials are special cases of Billey-Haiman Schubert polynomials and use this connection to express the former as positive linear combinations of products of Schur Q-functions and S-polynomials.

연구 동기 및 목표

• 클래식한 지아멘벨리 공식을 라그랑주 경우를 초월하여 이소트로픽 그라스만이안으로 확장한다.
• 이소트로픽 그라스만이안의 쇼베르트 계산과 대칭 함수의 대칭 구조가 일치하는 다항식의 가족인 '티타 다항식'을 정의하고 연구한다.
• 티타 다항식과 C형 타입의 바일리-하이먼 쇼베르트 다항식 사이의 연결 고리를 설정한다.
• 티타 다항식을 슈어 $Q$-함수와 $S$-다항식의 곱의 양의 선형 조합으로 표현한다.
• 크라스키에비치 표편과 상승 연산자를 사용하여 이소트로픽 그라스만이안의 쇼베르트 계산에 대한 조합론적 프레임워크를 제공한다.

제안 방법

• 이소트로픽 그라스만이안 $\mathrm{IG}(n-k,2n)$의 쇼베르트 클래스를 색인화하기 위해 $k$-엄격 분할을 도입하여 라그랑주 경우에 사용된 엄격 분할을 일반화한다.
• 상승 연산자를 사용하여 티타 다항식 $\Theta_\lambda(x;y)$를 정의하고, 이들이 $\mathrm{H}^*(\mathrm{IG},\mathbb{Z})$의 쇼베르트 클래스와 동일한 곱셈 규칙를 만족함을 보인다.
• 바일 군 원소의 축소 인수분해를 이용하여 티타 다항식이 C형 바일리-하이먼 쇼베르트 다항식의 특수한 경우임을 증명한다.
• 확장식 $\Theta_\lambda(x;y) = \sum_{uv=w_\lambda} F_u(x) \mathfrak{S}_v(y)$ 를 사용하여 티타 다항식을 스탠리 대칭 다항식과 슈어 다항식과 연결한다.
• 다음과 같은 표현식을 통해 $\Theta_\lambda(x;y) = \sum_{\mu,\nu} e^\lambda_{\mu\nu} Q_\mu(x) s_{\nu'}(y)$ 를 확립하며, 여기서 $e^\lambda_{\mu\nu}$ 는 $w_\lambda w_\nu^{-1}$ 에 대해 형상 $\mu$ 의 크라스키에비치 표편의 수를 뜻한다.
• C형 쇼베르트 다항식과의 연결 고리를 활용하여 지아멘벨리 공식을 유도하고, 슈어 $Q$-함수 및 $S$-함수 기저에서의 양의 성질을 증명한다.

실험 결과

연구 질문

• RQ1 라그랑주 경우를 초월하여 이소트로픽 그라스만이안에 대한 지아멘벨리 공식을 어떻게 일반화할 수 있는가?
• RQ2 심플렉틱 및 홀수 올라운드 그라스만이안의 코homology에서 쇼베르트 클래스의 대수적 구조는 무엇인가?
• RQ3 티타 다항식은 C형 타입의 바일리-하이먼 쇼베르트 다항식과 어떻게 관련이 있는가?
• RQ4 티타 다항식은 슈어 $Q$-함수와 $S$-다항식의 곱의 양의 선형 조합으로 표현될 수 있는가?
• RQ5 쇼베르트 계산의 구조 계수를 제어하는 조합론적 대상(예: 표편)은 무엇인가?

주요 결과

• 논문은 이소트로픽 그라스만이안 $\mathrm{IG}(n-k,2n)$ 에 대해 지아멘벨리 공식을 증명하여, 임의의 쇼베르트 클래스 $\sigma_\lambda$ 가 특수 쇼베르트 클래스 $\sigma_r$ 의 다항식으로 표현됨을 보였다.
• 티타 다항식 $\Theta_\lambda(x;y)$ 는 C형 쇼베르트 다항식 $\mathfrak{C}_{w_\lambda}(x;y)$ 와 동일시되며, 이는 쇼베르트 계산에서의 역할을 명확히 한다.
• 티타 다항식은 슈어 $Q$-함수와 $S$-다항식의 곱의 양의 선형 조합으로 표현되며, $\Theta_\lambda(x;y) = \sum_{\mu,\nu} e^\lambda_{\mu\nu} Q_\mu(x) s_{\nu'}(y)$ 로 표현된다.
• 다항식 $\Theta_\lambda(x;y)$ 의 $x$-차수에서 가장 높은 동차 항은 C형 스탠리 대칭 다항식 $F_{w_\lambda}(x) = R^\lambda q_\lambda(x)$ 이다.
• 가장 낮은 $x$-차수 항은 $Q_{\lambda^1}(x) s_{(\lambda^2)'}(y)$ 이며, 이는 0-그라스만이안 원소 $w_\lambda w_{\lambda^2}^{-1}$ 와 대응된다.
• 특히 $k=1$ 인 경우, $\Theta_{321}(x;y)$ 의 전개가 명시적으로 계산되었으며, $(Q_{42}+Q_{321}) + (Q_{41}+2Q_{32})s_{1'} + 2Q_{31}s_{11'} + Q_{21}s_{111'}$ 로 표현되며, 표편의 수를 통해 계수들이 확인된다.