[논문 리뷰] K-theoretic Schubert calculus for OG(n,2n+1) and jeu de taquin for shifted increasing tableaux

Edward Clifford, Hugh Thomas외 1명|Archipelago (Université du Québec à Montréal)|2010. 02. 08.

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

한 줄 요약

이 논문은 기껏해야 비틀린 증가 표편(tableaux)에 대한 jeu de taquin을 사용하여 기하학적 구조체(K-theory)의 오드 올리고나리안 그라스만ian $OG(n,2n+1)$에 대한 리틀우드-리치아드슨 규칙을 증명한다. 이 규칙은 구조 상수 $C_{\rho,\rho}^{\nu}$ 가 $\nu/\rho$ 형태의 비틀린 증가 표편 중에서 $S_{\rho}$로 정규화되는 것의 수에 $(-1)^{|\nu|-|\rho|-|\rho|}$를 곱한 것과 같음을 보여준다. 주요 기여는 비틀린 증가 표편에 대한 $K$-정규화의 잘 정의됨과 결합법칙의 증명으로, 이는 [Thomas-Yong '09]에서 제기한 추측을 확인한다.

ABSTRACT

We present a proof of a Littlewood-Richardson rule for the K-theory of odd orthogonal Grassmannians OG(n,2n+1), as conjectured in [Thomas-Yong '09]. Specifically, we prove that rectification using the jeu de taquin for increasing shifted tableaux introduced there, is well-defined and gives rise to an associative product. Recently, [Buch-Ravikumar '09] proved a Pieri rule for OG(n,2n+1) that [Feigenbaum-Sergel '09] showed confirms a special case of the conjecture. Together, these results imply the aforementioned conjecture.

연구 동기 및 목표

• 기하학적 구조체(K-theory)의 오드 올리고나리안 그라스만ian $OG(n,2n+1)$에 대한 완전한 리틀우드-리치아드슨 규칙을 수립하여 일반 코homology를 넘어서는 것을 목표로 한다.
• [Thomas-Yong '09]에서 제기한 $OG(n,2n+1)$에 대한 $K$-이론적 쇼버트 계산 이론에 대한 추측을 비틀린 증가 표편에 대한 jeu de taquin을 통해 해결한다.
• 비틀린 증가 표편의 $K$-정규화가 잘 정의되어 있고 결합법칙이 성립함을 증명하여 그로텐디크 환에서 일관된 곱 구조를 보장한다.
• 정규화의 조합론적 성질을 $K^0(OG(n,2n+1))$의 구조 상수 $C_{\rho,\rho}^{\nu}$와 연결하여 완전히 명시적인 규칙을 제공한다.

제안 방법

• 비틀린 증가 표편에 대한 $K$-정규화를 jeu de taquin을 통해 정의하고, 고전적 정규화를 $K$-이론적 맥락으로 일반화한다.
• jeu de taquin 알고리즘을 사용하여 비틀린 표편(skew shifted tableaux)을 직선 형태로 변환하는 정규화 과정을 정의하며, 최종 표편는 초표준 채우기(superstandard filling)가 된다.
• 비틀린 증가 표편의 $K$-정규화를 이용하여 $C_{\rho,\rho}^{\nu}$를 부호가 있는 표편 수로 정의하며, 부호는 크기 차이 $|\nu| - |\rho| - |\rho|$에 의해 결정된다.
• 부크와 라비쿠마르가 최근에 증명한 $OG(n,2n+1)$에 대한 피에리 규칙을 활용하여 특수 케이스를 확인하고, 이 결과와 정규화 결과를 조합함으로써 전체 추측을 증명한다.
• $K$-이론에서의 대칭성과 피카르 대칭성 원리를 활용하여 경계 아이디얼 층 $[\rho X_{\rho}]$ 가 $[\rho X_{\rho}] = (1 - [{\frak O}_{(1)}]) [{\frak O}_{X_{\rho}}]$ 를 만족함을 보이며, 쇼버트 기저의 대칭성을 뒷받침한다.
• 특정 조건 하에서 정규화의 유일성과 잘 정의됨을 보이기 위해 귀납적 추론과 표편 채우기에서의 LIS(가장 긴 증가 부분수열) 성질을 활용한다.

실험 결과

연구 질문

• RQ1 비틀린 증가 표편에 대한 $K$-정규화 과정이 jeu de taquin 슬라이드의 순서에 영향을 받지 않고 잘 정의되어 있는가?
• RQ2 형태 $\nu/\rho$를 가진 비틀린 증가 표편 중에서 초표준 표편 $S_{\rho}$로 정규화되는 것의 수가 올바른 $K$-이론적 구조 상수 $C_{\rho,\rho}^{\nu}$ 를 제공하는가?
• RQ3 비틀린 증가 표편의 jeu de taquin과 정규화를 사용하여 $OG(n,2n+1)$의 $K$-이론적 리틀우드-리치아드슨 규칙을 완전히 수립할 수 있는가?
• RQ4 비틀린 증가 표편의 수가 $(-1)^{|\nu|-|\rho|-|\rho|}$ 배된 값과 같아야 하는 $K$-이론적 쇼버트 구조 상수 $C_{\rho,\rho}^{\nu}$ 가 추측과 일치하는가?
• RQ5 $K^0(OG(n,2n+1))$에서 $[\frak O_{X_{\rho}}]$ 와 $[\rho X_{\rho}]$ 사이의 대칭성 관계가 성립하는가? 그리고 이는 쇼버트 기저의 대칭성을 어떻게 뒷받침하는가?

주요 결과

• 어떤 비틀린 증가 표편이라도, 그것이 초표준 표편으로 정규화될 경우, jeu de taquin 슬라이드의 순서에 영향을 받지 않고 $K$-정규화가 잘 정의되어 있다.
• 그로텐디크 환 $K^0(OG(n,2n+1))$에서의 구조 상수 $C_{\rho,\rho}^{\nu}$ 는 $\nu/\rho$ 형태의 비틀린 증가 표편 중에서 초표준 표편 $S_{\rho}$로 정규화되는 것의 수에 $(-1)^{|\nu|-|\rho|-|\rho|}$를 곱한 것과 같다.
• 특수 케이스 $\nu = \rho^{\bullet}$ (비틀린 계단형)에서 $C_{\rho,\rho}^{\rho^{\bullet}} = 1$ 이며, $\rho^{\bullet} = \rho^{\bullet}$ 이면 성립하고, 그렇지 않으면 0이 되며, 이는 대칭 조건을 확인한다.
• 이 규칙은 부크와 라비쿠마르가 최근에 증명한 피에리 규칙과 일치하며, 이는 추측의 특수 케이스를 확인한다.
• $K^0(OG(n,2n+1))$에서 관계식 $[\rho X_{\rho}] = (1 - [{\frak O}_{(1)}]) [{\frak O}_{X_{\rho}}]$ 가 성립하며, 이는 쇼버트 기저의 대칭성을 뒷받침한다.
• 이 증명은 $OG(n,2n+1)$에서 $K$-이론적 쇼버트 계산 이론에 대한 첫 번째 완전한 리틀우드-리치아드슨 규칙을 확립하며, 일반 코homology를 초월한 유효성을 가진다.