[논문 리뷰] A Pieri-Chevalley formula in the K-theory of a G/B-bundle

Harsh Pittie, Arun Ram|ArXiv.org|2004. 01. 23.

Advanced Algebra and Geometry참고 문헌 3인용 수 8

한 줄 요약

이 논문은 매끄러운 다양체 $X$ 위의 $G/B$-bundle에 대한 K-이론에서, 동차 선다발 클래스와 샤우베르트 클래스의 곱을 $K(X)$-선형 조합으로 표현하는 피에리-셰바르의 공식을 수립한다. 주요 결과는 리틀만의 경로 모델을 활용하여 구조 상수를 최대 업라이프와 경로의 종점으로 기술하며, 고전적 샤우베르트 계산 결과를 일반화하고 풀턴 및 라스쿠의 공식을 상대적 설정으로 확장한다.

ABSTRACT

The main result of this announcement is a formula for the tensor product of the class of a homogeneous line bundle with a Schubert class, expressed as a K(X)-linear combination of Schubert classes. We believe that this formula is the most general uniform result in the intersection theory of Schubert classes: it is related to a recent result of Fulton and Lascoux who presented a similar formula for a GL_n(C)/B-bundle. Indeed, in this case, their formula and ours coincide once one knows how to translate between their combinatorics with tableaux and ours with Littelmann paths. O. Mathieu has also proved the positivity which is implied by our formula. Applying the Chern character to our formula, and equating the lowest order terms we obtain a relative version of the classical result of Chevalley alluded to in the title of this paper.

연구 동기 및 목표

• 매끄러운 다양체 $X$ 위의 $G/B$-bundle에서 동차 선다발 클래스와 샤우베르트 클래스의 곱에 대한 상대적 K-이론 공식을 개발하는 것.
• K(X)-선형 조합을 통한 샤우베르트 클래스의 표현을 통해 고전적 피에리 및 셰바르 공식을 상대적 설정으로 일반화하는 것.
• 리틀만의 경로 모델과 $K(E(G/B))$에서의 $W$-작용을 사용하여 샤우베르트 클래스의 교차 이론에 대한 통일된 공식을 수립하는 것.
• 풀턴, 라스쿠, 드무아르의 결과를 확장하여 절대적 및 상대적 샤우베르트 계산을 K-이론에서 통합하는 개념적 프레임워크를 제공하는 것.

제안 방법

• 끌림코브의 링 $K(E(G/B))$를 당김과 관련된 번들의 구성을 통해 $K(X)$-모듈로 정의한다.
• $K(X) \bigotimes R(T)$에서의 $W$-작용을 이용해 $R(T)$에서의 $T_\beta$ 작용을 통해 BGG 유형의 연산자 $T_w$를 정의하고, 이를 $K(E(G/B))$로 확장한다.
• 리틀만의 경로 모델을 적용하여 초기 및 최종 방향을 추적하는 순서 $\vec{a}, \vec{\tau}$를 가진 경로 $\pi \in \mathcal{T}^\lambda$를 인코딩한다.
• 브라하트 순서에서의 최대 업라이프를 통해 구조 상수의 제어를 위한 최종 방향 $v(\pi, w)$를 정의한다.
• $\alpha_i$-경로의 스트링을 사용하여 연산자 항등식 $Y^\lambda T_{w^{-1}} = \sum_{\eta \in \mathcal{T}^\lambda_{\leq w}} T_{v(\eta,w)^{-1}} Y^{\eta(1)}$를 유도한다.
• 이 연산자 공식을 $[\mathcal{O}_{\Omega_1}]$에 적용하여 $K(E(G/B))$에서의 주요 곱 공식을 도출한다.

실험 결과

연구 질문

• RQ1 매끄러운 기저 다양체 $X$ 위의 $G/B$-bundle에서 동차 선다발 클래스와 샤우베르트 클래스의 곱은 K-이론에서 어떻게 표현될 수 있는가?
• RQ2 상대적 K-이론에서 이러한 곱의 구조 상수를 제어하는 데 리틀만의 경로 모델이 수행하는 역할은 무엇인가?
• RQ3 $K(E(G/B))$에서의 $W$-작용과 $K(X)$-모듈러 구조가 통일된 공식을 도출하는 데 어떻게 상호작용하는가?
• RQ4 상대적 피에리-셰바르 공식은 절대적 경우를 어떻게 일반화하며, 풀턴과 라스쿠의 $GL_n/C$ 결과와 어떻게 일치하는가?
• RQ5 브라하트 순서에서의 최대 업라이프는 샤우베르트 클래스의 전개에서 지원을 계산하는 데 어떤 방식으로 기여하는가?

주요 결과

• K(E(G/B))에서의 곱 $y^\lambda [\mathcal{O}_{\Omega_w}]$는 $\sum_{\eta \in \mathcal{T}^\lambda_{\leq w}} [\mathcal{O}_{\Omega_{v(\eta,w)}}] x^{\eta(1)}$로 전개되며, 여기서 $x^{\eta(1)} \in K(X)$이다.
• 이 공식은 임의의 최대 무게 $\lambda$와 임의의 $w \in W$에 대해 유효하여 완전한 상대적 K-이론 분해를 제공한다.
• 구조 상수는 브라하트 순서에서 최대 업라이프로 결정되는 최종 방향 $v(\eta,w)$를 가진 경로 $\eta \in \mathcal{T}^\lambda_{\leq w}$에 의해 인덱싱된다.
• $K(E(G/B))$에서의 $W$-작용은 아이디얼 $\mathcal{I}$와 호환되어 등장하는 $K(E(G/B)) \cong K(X) \otimes_{R(G)} R(T) / \mathcal{I}$의 동형사상이 가능하다.
• 차수의 최소항을 추출하고 케른 캐릭터리를 적용함으로써 고전적 셰바르 공식을 복원한다.
• 이 결과는 구조 상수의 양의성을 함의하며, 상대적 설정에서 마티외의 추측을 확인한다.