[논문 리뷰] Hamiltonian reduction and nearby cycles for Mirabolic D-modules

Gwyn Bellamy, Victor Ginzburg|ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)|2012. 07. 07.

Algebraic structures and combinatorial models참고 문헌 22인용 수 3

한 줄 요약

이 논문은 해밀턴 형식 축소를 통해 $SL_n(\mathbf{C}) \times \mathbf{C}^n$ 위의 미라보릭 D-모듈과 삼각형 체레드니크 대수의 표현 사이에 깊은 연결 고리를 설정한다. 해밀턴 형식 축소에 의해 미라보릭 D-모듈이 제거되는 것은 그 특성 다양체가 불안정한 위치에 있을 때이고, 해밀턴 형식 축소가 D-모듈의 전이 함수와 체레드니크 대수 표현의 전이 함수 사이를 연결함으로써 호지 이론적 순수성 결과를 적용할 수 있음을 보여준다.

ABSTRACT

We study holonomic D-modules on SL_n(C)xC^n, called mirabolic modules, analogous to Lusztig's character sheaves. We describe the supports of simple mirabolic modules. We show that a mirabolic module is killed by the functor of Hamiltonian reduction from the category of mirabolic modules to the category of representations of the trigonometric Cherednik algebra if and only if the characteristic variety of the module is contained in the unstable locus. We introduce an analogue of the Verdier specialization functor for representations of Cherednik algebras which agrees, on category O, with the restriction functor of Bezrukavnikov and Etingof. In type A, we also consider a Verdier specialization functor on mirabolic D-modules. We show that Hamiltonian reduction intertwines specialization functors on mirabolic D-modules with the corresponding functors on representations of the Cherednik algebra. This allows us to apply known purity results for nearby cycles in the setting considered by Bezrukavnikov and Etingof.

연구 동기 및 목표

• 기하학적 정의(특성 다양체를 통한)와 대수학적 정의(포락환 작용을 통한) 사이의 미라보릭 D-모듈에 대한 동치 관계를 수립하기.
• 해밀턴 형식 축소에 의해 미라보릭 D-모듈이 언제 제거되는지 특성 다양체가 불안정한 위치에 있을 때임을 규명하기.
• 체레드니크 대수 표현에 대해 베르드리어 전이 함수를 정의하고, 이 함수가 $\mathcal{O}$ 범주에서 베즈루카브니크와 에팅고의 제약 함수와 일치함을 보여주기.
• 해밀턴 형식 축소가 미라보릭 D-모듈의 전이 함수와 체레드니크 대수 표현의 전이 함수 사이를 연결함을 증명하기.
• 이 상호작용을 통해 체레드니크 대수 표현의 맥락에서 인접 순환에 대한 호지 이론적 순수성 결과를 적용하기.

제안 방법

• 루리에-힐베르트 대응을 사용하여, 루스지크의 문자 층과 유사하게, 미라보릭 D-모듈을 펄서브 셰이브와 연결한다.
• 특성 다양체가 $\mathbb{M}_{\text{nil}}(SL)$라는 라그랑주 부분다양체에 포함된 정칙 헬로닉 D-모듈로써, 미라보릭 D-모듈을 정의한다.
• $\mathfrak{X} = SL_n \times \mathbf{C}^n$ 위의 $G = GL(V)$-작용을 통해, 미라보릭 D-모듈의 범주에서 삼각형 체레드니크 대수의 표현으로의 해밀턴 형식 축소를 적용한다.
• 체레드니크 대수 표현에 대해, $\mathcal{O}$ 범주에서 베즈루카브니크와 에팅고의 제약 함수와 일치하는 전이 함수를 정의한다.
• 해밀턴 형식 축소와의 호환성을 보장하는, 미라보릭 D-모듈에 대한 대응 전이 함수를 구성하고, 이를 증명한다.
• 반경 부분 사상과 이동 함수를 사용하여, $SL_n$ 위의 미분연산자와 체레드니크 대수 작용을 연결하며, $\delta$-왜곡된 미분연산자와 $\kappa$-의존적인 반경 부분 사상을 사용한다.

실험 결과

연구 질문

• RQ1 어떤 경우에 미라보릭 D-모듈이 해밀턴 형식 축소 함수에 의해 제거되는가?
• RQ2 미라보릭 D-모듈의 전이 함수와 체레드니크 대수 표현의 전이 함수 사이의 관계는 어떠한가?
• RQ3 이 틀을 통해 체레드니크 대수 표현의 맥락에서 인접 순환에 대한 호지 이론적 순수성 결과를 확장할 수 있는가?
• RQ4 기하학적 정의와 대수학적 정의 사이의 미라보릭 D-모듈에 대한 정확한 관계는 무엇인가?
• RQ5 $\kappa$-변형의 맥락에서 반경 부분 사상은 하리시-찬드라 호모모르피즘과 어떻게 관련되는가?

주요 결과

• 해밀턴 형식 축소에 의해 제거되는 것은, 미라보릭 D-모듈의 특성 다양체가 $\mathbb{M}_{\text{nil}}(SL)$의 불안정한 위치에 포함될 때이다.
• 체레드니크 대수 표현의 전이 함수는 $\mathcal{O}$ 범주에서 베즈루카브니크와 에팅고의 제약 함수와 일치한다.
• 해밀턴 형식 축소는 미라보릭 D-모듈의 전이 함수와 체레드니크 대수 표현의 전이 함수 사이를 연결한다.
• 반경 부분 사상 $\mathrm{Rad}_w(\Omega_{\mathfrak{sl}})$는 명시적으로 계산되었으며, $\Omega_\mathfrak{t}$, $\partial_\alpha$, 및 $w(w+2)(\rho,\rho)$를 포함하는 공식을 얻는다.
• 모든 $\kappa$에 대해 반경 부분 사상 $\mathfrak{R}$는 다항식 연속을 통해 $\mathfrak{Z}$에서 하리시-찬드라 호모모르피즘과 일치한다.
• 기하학적 정의와 대수학적 정의 사이의 동치 관계가 확립되었으며, 이는 핵심 기초 문제를 해결한다.