[논문 리뷰] Isospectral commuting variety and the Harish-Chandra D-module

Victor Ginzburg|arXiv (Cornell University)|2010. 02. 17.

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

한 줄 요약

이 논문은 하리슈-찬드라 D-모듈의 관련 순서 모듈과 등급화된 모듈 사이의 이somorphism을 증명하며, 이는 등급화된 모듈이 이소스펙트럴 통근 대수다양체의 정규화의 구조층과 동형임을 보이고, 이 대수다양체가 코hen-맥컬레이 및 고렌스타인임을 증명한다. $\mathfrak{gl}_n$의 경우, 이는 힐베르트 스킴 위의 국소적으로 자유로운 층이 프로세치 번들의 동형임을 나타내며, M. 하이만의 추측을 확인한다.

ABSTRACT

Let g be a complex reductive Lie algebra with Cartan algebra h. Hotta and Kashiwara defined a holonomic D-module M, on g x h, called Harish-Chandra module. We give an explicit description of gr(M), the associated graded module with respect to a canonical Hodge filtration on M. The description involves the isospectral commuting variety, a subvariety X of g x g x h x h which is a finite extension of the variety of pairs of commuting elements of g. Our main result establishes an isomorphism of gr(M) with the structure sheaf of the normalization of X. It follows, thanks to the theory of polarized Hodge modules, that the normalization of the isospectral commuting variety is Cohen-Macaulay and Gorenstein, confirming a conjecture of M. Haiman. In the special case where g=gl_n, there is an open subset of the isospectral commuting variety that is closely related to the Hilbert scheme of n points in the plane. The sheaf gr(M) gives rise to a locally free sheaf on the Hilbert scheme. We show that the corresponding vector bundle is isomorphic to the Procesi bundle that plays an important role in the work of M. Haiman.

연구 동기 및 목표

• 하리슈-찬드라 $\mathcal{D}$-모듈 $\mathcal{M}$ 가 $\mathfrak{g} \times \mathfrak{t}$ 위에 정의된 자연스러운 호지 필터에 대해 관련 순서 모듈 $\operatorname{gr} \mathcal{M}$ 을 묘사하는 것.
• $\operatorname{gr} \mathcal{M}$ 이 이소스펙트럴 통근 대수다양체 $\mathfrak{X} \subset \mathfrak{g} \times \mathfrak{g} \times \mathfrak{t} \times \mathfrak{t}$ 와 관련된 바를 밝히는 것, 이는 $\mathfrak{g}$ 내에서 통근하는 원소 쌍의 다양체의 유한 확장이다.
• 이소스펙트럴 통근 대수다양체의 정규화가 코헨-맥컬레이 및 고렌스타인임을 증명하여, M. 하이만의 추측을 확인하는 것.
• $\mathfrak{g} = \mathfrak{gl}_n$ 의 경우, $\operatorname{gr} \mathcal{M}$ 과 $\mathbb{C}^2$ 위의 $n$개 점의 힐베르트 스킴 사이의 기하학적 연결을 확립하고, 유도된 벡터 번들의 프로세치 번들과 동형임을 밝히는 것.

제안 방법

• 홀로노믹 $\mathcal{D}$-모듈 $\mathcal{M}$ 에 대한 호지 필터를 사용하여 관련 순서 모듈 $\operatorname{gr} \mathcal{M}$ 을 정의한다.
• 통근 스킴 $\mathfrak{C} \subset \mathfrak{g} \times \mathfrak{g}$ 의 유한 커버로 이소스펙트럴 통근 대수다양체 $\mathfrak{X}$ 를 구성하며, 이는 통근하는 원소 쌍과 그 고유값을 매개변수화한다.
• 편광된 호지 모듈 이론을 적용하여 $\mathfrak{X}$ 의 정규화가 코헨-맥컬레이 및 고렌스타인임을 유추한다.
• $\mathfrak{g} = \mathfrak{gl}_n$ 의 경우, $\mathfrak{X}$ 의 열린 부분집합을 $\mathbb{C}^2$ 위의 $n$개 점의 힐베르트 스킴과 식별하고, $\operatorname{gr} \mathcal{M}$ 이 국소적으로 자유로운 층으로 이르는 동형을 보인다.
• 등급화된 이소모르피즘 $G \times_{N(T)} \mathfrak{T}^r \xrightarrow{\sim} \mathfrak{C}^{rs}$ 를 사용하여 $\mathfrak{C}$ 의 전반적 구조를 몫 $\mathfrak{T}/W$ 와 연결하고, 이를 통해 $\mathfrak{X}$ 의 특이점들을 분석한다.
• 중앙자 및 루트 초평면의 성질과 차원 계산을 통해 $\mathfrak{C}_{\mathfrak{l}}(\mathfrak{g}) \setminus \mathfrak{C}^{rr}$ 의 특이점의 codimension 을 분석한다.

실험 결과

연구 질문

• RQ1 하리슈-찬드라 $\mathcal{D}$-모듈의 관련 순서 모듈 $\operatorname{gr} \mathcal{M}$ 이 이소스펙트럴 통근 대수다양체 $\mathfrak{X}$ 의 정규화의 구조층과 동형인가?
• RQ2 M. 하이만이 추측한 바와 같이, 이소스펙트럴 통근 대수다양체의 정규화는 코헨-맥컬레이 및 고렌스타인인가?
• RQ3 하나의 힐베르트 스킴 위에서 $\mathfrak{g} = \mathfrak{gl}_n$ 일 때, $\mathfrak{g} \times \mathfrak{t}$ 위의 $\operatorname{gr} \mathcal{M}$ 이 $n$개 점의 힐베르트 스킴 위의 벡터 번들을 유도하는가?
• RQ4 힐베르트 스킴 위에 유도된 벡터 번지는 프로세치 번들과 동형인가?

주요 결과

• 관련 순서 모듈 $\operatorname{gr} \mathcal{M}$ 은 이소스펙트럴 통근 대수다양체 $\mathfrak{X}$ 의 정규화의 구조층과 동형이다.
• 이소스펙트럴 통근 대수다양체의 정규화는 코헨-맥컬레이 및 고렌스타인이며, M. 하이만의 추측을 확인한다.
• $\mathfrak{g} = \mathfrak{gl}_n$ 의 경우, $\operatorname{gr} \mathcal{M}$ 은 $\mathbb{C}^2$ 위의 $n$개 점의 힐베르트 스킴 위의 국소적으로 자유로운 층을 유도한다.
• 이 국소적으로 자유로운 층은 프로세치 번들과 동형이며, $n!$-추측과 순환 함수의 연구에서 핵심적인 대상이다.
• $\mathfrak{C}_{\mathfrak{l}}(\mathfrak{g}) \setminus \mathfrak{C}^{rr}$ 의 특이점의 codimension 은 모든 표준 리 보조대수 $\mathfrak{l} \subset \mathfrak{g}$ 에 대해 $\mathfrak{C}(\mathfrak{g})$ 에서 최소 2 이상이다. 이는 정규화가 잘 행동함을 보장한다.
• 집합 $Z = \mathfrak{N}(\mathfrak{l}) + \overset{\circ}{\mathfrak{T}}_{\mathfrak{l}}$ 는 $\mathfrak{C}^{rr}$ 에 포함된 비어있지 않은 자리키 열린 부분집합을 포함하며, 이는 $Z \setminus \mathfrak{C}^{rr}$ 가 $Z$ 에서 codimension $\geq 1$ 을 가짐을 의미한다.