[논문 리뷰] Relation between two geometrically defined bases in representations of $GL_n$

Alexander Braverman, Dennis Gaitsgory외 1명|ArXiv.org|2004. 11. 11.

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

한 줄 요약

이 논문은 $GL_n$의 기약 표현의 무게 공간에서 스프링거 기저와 미르코비치-비론센(MV) 기저가 일치함을 증명한다. 기하적 표현론을 통해, 아핀 그라스만이안을 통한 두 가지 표현 실현 방식을 비교하고, $GL_n$-표현의 특성 0 체 위에서 교차 코호몰로지 계산을 통해 Zastava 공간에서의 컨볼루션 및 펄스비 sheaf 기법을 활용하여 등가성을 확립한다.

ABSTRACT

Let $V$ be an irreducible representation of group $GL_n({\mathbb C})$, which appears as a submodule in $({\mathbb C}^n)^{\otimes d}$, where ${\mathbb C}^n$ is the tautological $n$-dimensional representation of $GL_n$, and $d$ is a non-negative integer. On the one hand, following refs [Gi] and [BG] one can produce a basis in $V$ using irreducible components of Sringer fibers over a nilpotent matrix in ${\mathfrak {gl}}_d$, whose Jordan blocks correspond to the highest weight of $V$. On the other hand, one can produce a basis in $V$ by Mirković-Vilonen cycles, a construction that works for an arbitrary reductive group $G$. In this note we prove that the resulting to bases coincide.

연구 동기 및 목표

• 기약 $GL_n$-표현의 무게 공간에서 스프링거 기저와 미르코비치-비론센(MV) 기저의 등가성을 확립한다.
• 스프링거 피브어와 아핀 그라스만이안 위의 구면 펄스비 sheaf를 통한 두 기하적 표현 구성 방식을 연결한다.
• 두 개의 아핀 그라스만이안 $\operatorname{Gr}_{GL_n}$을 곱한 구조인 $\operatorname{Gr}_{GL_n \times GL_n}$을 활용하여 두 기저를 비교한다.
• $GL_n \times GL_n$을 $GL_{2n}$의 리 군으로 간주하여 기하적 사타케 대응을 통해 비교를 가능하게 한다.
• Zastava 공간의 교차 코호몰로지를 계산하여 두 기저의 일치를 증명하며, [BFGM]의 결과를 기반으로 한다.

제안 방법

• $GL_n$의 기약 표현 $V^\lambda$를 $V^{\otimes d}$의 직접 합성부로 실현하며, $\lambda$는 주어진 무게의 코중량에 대응한다.
• 스프링거 기저는 무게 $\lambda$에 대응하는 조르당 형식을 가진 영행렬 위의 스프링거 피브어의 기약 성분을 통해 구성한다.
• MV 기저는 $GL_n$에 대한 구면 펄스비 sheaf $\operatorname{IC}^\lambda$의 지지부위와 반무한 궤도 $S(\mu)$의 교차의 기약 성분으로 정의한다.
• 아핀 그라스만이안 위의 컨볼루션 구조를 이용하여, 구면 펄스비 sheaf를 통한 표현의 텐서곱을 실현하고, 이로 인해 스프링거 기저와 동형인 제3의 기저를 얻는다.
• $\operatorname{Gr}_{GL_n \times GL_n} \simeq \operatorname{Gr}_{GL_{2n}}$에서 $GL_n \times GL_n$을 $GL_{2n}$의 리 군으로 포함시켜 두 기하적 기저를 비교한다.
• [BFGM]의 Zastava 공간의 교차 코호몰로지 결과를 적용하여, $X^\mu \times_{X^{(d)}} \operatorname{Mod}_E^d$ 위의 펄스비 sheaf의 동형을 통해 두 기저가 일치함을 결론짓는다.

실험 결과

연구 질문

• RQ1 기약 $GL_n$-표현의 무게 공간에서 스프링거 기저와 미르코비치-비론센 기저가 일치하는가?
• RQ2 스프링거 피브어를 통한 표현 실현과 아핀 그라스만이안 위의 구면 펄스비 sheaf를 통한 표현 실현 방식이 공통된 기하적 프레임워크를 통해 연결될 수 있는가?
• RQ3 아핀 그라스만이안 위의 구면 펄스비 sheaf의 컨볼루션을 통해 유도된 기저는 스프링거 기저와 등가인가?
• RQ4 Zastava 공간의 교차 코호몰로지는 $GL_n$의 경우 스프링거 기저와 MV 기저 사이의 다리 역할을 하는가?
• RQ5 두 기저의 비교는 $GL_n \times GL_n \subset GL_{2n}$의 리 군 포함을 통해 $\operatorname{Gr}_{GL_{2n}}$ 기하학의 계산으로 환원될 수 있는가?

주요 결과

• 기약 $GL_n$-표현의 무게 공간 $V^\lambda(\mu)$에서 스프링거 기저와 미르코비치-비론센(MV) 기저는 자연스럽게 동형이다.
• 두 기저 간의 동형은, $X^\mu \times_{X^{(d)}} \operatorname{Mod}_E^d$ 위의 동일한 펄스비 sheaf에 대한 두 가지 다른 구성 방식—전역 스프링거 해상과 아핀 그라스만이안 위의 컨볼루션—이 일치함을 보여서 확립된다.
• 핵심 식별은 두 구성 모두 $\overset{\circ}{X}^\mu \times_{X^\mu} \operatorname{Conv}^{\overline{d}'}(\operatorname{Mod}_E)$ 위에서 동일한 상수 펄스비 sheaf를 유도하며, 이는 소형 사상 $p_n$에 의해 보존된다는 사실에서 유래한다.
• 펄스비 sheaf의 동형 $\mathfrak{q}(\mu)_!(\mathcal{F}^d_{\text{glob}})[d'(\mu)] \simeq (p_n)_!(\overline{\mathbb{Q}}_\ell[d \cdot n])$은 전역적으로나 $d \cdot x \in X^{(d)}$ 위의 섹션에서나 성립하며, 이는 기저의 등가성을 확인한다.
• 이 증명은 $p_n: \operatorname{Conv}^{\overline{d}'}(\operatorname{Mod}_E) \to \operatorname{Mod}_E^d$의 소형성에 의존하며, 이는 편향된 t-구조를 유지하고 코호몰로지를 상수 sheaf와 일치시킨다.
• 최종적인 기저 식별은 [BFGM]에서의 Zastava 공간의 교차 코호몰로지 계산에 기반하며, 이는 두 실현 방식을 동치로 만드는 데 필요한 기하적 입력을 제공한다.