[논문 리뷰] Ideal Classes of the Weyl Algebra and Noncommutative Projective Geometry (with an Appendix by M. Van den Bergh)

Yuri Berest, George Wilson|ArXiv.org|2001. 04. 26.

Algebraic structures and combinatorial models참고 문헌 21인용 수 5

한 줄 요약

이 논문은 비가환 프로젝티브 기하학과 호모로지 대수학을 이용하여 와일 대수 $A_1(\mathbb{C})$의 우측 아이디얼의 동형류와 랭크가 1인 $[\mathbf{X}, \mathbf{Y}] + \mathbf{I}$ 를 만족하는 행렬 쌍 $(\mathbf{X}, \mathbf{Y})$ 의 동치류 사이의 직접적이고 명시적인 전단사 사상(역사상)을 수립한다. 주요 기여는 이전에 [BW]에서 간접적으로 구성된 사상의 역사상에 대해 간단하고 $\mathrm{Aut}(A)$-불변적인 기술을 제공함으로써, 와일 대수 아이디얼의 분류에 오랫동안 존재하던 빈자리를 메운다.

ABSTRACT

Let R be the set of isomorphism classes of ideals in the Weyl algebra $A=A_{1}$, and let C be the set of isomorphism classes of triples (V; X, Y), where V is a finite-dimensional (complex) vector space, and X, Y are endomorphisms of V such that [X,Y]+I has rank 1. Following a suggestion of L. Le Bruyn, we define a map $θ: R o C$ by appropriately extending an ideal of A to a sheaf over a quantum projective plane, and then using standard methods of homological algebra. We prove that $θ$ is inverse to a bijection $ω: C o R$ constructed in \cite{BW} by a completely different method. The main step in the proof is to show that $θ$ is equivariant with respect to natural actions of the group G=Aut(A) on R and C: for that we have to study also the extensions of an ideal to certain weighted quantum projective planes. Along the way, we find an elementary description of θ.

연구 동기 및 목표

• 논문 [BW]에서 구성된 전단사 사상 $\omega: \mathfrak{C} \to \mathfrak{R}$ 의 역사상에 대해 명시적이고 간단한 기술을 제공함으로써, 이전에 아델릭 그라스만이안에 의존했던 것을 제거한다.
• 와일 대수의 우측 아이디얼 분류에서 아델릭 그라스만이안 $\mathrm{Gr}^{\mathrm{ad}}$ 에 대한 의존도를 제거한다.
• 가중치가 부여된 양자 프로젝티브 평면 위의 층의 확장을 통해 $\theta: \mathfrak{R} \to \mathfrak{C}$ 를 직접적이고 기하학적으로 구성한다.
• $\mathrm{Aut}(A)$ 작용에 대한 불변성을 보여 $\theta$ 가 $\omega$ 와 역관계임을 증명함으로써, 분류 결과를 더 투명한 방식으로 확인한다.

제안 방법

• $\theta: \mathfrak{R} \to \mathfrak{C}$ 는 와일 대수 $A$ 의 우측 아이디얼을 호모로지 대수 기법을 이용해 양자 프로젝티브 평면 위의 층으로 확장함으로써 정의된다.
• 이 구성은 아이디얼을 가중치가 부여된 양자 프로젝티브 평면으로 확장하여 $\mathrm{Aut}(A)$-불변성을 연구함으로써, $\theta$ 의 역관계를 증명하는 데 필수적인 요소를 확보한다.
• 역사상 $\omega: \mathfrak{C} \to \mathfrak{R}$ 는 $E^0$ 이 특정한 $B^0$-$A$-이중모듈로로 정의된 $B^0$-모듈로의 $\operatorname{Tor}_1^{B^0}(M^0, E^0)$ 으로 표현된다.
• 불변성의 증명은 $\mathrm{Aut}(A)$ 작용이 특정한 대수 $B^0$ 의 모듈로의 범주로 올라가며, 이 작용이 $\mathrm{Tor}$ 함수와 가환함을 보여줌으로써 이루어진다.
• $\mathrm{Aut}(A)$ 의 생성자인 $\Psi_{n,\lambda}$ 와 $\Phi_{m,\mu}$ 를 사용하여 $\mathfrak{C}$ 와 $\mathfrak{R}$ 에서의 $\mathrm{Aut}(A)$-작용 간의 호환성을 검증함으로써, $\theta$ 와 $\omega$ 가 서로 역관계임을 보장한다.
• 최종 단계에서는 $\operatorname{Tor}_1^{B^0}(M^0, E^0)$ 가 선택한 생성자 $w$ 에 대해 독립적임을 보여, 역사상의 잘 정의됨을 확인한다.

실험 결과

연구 질문

• RQ1 아델릭 그라스만이안에 대한 참조 없이, 전단사 사상 $\omega: \mathfrak{C} \to \mathfrak{R}$ 의 역사상은 명시적으로 기술될 수 있는가?
• RQ2 양자 프로젝티브 평면 위의 층 확장을 통해 정의된 사상 $\theta: \mathfrak{R} \to \mathfrak{C}$ 는 $\omega$ 와 역관계인가?
• RQ3 $\mathrm{Aut}(A)$-작용이 $\mathfrak{R}$ 와 $\mathfrak{C}$ 에서 $\theta$ 와 $\omega$ 와 가환하는가? 즉, 불변성은 성립하는가?
• RQ4 역사상은 $\operatorname{Tor}_1^{B^0}(M^0, E^0)$ 와 같이 유도된 함자로 표현될 수 있으며, 이때 $E^0$ 은 $A$-모듈로 사상의 쿼버로 정의되는가?
• RQ5 $\theta$ 의 구성이 확장 과정에서의 보조적 선택, 예를 들어 생성자 $w$ 의 선택에 영향을 받는가?

주요 결과

• $\theta: \mathfrak{R} \to \mathfrak{C}$ 는 가중치가 부여된 양자 프로젝티브 평면 위의 층 확장과 호모로지 대수학을 통해 명시적으로 기술되었으며, [BW]에서 구성된 $\omega$ 와의 역관계가 입증되었다.
• 역사상 $\omega$ 는 $E^0$ 이 쿼버 $A \xrightarrow{\mathrm{id}} A \xrightarrow{x\cdot} A$ 와 $A \xrightarrow{\mathrm{id}} A \xrightarrow{y\cdot} A$ 로 정의된 이중모듈로로 표현되는 $\operatorname{Tor}_1^{B^0}(M^0, E^0)$ 으로 표현되며, 이는 구체적이고 대수적인 기술을 제공한다.
• $\theta$ 가 $\mathrm{Aut}(A)$-불변임이 증명되었으며, 이는 $\theta$ 가 $\omega$ 와 역관계임을 보이는 핵심 단계로서, $\mathfrak{R}$ 과 $\mathfrak{C}$ 에서의 군 작용 간의 호환성을 검증함으로써 이루어졌다.
• $\theta$ 의 구성은 확장 과정에서의 생성자 $w$ 의 선택과 무관하므로, 사상이 잘 정의되고 기하학적으로 자연스럽다는 것이 확인되었다.
• 저자들은 $\mathrm{Aut}(A)$-작용이 $\mathfrak{C}$ 에서 $B^0$-모듈로의 범주로 올라간다는 것을 확립하였으며, 이중모듈로 $E^0$ 의 $\mathrm{Aut}(A)$-변형이 ${}_{\sigma}E \cong E_{\sigma^{-1}}$ 를 만족함을 보여, $\mathrm{Tor}$ 함자가 군 작용과 가환함을 보장한다.
• 논문은 오랫동안 존재하던 문제인 $\omega$ 의 명시적 역사상 제공을 해결하였으며, 아델릭 그라스만이안을 통한 간접적 경로를 대체로 직접적이고 기하학적이며 불변적인 구성으로 대체하였다.