[논문 리뷰] On categories of equivariant D-modules

András C. Lőrincz, Uli Walther|arXiv (Cornell University)|2018. 06. 06.

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

한 줄 요약

이 논문은 유한한 G-궤도를 가진 대수기하학적 다양체 X 위의 G-등변 D-모듈러스를 연구하며, 그 카테고리가 관계를 가진 유한한 쿼버의 유한차원 표현 카테고리와 동치임을 보여준다. 스pherical G-다양체인 행렬 공간과 같은 경우, 쿼버는 일반적으로 표현 유한성을 띤다. 저자들은 비틀린 푸리에 변환과 모멘트 맵 기법을 통해 특성 사이클과 Pyasetskii 쌍대성을 명시적으로 기술한다.

ABSTRACT

Let $X$ be a variety with an action by an algebraic group $G$. In this paper we discuss various properties of $G$-equivariant $D$-modules on $X$, such as the decompositions of their global sections as representations of $G$ (when $G$ is reductive), and descriptions of the categories that they form. When $G$ acts on $X$ with finitely many orbits, the category of equivariant $D$-modules is isomorphic to the category of finite-dimensional representations of a finite quiver with relations. We describe explicitly these categories for irreducible $G$-modules $X$ that are spherical varieties, and show that in such cases the quivers are almost always representation-finite (i.e. with finitely many indecomposable representations).

연구 동기 및 목표

• G-등변 D-모듈러스의 구조를 유한한 G-궤도를 가진 다양체에서 이해하기.
• G-작용이 유한한 궤도를 가진 경우, 강한 등변 D-모듈러스의 카테고리가 관계를 가진 유한 쿼버의 표현 카테고리와 동치임을 기술하기.
• 선형 재수성 G에 대해, 간단한 등변 D-모듈러스의 전역 단위를 모멘트 맵을 통해 무게 중복도로 분석하기.
• 간단한 등변 D-모듈러스에 대한 특성 사이클과 Pyasetskii 쌍대성을 간단한 등변 D-모듈러스에서 계산하기.
• 대칭, 반대칭, m×n 행렬 공간과 같은 주요 예제들에 대해 명시적인 쿼버 기술과 표현 유한성 결과 제공하기.

제안 방법

• G에 의한 X의 궤도 분해를 사용하여 궤도 위의 불변 국소계층의 기하학적 기반으로 단순한 강한 등변 D-모듈러스를 분류하기.
• G-작용이 유한한 궤도를 가질 경우, G-등변 D-모듈러스의 카테고리를 분류하는 관계를 가진 유한 쿼버를 구성하기.
• 비틀린 푸리에 변환을 적용하여 쌍대 공간 위의 D-모듈러스를 연결하고, 푸리에 대칭을 통해 Pyasetskii 쌍대성을 계산하기.
• 모멘트 맵 기법을 사용하여 선형 재수성 G에 대해 단순 D-모듈러스의 전역 단위에서의 무게 중복도를 추정하기.
• Bernstein–Sato 다항식과 축소 기법을 사용하여 D-모듈러스의 구조와 특성 다양체를 분석하기.
• Riemann–Hilbert 대응과 단순 연결, 반단순인 경우 강한 등변성이 확장에서 보존된다는 사실을 활용하여 특성 다양체를 궤도의 정규쌍대에 연결하기.

실험 결과

연구 질문

• RQ1 G가 X에 유한한 궤도를 가질 때, G-등변 D-모듈러스의 카테고리가 어떻게 기술될 수 있는가?
• RQ2 유한한 궤도를 가질 경우, G-등변 D-모듈러스를 분류하는 쿼버의 구조는 무엇인가?
• RQ3 행렬 공간과 같은 스pherical G-다양체와 같은 경우, 해당 쿼버는 표현 유한성인가?
• RQ4 간단한 등변 D-모듈러스의 특성 사이클은 G-궤도의 정규쌍대와 어떻게 관련되는가?
• RQ5 비틀린 푸리에 변환은 등변 D-모듈러스의 Pyasetskii 쌍대성을 계산하는 데 어떤 역할을 하는가?

주요 결과

• G가 X에 유한한 궤도를 가질 경우, G-등변 D-모듈러스의 카테고리가 관계를 가진 유한 쿼버의 유한차원 표현 카테고리와 동치이다.
• Sp_{2n} ⊗ GL_3 (n ≥ 3)와 같은 경우, 쿼버의 정점은 궤도에 대응하는 (r,s)이며, 관계로는 2-사이클이 0이고 (3,2)와 (0,0)에 고립 정점이 포함된다.
• 비틀린 푸리에 변환은 다음과 같은 단순 D-모듈러스를 매핑한다: S_{3,2} ↦ S_{0,0}, S_{2,2} ↦ S_{1,0}, S_{3,0} ↦ S_{2,0}, 이는 Pyasetskii 쌍대성을 결정한다.
• 각 단순 등변 D-모듈러스 S_{r,s}의 특성 다양체는 기약적이며 궤도 O_{r,s}의 정규쌍대의 폐쇄와 같다. 즉, charC(S_{r,s}) = [T^*_{O_{r,s}}X].
• 선형 재수성, 위상적으로 연결된 G와 매끄러운 X에 대해, 단순 D-모듈러스의 전역 단위에서의 무게 중복도는 모멘트 맵의 이미지로 유계이며 기하학적 불변량으로 추정 가능하다.