[논문 리뷰] A Derived Decomposition for Equivariant $D$-modules

Sam Gunningham|arXiv (Cornell University)|2017. 05. 11.

Algebraic structures and combinatorial models참고 문헌 16인용 수 8

한 줄 요약

이 논문은 재수정 리 대수 $\mathfrak{g}$ 상의 $G$-등변 $D$-모듈의 유도 범주에 대한 수직 분해를, Lusztig의 의미에서의 쿠스피달 데이터 $(L,\mathcal{E})$ 를 색인으로 삼아 수립한다. 각 블록을 제어하는 미분적 가환 대수 $\mathbf{A}$ 를 구성하며, 이는 일반화된 스티븐버그 다양체의 상대 보렐-무어 호모로지로부터 유래되며, 분할되지 않은 매키 필터링을 지니며, 이는 이전의 펄스비어 sheaf 및 정칙 $D$-모듈 결과를 일반화하는 '삼중 아핀' 헤케 대수의 구조를 드러낸다.

ABSTRACT

We show that the adjoint equivariant derived category of $D$-modules on a reductive Lie algebra $\mathfrak{g}$ carries an orthogonal decomposition in to blocks indexed by cuspidal data (in the sense of Lusztig). Each block admits a monadic description in terms a certain monad related to the homology of Steinberg varieties; this monad carries a filtration (the Mackey filtration) whose associated graded functor is given by the action of the relative Weyl group. Furthermore, we show that the Mackey filtration is generally non-split and thus the Springer-theoretic description of the entire equivariant derived category of $D$-modules appears to be substantially more subtle than either the case of the abelian category in earlier work of the author, or the derived category of nilpotent orbital sheaves in work of Rider and Russell. One notable feature of this setting is that the parabolic induction and restriction functors depend on the choice of parabolic subgroup containing a given Levi factor.

연구 동기 및 목표

• 재수정 리 대수 $\mathfrak{g}$ 상의 등변 $D$-모듈의 유도 범주로의 일반화된 스프링거 대응을, 노르말 콘 상의 구성 가능 sheaf 에서 전체 등변 $D$-모듈의 유도 범주로 확장한다.
• 쿠스피달 데이터를 색인으로 하는 블록 분해를 통해 $\mathbf{D}_{\text{coh}}(\mathfrak{g})^G$, 즉 $\mathfrak{g}$ 상의 유한성 등변 $D$-모듈의 유도 범주 구조를 이해한다.
• 각 블록을 제어하는 미분적 가환 대수 $\mathbf{A}$ 를 구성하며, 아벨 및 구성 가능 경우에 알려진 기술을 일반화한다.
• 글로벌 모나드의 대수적 복잡성을 명확히 하기 위해, $L \neq G$ 일 때 $\mathbf{A}$ 상의 매키 필터링이 분할되지 않음을 보여준다.

제안 방법

• 일반화된 스프링거 대응 및 쿠스피달 데이터 $(L,\mathcal{E})$ 를 사용하여 $\mathbf{D}_{\text{coh}}(\mathfrak{g})^G$ 의 수직 블록을 색인화한다.
• 파라보릭 유도의 $\mathfrak{D}_{\mathfrak{z}} \boxtimes \mathcal{E}$ 가 $\mathfrak{z} \times \mathcal{N}_L$ 상에서 유도된 자기 사상 대수로서 $\mathbf{A}_{(P,L,\mathcal{E})}$ 를 구성한다.
• $(P,L,\mathcal{E})$ 와 관련된 스티븐버그 유형의 다양체에 대한 상대 등변 보렐-무어 호모로지로서 $\mathbf{A}$ 를 기하학적으로 실현한다.
• 상대 웨일 군 $W_{(G,L)}$ 를 색인으로 하는 $\underline{\mathfrak{D}}_{\mathfrak{z}}$-이중모듈러스로서 $\mathbf{A}$ 상의 매키 필터링을 수립한다.
• Barr-Beck-Lurie 정리를 적용하여 블록 $\mathbf{D}_{\text{coh}}(\mathfrak{g})^G_{(L,\mathcal{E})}$ 가 $\mathbf{A}$-모듈의 완전 모듈러스 범주로 실현됨을 보인다.
• 매키 필터링이 $L = G$ 가 아닐 경우 분할되지 않음을 보여, 단순한 '삼중 아핀' 헤케 대수를 초월한 비자명한 대수적 구조를 드러낸다.

실험 결과

연구 질문

• RQ1 재수정 리 대수 $\mathfrak{g}$ 상의 등변 $D$-모듈의 유도 범주는 어떻게 쿠스피달 데이터를 색인으로 하는 블록으로 분해될 수 있는가?
• RQ2 등변 $D$-모듈의 유도 범주 내 각 블록을 지배하는 대수적 구조는 무엇인가?
• RQ3 블록을 제어하는 모나드는 스티븐버그 다양체와 상대 웨일 군의 기하학과 어떻게 관련이 있는가?
• RQ4 왜 단순한 '삼중 아핀' 헤케 대수의 추측이 블록 전체의 구조를 기술하지 못하는가?
• RQ5 매키 필터링은 블록을 제어하는 모나드의 분할되지 않은 성질을 드러내는 데 어떤 역할을 하는가?

주요 결과

• 유도 범주 $\mathbf{D}_{\text{coh}}(\mathfrak{g})^G$ 는 쿠스피달 데이터 $(L,\mathcal{E})$ 를 색인으로 하는 수직 블록 분해를 가지며, 서로 다른 블록에 속한 대상들 사이에 $\operatorname{Ext}$-군이 존재하지 않는다.
• 각 블록 $\mathbf{D}_{\text{coh}}(\mathfrak{g})^G_{(L,\mathcal{E})}$ 는 파라보릭 유도 및 제약에서 유도된 모나드를 제어하는 미분적 가환 대수 $\mathbf{A}_{(P,L,\mathcal{E})}$ 의 완전 모듈러스 범주와 동치이다.
• $\mathbf{A}$ 는 $\underline{\mathfrak{D}}_{\mathfrak{z}}$-이중모듈러스로서 필터링을 지니며, 그 순서화된 그룹은 $\underline{\mathfrak{D}}_{\mathfrak{z}} \otimes \mathbb{C}[W_{(G,L)}]$ 와 동형이며, 이는 상대 웨일 군 작용을 반영한다.
• $L = G$ 가 아닐 경우, $\mathbf{A}$ 상의 매키 필터링은 $\underline{\mathfrak{D}}_{\mathfrak{z}}$-이중모듈러스로서 분할되지 않으며, 아벨 또는 구성 가능 경우를 초월한 비자명한 대수적 구조를 시사한다.
• $L = G$ 일 경우, 미분적 가환 대수 $\mathbf{A}$ 는 $\underline{\mathfrak{D}}_{\mathfrak{z}(\mathfrak{g})}$ 로 분해되어 쿠스피달 경우에 알려진 블록 기술을 복원한다.
• $\mathbf{A}$ 는 기하학적으로 일반화된 스티븐버그 다양체의 상대 보렐-무어 호모로지로서 실현되며, 이는 대수적 구조와 등변 호모로지 대수학 간의 연결 고리를 제공한다.