[논문 리뷰] Kempf collapsing and quiver loci

Allen Knutson, Mark Shimozono|ArXiv.org|2006. 08. 14.

Algebraic structures and combinatorial models참고 문헌 40인용 수 10

한 줄 요약

이 논문은 ADE 쿼버의 쿼버 리오크의 다중도수와 K다항식을 계산하기 위한 통합 프레임워크를 개발한다. 쿠페르의 붕괴 구조를 사용하여, 무게로부터 유도된 선형형식의 곱에 분할 차분 연산자를 적용함으로써, 저자들은 쿼버 다항식과 K이론 클래스에 대한 명시적 공식을 도출한다. 이는 이전 결과를 유형 A를 넘어서 D 및 E 쿼버로 확장하며, 유리적 특이점을 지닌 쿼버에 대해 적용된다.

ABSTRACT

Kempf [1976] studied proper, G-equivariant maps from equivariant vector bundles over flag manifolds to G-representations V, which he called _collapsings_. We give a simple formula for the G-equivariant cohomology class on V, or_multidegree_, associated to the image of a collapsing: apply a certain sequence of divided difference operators to a certain product of linear polynomials, then divide by the number of components in a general fiber. When that number of components is 1, we construct a desingularization of the image of the collapsing. If in addition the image has rational singularities, we can use the desingularization to give also a formula for the G-equivariant K-class of the image, whose leading term is the multidegree. Our application is to quiver loci and quiver polynomials. Let Q be a quiver of finite type (A, D, or E, in arbitrary orientation), and assign a vector space to each vertex. Let \Hom denote the (linear) space of representations of Q with these vector spaces. This carries an action of GL, the product of the general linear groups of the individual vector spaces. A_quiver locus_ Ωis the closure in \Hom of a GL-orbit, and its multidegree is the corresponding _quiver polynomial_. Reineke [2004] proved that every ADE quiver locus is the image of a birational Kempf collapsing (giving a desingularization directly). Using Reineke's collapsings, we give formulae for ADE quiver polynomials, previously only computed in type A (though in this case, our formulae are new). In the A and D cases quiver loci are known to have rational singularities [Bobiński-Zwara 2002], so we also get formulae for their K-classes, which had previously only been computed in equioriented type A (and again our formulae are new).

연구 동기 및 목표

• 쿠페르의 붕괴 구조를 사용하여 쿼버 다항식 공식을 유형 A 쿼버를 넘어서 일반화하기.
• 유한형 쿼버(유형 A, D, E)의 쿼버 리오크의 다중도수를 체계적으로 계산하는 방법을 제공하기.
• 유리적 특이점을 지닌 D 및 E 유형의 쿼버 리오크로 K이론 클래스의 계산을 확장하기.
• 라이네케의 결과를 활용하여, 모든 ADE 쿼버 리오크가 비특이적 쿠페르 붕괴의 상으로 묘사될 수 있도록 통합적 기술 제공하기.

제안 방법

• G·Z의 다중도수를 계산하기 위해, P-불변 부분공간 Z의 다중도수에 연이어 분할 차분 연산자를 적용하기.
• 붕괴의 일반적인 섬유의 성분 수를 공식의 정규화 인자로 사용하기.
• 모든 ADE 쿼버 리오크가 비특이적 쿠페르 붕괴의 상으로 나타남을 보여주는 라이네케의 결과를 활용하기.
• 섬유가 연결되어 있을 경우, 붕괴 사상으로 통해 쿼버 리오크의 분해를 구축하기.
• 이 분해를 통해 쿼버 리오크의 K다항식을 계산하며, 이의 주항은 다중도수이다.
• GL-오빗에 의한 쿠페르 붕괴로 표현되는 A, D, E 쿼버의 쿼버 리오크에 이 방법을 적용하기.

실험 결과

연구 질문

• RQ1 D 및 E 쿼버의 쿼버 리오크의 다중도수는 유형 A와 유사한 통일된 방법으로 계산될 수 있는가?
• RQ2 G-동차 코hom로 클래스(다중도수)의 쿠페르 붕괴 상에 대한 정확한 공식은 무엇인가?
• RQ3 어떤 조건에서 쿠페르 붕괴를 통한 분해를 통해 쿼버 리오크의 K-클래스를 계산할 수 있는가?
• RQ4 분할 차분 연산자가 무게의 곱에 어떻게 작용하여 쿼버 다항식을 도출하는가?
• RQ5 자신의 루프나 다중 간선이 없는 쿼버의 경우, B-불변 부분공간의 GL-스윕은 일반 쿼버 리오크보다 더 잘 행동하는 대상군을 이룬다 할 수 있는가?

주요 결과

• 유형 A, D, 또는 E의 쿼버 리오크의 다중도수는 Y/Z에 있는 T-무게의 곱에 분할 차분 연산자를 연이어 적용한 후, 섬유 성분의 수로 나누어 주어진다.
• 유형 A의 경우, 공식은 알려진 이중 슈어 다항식 $s_{(m-r)\times(n-r)}[X-Y]$를 회복하며, 지아마벨리-톰-포르투아즈 공식과 일치한다.
• 유형 D 및 E의 경우, 동일한 방법은 이전에 유형 A로 국한되었던 결과를 넘어서 쿼버 다항식에 대한 새로운 공식을 도출한다.
• 붕괴가 비특이적이고 이미지가 유리적 특이점을 지닐 경우, 쿼버 리오크의 K다항식은 분해를 통해 계산되며, K클래스에 대한 새로운 공식을 도출한다.
• 이 방법은 ADE 쿼버 전반에 동일하게 적용되며, 핵심 통찰은 라이네케의 구조가 표준적인 분해를 제공한다는 것이다.
• 자신의 루프나 다중 간선이 없는 쿼버의 경우, 유한한 수의 B-불변 부분공간만 존재하므로, 이러한 부분공간의 GL-스윕은 일반적인 쿼버 리오크보다 더 자연스러운 대상군이 될 수 있다.