[논문 리뷰] Quasi-exceptional sets and equivariant coherent sheaves on the nilpotent cone

Roman Bezrukavnikov|ArXiv.org|2001. 02. 06.

Algebraic structures and combinatorial models인용 수 10

한 줄 요약

이 논문은 nilpotent cone 위의 G--equivariant 코herent sheaves의 유도 범주에 대한 새로운 t-구조를 통해, 주된 무게와 그 중심자에 대한 불가약 표현을 가진 nilpotent 궤도의 쌍 사이의 전단사 관계를 수립한다. 중간 편중성에 의한 편중 t-구조가 표준 객체들의 준예외적 집합에 의해 정의된 t-구조와 일치한다는 것을 보임으로써, 불가약 객체(지수화된 (O,L)에 의해)와 주된 무게 사이의 자연스러운 대응관계를 구성하며, Lusztig와 Vogan의 추측을 기하학적 표현 이론을 통해 해결한다.

ABSTRACT

In math.AG/0005152 a certain $t$-structure on the derived category of equivariant coherent sheaves on the nil-cone of a simple complex algebraic group was introduced (the so-called perverse $t$-structure corresponding to the middle perversity). In the present note we show that the same $t$-structure can be obtained from a natural quasi-exceptional set generating this derived category. As a consequence we obtain a bijection between the sets of dominant weights and pairs consisting of a nilpotent orbit, and an irreducible representation of the centralizer of this element, conjectured by Lusztig and Vogan (and obtained by other means in math.RT/0010089).

연구 동기 및 목표

• 주된 무게의 집합 Λ⁺과 그 중심자의 불가약 표현 L을 가진 nilpotent 궤도 O의 쌍(O,L)의 집합 사이의 자연스러운 전단사 관계를 구성하는 것.
• 기하 Langlands 프로그램의 깊은 결과에 의존하지 않고, Dᵇ(Cohᴳ(𝒩)) 상의 편중 t-구조를 준예외적 집합을 통한 직접적 기하적 구성법을 제공하는 것.
• 이 t-구조의 핵심이 주요 무게에 의해 지수화된 표준 및 코표준 객체를 가진 준헤르베르티안 구조임을 보이는 것.
• 핵심 내의 불가약 객체가 정확히 (O,L) ∈ O에 의해 지수화된 교차 호몰로지 층 IC_{O,L}임을 증명하는 것.
• Lusztig–Vogan 전단사 관계의 새로운, 기본적인 증명을 [B1]과 [G]의 방법에 의존하지 않고 제공하는 것.

제안 방법

• 주된 무게 λ ∈ Λ⁺에 의해 지수화된 이중 가능성이 있는 준예외적 집합 {∇^λ = A_λ[d]}를 통해 Dᵇ(Cohᴳ(𝒩))에 새로운 t-구조를 정의하는 것.
• 집합 {∇^λ}이 유도 범주를 생성하는 준예외적 집합임을 보이며, 이에 대응하는 t-구조가 중간 편중성에 의한 편중 t-구조와 동치임을 보이는 것.
• 이 t-구조의 핵심 𝒫가 주요 무게에 의해 지수화된 코표준 객체 ∇^λ과 불가약 객체 IC_{O,L}를 가진 준헤르베르티안 구조임을 증명하는 것.
• Springer 해체 π: 𝒩̃ → 𝒩가 반중간적임과 동시에 π_*가 코호몰로지 차원을 유지함을 이용하여 A_λ[d]가 t-구조의 심장에 속해 있음을 검증하는 것.
• 대칭성과 적절한 기저 변경을 이용하여 A_λ[d]의 쌍대가 A_{-λ}[d]임을 보이며, t-구조 공리가 만족됨을 확인하는 것.
• 궤도 상의 스토크별 코호몰로지 소멸 조건을 통해 준예외적 집합에 의한 t-구조와 편중 t-구조 사이의 동치성을 확립하는 것.

실험 결과

연구 질문

• RQ1 Dᵇ(Cohᴳ(𝒩)) 상의 편중 t-구조는 아핀 플래그 다양체 위의 편중 층에 의존하지 않고, 준예외적 집합으로부터 직접 구성될 수 있는가?
• RQ2 주된 무게와 nilpotent 궤도 및 중심자의 불가약 표현의 쌍(O,L) 사이에 자연스러운 전단사 관계가 존재하는가?
• RQ3 Dᵇ(Cohᴳ(𝒩)) 상의 편중 t-구조의 핵심이 주된 무게에 의해 지수화된 표준 및 코표준 객체를 가진 준헤르베르티안 구조를 갖는가?
• RQ4 핵심 내의 불가약 객체가 교차 호몰로지 층 IC_{O,L}로 식별될 수 있는가?
• RQ5 기저 {[IC_{O,L}]}와 기저 {[A_λ[d]]} 사이의 전환 행렬이 대각선에 1을 가지며 상삼각행렬인가?

주요 결과

• 중간 편중성에 해당하는 Dᵇ(Cohᴳ(𝒩)) 상의 편중 t-구조는 주된 무게 λ ∈ Λ⁺에 의해 지수화된 준예외적 집합 {A_λ[d]}에 의해 정의된 t-구조와 일치한다.
• 이 t-구조의 핵심 𝒫는 불가약 객체 {IC_{O,L}} (O,L) ∈ O에 의해 지수화되고 주된 무게 λ ∈ Λ⁺에 의해 지수화된 코표준 객체 {A_λ[d]}를 가진 준헤르베르티안 범주이다.
• Hom(IC_{O_λ,L_λ}, A_λ[d]) ≠ 0 조건을 통해 Λ⁺와 O 사이의 자연스러운 전단사 관계가 수립된다.
• 기저 {[IC_{O,L}]}와 {[A_λ]} 사이의 전환 행렬은 대각선에 1을 가지며 상삼각행렬이며, 이는 전단사 관계의 자연스러움을 확인한다.
• Grothendieck 군 K⁰(Cohᴳ(𝒩))은 {[IC_{O,L}]}와 {[A_λ]}에 의해 자유롭게 생성되며, 기저 전환 행렬은 v⁻¹ 모듈로 상삼각행렬이다.
• 이 결과는 기하 Langlands 대응 및 [B1], [G]의 결과에 의존하지 않는 Lusztig–Vogan 전단사 관계의 새로운 직접적 증명을 제공한다.