[논문 리뷰] Perverse Bundles and Calogero-Moser Spaces

Dani Ben‐Zvi, Thomas Nevins|ArXiv.org|2006. 10. 03.

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

한 줄 요약

이 논문은 매끄러운 복소곡선 위의 무토션 ${\mathcal{D}}$-_bundle의 모듈리 공간과 무토션 쇄층의 모듈리 공간 위의 외부 쌍대접선다발 사이의 기하학적 대응을 설정하며, 와일 대수의 이상들에 대한 칼로제로-모저 퀴버 다양체 기술을 일반화한다. 비가환 베일리송 변환과 코스졸 듀얼리티를 사용하여, 곡선 $X$ 위의 $n$-입자 유 rational 칼로제로-모저 공간을 제2 체르니클 클래스가 $n$인 자명하게 프레임된 ${\mathcal{D}}$-선다발의 모듈리 공간으로 식별함으로써, 진츠부르크의 질문을 해결한다.

ABSTRACT

We present a simple description of moduli spaces of torsion-free D-modules (``D-bundles'') on general smooth complex curves X, generalizing the identification of the space of ideals in the Weyl algebra with Calogero-Moser quiver varieties. Namely, we show that the moduli of D-bundles form twisted cotangent bundles to stacks of torsion sheaves on X, answering a question of Ginzburg. The corresponding (untwisted) cotangent bundles are identified with moduli of ``perverse vector bundles'' on T^*X, which contain as open subsets the moduli of framed torsion-free sheaves (the Hilbert schemes (T^*X)^[n] in the rank one case). The proof is based on the description of the derived category of D-modules on X by a noncommutative version of the Beilinson transform on the projective line.

연구 동기 및 목표

• 두 차원 복소평면 $\mathbb{C}^2$ 위의 하이버트 스킴과 칼로제로-모저 공간의 대응을 고계수 곡선으로 일반화하기.
• 와일 대수의 이상들에 대한 베라스트-윌슨 정리의 고계수 곡선 해석을 해결하기 위한 진츠부르크의 질문을 해결하기.
• 유도 범주와 비가환 기하학을 사용하여 매끄러운 곡선 위의 무토션 ${\mathcal{D}}$-모듈러스 공간을 묘사하기.
• 호모토피류를 통한 코스졸 복합체를 통해 ${\mathcal{D}}$-다발과 칼로제로-모저 관계를 만족하는 퀴버 자료 사이의 대응을 설정하기.

제안 방법

• 곡선 $X$ 위의 ${\mathcal{D}}$-모듈러스의 유도 범주를 묘사하기 위해 $\mathbb{P}^1$ 위의 비가환 베일리송 변환의 변형을 사용한다.
• ${\mathcal{D}}^1$-모듈러스와 $\mathbb{C}[x]$-모듈러스의 복합체를 통해 ${\mathcal{D}}$-다발의 구조에서 코스졸 자료를 구성한다.
• 호모토피 이론을 적용하여 각 ${\mathcal{D}}$-다발이 관계 $[X,Y] + ij = I$를 만족하는 유일한 사중조 $(X,Y,i,j)$와 대응됨을 보인다. 이는 칼로제로-모저 관계이다.
• 해밀턴 감소를 통해 ${\mathcal{D}}$-다발의 모듈리 공간을 무토션 쇄층의 모듈리 공간 위의 외부 쌍대접선다발로 식별한다.
• 압축된 쌍대접선다발 $S = \mathbb{P}(T_X \oplus \mathcal{O}_X)$ 위의 편태적 벡터다발을 사용하여, 프레임된 무토션 자유 쇄층의 모듈리 공간을 실현한다.
• 모듈리 공간 $\mathsf{CM}_n(X)$가 제2 체르니클 클래스가 $n$인 자명하게 프레임된 ${\mathcal{D}}$-선다발의 모듈리 공간임을 보여, $n$-입자 라이프라티브 칼로제로-모저 공간을 식별한다.

실험 결과

연구 질문

• RQ1 와일 대수의 이상들의 모듈리 공간은 어떻게 고계수 곡선으로 일반화될 수 있는가?
• RQ2 매끄러운 곡선 $X$ 위의 무토션 ${\mathcal{D}}$-모듈러스의 기하학적 구조는 무엇인가?
• RQ3 곡선 $X$ 위의 칼로제로-모저 공간 $\mathsf{CM}_n(X)$는 ${\mathcal{D}}$-다발의 기하학과 어떻게 관련이 있는가?
• RQ4 비가환 베일리송 변환은 유도된 퀴버 유사 자료를 통해 곡선 위의 ${\mathcal{D}}$-모듈러스를 묘사하는 데 사용될 수 있는가?
• RQ5 정확히 $\mathsf{CM}_n(X)$와 제2 체르니클 클래스가 $n$인 프레임된 ${\mathcal{D}}$-선다발 사이의 대응은 무엇인가?

주요 결과

• 매끄러운 곡선 $X$ 위의 $n$-입자 라이프라티브 칼로제로-모저 시스템의 모듈리 공간 $\mathsf{CM}_n(X)$는 제2 체르니클 클래스가 $n$인 자명하게 프레임된 ${\mathcal{D}}$-선다발의 모듈리 공간으로 식별되며, 이는 진츠부르크의 질문을 해결한다.
• 무토션 ${\mathcal{D}}$-다발의 모듈리 공간은 길이 $n$인 무토션 쇄층의 모듈리 공간 위의 외부 쌍대접선다발을 형성하며, 이는 고전적인 $\mathbb{C}^2$ 경우를 일반화한다.
• $\mathsf{CM}_n(X)$는 $T^*Q_n(X)$의 항등원에서의 해밀턴 감소로 실현되며, 여기서 $Q_n(X)$는 길이 $n$인 무토션 쇄층 $Q$와 $H^0(Q)$에 속하는 $i$를 포함하는 쌍 $(\mathcal{O}_X^n \to Q, i)$를 매개변수화한다.
• 코스졸 듀얼리티 구축을 통해 ${\mathcal{D}}$-다발과 관계 $[X,Y] + ij = I$를 만족하는 사중조 $(X,Y,i,j)$ 사이의 일대일 대응이 존재하며, 이는 호모토피류를 통해 이루어진다.
• 각 코스졸 자료의 호모토피류는 유일한 CM 사중조와 대응되며, 호모토피류로 몫을 취한 후 이 대응은 전단사임을 증명함으로써 분류가 완성된다.
• 무토션 쌍대접선다발은 $\mathbb{P}(T_X \oplus \mathcal{O}_X)$ 위의 편태적 벡터다발의 모듈리 공간과 일치하며, 순수한 랭크 1의 경우에서 하이버트 스킴 $T^*X^{[n]}$은 열린 부분집합으로 포함된다.